Modeling technology has been introduced into software testing field. However, how to carry through the testing modeling effectively is still a difficulty. Based on combination of simulation modeling technology and emb...Modeling technology has been introduced into software testing field. However, how to carry through the testing modeling effectively is still a difficulty. Based on combination of simulation modeling technology and embedded real-time software testing method, the process of simulation testing modeling is studied first. And then, the supporting environment of simulation testing modeling is put forward. Furthermore, an approach of embedded real-time software simulation testing modeling including modeling of cross-linked equipments of system under testing (SUT), test case, testing scheduling, and testing system service is brought forward. Finally, the formalized description and execution system of testing models are given, with which we can realize real-time, closed loop, mad automated system testing for embedded real-time software.展开更多
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.展开更多
It is well-recognized that a transfer system response delay that reduces the test stability inevitably exists in real-time dynamic hybrid testing (RTDHT). This paper focuses on the delay-dependent stability and adde...It is well-recognized that a transfer system response delay that reduces the test stability inevitably exists in real-time dynamic hybrid testing (RTDHT). This paper focuses on the delay-dependent stability and added damping of SDOF systems in RTDHT. The exponential delay term is transferred into a rational fraction by the Pad6 approximation, and the delay-dependent stability conditions and instability mechanism of SDOF RTDHT systems are investigated by the root locus technique. First, the stability conditions are discussed separately for the cases of stiffness, mass, and damping experimental substructure. The use of root locus plots shows that the added damping effect and instability mechanism for mass are different from those for stiffness. For the stiffness experimental substructure case, the instability results from the inherent mode because of an obvious negative damping effect of the delay. For the mass case, the delay introduces an equivalent positive damping into the inherent mode, and instability occurs at an added high frequency mode. Then, the compound stability condition is investigated for a general case and the results show that the mass ratio may have both upper and lower limits to remain stable. Finally, a high-emulational virtual shaking table model is built to validate the stability conclusions.展开更多
A solution scheme is proposed in this paper for an existing RTDHT system to simulate large-scale finite element (FE) numerical substructures. The analysis of the FE numerical substructure is split into response anal...A solution scheme is proposed in this paper for an existing RTDHT system to simulate large-scale finite element (FE) numerical substructures. The analysis of the FE numerical substructure is split into response analysis and signal generation tasks, and executed in two different target computers in real-time. One target computer implements the response analysis task, wherein a large time-step is used to solve the FE substructure, and another target computer implements the signal generation task, wherein an interpolation program is used to generate control signals in a small time-step to meet the input demand of the controller. By using this strategy, the scale of the FE numerical substructure simulation may be increased significantly. The proposed scheme is initially verified by two FE numerical substructure models with 98 and 1240 degrees of freedom (DOFs). Thereafter, RTDHTs of a single frame-foundation structure are implemented where the foundation, considered as the numerical substructure, is simulated by the FE model with 1240 DOFs. Good agreements between the results of the RTDHT and those from the FE analysis in ABAQUS are obtained.展开更多
This paper proposes a formal model of the automatic testing system for scheduling strategies in real-time UNIX and describes the algorithm of the key part of the system. The model of the system is an important technol...This paper proposes a formal model of the automatic testing system for scheduling strategies in real-time UNIX and describes the algorithm of the key part of the system. The model of the system is an important technology of the automatization of software development. According to the model presented in the paper, many different kinds of automatic testing systems can be designed and developed easily. At the end of the paper, the prototype proves the feasibility of the model and design.展开更多
This paper employs a velocity plus displacement(V+D)-based equivalent force control(EFC) method to solve the velocity/displacement difference equation in a real-time substructure test. This method uses type 2 fee...This paper employs a velocity plus displacement(V+D)-based equivalent force control(EFC) method to solve the velocity/displacement difference equation in a real-time substructure test. This method uses type 2 feedback control loops to replace mathematical iteration to solve the nonlinear dynamic equation. A spectral radius analysis of the amplification matrix shows that the type 2 EFC-explicit, Newmark-β method has beneficial numerical characteristics for this method. Its stability limit of Ω = 2 remains unchanged regardless of the system damping because the velocity is achieved with very high accuracy during simulation. In contrast, the stability limits of the central difference method using direct velocity prediction and the EFC-average acceleration method with linear interpolation are shown to decrease with an increase in system damping. In fact, the EFC-average acceleration method is shown to change from unconditionally stable to conditionally stable. We also show that if an over-damped system with a damping ratio of 1.05 is considered, the stability limit is reduced to Ω =1.45. Finally, the results from an experiment with a single-degree-of-freedom structure installed with a magneto-rheological(MR) damper are presented. The results demonstrate that the proposed method is able to follow both displacement and velocity commands with moderate accuracy, resulting in improved test performance and accuracy for structures that are sensitive to both velocity and displacement inputs. Although the findings of the study are promising, additional test data and several further improvements will be required to draw general conclusions.展开更多
A first and effective method is proposed to detect weld deject adaptively in various Dypes of real-time X-ray images obtained in different conditions. After weld extraction and noise reduction, a proper template of me...A first and effective method is proposed to detect weld deject adaptively in various Dypes of real-time X-ray images obtained in different conditions. After weld extraction and noise reduction, a proper template of median filter is used to estimate the weld background. After the weld background is subtracted from the original image, an adaptite threshold segmentation algorithm is proposed to obtain the binary image, and then the morphological close and open operation, labeling algorithm and fids'e alarm eliminating algorithm are applied to pracess the binary image to obtain the defect, ct detection result. At last, a fast realization procedure jbr proposed method is developed. The proposed method is tested in real-time X-ray image,s obtairted in different X-ray imaging sutems. Experiment results show that the proposed method is effective to detect low contrast weld dejects with few .false alarms and is adaptive to various types of real-time X-ray imaging systems.展开更多
The real in time computerized tomography (CT) testing of the meso damage propagation law of the whole sandstone failure process under triaxial compression has been completed using the newest specified triaxial loading...The real in time computerized tomography (CT) testing of the meso damage propagation law of the whole sandstone failure process under triaxial compression has been completed using the newest specified triaxial loading equipment corresponding to the CT machine. Through the CT scanning, the clear CT images which include from the microcracks compressed stage to growth stage, bifurcation stage, development stage, crack fracture stage,the rock sample failure until to unloading stage in the different stress states were obtained. The CT values, CT images and the other data have been analyzed. Based on the results of the CT testing of meso damage evolution law of rock,the stress threshold value of meso damage of rock is given, and the stress strain complete process curve of rock is divided into some sections. The initial rock damage propagation law is given in this paper.展开更多
Objective Establishing a highly sensitive real-time fluorescence quantitative PCR (qPCR) method for universal testing of epidemic African swine fever virus (ASFV) strains. Methods The ASFV p72 gene was targeted to des...Objective Establishing a highly sensitive real-time fluorescence quantitative PCR (qPCR) method for universal testing of epidemic African swine fever virus (ASFV) strains. Methods The ASFV p72 gene was targeted to design primer probes covering 24 p72 genotypes. The optimal amount of dimethylsulphoxide (DMSO) for qPCR amplification was determined, Various sensitivity and limit of detection (LOD) tests were performed, and clinical samples from China and imported goods were tested. Results The optimal primer-probe combination could specifically detect ASFV, 1.5% DMSO was optimal for qPCR, and LOD reached 3.2 copies/μL with good reproducibility (n = 20, p = 0.369). The method was employed to test 142 clinically suspected samples, of which 30 pig blood and 37 pig tissue samples were ASFV-positive. Moreover, the positive testing rate for ASFV was higher than for the standard qPCR method recommended by the Office International Des Epizooties (OIE), and for the commercially available kit. Thus, our method is superior for testing weakly positive samples with low virus titre, and epidemic strains present in imported goods. Conclusion Our method could be employed for universal testing of epidemic ASFV strains worldwide, ensuring wider coverage of hosts and ASFV strains/endemic strains, reducing false<span style="font-family:;" "=""> </span><span style="font-family:Verdana;">negatives, and benefitting early diagnosis.</span>展开更多
文摘Modeling technology has been introduced into software testing field. However, how to carry through the testing modeling effectively is still a difficulty. Based on combination of simulation modeling technology and embedded real-time software testing method, the process of simulation testing modeling is studied first. And then, the supporting environment of simulation testing modeling is put forward. Furthermore, an approach of embedded real-time software simulation testing modeling including modeling of cross-linked equipments of system under testing (SUT), test case, testing scheduling, and testing system service is brought forward. Finally, the formalized description and execution system of testing models are given, with which we can realize real-time, closed loop, mad automated system testing for embedded real-time software.
基金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.
基金State Key Laboratory of Hydroscience and Engineering Under Grant No.2008-TC-2National Natural Science Foundation of China Under Grant No.90510018,50779021 and 90715041
文摘It is well-recognized that a transfer system response delay that reduces the test stability inevitably exists in real-time dynamic hybrid testing (RTDHT). This paper focuses on the delay-dependent stability and added damping of SDOF systems in RTDHT. The exponential delay term is transferred into a rational fraction by the Pad6 approximation, and the delay-dependent stability conditions and instability mechanism of SDOF RTDHT systems are investigated by the root locus technique. First, the stability conditions are discussed separately for the cases of stiffness, mass, and damping experimental substructure. The use of root locus plots shows that the added damping effect and instability mechanism for mass are different from those for stiffness. For the stiffness experimental substructure case, the instability results from the inherent mode because of an obvious negative damping effect of the delay. For the mass case, the delay introduces an equivalent positive damping into the inherent mode, and instability occurs at an added high frequency mode. Then, the compound stability condition is investigated for a general case and the results show that the mass ratio may have both upper and lower limits to remain stable. Finally, a high-emulational virtual shaking table model is built to validate the stability conclusions.
基金National Natural Science Foundation under Grant Nos.51179093,91215301 and 41274106the Specialized Research Fund for the Doctoral Program of Higher Education under Grant No.20130002110032Tsinghua University Initiative Scientific Research Program under Grant No.20131089285
文摘A solution scheme is proposed in this paper for an existing RTDHT system to simulate large-scale finite element (FE) numerical substructures. The analysis of the FE numerical substructure is split into response analysis and signal generation tasks, and executed in two different target computers in real-time. One target computer implements the response analysis task, wherein a large time-step is used to solve the FE substructure, and another target computer implements the signal generation task, wherein an interpolation program is used to generate control signals in a small time-step to meet the input demand of the controller. By using this strategy, the scale of the FE numerical substructure simulation may be increased significantly. The proposed scheme is initially verified by two FE numerical substructure models with 98 and 1240 degrees of freedom (DOFs). Thereafter, RTDHTs of a single frame-foundation structure are implemented where the foundation, considered as the numerical substructure, is simulated by the FE model with 1240 DOFs. Good agreements between the results of the RTDHT and those from the FE analysis in ABAQUS are obtained.
基金the Defense Advanced research Projects Agency of the Department of Defense (No.15.3.2).
文摘This paper proposes a formal model of the automatic testing system for scheduling strategies in real-time UNIX and describes the algorithm of the key part of the system. The model of the system is an important technology of the automatization of software development. According to the model presented in the paper, many different kinds of automatic testing systems can be designed and developed easily. At the end of the paper, the prototype proves the feasibility of the model and design.
基金Scientific Research Fund of the Institute of Engineering Mechanics,CEA under Grant No.2016B09,2017A02 and 2016A06the National Natural Science Foundation of China under Grant No,51378478,51408565,51678538 and 51161120360the National ScienceTechnology Support Plan Projects(2016YFC0701106)
文摘This paper employs a velocity plus displacement(V+D)-based equivalent force control(EFC) method to solve the velocity/displacement difference equation in a real-time substructure test. This method uses type 2 feedback control loops to replace mathematical iteration to solve the nonlinear dynamic equation. A spectral radius analysis of the amplification matrix shows that the type 2 EFC-explicit, Newmark-β method has beneficial numerical characteristics for this method. Its stability limit of Ω = 2 remains unchanged regardless of the system damping because the velocity is achieved with very high accuracy during simulation. In contrast, the stability limits of the central difference method using direct velocity prediction and the EFC-average acceleration method with linear interpolation are shown to decrease with an increase in system damping. In fact, the EFC-average acceleration method is shown to change from unconditionally stable to conditionally stable. We also show that if an over-damped system with a damping ratio of 1.05 is considered, the stability limit is reduced to Ω =1.45. Finally, the results from an experiment with a single-degree-of-freedom structure installed with a magneto-rheological(MR) damper are presented. The results demonstrate that the proposed method is able to follow both displacement and velocity commands with moderate accuracy, resulting in improved test performance and accuracy for structures that are sensitive to both velocity and displacement inputs. Although the findings of the study are promising, additional test data and several further improvements will be required to draw general conclusions.
文摘A first and effective method is proposed to detect weld deject adaptively in various Dypes of real-time X-ray images obtained in different conditions. After weld extraction and noise reduction, a proper template of median filter is used to estimate the weld background. After the weld background is subtracted from the original image, an adaptite threshold segmentation algorithm is proposed to obtain the binary image, and then the morphological close and open operation, labeling algorithm and fids'e alarm eliminating algorithm are applied to pracess the binary image to obtain the defect, ct detection result. At last, a fast realization procedure jbr proposed method is developed. The proposed method is tested in real-time X-ray image,s obtairted in different X-ray imaging sutems. Experiment results show that the proposed method is effective to detect low contrast weld dejects with few .false alarms and is adaptive to various types of real-time X-ray imaging systems.
基金FundofStateKeyLaboratoryofFrozenSoilEngineeringofChina !(No 980 2 No 2 0 0 3 )
文摘The real in time computerized tomography (CT) testing of the meso damage propagation law of the whole sandstone failure process under triaxial compression has been completed using the newest specified triaxial loading equipment corresponding to the CT machine. Through the CT scanning, the clear CT images which include from the microcracks compressed stage to growth stage, bifurcation stage, development stage, crack fracture stage,the rock sample failure until to unloading stage in the different stress states were obtained. The CT values, CT images and the other data have been analyzed. Based on the results of the CT testing of meso damage evolution law of rock,the stress threshold value of meso damage of rock is given, and the stress strain complete process curve of rock is divided into some sections. The initial rock damage propagation law is given in this paper.
文摘Objective Establishing a highly sensitive real-time fluorescence quantitative PCR (qPCR) method for universal testing of epidemic African swine fever virus (ASFV) strains. Methods The ASFV p72 gene was targeted to design primer probes covering 24 p72 genotypes. The optimal amount of dimethylsulphoxide (DMSO) for qPCR amplification was determined, Various sensitivity and limit of detection (LOD) tests were performed, and clinical samples from China and imported goods were tested. Results The optimal primer-probe combination could specifically detect ASFV, 1.5% DMSO was optimal for qPCR, and LOD reached 3.2 copies/μL with good reproducibility (n = 20, p = 0.369). The method was employed to test 142 clinically suspected samples, of which 30 pig blood and 37 pig tissue samples were ASFV-positive. Moreover, the positive testing rate for ASFV was higher than for the standard qPCR method recommended by the Office International Des Epizooties (OIE), and for the commercially available kit. Thus, our method is superior for testing weakly positive samples with low virus titre, and epidemic strains present in imported goods. Conclusion Our method could be employed for universal testing of epidemic ASFV strains worldwide, ensuring wider coverage of hosts and ASFV strains/endemic strains, reducing false<span style="font-family:;" "=""> </span><span style="font-family:Verdana;">negatives, and benefitting early diagnosis.</span>