Identity-based key agreement protocol affords a natural way to combine the participant＇s identity with its public key. However, most of them just consider the key agreement in a single private key generator （PKG） e...Identity-based key agreement protocol affords a natural way to combine the participant＇s identity with its public key. However, most of them just consider the key agreement in a single private key generator （PKG） environment. In addition, the existing key agreement protocols have a great computing overhead for mobile computing which is more and more popular today. This paper proposes a new identity based key agreement protocol. With the help of mathematical tools, we make our protocol applied in multiple PKG environment. It also satisfies all the security properties which is set for key agreement protocol. Moreover, some of its time-consuming operations can be delivered to untrusted public computation resources, so its computing complexity can be greatly reduced.展开更多
Since GPS signals are unavailable for indoor navigation, current research mainly focuses on vision-based locating with a single mark. An obvious disadvantage with this approach is that locating will fail when the mark...Since GPS signals are unavailable for indoor navigation, current research mainly focuses on vision-based locating with a single mark. An obvious disadvantage with this approach is that locating will fail when the mark cannot be seen. The use of multiple marks can solve this problem. However, the extra process to design and identify different marks will significantly increase system complexity. In this paper, a novel vision-based locating method is proposed by using marks with feature points arranged in a radial shape. The feature points of the marks consist of inner points and outer points. The positions of the inner points are the same in all marks, while the positions of the outer points are different in different marks. Unlike traditional camera locating methods （the PnP methods）, the proposed method can calculate the camera location and the positions of the outer points simultaneously. Then the calculation results of the positions of the outer points are used to identify the mark. This method can make navigation with multiple marks more efficient. Simulations and real world experiments are carried out, and their results show that the proposed method is fast, accurate and robust to noise.展开更多
The upper waveguide （UWG） has direct influences on the optical and electrical characteristics of the violet laser diode （LD） by changing the optical field distribution or barrier of the electron blocking layer （...The upper waveguide （UWG） has direct influences on the optical and electrical characteristics of the violet laser diode （LD） by changing the optical field distribution or barrier of the electron blocking layer （EBL）. In this study, a series of InGaN-based violet LDs with different UWGs are investigated systematically with LASTIP software. It is found that the output light power （OLP） under an injecting current of 120 mA or the threshold current （Ith） is deteriorated when the UWG is u-In0.02Ga0.98N/GaN or u-In0.02Ga0.98N/AlxGa1-xN （0 ≤ x ≤ 0.1）, which should be attributed to small optical confinement factor （OCF） or severe electron leakage. Therefore, a new violet LD structure with u-In0.02Ga0.98N/GaN/Al0.05Ga0.95N multiple layer UWG is proposed to reduce the optical loss and increase the barrier of EBL. Finally, the output light power under an injecting current of 120 mA is improved to 176.4 mW.展开更多
The key challenge of the extended target probability hypothesis density (ET-PHD) filter is to reduce the computational complexity by using a subset to approximate the full set of partitions. In this paper, the influen...The key challenge of the extended target probability hypothesis density (ET-PHD) filter is to reduce the computational complexity by using a subset to approximate the full set of partitions. In this paper, the influence for the tracking results of different partitions is analyzed, and the form of the most informative partition is obtained. Then, a fast density peak-based clustering (FDPC) partitioning algorithm is applied to the measurement set partitioning. Since only one partition of the measurement set is used, the ET-PHD filter based on FDPC partitioning has lower computational complexity than the other ET-PHD filters. As FDPC partitioning is able to remove the spatially close clutter-generated measurements, the ET-PHD filter based on FDPC partitioning has good tracking performance in the scenario with more clutter-generated measurements. The simulation results show that the proposed algorithm can get the most informative partition and obviously reduce computational burden without losing tracking performance. As the number of clutter-generated measurements increased, the ET-PHD filter based on FDPC partitioning has better tracking performance than other ET-PHD filters. The FDPC algorithm will play an important role in the engineering realization of the multiple extended target tracking filter.展开更多
After tempering treatment at different conditions, the tempering stability of Fe-base hardfacing layer containing RE and multiple alloying was investigated. The results show that after heat preservation at 560 ℃ and ...After tempering treatment at different conditions, the tempering stability of Fe-base hardfacing layer containing RE and multiple alloying was investigated. The results show that after heat preservation at 560 ℃ and tempering for 4 h the hardness value of Fe-base hardfacing layer containing RE and multiple alloying can reach HRC57; By repeatedly heating circle 700 ℃17 ℃ for 150 times, the hardness value of Fe-base hardfacing layer can reach HRC43, tempering stability is higher and causes the secondary hardening phenomenon. Reasons for higher tempering stability of Fe-base hardfacing layer were analyzed by means of metallographic, XRD, TEM and EDS.展开更多
Agent based simulation has successfully been applied to model complex organizational behavior and to improve or optimize aspects of organizational performance. Agents, with intelligence supported through the applicati...Agent based simulation has successfully been applied to model complex organizational behavior and to improve or optimize aspects of organizational performance. Agents, with intelligence supported through the application of a genetic algorithm are proposed as a means of optimizing the performance of the system being modeled. Local decisions made by agents and other system variables are placed in the genetic encoding. This allows local agents to positively impact high level system performance. A simple, but non trivial, peg game is utilized to introduce the concept. A multiple objective bin packing problem is then solved to demonstrate the potential of the approach in meeting a number of high level goals. The methodology allows not only for a systems level optimization, but also provides data which can be analyzed to determine what constitutes effective agent behavior.展开更多
Based on protein-DNA complex crystal structural data in up-to-date Nucleic Acid Database,the related parameters of DNA Kinetic Structure were investigated by Monte-Carlo Multiple Integrals on the base of modified DNA ...Based on protein-DNA complex crystal structural data in up-to-date Nucleic Acid Database,the related parameters of DNA Kinetic Structure were investigated by Monte-Carlo Multiple Integrals on the base of modified DNA structure statistical mechanical model,and time complexity and precision were analyzed on the calculated results.展开更多
GaN-based irregular multiple quantum well （IMQW） structures assembled two different types of QWs emitting complementary wavelengths for dichromatic white light-emitting diodes （LEDs） are optimized in order to obta...GaN-based irregular multiple quantum well （IMQW） structures assembled two different types of QWs emitting complementary wavelengths for dichromatic white light-emitting diodes （LEDs） are optimized in order to obtain near white light emissions. The hole distributions and spontaneous emission spectra of the IMQW structures are analysed in detail by fully considering the effects of strain, well-coupling, valence band-mixing and polarization effect through employing a newly developed theoretical model from the k. p theory. Several structure parameters such as well material component, well width, layout of the wells and the thickness of harrier between different types of QWs are employed to analyse how these parameters together with the polarization effect influence the electronic and the optical properties of IMQW structure. Numerical results show that uniform hole distributions in different types of QWs are obtained when the number of the QWs emitting blue light is two, the number of the QWs emitting yellow light is one and the barrier between different types of QWs is 8nm in thickness. The near white light emission is realized using GaN-based IMQW structure with appropriate design parameters and injection level.展开更多
This article concerns a coupled LMIs approach to delay-dependent observer-based output feedback stabilizing controller design for linear continuous-time systems with multiple state delays. The advantage of our propose...This article concerns a coupled LMIs approach to delay-dependent observer-based output feedback stabilizing controller design for linear continuous-time systems with multiple state delays. The advantage of our proposed delay-dependent coupled LMIs criterion lies in that: ( 1 ) it can optimize one of multiple time delays with others selected properly, and at the same time, the feedback-gain and observer-gain can be obtained, respectively. (2) it is less conservative than the existing delay-independent ones in the literature. Algorithm to solve the coupled LMIs is also given. Numerical examples illustrate the effectiveness of our method. Keywords Delay-dependent criterion - Time-delay system - Multiple time-delay - Observer-based controller - Linear matrixinequality (LMI)展开更多
To resist the side chaimel attacks of elliptic curve cryptography, a new fast and secure point multiplication algorithm is proposed. The algorithm is based on a particular kind of addition chains involving only additi...To resist the side chaimel attacks of elliptic curve cryptography, a new fast and secure point multiplication algorithm is proposed. The algorithm is based on a particular kind of addition chains involving only additions, providing a natural protection against side channel attacks. Moreover, the new addition formulae that take into account the specific structure of those chains making point multiplication very efficient are proposed. The point multiplication algorithm only needs 1 719 multiplications for the SAC260 of 160-bit integers. For chains of length from 280 to 260, the proposed method outperforms all the previous methods with a gain of 26% to 31% over double-and add, 16% to22% over NAF, 7% to 13% over4-NAF and 1% to 8% over the present best algorithm--double-base chain.展开更多
Current structural analysis software programs offer few if any applicable device-specifi c hysteresis rules or nonlinear elements to simulate the precise mechanical behavior of a multiple friction pendulum system(MFPS...Current structural analysis software programs offer few if any applicable device-specifi c hysteresis rules or nonlinear elements to simulate the precise mechanical behavior of a multiple friction pendulum system(MFPS) with numerous sliding interfaces.Based on the concept of subsystems,an equivalent series system that adopts existing nonlinear elements with parameters systematically calculated and mathematically proven through rigorous derivations is proposed.The aim is to simulate the characteristics of sliding motions for an MFPS isolation system with numerous concave sliding interfaces without prior knowledge of detailed information on the mobilized forces at various sliding stages.An MFPS with numerous concave sliding interfaces and one articulated or rigid slider located between these interfaces is divided into two subsystems: the fi rst represents the concave sliding interfaces above the slider,and the second represents those below the slider.The equivalent series system for the entire system is then obtained by connecting those for each subsystem in series.The equivalent series system is validated by comparing numerical results for an MFPS with four sliding interfaces obtained from the proposed method with those from a previous study by Fenz and Constantinou.Furthermore,these numerical results demonstrate that an MFPS isolator with numerous concave sliding interfaces,which may have any number of sliding interfaces,is a good isolation device to protect structures from earthquake damage through appropriate designs with controllable mechanisms.展开更多
A neighbour-based coordination scheme is proposed for a multi-agent system with multiple leaders. Under assumptions of the connectivity of the interconnection topology and a simple first-order dynamics model for each ...A neighbour-based coordination scheme is proposed for a multi-agent system with multiple leaders. Under assumptions of the connectivity of the interconnection topology and a simple first-order dynamics model for each mobile agent, the results show that all the agents will flock to the polytope region formed by the leaders.展开更多
The current AASHTO load and resistance factor design （LRFD） guidelines are formulated based on bridge reliability, which interprets traditional design safety factors into more rigorously deduced factors based on the...The current AASHTO load and resistance factor design （LRFD） guidelines are formulated based on bridge reliability, which interprets traditional design safety factors into more rigorously deduced factors based on the theory of probability. This is a major advancement in bridge design specifications. However, LRFD is only calibrated for dead and live loads. In cases when extreme loads are significant, they need to be individually assessed. Combining regular loads with extreme loads has been a major challenge, mainly because the extreme loads are time variables and cannot be directly combined with time invariant loads to formulate the probability of structural failure. To overcome these difficulties, this paper suggests a methodology of comprehensive reliability, by introducing the concept of partial failure probability to separate the loads so that each individual load combination under a certain condition can be approximated as time invariant. Based on these conditions, the extreme loads （also referred to as multiple hazard or MH loads） can be broken down into single effects. In Part II of this paper, a further breakdown of these conditional occurrence probabilities into pure conditions is discussed by using a live truck and earthquake loads on a bridge as an example. There are three major steps in establishing load factors from MH load distributions： （1） formulate the failure probabilities; （2） normalize various load distributions; and （3） establish design limit state equations. This paper describes the formulation of the failure probabilities of single and combined loads.展开更多
The current AASHTO load and resistance factor design （LRFD） guidelines are formulated based on bridge reliability, which interprets traditional design safety factors into more rigorously deduced factors based on the...The current AASHTO load and resistance factor design （LRFD） guidelines are formulated based on bridge reliability, which interprets traditional design safety factors into more rigorously deduced factors based on the theory of probability. This is a major advancement in bridge design specifications. However, LRFD is only calibrated for dead and live loads. In cases when extreme loads are significant, they need to be individually assessed. Combining regular loads with extreme loads has been a major challenge, mainly because the extreme loads are time variable and cannot be directly combined with time invariant loads to formulate the probability of structural failure.To overcome these difficulties, this paper suggests a methodology of comprehensive reliability, by introducing the concept of partial failure probability to separate the loads so that each individual load combination under a certain condition can be approximated a,; time invariant. Based on these conditions, the extreme loads （also referred to as multiple hazard or MH loads） can be broken down into single effects. In this paper, a further breakdown of these conditional occurrence probabilities into pure conditions is discussed by using a live truck and earthquake loads on a bridge as an example.展开更多
In this paper,we present a phase multiplication algorithm(PMA)to obtain scalable fringe precision in laser self-mixing interferometer under a weak feedback regime.Merely by applying the double angle formula on the sel...In this paper,we present a phase multiplication algorithm(PMA)to obtain scalable fringe precision in laser self-mixing interferometer under a weak feedback regime.Merely by applying the double angle formula on the self-mixing signal multiple times,the continuously improved fringe precision will be obtained.Theoretical analysis shows that the precision of the fringe could be improved toλ/2^(n+1).The validity of the proposed method is demonstrated by means of simulated SMI signals and confirmed by experiments under different amplitudes.A fringe precision ofλ/128 at a sampling rate of 500 k S/s has been achieved after doing 6 th the PMA.Finally,an amplitude of 50 nm has been proved to be measurable and the absolute error is 3.07 nm,which is within the theoretical error range.The proposed method for vibration measurement has the advantage of high accuracy and reliable without adding any additional optical elements in the optical path,thus it will play an important role in nanoscale measurement field.展开更多
Traditional requirements method has some problems when it is used for large distributed systems. Multiple viewpoints oriented requirements method (MVORM) is a new method for resolving these problems. This paper develo...Traditional requirements method has some problems when it is used for large distributed systems. Multiple viewpoints oriented requirements method (MVORM) is a new method for resolving these problems. This paper develops two generic formal frameworks of MVORM, framework based on refinement relation (FBRR) and framework based on implementation relation (FBIR). They are generic, because no assumptions are made about the development process or the formal description languages to be used. Three kinds of specification relations and three kinds of specification transformations are discussed over FBIR and FBRR. This paper also compares the equivalence between FBIR and FBRR. We point out that an equivalent FBIR can be found for any FBRR, but reverse transformation is not always possible. We think FBIR is better than FBRR on most cases.展开更多
基金Supported by the National Natural Science Foundation of China(61103194)
文摘Identity-based key agreement protocol affords a natural way to combine the participant＇s identity with its public key. However, most of them just consider the key agreement in a single private key generator （PKG） environment. In addition, the existing key agreement protocols have a great computing overhead for mobile computing which is more and more popular today. This paper proposes a new identity based key agreement protocol. With the help of mathematical tools, we make our protocol applied in multiple PKG environment. It also satisfies all the security properties which is set for key agreement protocol. Moreover, some of its time-consuming operations can be delivered to untrusted public computation resources, so its computing complexity can be greatly reduced.
基金supported by National Basic Research Program of China (No.2010CB731800)
文摘Since GPS signals are unavailable for indoor navigation, current research mainly focuses on vision-based locating with a single mark. An obvious disadvantage with this approach is that locating will fail when the mark cannot be seen. The use of multiple marks can solve this problem. However, the extra process to design and identify different marks will significantly increase system complexity. In this paper, a novel vision-based locating method is proposed by using marks with feature points arranged in a radial shape. The feature points of the marks consist of inner points and outer points. The positions of the inner points are the same in all marks, while the positions of the outer points are different in different marks. Unlike traditional camera locating methods （the PnP methods）, the proposed method can calculate the camera location and the positions of the outer points simultaneously. Then the calculation results of the positions of the outer points are used to identify the mark. This method can make navigation with multiple marks more efficient. Simulations and real world experiments are carried out, and their results show that the proposed method is fast, accurate and robust to noise.
基金Project supported by the National Key R&D Program of China(Grant Nos.2016YFB0400803 and 2016YFB0401801)the National Natural Science Foundation of China(Grant Nos.61674138,61674139,61604145,61574135,61574134,61474142,61474110,61377020,and 61376089)+1 种基金the Science Challenge Project,China(Grant No.TZ2016003)the Beijing Municipal Science and Technology Project,China(Grant No.Z161100002116037)
文摘The upper waveguide （UWG） has direct influences on the optical and electrical characteristics of the violet laser diode （LD） by changing the optical field distribution or barrier of the electron blocking layer （EBL）. In this study, a series of InGaN-based violet LDs with different UWGs are investigated systematically with LASTIP software. It is found that the output light power （OLP） under an injecting current of 120 mA or the threshold current （Ith） is deteriorated when the UWG is u-In0.02Ga0.98N/GaN or u-In0.02Ga0.98N/AlxGa1-xN （0 ≤ x ≤ 0.1）, which should be attributed to small optical confinement factor （OCF） or severe electron leakage. Therefore, a new violet LD structure with u-In0.02Ga0.98N/GaN/Al0.05Ga0.95N multiple layer UWG is proposed to reduce the optical loss and increase the barrier of EBL. Finally, the output light power under an injecting current of 120 mA is improved to 176.4 mW.
基金supported by the National Natural Science Foundation of China(61401475)
文摘The key challenge of the extended target probability hypothesis density (ET-PHD) filter is to reduce the computational complexity by using a subset to approximate the full set of partitions. In this paper, the influence for the tracking results of different partitions is analyzed, and the form of the most informative partition is obtained. Then, a fast density peak-based clustering (FDPC) partitioning algorithm is applied to the measurement set partitioning. Since only one partition of the measurement set is used, the ET-PHD filter based on FDPC partitioning has lower computational complexity than the other ET-PHD filters. As FDPC partitioning is able to remove the spatially close clutter-generated measurements, the ET-PHD filter based on FDPC partitioning has good tracking performance in the scenario with more clutter-generated measurements. The simulation results show that the proposed algorithm can get the most informative partition and obviously reduce computational burden without losing tracking performance. As the number of clutter-generated measurements increased, the ET-PHD filter based on FDPC partitioning has better tracking performance than other ET-PHD filters. The FDPC algorithm will play an important role in the engineering realization of the multiple extended target tracking filter.
文摘After tempering treatment at different conditions, the tempering stability of Fe-base hardfacing layer containing RE and multiple alloying was investigated. The results show that after heat preservation at 560 ℃ and tempering for 4 h the hardness value of Fe-base hardfacing layer containing RE and multiple alloying can reach HRC57; By repeatedly heating circle 700 ℃17 ℃ for 150 times, the hardness value of Fe-base hardfacing layer can reach HRC43, tempering stability is higher and causes the secondary hardening phenomenon. Reasons for higher tempering stability of Fe-base hardfacing layer were analyzed by means of metallographic, XRD, TEM and EDS.
文摘Agent based simulation has successfully been applied to model complex organizational behavior and to improve or optimize aspects of organizational performance. Agents, with intelligence supported through the application of a genetic algorithm are proposed as a means of optimizing the performance of the system being modeled. Local decisions made by agents and other system variables are placed in the genetic encoding. This allows local agents to positively impact high level system performance. A simple, but non trivial, peg game is utilized to introduce the concept. A multiple objective bin packing problem is then solved to demonstrate the potential of the approach in meeting a number of high level goals. The methodology allows not only for a systems level optimization, but also provides data which can be analyzed to determine what constitutes effective agent behavior.
基金Supported by Inner Mongolia Natural Science Foundation(200711020112)Innovation Fundation of Inner Mongolia University of Science and Technology (2009NC064)~~
文摘Based on protein-DNA complex crystal structural data in up-to-date Nucleic Acid Database,the related parameters of DNA Kinetic Structure were investigated by Monte-Carlo Multiple Integrals on the base of modified DNA structure statistical mechanical model,and time complexity and precision were analyzed on the calculated results.
基金supported by the National Natural Science Foundation of China (Grant No. 60777013)the Nature Science Foundation of Beijing,China (Grant No. 4082023)the Excellent Doctoral Science and Technology Innovation Foundation of Beijing Jiaotong University,China (Grant No. 141063522)
文摘GaN-based irregular multiple quantum well （IMQW） structures assembled two different types of QWs emitting complementary wavelengths for dichromatic white light-emitting diodes （LEDs） are optimized in order to obtain near white light emissions. The hole distributions and spontaneous emission spectra of the IMQW structures are analysed in detail by fully considering the effects of strain, well-coupling, valence band-mixing and polarization effect through employing a newly developed theoretical model from the k. p theory. Several structure parameters such as well material component, well width, layout of the wells and the thickness of harrier between different types of QWs are employed to analyse how these parameters together with the polarization effect influence the electronic and the optical properties of IMQW structure. Numerical results show that uniform hole distributions in different types of QWs are obtained when the number of the QWs emitting blue light is two, the number of the QWs emitting yellow light is one and the barrier between different types of QWs is 8nm in thickness. The near white light emission is realized using GaN-based IMQW structure with appropriate design parameters and injection level.
文摘This article concerns a coupled LMIs approach to delay-dependent observer-based output feedback stabilizing controller design for linear continuous-time systems with multiple state delays. The advantage of our proposed delay-dependent coupled LMIs criterion lies in that: ( 1 ) it can optimize one of multiple time delays with others selected properly, and at the same time, the feedback-gain and observer-gain can be obtained, respectively. (2) it is less conservative than the existing delay-independent ones in the literature. Algorithm to solve the coupled LMIs is also given. Numerical examples illustrate the effectiveness of our method. Keywords Delay-dependent criterion - Time-delay system - Multiple time-delay - Observer-based controller - Linear matrixinequality (LMI)
基金The National Natural Science Foundation of China (No.60473029,60673072).
文摘To resist the side chaimel attacks of elliptic curve cryptography, a new fast and secure point multiplication algorithm is proposed. The algorithm is based on a particular kind of addition chains involving only additions, providing a natural protection against side channel attacks. Moreover, the new addition formulae that take into account the specific structure of those chains making point multiplication very efficient are proposed. The point multiplication algorithm only needs 1 719 multiplications for the SAC260 of 160-bit integers. For chains of length from 280 to 260, the proposed method outperforms all the previous methods with a gain of 26% to 31% over double-and add, 16% to22% over NAF, 7% to 13% over4-NAF and 1% to 8% over the present best algorithm--double-base chain.
文摘Current structural analysis software programs offer few if any applicable device-specifi c hysteresis rules or nonlinear elements to simulate the precise mechanical behavior of a multiple friction pendulum system(MFPS) with numerous sliding interfaces.Based on the concept of subsystems,an equivalent series system that adopts existing nonlinear elements with parameters systematically calculated and mathematically proven through rigorous derivations is proposed.The aim is to simulate the characteristics of sliding motions for an MFPS isolation system with numerous concave sliding interfaces without prior knowledge of detailed information on the mobilized forces at various sliding stages.An MFPS with numerous concave sliding interfaces and one articulated or rigid slider located between these interfaces is divided into two subsystems: the fi rst represents the concave sliding interfaces above the slider,and the second represents those below the slider.The equivalent series system for the entire system is then obtained by connecting those for each subsystem in series.The equivalent series system is validated by comparing numerical results for an MFPS with four sliding interfaces obtained from the proposed method with those from a previous study by Fenz and Constantinou.Furthermore,these numerical results demonstrate that an MFPS isolator with numerous concave sliding interfaces,which may have any number of sliding interfaces,is a good isolation device to protect structures from earthquake damage through appropriate designs with controllable mechanisms.
文摘A neighbour-based coordination scheme is proposed for a multi-agent system with multiple leaders. Under assumptions of the connectivity of the interconnection topology and a simple first-order dynamics model for each mobile agent, the results show that all the agents will flock to the polytope region formed by the leaders.
基金Federal Highway Administration at the University at Buffalo Under Contract Number DTFH61-08-C-00012
文摘The current AASHTO load and resistance factor design （LRFD） guidelines are formulated based on bridge reliability, which interprets traditional design safety factors into more rigorously deduced factors based on the theory of probability. This is a major advancement in bridge design specifications. However, LRFD is only calibrated for dead and live loads. In cases when extreme loads are significant, they need to be individually assessed. Combining regular loads with extreme loads has been a major challenge, mainly because the extreme loads are time variables and cannot be directly combined with time invariant loads to formulate the probability of structural failure. To overcome these difficulties, this paper suggests a methodology of comprehensive reliability, by introducing the concept of partial failure probability to separate the loads so that each individual load combination under a certain condition can be approximated as time invariant. Based on these conditions, the extreme loads （also referred to as multiple hazard or MH loads） can be broken down into single effects. In Part II of this paper, a further breakdown of these conditional occurrence probabilities into pure conditions is discussed by using a live truck and earthquake loads on a bridge as an example. There are three major steps in establishing load factors from MH load distributions： （1） formulate the failure probabilities; （2） normalize various load distributions; and （3） establish design limit state equations. This paper describes the formulation of the failure probabilities of single and combined loads.
基金Federal Highway Administration at the University at Buffalo Under Contract Number DTFH61-08-C-00012
文摘The current AASHTO load and resistance factor design （LRFD） guidelines are formulated based on bridge reliability, which interprets traditional design safety factors into more rigorously deduced factors based on the theory of probability. This is a major advancement in bridge design specifications. However, LRFD is only calibrated for dead and live loads. In cases when extreme loads are significant, they need to be individually assessed. Combining regular loads with extreme loads has been a major challenge, mainly because the extreme loads are time variable and cannot be directly combined with time invariant loads to formulate the probability of structural failure.To overcome these difficulties, this paper suggests a methodology of comprehensive reliability, by introducing the concept of partial failure probability to separate the loads so that each individual load combination under a certain condition can be approximated a,; time invariant. Based on these conditions, the extreme loads （also referred to as multiple hazard or MH loads） can be broken down into single effects. In this paper, a further breakdown of these conditional occurrence probabilities into pure conditions is discussed by using a live truck and earthquake loads on a bridge as an example.
基金supported by the Natural Science Foundation of Fujian Province(No.2020J01705)the School Foundation of Jimei University(No.C150345)。
文摘In this paper,we present a phase multiplication algorithm(PMA)to obtain scalable fringe precision in laser self-mixing interferometer under a weak feedback regime.Merely by applying the double angle formula on the self-mixing signal multiple times,the continuously improved fringe precision will be obtained.Theoretical analysis shows that the precision of the fringe could be improved toλ/2^(n+1).The validity of the proposed method is demonstrated by means of simulated SMI signals and confirmed by experiments under different amplitudes.A fringe precision ofλ/128 at a sampling rate of 500 k S/s has been achieved after doing 6 th the PMA.Finally,an amplitude of 50 nm has been proved to be measurable and the absolute error is 3.07 nm,which is within the theoretical error range.The proposed method for vibration measurement has the advantage of high accuracy and reliable without adding any additional optical elements in the optical path,thus it will play an important role in nanoscale measurement field.
基金Supported by Natural Science Foundation of Hubei Province (98J0 75 ) Ziqiang Technical Innovation Foundation ofWuhan Universi
文摘Traditional requirements method has some problems when it is used for large distributed systems. Multiple viewpoints oriented requirements method (MVORM) is a new method for resolving these problems. This paper develops two generic formal frameworks of MVORM, framework based on refinement relation (FBRR) and framework based on implementation relation (FBIR). They are generic, because no assumptions are made about the development process or the formal description languages to be used. Three kinds of specification relations and three kinds of specification transformations are discussed over FBIR and FBRR. This paper also compares the equivalence between FBIR and FBRR. We point out that an equivalent FBIR can be found for any FBRR, but reverse transformation is not always possible. We think FBIR is better than FBRR on most cases.
