This paper presents a framework that can be used to formalize the specification-based single-class test generation process. Object-Z is used to describe both software requirements and the proposed framework. Using thi...This paper presents a framework that can be used to formalize the specification-based single-class test generation process. Object-Z is used to describe both software requirements and the proposed framework. Using this framework, test engineers can automatically get the testing process model during the test generation process. With this model, properties of test cases ( such as relationship between test cases and methods can easily be captured. Furthermore, with the framework, the test process model can be updated automatically with the test generation process. The properties of test cases can then be updated correspondingly. It will greatly facilitate the regression testing. The main contribution of this paper is that it provides an approach to formalizing testing process by extending existing framework to class testing, and a way to represent test cases as multi-part, multi-step, multi-level artifacts.展开更多
Pulsed eddy current (PEC) non-destructive test- ing and evaluation (NDT&E) has been around for some time and it is still attracting extensive attention from researchers around the globe, which can be witnessed th...Pulsed eddy current (PEC) non-destructive test- ing and evaluation (NDT&E) has been around for some time and it is still attracting extensive attention from researchers around the globe, which can be witnessed through the reports reviewed in this paper. Thanks to its richness of spectral components, various applications of this technique have been proposed and reported in the lit- erature covering both structural integrity inspection and material characterization in various industrial sectors. To support its development and for better understanding of the phenomena around the transient induced eddy currents, attempts for its modelling both analytically and numeri- cally have been made by researchers around the world. This review is an attempt to capture the state-of-the-art development and applications of PEC, especially in the last 15 years and it is not intended to be exhaustive. Future challenges and opportunities for PEC NDT&E are also presented.展开更多
The sweet potato weevil(Cylas formicarius(Fab.)(Coleoptera: Brentidae)) is a pest that feeds on sweet potato(Ipomoea batatas(L.) Lam.(Solanales: Convolvulaceae)), causing substantial economic losses annually. However,...The sweet potato weevil(Cylas formicarius(Fab.)(Coleoptera: Brentidae)) is a pest that feeds on sweet potato(Ipomoea batatas(L.) Lam.(Solanales: Convolvulaceae)), causing substantial economic losses annually. However, no safe and effective methods have been found to protect sweet potato from this pest. Herbivore-induced plant volatiles(HIPVs)promote various defensive bioactivities, but their formation and the defense mechanisms in sweet potato have not been investigated. To identify the defensive HIPVs in sweet potato, the release dynamics of volatiles was monitored.The biosynthetic pathways and regulatory factors of the candidate HIPVs were revealed via stable isotope tracing and analyses at the transcriptional and metabolic levels. Finally, the anti-insect activities and the defense mechanisms of the gaseous candidates were evaluated. The production of(Z)-3-hexenyl acetate(z3HAC) and allo-ocimene was induced by sweet potato weevil feeding, with a distinct circadian rhythm. Ipomoea batatas ocimene synthase(IbOS) is first reported here as a key gene in allo-ocimene synthesis. Insect-induced wounding promoted the production of the substrate,(Z)-3-hexenol, and upregulated the expression of IbOS, which resulted in higher contents of z3HAC and allo-ocimene,respectively. Gaseous z3HAC and allo-ocimene primed nearby plants to defend themselves against sweet potato weevils. These results provide important data regarding the formation, regulation, and signal transduction mechanisms of defensive volatiles in sweet potato, with potential implications for improving sweet potato weevil management strategies.展开更多
Presents the fin-propeller test set-up to solve the problem of roll stabilization with ships in full speed range, withwhich, tests were run in water rank for acquisition of data, and concludes from data acquired that ...Presents the fin-propeller test set-up to solve the problem of roll stabilization with ships in full speed range, withwhich, tests were run in water rank for acquisition of data, and concludes from data acquired that the fin-propeller test set-up produces more lift than simple fin, and provides lateral thrust as well, and it is therefore an effective roll stabilization devicefor ships in full speed range.展开更多
With the redesigned jigs for the Thermecmastor-Z thermal simulator,the feasibility of using 3 kinds of Gleeble specimens in the Thermecmastor-Z simulator was investigated. Results show that Gleeble specimens can be us...With the redesigned jigs for the Thermecmastor-Z thermal simulator,the feasibility of using 3 kinds of Gleeble specimens in the Thermecmastor-Z simulator was investigated. Results show that Gleeble specimens can be used in the Thermecmastor-Z simulator. The tension tests in the Gleeble and Thermecmastor-Z simulators produced results with the same trend,which proves that the high temperature ductility of Gleeble specimens can be reflected by the Thermecmastor- Z simulator. In addition,as the Thermecmastor-Z simulator offers a wider heating zone,better cross-section shrinkage and elongation of specimens can be achieved under the same test conditions.展开更多
Objective: To improve the detecting accuracy of chromosomal aneuploidy of fetus by non-invasive prenatal testing (NIPT) using next generation sequencing data of pregnant women’s cell-free DNA. Methods: We proposed th...Objective: To improve the detecting accuracy of chromosomal aneuploidy of fetus by non-invasive prenatal testing (NIPT) using next generation sequencing data of pregnant women’s cell-free DNA. Methods: We proposed the multi-Z method which uses 21 z-scores for each autosomal chromosome to detect aneuploidy of the chromosome, while the conventional NIPT method uses only one z-score. To do this, mapped read numbers of a certain chromosome were normalized by those of the other 21 chromosomes. Average and standard deviation (SD), which are used for calculating z-score of each sample, were obtained with normalized values between all autosomal chromosomes of control samples. In this way, multiple z-scores can be calculated for 21 autosomal chromosomes except oneself. Results: Multi-Z method showed 100% sensitivity and specificity for 187 samples sequenced to 3 M reads while the conventional NIPT method showed 95.1% specificity. Similarly, for 216 samples sequenced to 1 M reads, Multi-Z method showed 100% sensitivity and 95.6% specificity and the conventional NIPT method showed a result of 75.1% specificity. Conclusion: Multi-Z method showed higher accuracy and robust results than the conventional method even at low coverage reads.展开更多
文摘This paper presents a framework that can be used to formalize the specification-based single-class test generation process. Object-Z is used to describe both software requirements and the proposed framework. Using this framework, test engineers can automatically get the testing process model during the test generation process. With this model, properties of test cases ( such as relationship between test cases and methods can easily be captured. Furthermore, with the framework, the test process model can be updated automatically with the test generation process. The properties of test cases can then be updated correspondingly. It will greatly facilitate the regression testing. The main contribution of this paper is that it provides an approach to formalizing testing process by extending existing framework to class testing, and a way to represent test cases as multi-part, multi-step, multi-level artifacts.
基金Ministry of Higher Education of Malaysia for funding the project on PEC NDT at IIUM through the research grant FRGS16-059-0558supported by the National Natural Science Foundation of China under research grants 51677187 and 51307172
文摘Pulsed eddy current (PEC) non-destructive test- ing and evaluation (NDT&E) has been around for some time and it is still attracting extensive attention from researchers around the globe, which can be witnessed through the reports reviewed in this paper. Thanks to its richness of spectral components, various applications of this technique have been proposed and reported in the lit- erature covering both structural integrity inspection and material characterization in various industrial sectors. To support its development and for better understanding of the phenomena around the transient induced eddy currents, attempts for its modelling both analytically and numeri- cally have been made by researchers around the world. This review is an attempt to capture the state-of-the-art development and applications of PEC, especially in the last 15 years and it is not intended to be exhaustive. Future challenges and opportunities for PEC NDT&E are also presented.
基金supported by the National Natural Science Foundation of China–Guangdong Natural Science Foundation Joint Project (U1701234)。
文摘The sweet potato weevil(Cylas formicarius(Fab.)(Coleoptera: Brentidae)) is a pest that feeds on sweet potato(Ipomoea batatas(L.) Lam.(Solanales: Convolvulaceae)), causing substantial economic losses annually. However, no safe and effective methods have been found to protect sweet potato from this pest. Herbivore-induced plant volatiles(HIPVs)promote various defensive bioactivities, but their formation and the defense mechanisms in sweet potato have not been investigated. To identify the defensive HIPVs in sweet potato, the release dynamics of volatiles was monitored.The biosynthetic pathways and regulatory factors of the candidate HIPVs were revealed via stable isotope tracing and analyses at the transcriptional and metabolic levels. Finally, the anti-insect activities and the defense mechanisms of the gaseous candidates were evaluated. The production of(Z)-3-hexenyl acetate(z3HAC) and allo-ocimene was induced by sweet potato weevil feeding, with a distinct circadian rhythm. Ipomoea batatas ocimene synthase(IbOS) is first reported here as a key gene in allo-ocimene synthesis. Insect-induced wounding promoted the production of the substrate,(Z)-3-hexenol, and upregulated the expression of IbOS, which resulted in higher contents of z3HAC and allo-ocimene,respectively. Gaseous z3HAC and allo-ocimene primed nearby plants to defend themselves against sweet potato weevils. These results provide important data regarding the formation, regulation, and signal transduction mechanisms of defensive volatiles in sweet potato, with potential implications for improving sweet potato weevil management strategies.
文摘Presents the fin-propeller test set-up to solve the problem of roll stabilization with ships in full speed range, withwhich, tests were run in water rank for acquisition of data, and concludes from data acquired that the fin-propeller test set-up produces more lift than simple fin, and provides lateral thrust as well, and it is therefore an effective roll stabilization devicefor ships in full speed range.
文摘With the redesigned jigs for the Thermecmastor-Z thermal simulator,the feasibility of using 3 kinds of Gleeble specimens in the Thermecmastor-Z simulator was investigated. Results show that Gleeble specimens can be used in the Thermecmastor-Z simulator. The tension tests in the Gleeble and Thermecmastor-Z simulators produced results with the same trend,which proves that the high temperature ductility of Gleeble specimens can be reflected by the Thermecmastor- Z simulator. In addition,as the Thermecmastor-Z simulator offers a wider heating zone,better cross-section shrinkage and elongation of specimens can be achieved under the same test conditions.
文摘Objective: To improve the detecting accuracy of chromosomal aneuploidy of fetus by non-invasive prenatal testing (NIPT) using next generation sequencing data of pregnant women’s cell-free DNA. Methods: We proposed the multi-Z method which uses 21 z-scores for each autosomal chromosome to detect aneuploidy of the chromosome, while the conventional NIPT method uses only one z-score. To do this, mapped read numbers of a certain chromosome were normalized by those of the other 21 chromosomes. Average and standard deviation (SD), which are used for calculating z-score of each sample, were obtained with normalized values between all autosomal chromosomes of control samples. In this way, multiple z-scores can be calculated for 21 autosomal chromosomes except oneself. Results: Multi-Z method showed 100% sensitivity and specificity for 187 samples sequenced to 3 M reads while the conventional NIPT method showed 95.1% specificity. Similarly, for 216 samples sequenced to 1 M reads, Multi-Z method showed 100% sensitivity and 95.6% specificity and the conventional NIPT method showed a result of 75.1% specificity. Conclusion: Multi-Z method showed higher accuracy and robust results than the conventional method even at low coverage reads.