BACKGROUND Liver transplant(LT)patients have become older and sicker.The rate of post-LT major adverse cardiovascular events(MACE)has increased,and this in turn raises 30-d post-LT mortality.Noninvasive cardiac stress...BACKGROUND Liver transplant(LT)patients have become older and sicker.The rate of post-LT major adverse cardiovascular events(MACE)has increased,and this in turn raises 30-d post-LT mortality.Noninvasive cardiac stress testing loses accuracy when applied to pre-LT cirrhotic patients.AIM To assess the feasibility and accuracy of a machine learning model used to predict post-LT MACE in a regional cohort.METHODS This retrospective cohort study involved 575 LT patients from a Southern Brazilian academic center.We developed a predictive model for post-LT MACE(defined as a composite outcome of stroke,new-onset heart failure,severe arrhythmia,and myocardial infarction)using the extreme gradient boosting(XGBoost)machine learning model.We addressed missing data(below 20%)for relevant variables using the k-nearest neighbor imputation method,calculating the mean from the ten nearest neighbors for each case.The modeling dataset included 83 features,encompassing patient and laboratory data,cirrhosis complications,and pre-LT cardiac assessments.Model performance was assessed using the area under the receiver operating characteristic curve(AUROC).We also employed Shapley additive explanations(SHAP)to interpret feature impacts.The dataset was split into training(75%)and testing(25%)sets.Calibration was evaluated using the Brier score.We followed Transparent Reporting of a Multivariable Prediction Model for Individual Prognosis or Diagnosis guidelines for reporting.Scikit-learn and SHAP in Python 3 were used for all analyses.The supplementary material includes code for model development and a user-friendly online MACE prediction calculator.RESULTS Of the 537 included patients,23(4.46%)developed in-hospital MACE,with a mean age at transplantation of 52.9 years.The majority,66.1%,were male.The XGBoost model achieved an impressive AUROC of 0.89 during the training stage.This model exhibited accuracy,precision,recall,and F1-score values of 0.84,0.85,0.80,and 0.79,respectively.Calibration,as assessed by the Brier score,indicated excellent model calibration with a score of 0.07.Furthermore,SHAP values highlighted the significance of certain variables in predicting postoperative MACE,with negative noninvasive cardiac stress testing,use of nonselective beta-blockers,direct bilirubin levels,blood type O,and dynamic alterations on myocardial perfusion scintigraphy being the most influential factors at the cohort-wide level.These results highlight the predictive capability of our XGBoost model in assessing the risk of post-LT MACE,making it a valuable tool for clinical practice.CONCLUSION Our study successfully assessed the feasibility and accuracy of the XGBoost machine learning model in predicting post-LT MACE,using both cardiovascular and hepatic variables.The model demonstrated impressive performance,aligning with literature findings,and exhibited excellent calibration.Notably,our cautious approach to prevent overfitting and data leakage suggests the stability of results when applied to prospective data,reinforcing the model’s value as a reliable tool for predicting post-LT MACE in clinical practice.展开更多
This study explores the impact of hyperparameter optimization on machine learning models for predicting cardiovascular disease using data from an IoST(Internet of Sensing Things)device.Ten distinct machine learning ap...This study explores the impact of hyperparameter optimization on machine learning models for predicting cardiovascular disease using data from an IoST(Internet of Sensing Things)device.Ten distinct machine learning approaches were implemented and systematically evaluated before and after hyperparameter tuning.Significant improvements were observed across various models,with SVM and Neural Networks consistently showing enhanced performance metrics such as F1-Score,recall,and precision.The study underscores the critical role of tailored hyperparameter tuning in optimizing these models,revealing diverse outcomes among algorithms.Decision Trees and Random Forests exhibited stable performance throughout the evaluation.While enhancing accuracy,hyperparameter optimization also led to increased execution time.Visual representations and comprehensive results support the findings,confirming the hypothesis that optimizing parameters can effectively enhance predictive capabilities in cardiovascular disease.This research contributes to advancing the understanding and application of machine learning in healthcare,particularly in improving predictive accuracy for cardiovascular disease management and intervention strategies.展开更多
Ultrasonic testing(UT)is increasingly combined with machine learning(ML)techniques for intelligently identifying damage.Extracting signifcant features from UT data is essential for efcient defect characterization.More...Ultrasonic testing(UT)is increasingly combined with machine learning(ML)techniques for intelligently identifying damage.Extracting signifcant features from UT data is essential for efcient defect characterization.Moreover,the hidden physics behind ML is unexplained,reducing the generalization capability and versatility of ML methods in UT.In this paper,a generally applicable ML framework based on the model interpretation strategy is proposed to improve the detection accuracy and computational efciency of UT.Firstly,multi-domain features are extracted from the UT signals with signal processing techniques to construct an initial feature space.Subsequently,a feature selection method based on model interpretable strategy(FS-MIS)is innovatively developed by integrating Shapley additive explanation(SHAP),flter method,embedded method and wrapper method.The most efective ML model and the optimal feature subset with better correlation to the target defects are determined self-adaptively.The proposed framework is validated by identifying and locating side-drilled holes(SDHs)with 0.5λcentral distance and different depths.An ultrasonic array probe is adopted to acquire FMC datasets from several aluminum alloy specimens containing two SDHs by experiments.The optimal feature subset selected by FS-MIS is set as the input of the chosen ML model to train and predict the times of arrival(ToAs)of the scattered waves emitted by adjacent SDHs.The experimental results demonstrate that the relative errors of the predicted ToAs are all below 3.67%with an average error of 0.25%,signifcantly improving the time resolution of UT signals.On this basis,the predicted ToAs are assigned to the corresponding original signals for decoupling overlapped pulse-echoes and reconstructing high-resolution FMC datasets.The imaging resolution is enhanced to 0.5λby implementing the total focusing method(TFM).The relative errors of hole depths and central distance are no more than 0.51%and 3.57%,respectively.Finally,the superior performance of the proposed FS-MIS is validated by comparing it with initial feature space and conventional dimensionality reduction techniques.展开更多
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.展开更多
For qualifying the anti-shock performance of shipboard equipments and simulating actual underwater explosion environments, a novel dual-wave shock test machine is proposed to increase testing capability of shock test ...For qualifying the anti-shock performance of shipboard equipments and simulating actual underwater explosion environments, a novel dual-wave shock test machine is proposed to increase testing capability of shock test machines as well as to meet certain shock testing specification. The machine can generate a double-pulse acceleration shock for test articles according to specification defined in BV043/85. On the basis of the impact theory, a nonlinear dynamic model of the hydraulically-actuated test machine is established with thorough analysis on its mechanism which involves conversion of gas potential energy and dissipation of kinetic energy. Simulation results have demonstrated that the machine can produce a double-pulse acceleration shock in the time domain or a desired shock response spectrum in the frequency domain, which sets a theoretical base for the construction of the proposed machine.展开更多
Compared with the traditional non-cutting measurement,machining tests can more accurately reflect the kinematic errors of five-axis machine tools in the actual machining process for the users.However,measurement and c...Compared with the traditional non-cutting measurement,machining tests can more accurately reflect the kinematic errors of five-axis machine tools in the actual machining process for the users.However,measurement and calculation of the machining tests in the literature are quite difficult and time-consuming.A new method of the machining tests for the trunnion axis of five-axis machine tool is proposed.Firstly,a simple mathematical model of the cradle-type five-axis machine tool was established by optimizing the coordinate system settings based on robot kinematics.Then,the machining tests based on error-sensitive directions were proposed to identify the kinematic errors of the trunnion axis of cradle-type five-axis machine tool.By adopting the error-sensitive vectors in the matrix calculation,the functional relationship equations between the machining errors of the test piece in the error-sensitive directions and the kinematic errors of C-axis and A-axis of five-axis machine tool rotary table was established based on the model of the kinematic errors.According to our previous work,the kinematic errors of C-axis can be treated as the known quantities,and the kinematic errors of A-axis can be obtained from the equations.This method was tested in Mikron UCP600 vertical machining center.The machining errors in the error-sensitive directions can be obtained by CMM inspection from the finished test piece to identify the kinematic errors of five-axis machine tool trunnion axis.Experimental results demonstrated that the proposed method can reduce the complexity,cost,and the time consumed substantially,and has a wider applicability.This paper proposes a new method of the machining tests for the trunnion axis of five-axis machine tool.展开更多
Based on three kinds of dynamic test of MEMS, a dynamic system for the vibration test of micro machined gyroscope based on high speed photography is introduced. Firstly, the architecture of the system hardware is intr...Based on three kinds of dynamic test of MEMS, a dynamic system for the vibration test of micro machined gyroscope based on high speed photography is introduced. Firstly, the architecture of the system hardware is introduced. Secondly, the image tracking performance is compared by the test using the template matching algorithm, the mean shift algorithm and the SURF algorithm. The vibration curve shows that high speed photograph combined with SURF algorithm is faster, more ac- curate, and more suitable for the vibration test of micro machined gyroscope. After the frequency a- nalysis and related interpolation, more characteristics of micro gyroscope can be obtained.展开更多
Software has been developed for digital control of WDW series testing machine and the measurement of fracture toughness by modularized design. Development of the software makes use of multi-thread and serial communica...Software has been developed for digital control of WDW series testing machine and the measurement of fracture toughness by modularized design. Development of the software makes use of multi-thread and serial communication techniques, which can accurately control the testing machine and measure the fracture toughness in real-time. Three-point bending specimens were used in the measurement. The software operates stably and reliably, expanding the function of WDW series testing machine.展开更多
In order to compare the compensation effect of expansive materials with different mineral sources on the temperature stress of concrete,we investigated the temperature stress of concrete when adding calcium sulfoalumi...In order to compare the compensation effect of expansive materials with different mineral sources on the temperature stress of concrete,we investigated the temperature stress of concrete when adding calcium sulfoaluminate type expansive materials(CSA)or CaO and calcium sulfoaluminate mixed type expansive materials(HCSA)at different temperatures by temperature-stress testing machine(TSTM)considering the influence of temperature history on the expansion.The experimental results show that the expansion characteristics of the two kinds of expansive materials with different mineral sources significantly vary.When adding expansive materials,the growth rate of compressive stress during the heating stage increases obviously,the maximum compressive stress is higher,while the decline rate of tensile stress in the late cooling stage becomes slow,and finally cracking temperature decreases.It is proved that concrete with HCSA has lower cracking temperatures and better temperature shrinkage compensation effect.Therefore,it is rational to choose HCSA when preparing concrete with high expansion energy to reduce thermal cracking.展开更多
National Quality Supervision & Inspection Center for Refractories Business scope: Selective examination for national quality supervision; Identification of production license; Arbitration inspection and technical ac...National Quality Supervision & Inspection Center for Refractories Business scope: Selective examination for national quality supervision; Identification of production license; Arbitration inspection and technical achievements evaluation; Commodities inspection and otherquality inspections .展开更多
In the present study, an aero pneumatic fatigue testing machine for complete dentures was designed, fabricated, and tested for the evaluation of the fatigue life of reinforced complete upper denture (CUD). On completi...In the present study, an aero pneumatic fatigue testing machine for complete dentures was designed, fabricated, and tested for the evaluation of the fatigue life of reinforced complete upper denture (CUD). On completion and testing, it was observed that the machine has the potential of generating reliable number of cyclic data. The machine’s performance was evaluated using test specimens of identical CUDs that were machined in conformity with standard procedures. The fatigue machine compressed the lower dental arch over the upper denture-specimen in centric occlusion, in the same way that the two masticatory muscles pull the lower jaw over the upper jaw during chewing. The incorporation of glass fibres into the CUD using a sandwich technique quadruples the lifespan of the denture (<em>P</em> = 0.004). The low standard deviation, along with the low coefficient of variation (CV) of the group of unreinforced dentures shows the repeatability of the results and the reliability of the machine. The high standard deviation and coefficient of variation of reinforced dentures was expected, since a high variation of results is usually recorded in fibre reinforcement cases. This research confirmed the view that the crack during denture fracture initiates in the anterior palatal area and propagates to the posterior.展开更多
Building high confidence regression test suites to validate new system versions is a challenging problem. A modelbased approach to build a regression test suite from a given test suite is described. The generated test...Building high confidence regression test suites to validate new system versions is a challenging problem. A modelbased approach to build a regression test suite from a given test suite is described. The generated test suite includes every test that will traverse a change performed to produce the new version, and consists of only such tests to reduce the testing costs. Finite state machines extended with typed variables (EFSMs) are used to model systems and system changes are mapped to EFSM transition changes adding/deleting/replacing EFSM transitions and states. Tests are a sequence of input and expected output messages with concrete parameter values over the supported data types. An invariant is formulated to characterize tests whose runtime behavior can be accurately predicted by analyzing their descriptions along with the model. Incremental procedures to efficiently evaluate the invariant and to select tests for regression are developed. Overlaps among the test descriptions are exploited to extend the approach to simultaneously select multiple tests to reduce the test selection costs. Effectiveness of the approach is demonstrated by applying it to several protocols, Web services, and model programs extracted from a popular testing benchmark. Our experimental results show that the proposed approach is economical for regression test selection in all these examples. For all these examples, the proposed approach is able to identify all tests exercising changes more efficiently than brute-force symbolic evaluation.展开更多
To ensure the quality of Web applications, Web testing is one of the effective methods. The testing is a process of revealing errors that is used to give confidence that the implementation of a Web application meets i...To ensure the quality of Web applications, Web testing is one of the effective methods. The testing is a process of revealing errors that is used to give confidence that the implementation of a Web application meets its original specification. This work proposes a Web testing framework based on Stream X-Machines (SXMs), which provides a way to derive test cases for a Web application. It starts from constructing the SXM model, from which a test translator is employed to extract the test paths and then translates them into an XML-style test specification, which is the input of test engine. The test engine generates test cases and then executes them, and finally produces test report. This testing method is a significant contribution to informed research.展开更多
A high fidelity dynamic model of a high-energy hydraulically-actuated shock test machine for heavy weight devices is presented to satisfy the newly-built shock resistance standard and simulate the actual underwater ex...A high fidelity dynamic model of a high-energy hydraulically-actuated shock test machine for heavy weight devices is presented to satisfy the newly-built shock resistance standard and simulate the actual underwater explosion environments in laboratory as well as increase the testing capability of shock test machine. In order to produce the required negative shock pulse in the given time duration, four hydraulic actuators are utilized. The model is then used to formulate an advanced feedforward controller for the system to produce the required negative waveform and to address the motion synchronization of the four cylinders. The model provides a safe and easily controllable way to perform a "virtual testing" before starting potentially destructive tests on specimen and to predict performance of the system. Simulation results have demonstrated the effectiveness of the controller.展开更多
To improve the automation level of the vehicle drive axle test and better simulate a vehicle's actual operation, an advanced test machine has been developed. The load system of the machine consists of hand brakes and...To improve the automation level of the vehicle drive axle test and better simulate a vehicle's actual operation, an advanced test machine has been developed. The load system of the machine consists of hand brakes and electric cylinders. It is simple-structured and low-cost. The major motor of the machine is controlled by a transducer and its speed can be adjusted easily. In addition, the programmed machine can automatically test such parameters as the grinding condition, the differential speed, the noise level, etc. It can also adjust the test procedures according to different requirements. Detailed discussion of the structure and mechanism of the test machine is given in this paper.展开更多
Diagnosing intermittent fault is an important approach to reduce built-in test(BIT) false alarms. Aiming at solving the shortcoming of the present diagnostic method of intermittent fault, and according to the merit ...Diagnosing intermittent fault is an important approach to reduce built-in test(BIT) false alarms. Aiming at solving the shortcoming of the present diagnostic method of intermittent fault, and according to the merit of support vector machines ( SVM) which can be trained with a small-sample, an SVM-based diagnostic model of 3 states that include OK state, intermittent state and faulty state is presented. With the features based on the reflection coefficients of an alarm rate ( AR ) model extracted from small vibration samples, these models are trained to diagnose intermittent faults. The experimental results show that this method can diagnose multiple intermittent faults accurately with small training samples and BIT false alarms are reduced.展开更多
The use of magnetic nanoparticle(MNP)-labeled immunochromatography test strips(ICTSs) is very important for point-ofcare testing(POCT). However, common diagnostic methods cannot accurately analyze the weak magnetic si...The use of magnetic nanoparticle(MNP)-labeled immunochromatography test strips(ICTSs) is very important for point-ofcare testing(POCT). However, common diagnostic methods cannot accurately analyze the weak magnetic signal from ICTSs, limiting the applications of POCT. In this study, an ultrasensitive multiplex biosensor was designed to overcome the limitations of capturing and normalization of the weak magnetic signal from MNPs on ICTSs. A machine learning model for sandwich assays was constructed and used to classify weakly positive and negative samples, which significantly enhanced the specificity and sensitivity. The potential clinical application was evaluated by detecting 50 human chorionic gonadotropin(HCG) samples and 59 myocardial infarction serum samples. The quantitative range for HCG was 1–1000 mIU mL^(-1) and the ideal detection limit was 0.014 mIU mL^(-1), which was well below the clinical threshold. Quantitative detection results of multiplex cardiac markers showed good linear correlations with standard values. The proposed multiplex assay can be readily adapted for identifying other biomolecules and also be used in other applications such as environmental monitoring, food analysis, and national security.展开更多
Determining the liquefaction potential of soil is important in earthquake engineering. This study proposes the use of the Relevance Vector Machine (RVM) to determine the liquefaction potential of soil by using actua...Determining the liquefaction potential of soil is important in earthquake engineering. This study proposes the use of the Relevance Vector Machine (RVM) to determine the liquefaction potential of soil by using actual cone penetration test (CPT) data. RVM is based on a Bayesian formulation of a linear model with an appropriate prior that results in a sparse representation. The results are compared with a widely used artificial neural network (ANN) model. Overall, the RVM shows good performance and is proven to be more accurate than the ANN model. It also provides probabilistic output. The model provides a viable tool for earthquake engineers to assess seismic conditions for sites that are susceptible to liquefaction.展开更多
文摘BACKGROUND Liver transplant(LT)patients have become older and sicker.The rate of post-LT major adverse cardiovascular events(MACE)has increased,and this in turn raises 30-d post-LT mortality.Noninvasive cardiac stress testing loses accuracy when applied to pre-LT cirrhotic patients.AIM To assess the feasibility and accuracy of a machine learning model used to predict post-LT MACE in a regional cohort.METHODS This retrospective cohort study involved 575 LT patients from a Southern Brazilian academic center.We developed a predictive model for post-LT MACE(defined as a composite outcome of stroke,new-onset heart failure,severe arrhythmia,and myocardial infarction)using the extreme gradient boosting(XGBoost)machine learning model.We addressed missing data(below 20%)for relevant variables using the k-nearest neighbor imputation method,calculating the mean from the ten nearest neighbors for each case.The modeling dataset included 83 features,encompassing patient and laboratory data,cirrhosis complications,and pre-LT cardiac assessments.Model performance was assessed using the area under the receiver operating characteristic curve(AUROC).We also employed Shapley additive explanations(SHAP)to interpret feature impacts.The dataset was split into training(75%)and testing(25%)sets.Calibration was evaluated using the Brier score.We followed Transparent Reporting of a Multivariable Prediction Model for Individual Prognosis or Diagnosis guidelines for reporting.Scikit-learn and SHAP in Python 3 were used for all analyses.The supplementary material includes code for model development and a user-friendly online MACE prediction calculator.RESULTS Of the 537 included patients,23(4.46%)developed in-hospital MACE,with a mean age at transplantation of 52.9 years.The majority,66.1%,were male.The XGBoost model achieved an impressive AUROC of 0.89 during the training stage.This model exhibited accuracy,precision,recall,and F1-score values of 0.84,0.85,0.80,and 0.79,respectively.Calibration,as assessed by the Brier score,indicated excellent model calibration with a score of 0.07.Furthermore,SHAP values highlighted the significance of certain variables in predicting postoperative MACE,with negative noninvasive cardiac stress testing,use of nonselective beta-blockers,direct bilirubin levels,blood type O,and dynamic alterations on myocardial perfusion scintigraphy being the most influential factors at the cohort-wide level.These results highlight the predictive capability of our XGBoost model in assessing the risk of post-LT MACE,making it a valuable tool for clinical practice.CONCLUSION Our study successfully assessed the feasibility and accuracy of the XGBoost machine learning model in predicting post-LT MACE,using both cardiovascular and hepatic variables.The model demonstrated impressive performance,aligning with literature findings,and exhibited excellent calibration.Notably,our cautious approach to prevent overfitting and data leakage suggests the stability of results when applied to prospective data,reinforcing the model’s value as a reliable tool for predicting post-LT MACE in clinical practice.
基金supported and funded by the Deanship of Scientific Research at Imam Mohammad Ibn Saud Islamic University(IMSIU),Grant Number IMSIU-RG23151.
文摘This study explores the impact of hyperparameter optimization on machine learning models for predicting cardiovascular disease using data from an IoST(Internet of Sensing Things)device.Ten distinct machine learning approaches were implemented and systematically evaluated before and after hyperparameter tuning.Significant improvements were observed across various models,with SVM and Neural Networks consistently showing enhanced performance metrics such as F1-Score,recall,and precision.The study underscores the critical role of tailored hyperparameter tuning in optimizing these models,revealing diverse outcomes among algorithms.Decision Trees and Random Forests exhibited stable performance throughout the evaluation.While enhancing accuracy,hyperparameter optimization also led to increased execution time.Visual representations and comprehensive results support the findings,confirming the hypothesis that optimizing parameters can effectively enhance predictive capabilities in cardiovascular disease.This research contributes to advancing the understanding and application of machine learning in healthcare,particularly in improving predictive accuracy for cardiovascular disease management and intervention strategies.
基金Supported by National Natural Science Foundation of China(Grant Nos.U22B2068,52275520,52075078)National Key Research and Development Program of China(Grant No.2019YFA0709003).
文摘Ultrasonic testing(UT)is increasingly combined with machine learning(ML)techniques for intelligently identifying damage.Extracting signifcant features from UT data is essential for efcient defect characterization.Moreover,the hidden physics behind ML is unexplained,reducing the generalization capability and versatility of ML methods in UT.In this paper,a generally applicable ML framework based on the model interpretation strategy is proposed to improve the detection accuracy and computational efciency of UT.Firstly,multi-domain features are extracted from the UT signals with signal processing techniques to construct an initial feature space.Subsequently,a feature selection method based on model interpretable strategy(FS-MIS)is innovatively developed by integrating Shapley additive explanation(SHAP),flter method,embedded method and wrapper method.The most efective ML model and the optimal feature subset with better correlation to the target defects are determined self-adaptively.The proposed framework is validated by identifying and locating side-drilled holes(SDHs)with 0.5λcentral distance and different depths.An ultrasonic array probe is adopted to acquire FMC datasets from several aluminum alloy specimens containing two SDHs by experiments.The optimal feature subset selected by FS-MIS is set as the input of the chosen ML model to train and predict the times of arrival(ToAs)of the scattered waves emitted by adjacent SDHs.The experimental results demonstrate that the relative errors of the predicted ToAs are all below 3.67%with an average error of 0.25%,signifcantly improving the time resolution of UT signals.On this basis,the predicted ToAs are assigned to the corresponding original signals for decoupling overlapped pulse-echoes and reconstructing high-resolution FMC datasets.The imaging resolution is enhanced to 0.5λby implementing the total focusing method(TFM).The relative errors of hole depths and central distance are no more than 0.51%and 3.57%,respectively.Finally,the superior performance of the proposed FS-MIS is validated by comparing it with initial feature space and conventional dimensionality reduction techniques.
基金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 China Naval Armament Department (No. 05131/1046).
文摘For qualifying the anti-shock performance of shipboard equipments and simulating actual underwater explosion environments, a novel dual-wave shock test machine is proposed to increase testing capability of shock test machines as well as to meet certain shock testing specification. The machine can generate a double-pulse acceleration shock for test articles according to specification defined in BV043/85. On the basis of the impact theory, a nonlinear dynamic model of the hydraulically-actuated test machine is established with thorough analysis on its mechanism which involves conversion of gas potential energy and dissipation of kinetic energy. Simulation results have demonstrated that the machine can produce a double-pulse acceleration shock in the time domain or a desired shock response spectrum in the frequency domain, which sets a theoretical base for the construction of the proposed machine.
基金Supported by National Nature Science Foundation of China(Grant No.51175461)Science Fund for Creative Research Groups of National Natural Science Foundation of China(Grant No.51221004)Program for Zhejiang Leading Team of S&T Innovation of China(Grant No.2009R50008)
文摘Compared with the traditional non-cutting measurement,machining tests can more accurately reflect the kinematic errors of five-axis machine tools in the actual machining process for the users.However,measurement and calculation of the machining tests in the literature are quite difficult and time-consuming.A new method of the machining tests for the trunnion axis of five-axis machine tool is proposed.Firstly,a simple mathematical model of the cradle-type five-axis machine tool was established by optimizing the coordinate system settings based on robot kinematics.Then,the machining tests based on error-sensitive directions were proposed to identify the kinematic errors of the trunnion axis of cradle-type five-axis machine tool.By adopting the error-sensitive vectors in the matrix calculation,the functional relationship equations between the machining errors of the test piece in the error-sensitive directions and the kinematic errors of C-axis and A-axis of five-axis machine tool rotary table was established based on the model of the kinematic errors.According to our previous work,the kinematic errors of C-axis can be treated as the known quantities,and the kinematic errors of A-axis can be obtained from the equations.This method was tested in Mikron UCP600 vertical machining center.The machining errors in the error-sensitive directions can be obtained by CMM inspection from the finished test piece to identify the kinematic errors of five-axis machine tool trunnion axis.Experimental results demonstrated that the proposed method can reduce the complexity,cost,and the time consumed substantially,and has a wider applicability.This paper proposes a new method of the machining tests for the trunnion axis of five-axis machine tool.
文摘Based on three kinds of dynamic test of MEMS, a dynamic system for the vibration test of micro machined gyroscope based on high speed photography is introduced. Firstly, the architecture of the system hardware is introduced. Secondly, the image tracking performance is compared by the test using the template matching algorithm, the mean shift algorithm and the SURF algorithm. The vibration curve shows that high speed photograph combined with SURF algorithm is faster, more ac- curate, and more suitable for the vibration test of micro machined gyroscope. After the frequency a- nalysis and related interpolation, more characteristics of micro gyroscope can be obtained.
文摘Software has been developed for digital control of WDW series testing machine and the measurement of fracture toughness by modularized design. Development of the software makes use of multi-thread and serial communication techniques, which can accurately control the testing machine and measure the fracture toughness in real-time. Three-point bending specimens were used in the measurement. The software operates stably and reliably, expanding the function of WDW series testing machine.
基金Funded by the National Key R&D Program of China(2017YFB0310102)。
文摘In order to compare the compensation effect of expansive materials with different mineral sources on the temperature stress of concrete,we investigated the temperature stress of concrete when adding calcium sulfoaluminate type expansive materials(CSA)or CaO and calcium sulfoaluminate mixed type expansive materials(HCSA)at different temperatures by temperature-stress testing machine(TSTM)considering the influence of temperature history on the expansion.The experimental results show that the expansion characteristics of the two kinds of expansive materials with different mineral sources significantly vary.When adding expansive materials,the growth rate of compressive stress during the heating stage increases obviously,the maximum compressive stress is higher,while the decline rate of tensile stress in the late cooling stage becomes slow,and finally cracking temperature decreases.It is proved that concrete with HCSA has lower cracking temperatures and better temperature shrinkage compensation effect.Therefore,it is rational to choose HCSA when preparing concrete with high expansion energy to reduce thermal cracking.
文摘National Quality Supervision & Inspection Center for Refractories Business scope: Selective examination for national quality supervision; Identification of production license; Arbitration inspection and technical achievements evaluation; Commodities inspection and otherquality inspections .
文摘In the present study, an aero pneumatic fatigue testing machine for complete dentures was designed, fabricated, and tested for the evaluation of the fatigue life of reinforced complete upper denture (CUD). On completion and testing, it was observed that the machine has the potential of generating reliable number of cyclic data. The machine’s performance was evaluated using test specimens of identical CUDs that were machined in conformity with standard procedures. The fatigue machine compressed the lower dental arch over the upper denture-specimen in centric occlusion, in the same way that the two masticatory muscles pull the lower jaw over the upper jaw during chewing. The incorporation of glass fibres into the CUD using a sandwich technique quadruples the lifespan of the denture (<em>P</em> = 0.004). The low standard deviation, along with the low coefficient of variation (CV) of the group of unreinforced dentures shows the repeatability of the results and the reliability of the machine. The high standard deviation and coefficient of variation of reinforced dentures was expected, since a high variation of results is usually recorded in fibre reinforcement cases. This research confirmed the view that the crack during denture fracture initiates in the anterior palatal area and propagates to the posterior.
文摘Building high confidence regression test suites to validate new system versions is a challenging problem. A modelbased approach to build a regression test suite from a given test suite is described. The generated test suite includes every test that will traverse a change performed to produce the new version, and consists of only such tests to reduce the testing costs. Finite state machines extended with typed variables (EFSMs) are used to model systems and system changes are mapped to EFSM transition changes adding/deleting/replacing EFSM transitions and states. Tests are a sequence of input and expected output messages with concrete parameter values over the supported data types. An invariant is formulated to characterize tests whose runtime behavior can be accurately predicted by analyzing their descriptions along with the model. Incremental procedures to efficiently evaluate the invariant and to select tests for regression are developed. Overlaps among the test descriptions are exploited to extend the approach to simultaneously select multiple tests to reduce the test selection costs. Effectiveness of the approach is demonstrated by applying it to several protocols, Web services, and model programs extracted from a popular testing benchmark. Our experimental results show that the proposed approach is economical for regression test selection in all these examples. For all these examples, the proposed approach is able to identify all tests exercising changes more efficiently than brute-force symbolic evaluation.
文摘To ensure the quality of Web applications, Web testing is one of the effective methods. The testing is a process of revealing errors that is used to give confidence that the implementation of a Web application meets its original specification. This work proposes a Web testing framework based on Stream X-Machines (SXMs), which provides a way to derive test cases for a Web application. It starts from constructing the SXM model, from which a test translator is employed to extract the test paths and then translates them into an XML-style test specification, which is the input of test engine. The test engine generates test cases and then executes them, and finally produces test report. This testing method is a significant contribution to informed research.
文摘A high fidelity dynamic model of a high-energy hydraulically-actuated shock test machine for heavy weight devices is presented to satisfy the newly-built shock resistance standard and simulate the actual underwater explosion environments in laboratory as well as increase the testing capability of shock test machine. In order to produce the required negative shock pulse in the given time duration, four hydraulic actuators are utilized. The model is then used to formulate an advanced feedforward controller for the system to produce the required negative waveform and to address the motion synchronization of the four cylinders. The model provides a safe and easily controllable way to perform a "virtual testing" before starting potentially destructive tests on specimen and to predict performance of the system. Simulation results have demonstrated the effectiveness of the controller.
文摘To improve the automation level of the vehicle drive axle test and better simulate a vehicle's actual operation, an advanced test machine has been developed. The load system of the machine consists of hand brakes and electric cylinders. It is simple-structured and low-cost. The major motor of the machine is controlled by a transducer and its speed can be adjusted easily. In addition, the programmed machine can automatically test such parameters as the grinding condition, the differential speed, the noise level, etc. It can also adjust the test procedures according to different requirements. Detailed discussion of the structure and mechanism of the test machine is given in this paper.
文摘Diagnosing intermittent fault is an important approach to reduce built-in test(BIT) false alarms. Aiming at solving the shortcoming of the present diagnostic method of intermittent fault, and according to the merit of support vector machines ( SVM) which can be trained with a small-sample, an SVM-based diagnostic model of 3 states that include OK state, intermittent state and faulty state is presented. With the features based on the reflection coefficients of an alarm rate ( AR ) model extracted from small vibration samples, these models are trained to diagnose intermittent faults. The experimental results show that this method can diagnose multiple intermittent faults accurately with small training samples and BIT false alarms are reduced.
基金support by the National Key Research and Development Program of China (Grant Nos. 2017FYA0205301, and 2017FYA0205303)the National Natural Science Foundation of China (Grant Nos. 81571835 and 81672247)+3 种基金National Key Research and Development Program of China (No. 2017YFA0205303)National Key Basic Research Program (973 Project) (No. 2015CB931802)"13th Five-Year Plan" Science and Technology Project of Jilin Province Education Department (No. JJKH20170410K)Shanghai Science and Technology Fund (No. 15DZ2252000)
文摘The use of magnetic nanoparticle(MNP)-labeled immunochromatography test strips(ICTSs) is very important for point-ofcare testing(POCT). However, common diagnostic methods cannot accurately analyze the weak magnetic signal from ICTSs, limiting the applications of POCT. In this study, an ultrasensitive multiplex biosensor was designed to overcome the limitations of capturing and normalization of the weak magnetic signal from MNPs on ICTSs. A machine learning model for sandwich assays was constructed and used to classify weakly positive and negative samples, which significantly enhanced the specificity and sensitivity. The potential clinical application was evaluated by detecting 50 human chorionic gonadotropin(HCG) samples and 59 myocardial infarction serum samples. The quantitative range for HCG was 1–1000 mIU mL^(-1) and the ideal detection limit was 0.014 mIU mL^(-1), which was well below the clinical threshold. Quantitative detection results of multiplex cardiac markers showed good linear correlations with standard values. The proposed multiplex assay can be readily adapted for identifying other biomolecules and also be used in other applications such as environmental monitoring, food analysis, and national security.
文摘Determining the liquefaction potential of soil is important in earthquake engineering. This study proposes the use of the Relevance Vector Machine (RVM) to determine the liquefaction potential of soil by using actual cone penetration test (CPT) data. RVM is based on a Bayesian formulation of a linear model with an appropriate prior that results in a sparse representation. The results are compared with a widely used artificial neural network (ANN) model. Overall, the RVM shows good performance and is proven to be more accurate than the ANN model. It also provides probabilistic output. The model provides a viable tool for earthquake engineers to assess seismic conditions for sites that are susceptible to liquefaction.