To investigate the evolution of load-bearing characteristics of pre-stressed beams throughout their service life and to provide a basis for accurately assessing the actual working state of damaged pre-stressed concret...To investigate the evolution of load-bearing characteristics of pre-stressed beams throughout their service life and to provide a basis for accurately assessing the actual working state of damaged pre-stressed concrete T-beams,destructive tests were conducted on full-scale pre-stressed concrete beams.Based on the measurement and ana-lysis of beam deflection,strain,and crack development under various loading levels during the research tests,combined with the verification coefficient indicators specified in the codes,the verification coefficients of bridges at different stages of damage can be examined.The results indicate that the T-beams experience complete,incom-plete linear,and non-linear stages during the destructive test process.In the complete linear elastic stage,both the deflection and bottom strain verification coefficients comply with the specifications,indicating a good structural load-bearing capacity no longer adheres to the code’s requirements.In the non-linear stage,both coefficients exhi-bit a sharp increase,resulting in a further decrease in the structure’s load-bearing capacity.According to the pro-visions of the current code,the beam can be in the incomplete linear stage when both values fall within the code’s specified range.The strain verification coefficient sourced from the compression zone at the bottom of theflange is not recommended for assessing the bridge’s load-bearing capacity.展开更多
Acoustic emission test and CT scanning are important techniques in the study of coal crack propagation. A uniaxial compression test was performed on coal samples by integrating CT and acoustic emission. The test compa...Acoustic emission test and CT scanning are important techniques in the study of coal crack propagation. A uniaxial compression test was performed on coal samples by integrating CT and acoustic emission. The test comparison analyzes the acoustic emission load and CT images for an effective observation on the entire process, from crack propagation to the samples' destruction. The box dimension of the coal samples' acoustic emission series and the CT images were obtained through calculations by using the authors' own program. The results show that the fractal dimension of both the acoustic emission energy and CT image increase rapidly, indicating coal and rock mass has entered a dangerous condition. Hence, measures should be taken to unload the pressure of the coal and rock mass. The test results provide intuitive observation data for the coal meso-damage model. The test contributes to in-depth studies of coal or rock crack propagation mechanisms and provides a theoretical basis for rock burst mechanism.展开更多
With quercetin content and yield of dry extract as investigation indices, three factors, amount of water added, decoction time and decoction times were investigated by an orthogonal test, so as to select the optimal w...With quercetin content and yield of dry extract as investigation indices, three factors, amount of water added, decoction time and decoction times were investigated by an orthogonal test, so as to select the optimal water extraction process for Zihua Qinghuo Capsule. The determined extraction process was adding 8 times of water in five herbs including Viola philippica and decocting for 2 times, 1.5 h each time. Pilot scale test demonstrated that the selected process is stable and feasible, and could provide reliable reference for practical production.展开更多
In this paper, we present the implementation of a built-in current sensor (BICS) which takes into account the increased background current of defect-free circuits and the effects of process variation on ΔIDDQ testing...In this paper, we present the implementation of a built-in current sensor (BICS) which takes into account the increased background current of defect-free circuits and the effects of process variation on ΔIDDQ testing of CMOS data converters. A 12-bit digital-to-analog converter (DAC) is designed as the circuit under test (CUT). The BICS uses frequency as the output for fault detection in CUT. A fault is detected if it causes the output frequency to deviate more than ±10% from the reference frequency. The output frequencies of the BICS for various (MOSIS) model parameters are simulated to check for the effect of process variation on the frequency deviation. A set of eight faults simulating manufacturing defects in CMOS data converters are injected using fault-injection transistors and tested successfully.展开更多
[Objectives] The study aimed to optimize the extraction process of Prunellae Spica compound to provide an experimental basis for the development and utilization of the compound. [Methods]Through orthogonal test,the op...[Objectives] The study aimed to optimize the extraction process of Prunellae Spica compound to provide an experimental basis for the development and utilization of the compound. [Methods]Through orthogonal test,the optimal extraction process of Prunellae Spica compound was chosen by using the yield of dry paste and ursolic acid content as evaluation indicators. [Results]The optimal extraction process of Prunellae Spica compound is as follows: solvent dosage was 16 times,and extraction frequency was 3 times,while extraction time was 1 h.[Conclusions]The extraction process of Prunellae Spica compound was stable and feasible,and this study can provide a theoretical basis for further preparation of the compound.展开更多
We propose a software reliability growth model with testing-effort based on a continuous-state space stochastic process, such as a lognormal process, and conduct its goodness-of-fit evaluation. We also discuss a param...We propose a software reliability growth model with testing-effort based on a continuous-state space stochastic process, such as a lognormal process, and conduct its goodness-of-fit evaluation. We also discuss a parameter estimation method of our model. Then, we derive several software reliability assessment measures by the probability distribution of its solution process, and compare our model with existing continuous-state space software reliability growth models in terms of the mean square error and the Akaike’s information criterion by using actual fault count data.展开更多
In this article, we study the Kolmogorov-Smirnov type goodness-of-fit test for the inhomogeneous Poisson process with the unknown translation parameter as multidimensional parameter. The basic hypothesis and the alter...In this article, we study the Kolmogorov-Smirnov type goodness-of-fit test for the inhomogeneous Poisson process with the unknown translation parameter as multidimensional parameter. The basic hypothesis and the alternative are composite and carry to the intensity measure of inhomogeneous Poisson process and the intensity function is regular. For this model of shift parameter, we propose test which is asymptotically partially distribution free and consistent. We show that under null hypothesis the limit distribution of this statistic does not depend on unknown parameter.展开更多
Focused on the non-statlonarity and real-time analysis of signal in flutter test with progression variable speed (FTPVS), a new method of recursive time-frequency analysis is presented. The time-varying system is tr...Focused on the non-statlonarity and real-time analysis of signal in flutter test with progression variable speed (FTPVS), a new method of recursive time-frequency analysis is presented. The time-varying system is tracked on-line by building a time-varying parameter model, and then the relevant parameter spectrum can be obtained. The feasibility and advantages of the method are examined by digital simulation. The results of FTPVS at low-speed wind-tunnel promise the engineering application perspective of the method.展开更多
Because of the inevitable debugging lag,imperfect debugging process is used to replace perfect debugging process in the analysis of software reliability growth model.Considering neither testing-effort nor testing cove...Because of the inevitable debugging lag,imperfect debugging process is used to replace perfect debugging process in the analysis of software reliability growth model.Considering neither testing-effort nor testing coverage can describe software reliability for imperfect debugging completely,by hybridizing testing-effort with testing coverage under imperfect debugging,this paper proposes a new model named GMW-LO-ID.Under the assumption that the number of faults is proportional to the current number of detected faults,this model combines generalized modified Weibull(GMW)testing-effort function with logistic(LO)testing coverage function,and inherits GMW's amazing flexibility and LO's high fitting precision.Furthermore,the fitting accuracy and predictive power are verified by two series of experiments and we can draw a conclusion that our model fits the actual failure data better and predicts the software future behavior better than other ten traditional models,which only consider one or two points of testing-effort,testing coverage and imperfect debugging.展开更多
Forms enhance both the dynamic and interactive abilities of Web applications and the system complexity. And it is especially important to test forms completely and thoroughly. Therefore, this paper discusses how to ca...Forms enhance both the dynamic and interactive abilities of Web applications and the system complexity. And it is especially important to test forms completely and thoroughly. Therefore, this paper discusses how to carry out the form testing by different methods in the related testing phases. Namely, at first, automatically abstracting forms in the Web pages by parsing the HTML documents; then, ohtai ning the testing data with a certain strategies, such as by requirement specifications, by mining users' hefore input informarion or by recording meehanism; and next executing the testing actions automatically due to the well formed test cases; finally, a case study is given to illustrate the convenient and effective of these methods.展开更多
弹上电缆,作为导弹设备进行信号、能量传输的重要载体,质量是否符合要求,直接决定了设备的可靠性。与传统电缆不同,弹上电缆,具备多芯、多头、大规模等特点。传统的测试设备往往存在线缆支持规模较小、测试针对性太强、扩展性差、自动...弹上电缆,作为导弹设备进行信号、能量传输的重要载体,质量是否符合要求,直接决定了设备的可靠性。与传统电缆不同,弹上电缆,具备多芯、多头、大规模等特点。传统的测试设备往往存在线缆支持规模较小、测试针对性太强、扩展性差、自动化程度低等缺点,本文提出了基于Test On Demand平台的弹上电缆测技术,阐述了测试原理和测试流程设计,使用该技术完成了对最多达300芯弹上电缆的导通、绝缘、耐压测试,可扩展多种型号电缆,具备通用性、扩展性强、测试速度快、自动化程度高、智能化等特点。展开更多
Titanium has been widely used as the implant materials of joint prostheses. This paper simulates the microstructures of the hot forged titanium knee joint component by physical modeling. Ti-6Al-4V ELI were deformed b...Titanium has been widely used as the implant materials of joint prostheses. This paper simulates the microstructures of the hot forged titanium knee joint component by physical modeling. Ti-6Al-4V ELI were deformed by GLEEBLE 2000 hot deforma- tion simulator in compression mode to determine the hot workability, in the range of 900 to 1100℃, with the strain rates between 0.05 to 5 s^(-1). Test results derived from specimens processed by on-cooling test and on-heating test were compared, thereby estimating the effect due to thermal history. The forging process of Ti-6Al-4V ELI tibial base plate of knee joint prostheses was design based on the workability data obtained.展开更多
The present work aims to enhance the ballistic resistance of AA7005 alloy by incorporating the TiB2 and B4C ceramic reinforcement particles. Surface composites with different weight fractions of TiB2 and B4C particles...The present work aims to enhance the ballistic resistance of AA7005 alloy by incorporating the TiB2 and B4C ceramic reinforcement particles. Surface composites with different weight fractions of TiB2 and B4C particles were processed by friction stir processing. Micro-hardness and depth of penetration tests were carried out to evaluate the ballistic properties of the surface composites. The surface hardness of the composite was found to be nearly 70 HV higher than base alloy. The depth of penetration of the steel projectile was 20e26mm in the composites as compared to 37mm in the base alloy. Ballistic mass efficiency factor of the surface composite was found to be 1.6 times higher than base alloy. This is mainly attributed to the dispersion strengthening from the reinforcement particles.展开更多
Big Data is reforming many industrial domains by providing decision support through analyzing large data volumes.Big Data testing aims to ensure that Big Data systems run smoothly and error-free while maintaining the ...Big Data is reforming many industrial domains by providing decision support through analyzing large data volumes.Big Data testing aims to ensure that Big Data systems run smoothly and error-free while maintaining the performance and quality of data.However,because of the diversity and complexity of data,testing Big Data is challenging.Though numerous research efforts deal with Big Data testing,a comprehensive review to address testing techniques and challenges of BigData is not available as yet.Therefore,we have systematically reviewed the Big Data testing techniques’evidence occurring in the period 2010–2021.This paper discusses testing data processing by highlighting the techniques used in every processing phase.Furthermore,we discuss the challenges and future directions.Our findings show that diverse functional,non-functional and combined(functional and non-functional)testing techniques have been used to solve specific problems related to Big Data.At the same time,most of the testing challenges have been faced during the MapReduce validation phase.In addition,the combinatorial testing technique is one of the most applied techniques in combination with other techniques(i.e.,random testing,mutation testing,input space partitioning and equivalence testing)to find various functional faults through Big Data testing.展开更多
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.展开更多
文摘To investigate the evolution of load-bearing characteristics of pre-stressed beams throughout their service life and to provide a basis for accurately assessing the actual working state of damaged pre-stressed concrete T-beams,destructive tests were conducted on full-scale pre-stressed concrete beams.Based on the measurement and ana-lysis of beam deflection,strain,and crack development under various loading levels during the research tests,combined with the verification coefficient indicators specified in the codes,the verification coefficients of bridges at different stages of damage can be examined.The results indicate that the T-beams experience complete,incom-plete linear,and non-linear stages during the destructive test process.In the complete linear elastic stage,both the deflection and bottom strain verification coefficients comply with the specifications,indicating a good structural load-bearing capacity no longer adheres to the code’s requirements.In the non-linear stage,both coefficients exhi-bit a sharp increase,resulting in a further decrease in the structure’s load-bearing capacity.According to the pro-visions of the current code,the beam can be in the incomplete linear stage when both values fall within the code’s specified range.The strain verification coefficient sourced from the compression zone at the bottom of theflange is not recommended for assessing the bridge’s load-bearing capacity.
文摘Acoustic emission test and CT scanning are important techniques in the study of coal crack propagation. A uniaxial compression test was performed on coal samples by integrating CT and acoustic emission. The test comparison analyzes the acoustic emission load and CT images for an effective observation on the entire process, from crack propagation to the samples' destruction. The box dimension of the coal samples' acoustic emission series and the CT images were obtained through calculations by using the authors' own program. The results show that the fractal dimension of both the acoustic emission energy and CT image increase rapidly, indicating coal and rock mass has entered a dangerous condition. Hence, measures should be taken to unload the pressure of the coal and rock mass. The test results provide intuitive observation data for the coal meso-damage model. The test contributes to in-depth studies of coal or rock crack propagation mechanisms and provides a theoretical basis for rock burst mechanism.
基金Supported by Guiyang Science and Technology Planning Project(ZKHT[2017-4]21)
文摘With quercetin content and yield of dry extract as investigation indices, three factors, amount of water added, decoction time and decoction times were investigated by an orthogonal test, so as to select the optimal water extraction process for Zihua Qinghuo Capsule. The determined extraction process was adding 8 times of water in five herbs including Viola philippica and decocting for 2 times, 1.5 h each time. Pilot scale test demonstrated that the selected process is stable and feasible, and could provide reliable reference for practical production.
文摘In this paper, we present the implementation of a built-in current sensor (BICS) which takes into account the increased background current of defect-free circuits and the effects of process variation on ΔIDDQ testing of CMOS data converters. A 12-bit digital-to-analog converter (DAC) is designed as the circuit under test (CUT). The BICS uses frequency as the output for fault detection in CUT. A fault is detected if it causes the output frequency to deviate more than ±10% from the reference frequency. The output frequencies of the BICS for various (MOSIS) model parameters are simulated to check for the effect of process variation on the frequency deviation. A set of eight faults simulating manufacturing defects in CMOS data converters are injected using fault-injection transistors and tested successfully.
基金Supported by Talent Training and Construction Project of Professor Yang Shilin’s Team in 2017(YSL17010)
文摘[Objectives] The study aimed to optimize the extraction process of Prunellae Spica compound to provide an experimental basis for the development and utilization of the compound. [Methods]Through orthogonal test,the optimal extraction process of Prunellae Spica compound was chosen by using the yield of dry paste and ursolic acid content as evaluation indicators. [Results]The optimal extraction process of Prunellae Spica compound is as follows: solvent dosage was 16 times,and extraction frequency was 3 times,while extraction time was 1 h.[Conclusions]The extraction process of Prunellae Spica compound was stable and feasible,and this study can provide a theoretical basis for further preparation of the compound.
文摘We propose a software reliability growth model with testing-effort based on a continuous-state space stochastic process, such as a lognormal process, and conduct its goodness-of-fit evaluation. We also discuss a parameter estimation method of our model. Then, we derive several software reliability assessment measures by the probability distribution of its solution process, and compare our model with existing continuous-state space software reliability growth models in terms of the mean square error and the Akaike’s information criterion by using actual fault count data.
文摘In this article, we study the Kolmogorov-Smirnov type goodness-of-fit test for the inhomogeneous Poisson process with the unknown translation parameter as multidimensional parameter. The basic hypothesis and the alternative are composite and carry to the intensity measure of inhomogeneous Poisson process and the intensity function is regular. For this model of shift parameter, we propose test which is asymptotically partially distribution free and consistent. We show that under null hypothesis the limit distribution of this statistic does not depend on unknown parameter.
文摘Focused on the non-statlonarity and real-time analysis of signal in flutter test with progression variable speed (FTPVS), a new method of recursive time-frequency analysis is presented. The time-varying system is tracked on-line by building a time-varying parameter model, and then the relevant parameter spectrum can be obtained. The feasibility and advantages of the method are examined by digital simulation. The results of FTPVS at low-speed wind-tunnel promise the engineering application perspective of the method.
基金supported by the National Natural Science Foundation of China(No.U1433116)the Aviation Science Foundation of China(No.20145752033)
文摘Because of the inevitable debugging lag,imperfect debugging process is used to replace perfect debugging process in the analysis of software reliability growth model.Considering neither testing-effort nor testing coverage can describe software reliability for imperfect debugging completely,by hybridizing testing-effort with testing coverage under imperfect debugging,this paper proposes a new model named GMW-LO-ID.Under the assumption that the number of faults is proportional to the current number of detected faults,this model combines generalized modified Weibull(GMW)testing-effort function with logistic(LO)testing coverage function,and inherits GMW's amazing flexibility and LO's high fitting precision.Furthermore,the fitting accuracy and predictive power are verified by two series of experiments and we can draw a conclusion that our model fits the actual failure data better and predicts the software future behavior better than other ten traditional models,which only consider one or two points of testing-effort,testing coverage and imperfect debugging.
基金Supported by the National Natural Science Foun-dation of China (60425206 ,90412003 ,60503033)the National Bas-ic Research Program of China (973 Program 2002CB312000 ) Opening Foundation of State Key Laboratory of Software Engineeringin Wuhan University, High Technology Research Project of JiangsuProvince (BG2005032)
文摘Forms enhance both the dynamic and interactive abilities of Web applications and the system complexity. And it is especially important to test forms completely and thoroughly. Therefore, this paper discusses how to carry out the form testing by different methods in the related testing phases. Namely, at first, automatically abstracting forms in the Web pages by parsing the HTML documents; then, ohtai ning the testing data with a certain strategies, such as by requirement specifications, by mining users' hefore input informarion or by recording meehanism; and next executing the testing actions automatically due to the well formed test cases; finally, a case study is given to illustrate the convenient and effective of these methods.
文摘弹上电缆,作为导弹设备进行信号、能量传输的重要载体,质量是否符合要求,直接决定了设备的可靠性。与传统电缆不同,弹上电缆,具备多芯、多头、大规模等特点。传统的测试设备往往存在线缆支持规模较小、测试针对性太强、扩展性差、自动化程度低等缺点,本文提出了基于Test On Demand平台的弹上电缆测技术,阐述了测试原理和测试流程设计,使用该技术完成了对最多达300芯弹上电缆的导通、绝缘、耐压测试,可扩展多种型号电缆,具备通用性、扩展性强、测试速度快、自动化程度高、智能化等特点。
文摘Titanium has been widely used as the implant materials of joint prostheses. This paper simulates the microstructures of the hot forged titanium knee joint component by physical modeling. Ti-6Al-4V ELI were deformed by GLEEBLE 2000 hot deforma- tion simulator in compression mode to determine the hot workability, in the range of 900 to 1100℃, with the strain rates between 0.05 to 5 s^(-1). Test results derived from specimens processed by on-cooling test and on-heating test were compared, thereby estimating the effect due to thermal history. The forging process of Ti-6Al-4V ELI tibial base plate of knee joint prostheses was design based on the workability data obtained.
基金supported by Defence Institute of Advanced Technology(DIAT),Pune(DIAT-In house Project)
文摘The present work aims to enhance the ballistic resistance of AA7005 alloy by incorporating the TiB2 and B4C ceramic reinforcement particles. Surface composites with different weight fractions of TiB2 and B4C particles were processed by friction stir processing. Micro-hardness and depth of penetration tests were carried out to evaluate the ballistic properties of the surface composites. The surface hardness of the composite was found to be nearly 70 HV higher than base alloy. The depth of penetration of the steel projectile was 20e26mm in the composites as compared to 37mm in the base alloy. Ballistic mass efficiency factor of the surface composite was found to be 1.6 times higher than base alloy. This is mainly attributed to the dispersion strengthening from the reinforcement particles.
基金Science Foundation Ireland(SFI)under Grant Number SFI/16/RC/3918(Confirm)and Marie Sklodowska Curie Grant agreement No.847577 co-fundedthe European Regional Development Fund.Wasif Afzal has received funding from the European Union’s Horizon 2020 research and innovation program under CMC,2023,vol.74,no.22767 Grant agreement Nos.871319,957212from the ECSEL Joint Undertaking(JU)under Grant agreement No 101007350.
文摘Big Data is reforming many industrial domains by providing decision support through analyzing large data volumes.Big Data testing aims to ensure that Big Data systems run smoothly and error-free while maintaining the performance and quality of data.However,because of the diversity and complexity of data,testing Big Data is challenging.Though numerous research efforts deal with Big Data testing,a comprehensive review to address testing techniques and challenges of BigData is not available as yet.Therefore,we have systematically reviewed the Big Data testing techniques’evidence occurring in the period 2010–2021.This paper discusses testing data processing by highlighting the techniques used in every processing phase.Furthermore,we discuss the challenges and future directions.Our findings show that diverse functional,non-functional and combined(functional and non-functional)testing techniques have been used to solve specific problems related to Big Data.At the same time,most of the testing challenges have been faced during the MapReduce validation phase.In addition,the combinatorial testing technique is one of the most applied techniques in combination with other techniques(i.e.,random testing,mutation testing,input space partitioning and equivalence testing)to find various functional faults through Big Data testing.
基金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.