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.展开更多
A Bayesian sequential testing method is proposed to evaluate system reliability index with reliability growth during development.The method develops a reliability growth model of repairable systems for failure censore...A Bayesian sequential testing method is proposed to evaluate system reliability index with reliability growth during development.The method develops a reliability growth model of repairable systems for failure censored test,and figures out the approach to determine the prior distribution of the system failure rate by applying the reliability growth model to incorporate the multistage test data collected from system development.Furthermore,the procedure for the Bayesian sequential testing is derived for the failure rate of the exponential life system,which enables the decision to terminate or continue development test.Finally,a numerical example is given to illustrate the efficiency of the proposed model and procedure.展开更多
Facing the problems lack of considering the non-uniform distribution of the static bias magnetic field and computing the panicle displacements in the simulation model of electromagnetic acoustic transducer （EMAT）, a...Facing the problems lack of considering the non-uniform distribution of the static bias magnetic field and computing the panicle displacements in the simulation model of electromagnetic acoustic transducer （EMAT）, a multi-field coupled model was established and the finite element method （FEM） was presented to calculate the entire transduction process. The multi-field coupled model included the static magnetic field, pulsed eddy current field and mechanical field. The FEM equations of the three fields were derived by Garlerkin FEM method. Thus, the entire transduction process of the EMAT was calculated through sequentially coupling the three fields. The transduction process of a Lamb wave EMAT was calculated according to the present model and method. The results show that, by the present method, it is valid to calculate the particle displacement under the given excitation signal and non-uniformly distributed static magnetic field. Calculation error will be brought about if the non-uniform distribution of the static bias magnetic field is neglected.展开更多
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.展开更多
Series of testing on coarse grained soils were carried out with a true triaxial testing apparatus.The loads were applied from the major principal and minor principal directions,respectively,to simulate the constructio...Series of testing on coarse grained soils were carried out with a true triaxial testing apparatus.The loads were applied from the major principal and minor principal directions,respectively,to simulate the construction and water impounding process of a rock fill dam.The stress and strain relationships induced by the different loading methods were investigated.A remarkable stress-induced anisotropy under complex stress state was observed.Contrary to popular assumptions in traditional numerical analysis and constitutive models,it was found that different elastic modulus and Poisson ratio exist in different principal directions in rock fill dams.From the testing results,an anisotropic constitutive model based on Duncan-Chang nonlinear model is presented to overcome the limitations of axi-symmetric assumptions in conventional triaxial experiments and constitutive models.Both models were then applied in FEM analysis of an under-construction earth core high rock soil filled dam with the focus on hydraulic fracturing.The study reveals the major biases that exist when numerical analysis and constitutive models do not give serious consideration to the intermediate principal stress and anisotropy effects in soil rock built structures.展开更多
In order to decrease the impact on shooting accuracy caused by human factors in the machine gun type approval testing,a new type testing gun mount system was developed to replace gunner to conduct the automatic shooti...In order to decrease the impact on shooting accuracy caused by human factors in the machine gun type approval testing,a new type testing gun mount system was developed to replace gunner to conduct the automatic shooting.The finite element model was first established and then the natural characteristics of the system were obtained by calculation.On basis of calculation results,the modal testing system was set up and the experimental points,including the exciting points and the measure points were determined.Finally,modal experiment of the system was carried out and the experimental modal parameters were obtained.The simulation and experiment results indicate that the dynamic characteristics of the system have a rational matching with the shooting frequency and the finite element model were well demonstrated.The study provides a new way for shooting accuracy test in type approval testing of firearms and possesses reference value for dynamic modification and optimization design.展开更多
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.展开更多
The magnetic flux leakage (MFL) method is commonly used in the nondestructive evaluation (NDE) of gun barrels. The key point of MFL testing is to estimate the crack geometry parameters based on the measured signal. Th...The magnetic flux leakage (MFL) method is commonly used in the nondestructive evaluation (NDE) of gun barrels. The key point of MFL testing is to estimate the crack geometry parameters based on the measured signal. The analysis of magnetic leakage fields can be obtained by solving Maxwell’s equations using finite element method (FEM). The radial component of magnetic flux density is measured in MFL testing. The peak-peak value, the separation distance between positive and negative peaks of signal and the lift-off value of Hall-sensor are used as the main features of every sample. This paper establishes the multi-regression equations related to the width (the depth) of crack and the main characteristic values. The regression model is tested by use of the magnetic leakage data. The experimental results indicate that the regression equations can accurately predict the 2-D defect geometry parameters and the MFL quantitative testing can be achieved.展开更多
基金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.
基金supported by the National Natural Science Foundation of China (70571083)the Research Fund for the Doctoral Program of Higher Education of China (20094307110013)
文摘A Bayesian sequential testing method is proposed to evaluate system reliability index with reliability growth during development.The method develops a reliability growth model of repairable systems for failure censored test,and figures out the approach to determine the prior distribution of the system failure rate by applying the reliability growth model to incorporate the multistage test data collected from system development.Furthermore,the procedure for the Bayesian sequential testing is derived for the failure rate of the exponential life system,which enables the decision to terminate or continue development test.Finally,a numerical example is given to illustrate the efficiency of the proposed model and procedure.
基金Project(10974115) supported by the National Natural Science Foundation of China
文摘Facing the problems lack of considering the non-uniform distribution of the static bias magnetic field and computing the panicle displacements in the simulation model of electromagnetic acoustic transducer （EMAT）, a multi-field coupled model was established and the finite element method （FEM） was presented to calculate the entire transduction process. The multi-field coupled model included the static magnetic field, pulsed eddy current field and mechanical field. The FEM equations of the three fields were derived by Garlerkin FEM method. Thus, the entire transduction process of the EMAT was calculated through sequentially coupling the three fields. The transduction process of a Lamb wave EMAT was calculated according to the present model and method. The results show that, by the present method, it is valid to calculate the particle displacement under the given excitation signal and non-uniformly distributed static magnetic field. Calculation error will be brought about if the non-uniform distribution of the static bias magnetic field is neglected.
基金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.
基金Project(50809023)supported by the National Natural Science Foundation of ChinaProject(2015B17714)supported by the Fundamental Research Funds for Central Universities,China
文摘Series of testing on coarse grained soils were carried out with a true triaxial testing apparatus.The loads were applied from the major principal and minor principal directions,respectively,to simulate the construction and water impounding process of a rock fill dam.The stress and strain relationships induced by the different loading methods were investigated.A remarkable stress-induced anisotropy under complex stress state was observed.Contrary to popular assumptions in traditional numerical analysis and constitutive models,it was found that different elastic modulus and Poisson ratio exist in different principal directions in rock fill dams.From the testing results,an anisotropic constitutive model based on Duncan-Chang nonlinear model is presented to overcome the limitations of axi-symmetric assumptions in conventional triaxial experiments and constitutive models.Both models were then applied in FEM analysis of an under-construction earth core high rock soil filled dam with the focus on hydraulic fracturing.The study reveals the major biases that exist when numerical analysis and constitutive models do not give serious consideration to the intermediate principal stress and anisotropy effects in soil rock built structures.
文摘In order to decrease the impact on shooting accuracy caused by human factors in the machine gun type approval testing,a new type testing gun mount system was developed to replace gunner to conduct the automatic shooting.The finite element model was first established and then the natural characteristics of the system were obtained by calculation.On basis of calculation results,the modal testing system was set up and the experimental points,including the exciting points and the measure points were determined.Finally,modal experiment of the system was carried out and the experimental modal parameters were obtained.The simulation and experiment results indicate that the dynamic characteristics of the system have a rational matching with the shooting frequency and the finite element model were well demonstrated.The study provides a new way for shooting accuracy test in type approval testing of firearms and possesses reference value for dynamic modification and optimization design.
基金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.
基金National Nature Science Found of China(50175109)Science Fund of Ordnance Engineering College in China
文摘The magnetic flux leakage (MFL) method is commonly used in the nondestructive evaluation (NDE) of gun barrels. The key point of MFL testing is to estimate the crack geometry parameters based on the measured signal. The analysis of magnetic leakage fields can be obtained by solving Maxwell’s equations using finite element method (FEM). The radial component of magnetic flux density is measured in MFL testing. The peak-peak value, the separation distance between positive and negative peaks of signal and the lift-off value of Hall-sensor are used as the main features of every sample. This paper establishes the multi-regression equations related to the width (the depth) of crack and the main characteristic values. The regression model is tested by use of the magnetic leakage data. The experimental results indicate that the regression equations can accurately predict the 2-D defect geometry parameters and the MFL quantitative testing can be achieved.
