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.展开更多
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.展开更多
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.展开更多
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.展开更多
A fault injection model-oriented testing strategy was proposed for detecting component vulnerabilities.A fault injection model was defined,and the faults were injected into the tested component based on the fault inje...A fault injection model-oriented testing strategy was proposed for detecting component vulnerabilities.A fault injection model was defined,and the faults were injected into the tested component based on the fault injection model to trigger security exceptions.The testing process could be recorded by the monitoring mechanism of the strategy,and the monitoring information was written into the security log.The component vulnerabilities could be detected by the detecting algorithm through analyzing the security log.Lastly,some experiments were done in an integration testing platform to verify the applicability of the strategy.The experimental results show that the strategy is effective and operable.The detecting rate is more than 90%for vulnerability components.展开更多
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肾病,糖皮质激素（甲基泼尼松龙）治疗虽然可以减少三分之二以上的肾衰竭事件,展开更多
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.展开更多
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.展开更多
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.展开更多
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).展开更多
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.展开更多
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.展开更多
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.展开更多
Lining craze, as a common engineering damage, affects the bearing capacity and the safety of tunnels.To improve the capabilities of the surface crack detection in the tunnel lining, ground penetrating radar(GPR) was e...Lining craze, as a common engineering damage, affects the bearing capacity and the safety of tunnels.To improve the capabilities of the surface crack detection in the tunnel lining, ground penetrating radar(GPR) was employed. The principle and method of GPR for cracks investigation of tunnel lining were expounded. As an application example, some field measurements in order to detect the depth of cracks for the tunnel lining were achieved in a new tunnel. All GPR investigations were made with the antennae of 1 GHz. The cracks of concrete structure were located, and the distributing and depth of cracks are inspected and estimated by GPR. The results of investigation show GPR is accurate and efficient to detect cracks of tunnel lining.展开更多
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.展开更多
This study presents a Bayesian methodology for de- signing step stress accelerated degradation testing （SSADT） and its application to batteries. First, the simulation-based Bayesian de- sign framework for SSADT is p...This study presents a Bayesian methodology for de- signing step stress accelerated degradation testing （SSADT） and its application to batteries. First, the simulation-based Bayesian de- sign framework for SSADT is presented. Then, by considering his- torical data, specific optimal objectives oriented Kullback-Leibler （KL） divergence is established. A numerical example is discussed to illustrate the design approach. It is assumed that the degrada- tion model （or process） follows a drift Brownian motion; the accele- ration model follows Arrhenius equation; and the corresponding parameters follow normal and Gamma prior distributions. Using the Markov Chain Monte Carlo （MCMC） method and WinBUGS software, the comparison shows that KL divergence is better than quadratic loss for optimal criteria. Further, the effect of simulation outiiers on the optimization plan is analyzed and the preferred sur- face fitting algorithm is chosen. At the end of the paper, a NASA lithium-ion battery dataset is used as historical information and the KL divergence oriented Bayesian design is compared with maxi- mum likelihood theory oriented locally optimal design. The results show that the proposed method can provide a much better testing plan for this engineering application.展开更多
In view of the limitations of solid metal heat sink in the heat dissipation of high power light emitting diode （LED）, a kind of miniaturized phase change heat sink is developed for high power LED packaging. First, t...In view of the limitations of solid metal heat sink in the heat dissipation of high power light emitting diode （LED）, a kind of miniaturized phase change heat sink is developed for high power LED packaging. First, the fabrication process of miniaturized phase change heat sink is investigated, upon which all parts of the heat sink are fabricated including main-body and end-cover of the heat sink, the formation of three-dimensional boiling structures at the evaporation end, the sintering of the wick, and the encapsulation of high power LED phase change heat sink. Subsequently, with the assistance of the developed testing system, heat transfer performance of the heat sink is tested under the condition of natural convection, upon which the influence of thermal load and working medium on the heat transfer performance is investigated. Finally, the heat transfer performance of the developed miniaturized phase change heat sink is compared with that of metal solid heat sink. Results show that the developed miniaturized phase change heat sink presents much better heat transfer performance over traditional metal solid heat sink, and is suitable for the packaging of high power LED.展开更多
Detrital white mica single\|crystal Ar\|Ar ages from the Himalayan foreland sedimentary record are potentially a powerful tool in constraining source regions, tectonic evolution, and the timing and extent of exhumatio...Detrital white mica single\|crystal Ar\|Ar ages from the Himalayan foreland sedimentary record are potentially a powerful tool in constraining source regions, tectonic evolution, and the timing and extent of exhumation (Copeland 1990, Najman 1997, White 1999). However such studies require large numbers of analyses, and Ar/Ar total\|fusion of white mica grains is a very rapid and cost\|effective technique.Such analyses, however, do result in the sacrifice of internal consistency checks inherent in, for example, Ar/Ar step\|heating analysis.展开更多
In recent decades,many software reliability growth models（SRGMs） have been proposed for the engineers and testers in measuring the software reliability precisely.Most of them is established based on the non-homogene...In recent decades,many software reliability growth models（SRGMs） have been proposed for the engineers and testers in measuring the software reliability precisely.Most of them is established based on the non-homogeneous Poisson process（NHPP）,and it is proved that the prediction accuracy of such models could be improved by adding the describing of characterization of testing effort.However,some research work indicates that the fault detection rate（FDR） is another key factor affects final software quality.Most early NHPPbased models deal with the FDR as constant or piecewise function,which does not fit the different testing stages well.Thus,this paper first incorporates a multivariate function of FDR,which is bathtub-shaped,into the NHPP-based SRGMs considering testing effort in order to further improve performance.A new model framework is proposed,and a stepwise method is used to apply the framework with real data sets to find the optimal model.Experimental studies show that the obtained new model can provide better performance of fitting and prediction compared with other traditional SRGMs.展开更多
基金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.
文摘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.
基金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.
文摘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.
基金Project(513150601)supported by the National Pre-Research Project Foundation of China
文摘A fault injection model-oriented testing strategy was proposed for detecting component vulnerabilities.A fault injection model was defined,and the faults were injected into the tested component based on the fault injection model to trigger security exceptions.The testing process could be recorded by the monitoring mechanism of the strategy,and the monitoring information was written into the security log.The component vulnerabilities could be detected by the detecting algorithm through analyzing the security log.Lastly,some experiments were done in an integration testing platform to verify the applicability of the strategy.The experimental results show that the strategy is effective and operable.The detecting rate is more than 90%for vulnerability components.
文摘2016年5月22日,在奥地利维也纳召开的2016年欧洲肾脏病年会上,北京大学第一医院肾内科张宏教授代表＂＂评价糖皮质激素治疗Ig A肾病全球研究＂（Therapeutic Evaluation of Steroids in Ig A Nephropathy Global study,TESTING研究）协作组报告了该研究的中期分析结果。研究显示：对于全球最常见的肾小球肾炎——Ig A肾病,糖皮质激素（甲基泼尼松龙）治疗虽然可以减少三分之二以上的肾衰竭事件,
基金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.
基金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.
基金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.
基金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).
基金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.
基金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.
文摘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.
基金Projects(50204012 50490274) supported by the National Natural Science Foundation of China project supported by the Postdoctoral Science Foundation of China
文摘Lining craze, as a common engineering damage, affects the bearing capacity and the safety of tunnels.To improve the capabilities of the surface crack detection in the tunnel lining, ground penetrating radar(GPR) was employed. The principle and method of GPR for cracks investigation of tunnel lining were expounded. As an application example, some field measurements in order to detect the depth of cracks for the tunnel lining were achieved in a new tunnel. All GPR investigations were made with the antennae of 1 GHz. The cracks of concrete structure were located, and the distributing and depth of cracks are inspected and estimated by GPR. The results of investigation show GPR is accurate and efficient to detect cracks of tunnel lining.
基金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.
基金supported by the National Natural Science Foundation of China(61104182)
文摘This study presents a Bayesian methodology for de- signing step stress accelerated degradation testing （SSADT） and its application to batteries. First, the simulation-based Bayesian de- sign framework for SSADT is presented. Then, by considering his- torical data, specific optimal objectives oriented Kullback-Leibler （KL） divergence is established. A numerical example is discussed to illustrate the design approach. It is assumed that the degrada- tion model （or process） follows a drift Brownian motion; the accele- ration model follows Arrhenius equation; and the corresponding parameters follow normal and Gamma prior distributions. Using the Markov Chain Monte Carlo （MCMC） method and WinBUGS software, the comparison shows that KL divergence is better than quadratic loss for optimal criteria. Further, the effect of simulation outiiers on the optimization plan is analyzed and the preferred sur- face fitting algorithm is chosen. At the end of the paper, a NASA lithium-ion battery dataset is used as historical information and the KL divergence oriented Bayesian design is compared with maxi- mum likelihood theory oriented locally optimal design. The results show that the proposed method can provide a much better testing plan for this engineering application.
基金Projects(51575115,51775122)supported by the National Natural Science Foundation of China
文摘In view of the limitations of solid metal heat sink in the heat dissipation of high power light emitting diode （LED）, a kind of miniaturized phase change heat sink is developed for high power LED packaging. First, the fabrication process of miniaturized phase change heat sink is investigated, upon which all parts of the heat sink are fabricated including main-body and end-cover of the heat sink, the formation of three-dimensional boiling structures at the evaporation end, the sintering of the wick, and the encapsulation of high power LED phase change heat sink. Subsequently, with the assistance of the developed testing system, heat transfer performance of the heat sink is tested under the condition of natural convection, upon which the influence of thermal load and working medium on the heat transfer performance is investigated. Finally, the heat transfer performance of the developed miniaturized phase change heat sink is compared with that of metal solid heat sink. Results show that the developed miniaturized phase change heat sink presents much better heat transfer performance over traditional metal solid heat sink, and is suitable for the packaging of high power LED.
文摘Detrital white mica single\|crystal Ar\|Ar ages from the Himalayan foreland sedimentary record are potentially a powerful tool in constraining source regions, tectonic evolution, and the timing and extent of exhumation (Copeland 1990, Najman 1997, White 1999). However such studies require large numbers of analyses, and Ar/Ar total\|fusion of white mica grains is a very rapid and cost\|effective technique.Such analyses, however, do result in the sacrifice of internal consistency checks inherent in, for example, Ar/Ar step\|heating analysis.
基金supported by the National Natural Science Foundation of China(61070220)the Anhui Provincial Natural Science Foundation(1408085MKL79)
文摘In recent decades,many software reliability growth models（SRGMs） have been proposed for the engineers and testers in measuring the software reliability precisely.Most of them is established based on the non-homogeneous Poisson process（NHPP）,and it is proved that the prediction accuracy of such models could be improved by adding the describing of characterization of testing effort.However,some research work indicates that the fault detection rate（FDR） is another key factor affects final software quality.Most early NHPPbased models deal with the FDR as constant or piecewise function,which does not fit the different testing stages well.Thus,this paper first incorporates a multivariate function of FDR,which is bathtub-shaped,into the NHPP-based SRGMs considering testing effort in order to further improve performance.A new model framework is proposed,and a stepwise method is used to apply the framework with real data sets to find the optimal model.Experimental studies show that the obtained new model can provide better performance of fitting and prediction compared with other traditional SRGMs.
