Group testing is a method that can be used to estimate the prevalence of rare infectious diseases,which can effectively save time and reduce costs compared to the method of random sampling.However,previous literature ...Group testing is a method that can be used to estimate the prevalence of rare infectious diseases,which can effectively save time and reduce costs compared to the method of random sampling.However,previous literature only demonstrated the optimality of group testing strategy while estimating prevalence under some strong assumptions.This article weakens the assumption of misclassification rate in the previous literature,considers the misclassification rate of the infected samples as a differentiable function of the pool size,and explores some optimal properties of group testing for estimating prevalence in the presence of differential misclassification conforming to this assumption.This article theoretically demonstrates that the group testing strategy performs better than the sample by sample procedure in estimating disease prevalence when the total number of sample pools is given or the size of the test population is determined.Numerical simulation experiments were conducted to evaluate the performance of group tests in estimating prevalence in the presence of dilution effect.展开更多
Objective:Pelvic floor sensory training is commonly used in clinical practice for the treatment of stress urinary incontinence(SUI);however,there is a lack of comparative studies evaluating pelvic floor sensation betw...Objective:Pelvic floor sensory training is commonly used in clinical practice for the treatment of stress urinary incontinence(SUI);however,there is a lack of comparative studies evaluating pelvic floor sensation between women with SUI and healthy controls.Additionally,normative data for two-point discrimination thresholds in the female pelvic floor region remain scarce.This study aims to compare the results of 4 sensory tests in the pelvic floor region between women with mild SUI and healthy women,in order to provide reference values for two-point discrimination thresholds in this area.Methods:From April 1 to October 30,2023,108 healthy women[(32.5±3.6)years]and 90 women with mild SUI[(32.9±3.3)years]were recruited from the Third Xiangya Hospital,Central South University.Participants underwent 4 sensory tests in the pelvic floor region:Two-dot discrimination,weight perception,shape recognition,and 9-grid localization.The results were compared between the 2 groups.Results:Compared with healthy women,those with mild SUI had lower sensitivity and higher thresholds in 2-dot discrimination tests in the pelvic floor region(all P<0.001).No significant differences were found between groups in weight perception,shape recognition,or grid localization tests(P>0.05).Conclusion:Women with mild stress urinary incontinence have impaired two-point discrimination ability in the pelvic floor region.展开更多
The study of the charge conjugation and parity(CP)violation of hyperon is the precision frontier for probing possible new CP violation sources beyond the standard model(SM).With the large number of quantum entangled h...The study of the charge conjugation and parity(CP)violation of hyperon is the precision frontier for probing possible new CP violation sources beyond the standard model(SM).With the large number of quantum entangled hyperonantihyperon pairs to be produced at Super Tau-Charm Facility(STCF),the CP asymmetry of hyperon is expected to be tested with a statistical sensitivity of 10−4 or even better.To cope with the statistical precision,the systematic effects from various aspects are critical and need to be studied in detail.In this paper,the sensitivity effects on the CP violation parameters associated with the detector resolution,including those of the position and momentum,are studied and discussed in detail.The results provide valuable guidance for the design of STCF detector.展开更多
Plant roots are widely known to provide mechanical reinforcement to soils against shearing and further increase slope stability.However,whether roots provide reinforcement to loess cyclic re-sistance and how various f...Plant roots are widely known to provide mechanical reinforcement to soils against shearing and further increase slope stability.However,whether roots provide reinforcement to loess cyclic re-sistance and how various factors affect roots reinforcement during seismic loading have rarely been studied.The objective is to conduct a series of cyclic direct simple shear tests and DEM numerical simulation to investigate the cyclic behaviour of rooted loess.The effects of initial static shear stress and loading frequency on the cyclic resistance of root-soil composites were first investigated.After that,cyclic direct simple shear simulations at constant volume were carried out based on the discrete element method(PFC^(3D))to investigate the effects of root geome-try,mechanical traits and root-soil bond strength on the cyclic strength of rooted loess.It was discovered that the roots could effectively improve the cyclic resistance of loess.The cyclic resistance of the root-soil composite decreases with the increase of the initial shear stress,then increases,and improves with the increase of the frequency.The simulation result show that increases in root elastic modulus and root-soil interfacial bond strength can all enhance the cyclic resistance of root-soil composites,and the maximum cyclic resistance of the root-soil composite was obtained when the initial inclination angle of the root system was 90°.展开更多
The lack of systematic and scientific top-level arrangement in the field of civil aircraft flight test leads to the problems of long duration and high cost.Based on the flight test activity,mathematical models of flig...The lack of systematic and scientific top-level arrangement in the field of civil aircraft flight test leads to the problems of long duration and high cost.Based on the flight test activity,mathematical models of flight test duration and cost are established to set up the framework of flight test process.The top-level arrangement for flight test is optimized by multi-objective algorithm to reduce the duration and cost of flight test.In order to verify the necessity and validity of the mathematical models and the optimization algorithm of top-level arrangement,real flight test data is used to make an example calculation.Results show that the multi-objective optimization results of the top-level flight arrangement are better than the initial arrangement data,which can shorten the duration,reduce the cost,and improve the efficiency of flight test.展开更多
With the development of high energy solid propellants,it is critical to evaluate the safety and power performance of solid propellants in the face of threats such as unmanned aerial vehicles(UAVs)when transporting and...With the development of high energy solid propellants,it is critical to evaluate the safety and power performance of solid propellants in the face of threats such as unmanned aerial vehicles(UAVs)when transporting and using them in contemporary warfare.An electric probe-type cylinder test measured the displacement-time behavior of NEPE high-energy solid propellant,and the parameters of the Jones-Wilkins-Lee(JWL)equation of state(EOS)were derived using particle swarm optimization(PSO)with the Gurney energy model.Further,the parameters of JWL-Miller EOS,determined through AUTODYN simulations,were validated by comparing airburst process simulations with experimental overpressure data.The study established a method for determining EOS parameters of high-energy propellants,achieving a high degree of accuracy.The derived parameters ensure precise modeling of propellant behavior,offering a reliable foundation for future applications in solid rocket motor performance optimization and safety assessment.展开更多
This paper subscribes to the view that the classroom listening test can improve the teaching listening. It can motivate a student. By analyzing the test result, the teacher can check whether and to what degree the edu...This paper subscribes to the view that the classroom listening test can improve the teaching listening. It can motivate a student. By analyzing the test result, the teacher can check whether and to what degree the educational program has achieved what it set out to achieve, or how much the learners have learned what they were supposed to learn. Some effective listening tests are given to help the teacher improve the teaching method in which the teacher focus much on the process of listening, little on the product. The teacher can teach the skill rather than simply practise the listening.展开更多
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.展开更多
2016年5月22日,在奥地利维也纳召开的2016年欧洲肾脏病年会上,北京大学第一医院肾内科张宏教授代表＂＂评价糖皮质激素治疗Ig A肾病全球研究＂（Therapeutic Evaluation of Steroids in Ig A Nephropathy Global study,TESTING研究）协...2016年5月22日,在奥地利维也纳召开的2016年欧洲肾脏病年会上,北京大学第一医院肾内科张宏教授代表＂＂评价糖皮质激素治疗Ig A肾病全球研究＂（Therapeutic Evaluation of Steroids in Ig A Nephropathy Global study,TESTING研究）协作组报告了该研究的中期分析结果。研究显示：对于全球最常见的肾小球肾炎——Ig A肾病,糖皮质激素（甲基泼尼松龙）治疗虽然可以减少三分之二以上的肾衰竭事件,展开更多
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.展开更多
In detecting system fault algorithms,the false alarm rate and undectect rate generated by residual Chi-square test can affect the stability of filters.The paper proposes a fault detection algorithm based on sequential...In detecting system fault algorithms,the false alarm rate and undectect rate generated by residual Chi-square test can affect the stability of filters.The paper proposes a fault detection algorithm based on sequential residual Chi-square test and applies to fault detection of an integrated navigation system.The simulation result shows that the algorithm can accurately detect the fault information of global positioning system（GPS）,eliminate the influence of false alarm and missed detection on filter,and enhance fault tolerance of integrated navigation systems.展开更多
In order to deal with the limitations during the register transfer level verification, a new functional verification method based on the random testing for the system-level of system-on-chip is proposed.The validity o...In order to deal with the limitations during the register transfer level verification, a new functional verification method based on the random testing for the system-level of system-on-chip is proposed.The validity of this method is proven theoretically.Specifically, testcases are generated according to many approaches of randomization.Moreover, the testbench for the system-level verification according to the proposed method is designed by using advanced modeling language.Therefore, under the circumstances that the testbench generates testcases quickly, the hardware/software co-simulation and co-verification can be implemented and the hardware/software partitioning planning can be evaluated easily.The comparison method is put to use in the evaluation approach of the testing validity.The evaluation result indicates that the efficiency of the partition testing is better than that of the random testing only when one or more subdomains are covered over with the area of errors, although the efficiency of the random testing is generally better than that of the partition testing.The experimental result indicates that this method has a good performance in the functional coverage and the cost of testing and can discover the functional errors as soon as possible.展开更多
The optimum design of equivalent accelerated life testing plan based on proportional hazards-proportional odds model using D-optimality is presented. The defined equivalent test plan is the test plan that has the same...The optimum design of equivalent accelerated life testing plan based on proportional hazards-proportional odds model using D-optimality is presented. The defined equivalent test plan is the test plan that has the same value of the determinant of Fisher information matrix. The equivalent test plan of step stress accelerated life testing （SSALT） to a baseline optimum constant stress accelerated life testing （CSALT） plan is obtained by adjusting the censoring time of SSALT and solving the optimization problem for each case to achieve the same value of the determinant of Fisher information matrix as in the baseline optimum CSALT plan. Numer- ical examples are given finally which demonstrate the equivalent SSALT plan to the baseline optimum CSALT plan reduces almost half of the test time while achieving approximately the same estimation errors of model parameters.展开更多
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.展开更多
In order to investigate the physical mechanism of metal magnetic memory testing, both the influences of earth magnetic field and applied stress on magnetic domain structure were discussed. Static tension and fatigue t...In order to investigate the physical mechanism of metal magnetic memory testing, both the influences of earth magnetic field and applied stress on magnetic domain structure were discussed. Static tension and fatigue tests for low carbon steel plate specimens were carried out on hydraulic servo testing machine of MTS810 type and magnetic signals were measured during the processes by the type of EMS-2003 instrument. The results indicate that the initial magnetic signals of specimens are different before loading. The magnetic signals curves are transformed from initial random to regular pattern due to the effect of two types of loads. However, the shape and distribution of magnetic signal curves in the elastic region are different from that of plastic region in tension test. While in fatigue test those magnetic signals curves corresponding to different cycles are similar. The H_p(y) value of magnetic signals on the fracture zone increases dramatically at the breaking transient time and positive-negative magnetic poles occur on the two parts of fracture zone.展开更多
Tension-compression fatigue test was performed on 0.45% C steel specimens.Normal and tangential components of magnetic memory testing signals,Hp(y) and Hp(x) signals,with their characteristics,K of Hp(y) and Hp(x)M of...Tension-compression fatigue test was performed on 0.45% C steel specimens.Normal and tangential components of magnetic memory testing signals,Hp(y) and Hp(x) signals,with their characteristics,K of Hp(y) and Hp(x)M of Hp(x),throughout the fatigue process were presented and analyzed.Abnormal peaks of Hp(y) and peak of Hp(x) reversed after loading; Hp(y) curves rotated clockwise and Hp(x) curves elevated significantly with the increase of fatigue cycle number at the first a few fatigue cycles,both Hp(y) and Hp(x) curves were stable after that,the amplitude of abnormal peaks of Hp(y) and peak value of Hp(x) increased more quickly after fatigue crack initiation.Abnormal peaks of Hp(y) and peak of Hp(x) at the notch reversed again after failure.The characteristics were found to exhibit consistent tendency in the whole fatigue life and behave differently in different stages of fatigue.In initial and crack developing stages,the characteristics increased significantly due to dislocations increase and crack propagation,respectively.In stable stage,the characteristics remained constant as a result of dislocation blocking,K value ranged from 20 to 30 A/(m·mm)-1,and Hp(x)M ranged from 270 to 300 A/m under the test parameters in this work.After failure,both abnormal peaks of Hp(y) and peak of Hp(x) reversed,K value was 133 A/(m·mm)-1 and Hp(x)M was-640 A/m.The results indicate that the characteristics of Hp(y) and Hp(x) signals were related to the accumulation of fatigue,so it is feasible and applicable to monitor fatigue damage of ferromagnetic components using metal magnetic memory testing(MMMT).展开更多
The software reliability testing has many disadvantages in practice, such as high complexity of constructing operational profiles and poor fault detection efficiency. Oppositely, the directed testing with a high fa...The software reliability testing has many disadvantages in practice, such as high complexity of constructing operational profiles and poor fault detection efficiency. Oppositely, the directed testing with a high fault detection rate is incapable of estimating reliability quantificationally. To solve this problem, a hybrid testing combining reliability and directed testing as well as a reliability model based on the order statistic （OS） model were presented by Mitchell. An extended research on Mitchell＇s work is proposed. Firstly, the most proper distribution of the fault＇s failure rate which tends to be Iognormal is suggested, and a detailed form of the OS model based on Iognormal and the corresponding parameter estimation method are proposed, respectively. Secondly, an im- plementing framework for the hybrid testing is proposed. Finally, the hybrid testing and the OS model are applied on a real website system. The experimental results indicate： the hybrid testing has more efficient fault detection power and lower testing cost than the reliability testing; compared with three traditional software reliabil ity growth models, the OS model has a best or pretty estimation or prediction power for each data set; and for the failure data set collected from hybrid testing, the OS model also achieves an ac- ceptable estimation result.展开更多
An efficient design-for-testability （DFT） technique is proposed to achieve low overhead for scan-based delay fault testing. Existing techniques for delay test such as skewed-load or broadside make the test generatio...An efficient design-for-testability （DFT） technique is proposed to achieve low overhead for scan-based delay fault testing. Existing techniques for delay test such as skewed-load or broadside make the test generation process complex and produce lower coverage for scan-based designs as compared with non-scan designs, whereas techniques such as enhanced-scan test can make the test easy but need an extra holding latch to add substantial hardware overhead. A new tri-state holding logic is presented to replace the common holding latch in enhanced-scan test to get a substantial low hardware overhead. This scheme can achieve low delay overhead by avoiding the holding latch on the critical timing scan path. What＇s more, this method can also keep the state and signal activity in the combinational circuit from the scan during data scan-in operation to reduce the power dissipation. Experiment results on a set of ISCAS89 benchmarks show the efficiency of the proposed scheme.展开更多
Ground improvement has been used on many construction sites to densify granular materials, in other word, to improve soil properties and reduce potential settlement. This work presents a case study of ground improveme...Ground improvement has been used on many construction sites to densify granular materials, in other word, to improve soil properties and reduce potential settlement. This work presents a case study of ground improvement using rapid impact compaction （RIC）. The research site comprises the construction of workshop and depots as part of railway development project at Batu Gajah-Ipoh, Malaysia. In-situ testing results show that the subsurface soil comprises mainly of sand and silty sand through the investigated depth extended to 10 m. Groundwater is approximately 0.5 m below the ground surface. Evaluation of improvement was based on the results of pre- and post-improvement cone penetration test （CPT）. Interpretation software has been used to infer soil properties. Load test was conducted to estimate soil settlement. It is found that the technique succeeds in improving soil properties namely the relative density increases from 45% to 70%, the friction angle of soil is increased by an average of 3°, and the soil settlement is reduced by 50%： The technique succeeds in improving soil properties to approximately 5.0 m in depth depending on soil uniformity with depth.展开更多
基金supported by the National Natural Science Foundation of China(Grant No.72091212).
文摘Group testing is a method that can be used to estimate the prevalence of rare infectious diseases,which can effectively save time and reduce costs compared to the method of random sampling.However,previous literature only demonstrated the optimality of group testing strategy while estimating prevalence under some strong assumptions.This article weakens the assumption of misclassification rate in the previous literature,considers the misclassification rate of the infected samples as a differentiable function of the pool size,and explores some optimal properties of group testing for estimating prevalence in the presence of differential misclassification conforming to this assumption.This article theoretically demonstrates that the group testing strategy performs better than the sample by sample procedure in estimating disease prevalence when the total number of sample pools is given or the size of the test population is determined.Numerical simulation experiments were conducted to evaluate the performance of group tests in estimating prevalence in the presence of dilution effect.
基金supported by the Key Research and Development Program of Hunan Province,China(2023SK2038).
文摘Objective:Pelvic floor sensory training is commonly used in clinical practice for the treatment of stress urinary incontinence(SUI);however,there is a lack of comparative studies evaluating pelvic floor sensation between women with SUI and healthy controls.Additionally,normative data for two-point discrimination thresholds in the female pelvic floor region remain scarce.This study aims to compare the results of 4 sensory tests in the pelvic floor region between women with mild SUI and healthy women,in order to provide reference values for two-point discrimination thresholds in this area.Methods:From April 1 to October 30,2023,108 healthy women[(32.5±3.6)years]and 90 women with mild SUI[(32.9±3.3)years]were recruited from the Third Xiangya Hospital,Central South University.Participants underwent 4 sensory tests in the pelvic floor region:Two-dot discrimination,weight perception,shape recognition,and 9-grid localization.The results were compared between the 2 groups.Results:Compared with healthy women,those with mild SUI had lower sensitivity and higher thresholds in 2-dot discrimination tests in the pelvic floor region(all P<0.001).No significant differences were found between groups in weight perception,shape recognition,or grid localization tests(P>0.05).Conclusion:Women with mild stress urinary incontinence have impaired two-point discrimination ability in the pelvic floor region.
基金supported by the National Key R&D Program of China(2022YFA1602200)the International Partnership Program of the Chinese Academy of Sciences(211134KYSB20200057).
文摘The study of the charge conjugation and parity(CP)violation of hyperon is the precision frontier for probing possible new CP violation sources beyond the standard model(SM).With the large number of quantum entangled hyperonantihyperon pairs to be produced at Super Tau-Charm Facility(STCF),the CP asymmetry of hyperon is expected to be tested with a statistical sensitivity of 10−4 or even better.To cope with the statistical precision,the systematic effects from various aspects are critical and need to be studied in detail.In this paper,the sensitivity effects on the CP violation parameters associated with the detector resolution,including those of the position and momentum,are studied and discussed in detail.The results provide valuable guidance for the design of STCF detector.
文摘Plant roots are widely known to provide mechanical reinforcement to soils against shearing and further increase slope stability.However,whether roots provide reinforcement to loess cyclic re-sistance and how various factors affect roots reinforcement during seismic loading have rarely been studied.The objective is to conduct a series of cyclic direct simple shear tests and DEM numerical simulation to investigate the cyclic behaviour of rooted loess.The effects of initial static shear stress and loading frequency on the cyclic resistance of root-soil composites were first investigated.After that,cyclic direct simple shear simulations at constant volume were carried out based on the discrete element method(PFC^(3D))to investigate the effects of root geome-try,mechanical traits and root-soil bond strength on the cyclic strength of rooted loess.It was discovered that the roots could effectively improve the cyclic resistance of loess.The cyclic resistance of the root-soil composite decreases with the increase of the initial shear stress,then increases,and improves with the increase of the frequency.The simulation result show that increases in root elastic modulus and root-soil interfacial bond strength can all enhance the cyclic resistance of root-soil composites,and the maximum cyclic resistance of the root-soil composite was obtained when the initial inclination angle of the root system was 90°.
基金supported by the National Natural Science Foundation of China(62073267,61903305)the Fundamental Research Funds for the Central Universities(HXGJXM202214).
文摘The lack of systematic and scientific top-level arrangement in the field of civil aircraft flight test leads to the problems of long duration and high cost.Based on the flight test activity,mathematical models of flight test duration and cost are established to set up the framework of flight test process.The top-level arrangement for flight test is optimized by multi-objective algorithm to reduce the duration and cost of flight test.In order to verify the necessity and validity of the mathematical models and the optimization algorithm of top-level arrangement,real flight test data is used to make an example calculation.Results show that the multi-objective optimization results of the top-level flight arrangement are better than the initial arrangement data,which can shorten the duration,reduce the cost,and improve the efficiency of flight test.
基金supported by"the Fundamental Research Funds for the Central Universities",No.30924010503.
文摘With the development of high energy solid propellants,it is critical to evaluate the safety and power performance of solid propellants in the face of threats such as unmanned aerial vehicles(UAVs)when transporting and using them in contemporary warfare.An electric probe-type cylinder test measured the displacement-time behavior of NEPE high-energy solid propellant,and the parameters of the Jones-Wilkins-Lee(JWL)equation of state(EOS)were derived using particle swarm optimization(PSO)with the Gurney energy model.Further,the parameters of JWL-Miller EOS,determined through AUTODYN simulations,were validated by comparing airburst process simulations with experimental overpressure data.The study established a method for determining EOS parameters of high-energy propellants,achieving a high degree of accuracy.The derived parameters ensure precise modeling of propellant behavior,offering a reliable foundation for future applications in solid rocket motor performance optimization and safety assessment.
文摘This paper subscribes to the view that the classroom listening test can improve the teaching listening. It can motivate a student. By analyzing the test result, the teacher can check whether and to what degree the educational program has achieved what it set out to achieve, or how much the learners have learned what they were supposed to learn. Some effective listening tests are given to help the teacher improve the teaching method in which the teacher focus much on the process of listening, little on the product. The teacher can teach the skill rather than simply practise the listening.
文摘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.
文摘2016年5月22日,在奥地利维也纳召开的2016年欧洲肾脏病年会上,北京大学第一医院肾内科张宏教授代表＂＂评价糖皮质激素治疗Ig A肾病全球研究＂（Therapeutic Evaluation of Steroids in Ig A Nephropathy Global study,TESTING研究）协作组报告了该研究的中期分析结果。研究显示：对于全球最常见的肾小球肾炎——Ig A肾病,糖皮质激素（甲基泼尼松龙）治疗虽然可以减少三分之二以上的肾衰竭事件,
基金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(6063403060702066)+1 种基金the Aerospace Science Foundation(20090853013)Fundmental Research Foundation of NWPU(JC201015),Soaring Star of NWPU
文摘In detecting system fault algorithms,the false alarm rate and undectect rate generated by residual Chi-square test can affect the stability of filters.The paper proposes a fault detection algorithm based on sequential residual Chi-square test and applies to fault detection of an integrated navigation system.The simulation result shows that the algorithm can accurately detect the fault information of global positioning system（GPS）,eliminate the influence of false alarm and missed detection on filter,and enhance fault tolerance of integrated navigation systems.
基金supported by the National High Technology Research and Development Program of China (863 Program) (2002AA1Z1490)Specialized Research Fund for the Doctoral Program of Higher Education (20040486049)the University Cooperative Research Fund of Huawei Technology Co., Ltd
文摘In order to deal with the limitations during the register transfer level verification, a new functional verification method based on the random testing for the system-level of system-on-chip is proposed.The validity of this method is proven theoretically.Specifically, testcases are generated according to many approaches of randomization.Moreover, the testbench for the system-level verification according to the proposed method is designed by using advanced modeling language.Therefore, under the circumstances that the testbench generates testcases quickly, the hardware/software co-simulation and co-verification can be implemented and the hardware/software partitioning planning can be evaluated easily.The comparison method is put to use in the evaluation approach of the testing validity.The evaluation result indicates that the efficiency of the partition testing is better than that of the random testing only when one or more subdomains are covered over with the area of errors, although the efficiency of the random testing is generally better than that of the partition testing.The experimental result indicates that this method has a good performance in the functional coverage and the cost of testing and can discover the functional errors as soon as possible.
文摘The optimum design of equivalent accelerated life testing plan based on proportional hazards-proportional odds model using D-optimality is presented. The defined equivalent test plan is the test plan that has the same value of the determinant of Fisher information matrix. The equivalent test plan of step stress accelerated life testing （SSALT） to a baseline optimum constant stress accelerated life testing （CSALT） plan is obtained by adjusting the censoring time of SSALT and solving the optimization problem for each case to achieve the same value of the determinant of Fisher information matrix as in the baseline optimum CSALT plan. Numer- ical examples are given finally which demonstrate the equivalent SSALT plan to the baseline optimum CSALT plan reduces almost half of the test time while achieving approximately the same estimation errors of model parameters.
基金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.
文摘In order to investigate the physical mechanism of metal magnetic memory testing, both the influences of earth magnetic field and applied stress on magnetic domain structure were discussed. Static tension and fatigue tests for low carbon steel plate specimens were carried out on hydraulic servo testing machine of MTS810 type and magnetic signals were measured during the processes by the type of EMS-2003 instrument. The results indicate that the initial magnetic signals of specimens are different before loading. The magnetic signals curves are transformed from initial random to regular pattern due to the effect of two types of loads. However, the shape and distribution of magnetic signal curves in the elastic region are different from that of plastic region in tension test. While in fatigue test those magnetic signals curves corresponding to different cycles are similar. The H_p(y) value of magnetic signals on the fracture zone increases dramatically at the breaking transient time and positive-negative magnetic poles occur on the two parts of fracture zone.
基金Projects(50975283,50975287)supported by the National Natural Science Foundation of ChinaProject(2011CB013401)supported by the National Basic Research Program,China
文摘Tension-compression fatigue test was performed on 0.45% C steel specimens.Normal and tangential components of magnetic memory testing signals,Hp(y) and Hp(x) signals,with their characteristics,K of Hp(y) and Hp(x)M of Hp(x),throughout the fatigue process were presented and analyzed.Abnormal peaks of Hp(y) and peak of Hp(x) reversed after loading; Hp(y) curves rotated clockwise and Hp(x) curves elevated significantly with the increase of fatigue cycle number at the first a few fatigue cycles,both Hp(y) and Hp(x) curves were stable after that,the amplitude of abnormal peaks of Hp(y) and peak value of Hp(x) increased more quickly after fatigue crack initiation.Abnormal peaks of Hp(y) and peak of Hp(x) at the notch reversed again after failure.The characteristics were found to exhibit consistent tendency in the whole fatigue life and behave differently in different stages of fatigue.In initial and crack developing stages,the characteristics increased significantly due to dislocations increase and crack propagation,respectively.In stable stage,the characteristics remained constant as a result of dislocation blocking,K value ranged from 20 to 30 A/(m·mm)-1,and Hp(x)M ranged from 270 to 300 A/m under the test parameters in this work.After failure,both abnormal peaks of Hp(y) and peak of Hp(x) reversed,K value was 133 A/(m·mm)-1 and Hp(x)M was-640 A/m.The results indicate that the characteristics of Hp(y) and Hp(x) signals were related to the accumulation of fatigue,so it is feasible and applicable to monitor fatigue damage of ferromagnetic components using metal magnetic memory testing(MMMT).
文摘The software reliability testing has many disadvantages in practice, such as high complexity of constructing operational profiles and poor fault detection efficiency. Oppositely, the directed testing with a high fault detection rate is incapable of estimating reliability quantificationally. To solve this problem, a hybrid testing combining reliability and directed testing as well as a reliability model based on the order statistic （OS） model were presented by Mitchell. An extended research on Mitchell＇s work is proposed. Firstly, the most proper distribution of the fault＇s failure rate which tends to be Iognormal is suggested, and a detailed form of the OS model based on Iognormal and the corresponding parameter estimation method are proposed, respectively. Secondly, an im- plementing framework for the hybrid testing is proposed. Finally, the hybrid testing and the OS model are applied on a real website system. The experimental results indicate： the hybrid testing has more efficient fault detection power and lower testing cost than the reliability testing; compared with three traditional software reliabil ity growth models, the OS model has a best or pretty estimation or prediction power for each data set; and for the failure data set collected from hybrid testing, the OS model also achieves an ac- ceptable estimation result.
基金This project was supported by the National Natural Science Foundation of China (90407007).
文摘An efficient design-for-testability （DFT） technique is proposed to achieve low overhead for scan-based delay fault testing. Existing techniques for delay test such as skewed-load or broadside make the test generation process complex and produce lower coverage for scan-based designs as compared with non-scan designs, whereas techniques such as enhanced-scan test can make the test easy but need an extra holding latch to add substantial hardware overhead. A new tri-state holding logic is presented to replace the common holding latch in enhanced-scan test to get a substantial low hardware overhead. This scheme can achieve low delay overhead by avoiding the holding latch on the critical timing scan path. What＇s more, this method can also keep the state and signal activity in the combinational circuit from the scan during data scan-in operation to reduce the power dissipation. Experiment results on a set of ISCAS89 benchmarks show the efficiency of the proposed scheme.
基金Projects(RG148/12AET,RG086/10AET) supported by the UMRG,MalaysiaProject(PS05812010B) supported by the Post Graduate Research Fund,Malaysia
文摘Ground improvement has been used on many construction sites to densify granular materials, in other word, to improve soil properties and reduce potential settlement. This work presents a case study of ground improvement using rapid impact compaction （RIC）. The research site comprises the construction of workshop and depots as part of railway development project at Batu Gajah-Ipoh, Malaysia. In-situ testing results show that the subsurface soil comprises mainly of sand and silty sand through the investigated depth extended to 10 m. Groundwater is approximately 0.5 m below the ground surface. Evaluation of improvement was based on the results of pre- and post-improvement cone penetration test （CPT）. Interpretation software has been used to infer soil properties. Load test was conducted to estimate soil settlement. It is found that the technique succeeds in improving soil properties namely the relative density increases from 45% to 70%, the friction angle of soil is increased by an average of 3°, and the soil settlement is reduced by 50%： The technique succeeds in improving soil properties to approximately 5.0 m in depth depending on soil uniformity with depth.
