The reliability of real-time embedded software directly determines the reliability of the whole real-time embedded sys- tem, and the effective software testing is an important way to ensure software quality and reliab...The reliability of real-time embedded software directly determines the reliability of the whole real-time embedded sys- tem, and the effective software testing is an important way to ensure software quality and reliability. Based on the analysis of the characteristics of real-time embedded software, the formal method is introduced into the real-time embedded software testing field and the real-time extended finite state machine （RT-EFSM） model is studied firstly. Then, the time zone division method of real-time embedded system is presented and the definition and description methods of time-constrained transition equivalence class （timeCTEC） are presented. Furthermore, the approaches of the testing sequence and test case generation are put forward. Finally, the proposed method is applied to a typical avionics real- time embedded software testing practice and the examples of the timeCTEC, testing sequences and test cases are given. With the analysis of the testing result, the application verification shows that the proposed method can effectively describe the real-time embedded software state transition characteristics and real-time requirements and play the advantages of the formal methods in accuracy, effectiveness and the automation supporting. Combined with the testing platform, the real-time, closed loop and automated simulation testing for real-time embedded software can be realized effectively.展开更多
The objective of this work is to model the microstructure of asphalt mixture and build virtual test for asphalt mixture by using Particle Flow Code in three dimensions(PFC^(3D))based on three-dimensional discrete elem...The objective of this work is to model the microstructure of asphalt mixture and build virtual test for asphalt mixture by using Particle Flow Code in three dimensions(PFC^(3D))based on three-dimensional discrete element method.A randomly generating algorithm was proposed to capture the three-dimensional irregular shape of coarse aggregate.And then,modeling algorithm and method for graded aggregates were built.Based on the combination of modeling of coarse aggregates,asphalt mastic and air voids,three-dimensional virtual sample of asphalt mixture was modeled by using PFC^(3D).Virtual tests for penetration test of aggregate and uniaxial creep test of asphalt mixture were built and conducted by using PFC^(3D).By comparison of the testing results between virtual tests and actual laboratory tests,the validity of the microstructure modeling and virtual test built in this study was verified.Additionally,compared with laboratory test,the virtual test is easier to conduct and has less variability.It is proved that microstructure modeling and virtual test based on three-dimensional discrete element method is a promising way to conduct research of asphalt mixture.展开更多
Against the background of the sand-flow foundation treatment engineering of Guangzhou Zhoutouzui variable cross-section immersed tunnel, a kind of sand deposit-detecting method was devised on the basis of full-scale m...Against the background of the sand-flow foundation treatment engineering of Guangzhou Zhoutouzui variable cross-section immersed tunnel, a kind of sand deposit-detecting method was devised on the basis of full-scale model test of sand-flow method. The real-time data of sand-deposit height and radius were obtained by the self-developed sand-deposit detectors. The test results show that the detecting method is simple and has high precision. In the use of sand-flow method, the sand-carrying capability of fluid is limited, and sand particles are all transported to the sand-deposit periphery through crater, gap and chutes after the sand deposit formed. The diffusion range of the particles outside the sand-deposit does not exceed 2.0 m. Severe sorting of sand particles is not observed because of the unique oblique-layered depositing process. The temporal and spatial distributions of gap and chutes directly affect the sand-deposit expansion, and the expansion trend of the average sand-deposit radius accords with quadratic time-history curve.展开更多
The depth of penetration(DOP)method is a well-known ballistic test method for characterisation and ranking of ceramic armour materials.The ceramic tile is bonded to a backing material of semi-infinite thickness,and th...The depth of penetration(DOP)method is a well-known ballistic test method for characterisation and ranking of ceramic armour materials.The ceramic tile is bonded to a backing material of semi-infinite thickness,and the penetration depth of the projectile gives a measure of the performance of the ceramic.There is,however,an inherent variability in the results from this test method.In this work,the accuracy and the variability of the DOP method has been investigated in a round robin exercise.Six ballistic test centres took part in the exercise.A test protocol was developed,in which the threat type(projectile and impact conditions)and a procedure on how to prepare the targets were specified.The targets consisted of alumina tiles of two different thicknesses that were bonded to polycarbonate backing cubes.Two different 7.62 mm armour piercing projectiles were employed;one with a hard steel core and one with a tungsten carbide core.The projectiles and the other materials all came from single material batches in order to avoid batch-to-batch variations in material properties.These materials were distributed between the ballistic test centres.The test results of the different ballistic test facilities were collected and compared.There was not a lot of variation between the average DOP values obtained at each laboratory,but the variation in penetration depth between shots was high.The consequence of this variation may be less confidence in the test results,and a statistical method was used to evaluate the required number of tests that are sufficient to obtain an average result with high confidence.In most cases,the required number of tests is much higher than what is practically feasible.This work was conducted as part of the European Defence Agency-project CERAMBALL.展开更多
There are the application scope limits for single differential-mode current injection test method, so in order to carry out injection susceptibility test for two-pieces equipment interconnected with both ends of a cab...There are the application scope limits for single differential-mode current injection test method, so in order to carry out injection susceptibility test for two-pieces equipment interconnected with both ends of a cable simultaneously, a double differential-mode current in- jection test method (DDMCI) is proposed. The method adopted the equivalence source wave theorem and Baum-Liu-Tesche(BLT) equation as its theory foundation. The equivalent corresponding relation between injection voltage and radiation electric field intensity is derived, and the phase relation between the two injection voltage sources is confirmed. The results indicate that the amplitude and phase of the equivalent injection voltage source is closely related to the S parameter of directional coupling device, the transmission line length, and the source vector in BLT equation, but has nothing to do with the reflection coefficient between the two equipment pieces. Therefore, by choosing the right amplitude and phase of the double injection voltage sources, the DDMCI test is equivalent to the radiation test for two interconnected equipment of a system.展开更多
Engineering shallow,large-span rock tunnels challenges deformation control and escalates construction costs.This study investigates the excavation compensation method(ECM)and its associated technologies to address the...Engineering shallow,large-span rock tunnels challenges deformation control and escalates construction costs.This study investigates the excavation compensation method(ECM)and its associated technologies to address these issues.Utilizing five key technologies,the ECM effectively modulates radial stress post-excavation,redistributes stress in the surrounding rock,and eliminates tensile stress at the excavation face.Pre-tensioning measures further enhance the rock’s residual strength,establishing a new stability equilibrium.Field tests corroborate the method’s effectiveness,demonstrating a crown settlement reduction of 3–8 mm,a nearly 50%decrease compared to conventional construction approaches.Additionally,material consumption and construction duration were reduced by approximately 30%–35%and 1.75 months per 100 m,respectively.Thus,the ECM represents a significant innovation in enhancing the stability and construction efficiency of large-span rock tunnels,marking a novel contribution to the engineering field.展开更多
Cable-stayed bridges have been widely used in high-speed railway infrastructure.The accurate determination of cable’s representative temperatures is vital during the intricate processes of design,construction,and mai...Cable-stayed bridges have been widely used in high-speed railway infrastructure.The accurate determination of cable’s representative temperatures is vital during the intricate processes of design,construction,and maintenance of cable-stayed bridges.However,the representative temperatures of stayed cables are not specified in the existing design codes.To address this issue,this study investigates the distribution of the cable temperature and determinates its representative temperature.First,an experimental investigation,spanning over a period of one year,was carried out near the bridge site to obtain the temperature data.According to the statistical analysis of the measured data,it reveals that the temperature distribution is generally uniform along the cable cross-section without significant temperature gradient.Then,based on the limited data,the Monte Carlo,the gradient boosted regression trees(GBRT),and univariate linear regression(ULR)methods are employed to predict the cable’s representative temperature throughout the service life.These methods effectively overcome the limitations of insufficient monitoring data and accurately predict the representative temperature of the cables.However,each method has its own advantages and limitations in terms of applicability and accuracy.A comprehensive evaluation of the performance of these methods is conducted,and practical recommendations are provided for their application.The proposed methods and representative temperatures provide a good basis for the operation and maintenance of in-service long-span cable-stayed bridges.展开更多
基金supported by the Aviation Science Foundation of China
文摘The reliability of real-time embedded software directly determines the reliability of the whole real-time embedded sys- tem, and the effective software testing is an important way to ensure software quality and reliability. Based on the analysis of the characteristics of real-time embedded software, the formal method is introduced into the real-time embedded software testing field and the real-time extended finite state machine （RT-EFSM） model is studied firstly. Then, the time zone division method of real-time embedded system is presented and the definition and description methods of time-constrained transition equivalence class （timeCTEC） are presented. Furthermore, the approaches of the testing sequence and test case generation are put forward. Finally, the proposed method is applied to a typical avionics real- time embedded software testing practice and the examples of the timeCTEC, testing sequences and test cases are given. With the analysis of the testing result, the application verification shows that the proposed method can effectively describe the real-time embedded software state transition characteristics and real-time requirements and play the advantages of the formal methods in accuracy, effectiveness and the automation supporting. Combined with the testing platform, the real-time, closed loop and automated simulation testing for real-time embedded software can be realized effectively.
基金Project(51378006) supported by National Natural Science Foundation of ChinaProject(141076) supported by Huoyingdong Foundation of the Ministry of Education of China+1 种基金Project(2242015R30027) supported by Excellent Young Teacher Program of Southeast University,ChinaProject(BK20140109) supported by the Natural Science Foundation of Jiangsu Province,China
文摘The objective of this work is to model the microstructure of asphalt mixture and build virtual test for asphalt mixture by using Particle Flow Code in three dimensions(PFC^(3D))based on three-dimensional discrete element method.A randomly generating algorithm was proposed to capture the three-dimensional irregular shape of coarse aggregate.And then,modeling algorithm and method for graded aggregates were built.Based on the combination of modeling of coarse aggregates,asphalt mastic and air voids,three-dimensional virtual sample of asphalt mixture was modeled by using PFC^(3D).Virtual tests for penetration test of aggregate and uniaxial creep test of asphalt mixture were built and conducted by using PFC^(3D).By comparison of the testing results between virtual tests and actual laboratory tests,the validity of the microstructure modeling and virtual test built in this study was verified.Additionally,compared with laboratory test,the virtual test is easier to conduct and has less variability.It is proved that microstructure modeling and virtual test based on three-dimensional discrete element method is a promising way to conduct research of asphalt mixture.
基金Project(51108190) supported by the National Natural Science Foundation of ChinaProject(2012ZC27) supported by the Independence Research Subject from State Key Laboratory of Subtropical Building Science,ChinaProject(GTCC 2008-253) supported by the Research Subject from Guangzhou City,China
文摘Against the background of the sand-flow foundation treatment engineering of Guangzhou Zhoutouzui variable cross-section immersed tunnel, a kind of sand deposit-detecting method was devised on the basis of full-scale model test of sand-flow method. The real-time data of sand-deposit height and radius were obtained by the self-developed sand-deposit detectors. The test results show that the detecting method is simple and has high precision. In the use of sand-flow method, the sand-carrying capability of fluid is limited, and sand particles are all transported to the sand-deposit periphery through crater, gap and chutes after the sand deposit formed. The diffusion range of the particles outside the sand-deposit does not exceed 2.0 m. Severe sorting of sand particles is not observed because of the unique oblique-layered depositing process. The temporal and spatial distributions of gap and chutes directly affect the sand-deposit expansion, and the expansion trend of the average sand-deposit radius accords with quadratic time-history curve.
基金conducted as part of the European Defence Agency-project CERAMBALL,contract number B 1091 GEM1 GP
文摘The depth of penetration(DOP)method is a well-known ballistic test method for characterisation and ranking of ceramic armour materials.The ceramic tile is bonded to a backing material of semi-infinite thickness,and the penetration depth of the projectile gives a measure of the performance of the ceramic.There is,however,an inherent variability in the results from this test method.In this work,the accuracy and the variability of the DOP method has been investigated in a round robin exercise.Six ballistic test centres took part in the exercise.A test protocol was developed,in which the threat type(projectile and impact conditions)and a procedure on how to prepare the targets were specified.The targets consisted of alumina tiles of two different thicknesses that were bonded to polycarbonate backing cubes.Two different 7.62 mm armour piercing projectiles were employed;one with a hard steel core and one with a tungsten carbide core.The projectiles and the other materials all came from single material batches in order to avoid batch-to-batch variations in material properties.These materials were distributed between the ballistic test centres.The test results of the different ballistic test facilities were collected and compared.There was not a lot of variation between the average DOP values obtained at each laboratory,but the variation in penetration depth between shots was high.The consequence of this variation may be less confidence in the test results,and a statistical method was used to evaluate the required number of tests that are sufficient to obtain an average result with high confidence.In most cases,the required number of tests is much higher than what is practically feasible.This work was conducted as part of the European Defence Agency-project CERAMBALL.
基金Project supported by Arm Pre-research Program （51333040101）, National Defense 973 Program （6131380301 ）, National Natural Science Foundation of China （61040003）.
文摘There are the application scope limits for single differential-mode current injection test method, so in order to carry out injection susceptibility test for two-pieces equipment interconnected with both ends of a cable simultaneously, a double differential-mode current in- jection test method (DDMCI) is proposed. The method adopted the equivalence source wave theorem and Baum-Liu-Tesche(BLT) equation as its theory foundation. The equivalent corresponding relation between injection voltage and radiation electric field intensity is derived, and the phase relation between the two injection voltage sources is confirmed. The results indicate that the amplitude and phase of the equivalent injection voltage source is closely related to the S parameter of directional coupling device, the transmission line length, and the source vector in BLT equation, but has nothing to do with the reflection coefficient between the two equipment pieces. Therefore, by choosing the right amplitude and phase of the double injection voltage sources, the DDMCI test is equivalent to the radiation test for two interconnected equipment of a system.
基金Projects(42377148,51674265)supported by the National Natural Science Foundation of ChinaProject(2018YFC0603705)supported by the National Key Research and Development Program of China。
文摘Engineering shallow,large-span rock tunnels challenges deformation control and escalates construction costs.This study investigates the excavation compensation method(ECM)and its associated technologies to address these issues.Utilizing five key technologies,the ECM effectively modulates radial stress post-excavation,redistributes stress in the surrounding rock,and eliminates tensile stress at the excavation face.Pre-tensioning measures further enhance the rock’s residual strength,establishing a new stability equilibrium.Field tests corroborate the method’s effectiveness,demonstrating a crown settlement reduction of 3–8 mm,a nearly 50%decrease compared to conventional construction approaches.Additionally,material consumption and construction duration were reduced by approximately 30%–35%and 1.75 months per 100 m,respectively.Thus,the ECM represents a significant innovation in enhancing the stability and construction efficiency of large-span rock tunnels,marking a novel contribution to the engineering field.
基金Project(2017G006-N)supported by the Project of Science and Technology Research and Development Program of China Railway Corporation。
文摘Cable-stayed bridges have been widely used in high-speed railway infrastructure.The accurate determination of cable’s representative temperatures is vital during the intricate processes of design,construction,and maintenance of cable-stayed bridges.However,the representative temperatures of stayed cables are not specified in the existing design codes.To address this issue,this study investigates the distribution of the cable temperature and determinates its representative temperature.First,an experimental investigation,spanning over a period of one year,was carried out near the bridge site to obtain the temperature data.According to the statistical analysis of the measured data,it reveals that the temperature distribution is generally uniform along the cable cross-section without significant temperature gradient.Then,based on the limited data,the Monte Carlo,the gradient boosted regression trees(GBRT),and univariate linear regression(ULR)methods are employed to predict the cable’s representative temperature throughout the service life.These methods effectively overcome the limitations of insufficient monitoring data and accurately predict the representative temperature of the cables.However,each method has its own advantages and limitations in terms of applicability and accuracy.A comprehensive evaluation of the performance of these methods is conducted,and practical recommendations are provided for their application.The proposed methods and representative temperatures provide a good basis for the operation and maintenance of in-service long-span cable-stayed bridges.
