Testing is an integral part of software development.Current fastpaced system developments have rendered traditional testing techniques obsolete.Therefore,automated testing techniques are needed to adapt to such system...Testing is an integral part of software development.Current fastpaced system developments have rendered traditional testing techniques obsolete.Therefore,automated testing techniques are needed to adapt to such system developments speed.Model-based testing(MBT)is a technique that uses system models to generate and execute test cases automatically.It was identified that the test data generation(TDG)in many existing model-based test case generation(MB-TCG)approaches were still manual.An automatic and effective TDG can further reduce testing cost while detecting more faults.This study proposes an automated TDG approach in MB-TCG using the extended finite state machine model(EFSM).The proposed approach integrates MBT with combinatorial testing.The information available in an EFSM model and the boundary value analysis strategy are used to automate the domain input classifications which were done manually by the existing approach.The results showed that the proposed approach was able to detect 6.62 percent more faults than the conventionalMB-TCG but at the same time generated 43 more tests.The proposed approach effectively detects faults,but a further treatment to the generated tests such as test case prioritization should be done to increase the effectiveness and efficiency of testing.展开更多
As production automation systems have been and are becoming more and more complex, the task of quality assurance is increasingly challenging. Model-based testing is a research field addressing this challenge and many ...As production automation systems have been and are becoming more and more complex, the task of quality assurance is increasingly challenging. Model-based testing is a research field addressing this challenge and many approaches have been suggested for different applications. The goal of this paper is to review these approaches regarding their suitability for the domain of production automation in order to identify current trends and research gaps. The different approaches are classified and clustered according to their main focus which is either testing and test case generation from some form of model automatons, test case generation from models used within the development process of production automation systems, test case generation from fault models or test case selection and regression testing.展开更多
In late 2001, the Object Management Group issued a Request for Proposal to develop a testing profile for UML 2.0. In June 2003, the work on the UML 2.0 Testing Profile was finally adopted by the OMG. Since March 2004,...In late 2001, the Object Management Group issued a Request for Proposal to develop a testing profile for UML 2.0. In June 2003, the work on the UML 2.0 Testing Profile was finally adopted by the OMG. Since March 2004, it has become an official standard of the OMG. The UML 2.0 Testing Profile provides support for UML based model-driven testing. This paper introduces a methodology on how to use the testing profile in order to modify and extend an existing UML design model for test issues. The application of the methodology will be explained by applying it to an existing UML Model for a Bluetooth device.展开更多
<p align="left"> <span style="font-family:Verdana;">During the model-based software testing process, test cases are generated from modeled requirements to conduct acceptance testing. Ho...<p align="left"> <span style="font-family:Verdana;">During the model-based software testing process, test cases are generated from modeled requirements to conduct acceptance testing. However, existing approaches generate erroneous test cases, lack full coverage criteria and prototype tools. Therefore, the aim of this research is to develop an approach capable of reducing erroneous test case generation based on full coverage criteria and a prototype tool. The method employed was to develop a parser to extract information from the XMI file of a modeling diagram where a tree is constructed and a traversal operation executed on the nodes and edges to generate test cases. The results obtained from the proposed approach showed that 97.35% of the generated test cases were precise and comprehensive enough to conduct testing because 99.01% of all the nodes and edges were fully covered during the traversal operations.</span> </p>展开更多
Robustness testing for safety-critical embedded software is still a challenge in its nascent stages. In this paper, we propose a practical methodology and implement an environment by employing model-based robustness t...Robustness testing for safety-critical embedded software is still a challenge in its nascent stages. In this paper, we propose a practical methodology and implement an environment by employing model-based robustness testing for embedded software systems. It is a system-level black-box testing approach in which the fault behaviors of embedded software is triggered with the aid of modelbased fault injection by the support of an executable model-driven hardware-in-loop （HIL） testing environment. The prototype implementation of the robustness testing environment based on the proposed approach is experimentally discussed and illustrated by industrial case studies based on several avionics-embedded software systems. The results show that our proposed and implemented robustness testing method and environment are effective to find more bugs, and reduce burdens of testing engineers to enhance efficiency of testing tasks, especially for testing complex embedded systems.展开更多
Recently,researchers have shown increasing interest in combining more than one programming model into systems running on high performance computing systems(HPCs)to achieve exascale by applying parallelism at multiple ...Recently,researchers have shown increasing interest in combining more than one programming model into systems running on high performance computing systems(HPCs)to achieve exascale by applying parallelism at multiple levels.Combining different programming paradigms,such as Message Passing Interface(MPI),Open Multiple Processing(OpenMP),and Open Accelerators(OpenACC),can increase computation speed and improve performance.During the integration of multiple models,the probability of runtime errors increases,making their detection difficult,especially in the absence of testing techniques that can detect these errors.Numerous studies have been conducted to identify these errors,but no technique exists for detecting errors in three-level programming models.Despite the increasing research that integrates the three programming models,MPI,OpenMP,and OpenACC,a testing technology to detect runtime errors,such as deadlocks and race conditions,which can arise from this integration has not been developed.Therefore,this paper begins with a definition and explanation of runtime errors that result fromintegrating the three programming models that compilers cannot detect.For the first time,this paper presents a classification of operational errors that can result from the integration of the three models.This paper also proposes a parallel hybrid testing technique for detecting runtime errors in systems built in the C++programming language that uses the triple programming models MPI,OpenMP,and OpenACC.This hybrid technology combines static technology and dynamic technology,given that some errors can be detected using static techniques,whereas others can be detected using dynamic technology.The hybrid technique can detect more errors because it combines two distinct technologies.The proposed static technology detects a wide range of error types in less time,whereas a portion of the potential errors that may or may not occur depending on the 4502 CMC,2023,vol.74,no.2 operating environment are left to the dynamic technology,which completes the validation.展开更多
The rapid progress in the construction of heavy-haul and high-speed railways has led to a surge in rail defects and unforeseen failures.Addressing this issue necessitates the implementation of more sophisticated rail ...The rapid progress in the construction of heavy-haul and high-speed railways has led to a surge in rail defects and unforeseen failures.Addressing this issue necessitates the implementation of more sophisticated rail inspection methods,specifically involving real-time,precise detection,and assessment of rail defects.Current applications fail to address the evolving requirements,prompting the need for advancements.This paper provides a summary of various types of rail defects and outlines both traditional and innovative non-destructive inspection techniques,examining their fundamental features,benefits,drawbacks,and practical suitability for railway track inspection.It also explores potential enhancements to equipment and software.The comprehensive review draws upon pertinent international research and review papers.Furthermore,the paper introduces a fusion of inspection methods aimed at enhancing the overall reliability of defect detection.展开更多
The purpose of this study is to analyze the application of ultrasonic non-destructive testing technology in bridge engineering.During the research phase,based on literature collection and reading,as well as the analys...The purpose of this study is to analyze the application of ultrasonic non-destructive testing technology in bridge engineering.During the research phase,based on literature collection and reading,as well as the analysis of bridge inspection materials,the principle of ultrasonic non-destructive testing technology and its adaptability to bridge engineering are elaborated.Subsequently,starting from the preparation work before inspection until damage assessment,the entire process of ultrasonic non-destructive testing is studied,and finally,a technical system of ultrasonic non-destructive testing for bridge engineering that runs through the entire process is formed.It is hoped that this article can provide technical reference value for relevant units in China,and promote the high-quality development of China’s bridge engineering from a macro perspective.展开更多
With the depletion of fossil fuels and increasing environmental concerns,the development of renewable energy,such as wave energy,has become a critical component of global energy strategies.However,challenges persist i...With the depletion of fossil fuels and increasing environmental concerns,the development of renewable energy,such as wave energy,has become a critical component of global energy strategies.However,challenges persist in the field testing methodologies for wave energy converters(WECs).In this paper,a numerical wave field of the Dawanshan Island Sea Area in Zhuhai City is constructed based on the MIKE21 SW wave model and by using an NCEP wind field driving model.In conjunction with the IEC-62600-100 standard,by taking site testing of the“Wanshan”wave energy converter on which a sea trial has been conducted in Dawanshan Island of Zhuhai city as an example,research on-site testing method for a wave energy converter has been carried out.The wave measurement position for the“Wanshan”converter was determined by combining statistically analyzed field data with a validated numerical wave model.By comparing a valid wave height at the position where a wave rider is located with a valid wave height at the position where the“Wanshan”wave energy converter is situated,the correlation coefficient between simulation and observed data reached 0.90,with a root-mean-square error of 0.19.The representativeness of wave measurement data during site testing is verified and can be used as a basis for calculating the input energy of the“Wanshan”wave energy converter.展开更多
Subgrade engineering is a fundamental aspect of infrastructure construction in China.As the primary structural element responsible for bearing and distributing traffic loads,the subgrade must not only withstand the su...Subgrade engineering is a fundamental aspect of infrastructure construction in China.As the primary structural element responsible for bearing and distributing traffic loads,the subgrade must not only withstand the substantial pressures exerted by vehicles,trains,and other forms of transportation,but also efficiently transfer these loads to the underlying foundation,ensuring the stability and longevity of the roadway.In recent years,advancements in subgrade engineering technology have propelled the industry towards smarter,greener,and more sustainable practices,particularly in the areas of intelligent monitoring,disaster management,and innovative construction methods.This paper reviews the application and methodologies of intelligent testing equipment,including cone penetration testing(CPT)devices,soil resistivity testers,and intelligent rebound testers,in subgrade engineering.It examines the operating principles,advantages,limitations,and application ranges of these tools in subgrade testing.Additionally,the paper evaluates the practical use of advanced equipment from both domestic and international perspectives,addressing the challenges encountered by various instruments in realworld applications.These devices enable precise,comprehensive testing and evaluation of subgrade conditions at different stages,providing real-time data analysis and intelligent early warnings.This supports effective subgrade health management and maintenance.As intelligent technologies continue to evolve and integrate,these tools will increasingly enhance the accuracy,efficiency,and sustainability of subgrade monitoring.展开更多
Point-of-care testing(POCT)refers to a category of diagnostic tests that are performed at or near to the site of the patients(also called bedside testing)and is capable of obtaining accurate results in a short time by...Point-of-care testing(POCT)refers to a category of diagnostic tests that are performed at or near to the site of the patients(also called bedside testing)and is capable of obtaining accurate results in a short time by using portable diagnostic devices,avoiding sending samples to the medical laboratories.It has been extensively explored for diagnosing and monitoring patients’diseases and health conditions with the assistance of development in biochemistry and microfluidics.Microfluidic paper-based analytical devices(μPADs)have gained dramatic popularity in POCT because of their simplicity,user-friendly,fast and accurate result reading and low cost.SeveralμPADs have been successfully commercialized and received excellent feedback during the past several decades.This review briefly discusses the main types ofμPADs,preparation methods and their detection principles,followed by a few representative examples.The future perspectives of the development inμPADs are also provided.展开更多
The battery test methods are the key issues to investigate the energy-storage characteristics and dynamic characteristics of electric vehicle(EV) batteries.In this paper,the research advances of existing battery test ...The battery test methods are the key issues to investigate the energy-storage characteristics and dynamic characteristics of electric vehicle(EV) batteries.In this paper,the research advances of existing battery test methods as well as driving cycles are reviewed.An electric vehicle model that consists of EV dynamics model,battery model and electric motor model is built.The dynamic characteristics of the battery in frequency domain are analyzed.Based on the EV model and the frequency domain characteristics of the battery,a driving cycle test procedure of EV battery is proposed.The battery test procedure is able to reflect the real-world characteristics of EV batteries,and can be used as a universal EV battery test method.展开更多
Penetration testing plays a critical role in ensuring security in an increasingly interconnected world. Despite advancements in technology leading to smaller, more portable devices, penetration testing remains reliant...Penetration testing plays a critical role in ensuring security in an increasingly interconnected world. Despite advancements in technology leading to smaller, more portable devices, penetration testing remains reliant on traditional laptops and computers, which, while portable, lack true ultra-portability. This paper explores the potential impact of developing a dedicated, ultra-portable, low-cost device for on-the-go penetration testing. Such a device could replicate the core functionalities of advanced penetration testing tools, including those found in Kali Linux, within a compact form factor that fits easily into a pocket. By offering the convenience and portability akin to a smartphone, this innovative device could redefine the way penetration testers operate, enabling them to carry essential tools wherever they go and ensuring they are always prepared to conduct security assessments efficiently. This approach aims to revolutionize penetration testing by merging high functionality with unparalleled portability.展开更多
Geomechanical properties of rocks vary across different measurement scales,primarily due to heterogeneity.Micro-scale geomechanical tests,including micro-scale“scratch tests”and nano-scale nanoindentation tests,are ...Geomechanical properties of rocks vary across different measurement scales,primarily due to heterogeneity.Micro-scale geomechanical tests,including micro-scale“scratch tests”and nano-scale nanoindentation tests,are attractive at different scales.Each method requires minimal sample volume,is low cost,and includes a relatively rapid measurement turnaround time.However,recent micro-scale test results–including scratch test results and nanoindentation results–exhibit tangible variance and uncertainty,suggesting a need to correlate mineral composition mapping to elastic modulus mapping to isolate the relative impact of specific minerals.Different research labs often utilize different interpretation methods,and it is clear that future micro-mechanical tests may benefit from standardized testing and interpretation procedures.The objectives of this study are to seek options for standardized testing and interpretation procedures,through two specific objectives:(1)Quantify chemical and physical controls on micro-mechanical properties and(2)Quantify the source of uncertainties associated with nanoindentation measurements.To reach these goals,we conducted mechanical tests on three different scales:triaxial compression tests,scratch tests,and nanoindentation tests.We found that mineral phase weight percentage is highly correlated with nanoindentation elastic modulus distribution.Finally,we conclude that nanoindentation testing is a mineralogy and microstructure-based method and generally yields significant uncertainty and overestimation.The uncertainty of the testing method is largely associated with not mapping pore space a priori.Lastly,the uncertainty can be reduced by combining phase mapping and modulus mapping with substantial and random data sampling.展开更多
Numerous clustering algorithms are valuable in pattern recognition in forest vegetation,with new ones continually being proposed.While some are well-known,others are underutilized in vegetation science.This study comp...Numerous clustering algorithms are valuable in pattern recognition in forest vegetation,with new ones continually being proposed.While some are well-known,others are underutilized in vegetation science.This study compares the performance of practical iterative reallocation algorithms with model-based clustering algorithms.The data is from forest vegetation in Virginia(United States),the Hyrcanian Forest(Asia),and European beech forests.Practical iterative reallocation algorithms were applied as non-hierarchical methods and Finite Gaussian mixture modeling was used as a model-based clustering method.Due to limitations on dimensionality in model-based clustering,principal coordinates analysis was employed to reduce the dataset’s dimensions.A log transformation was applied to achieve a normal distribution for the pseudo-species data before calculating the Bray-Curtis dissimilarity.The findings indicate that the reallocation of misclassified objects based on silhouette width(OPTSIL)with Flexible-β(-0.25)had the highest mean among the tested clustering algorithms with Silhouette width 1(REMOS1)with Flexible-β(-0.25)second.However,model-based clustering performed poorly.Based on these results,it is recommended using OPTSIL with Flexible-β(-0.25)and REMOS1 with Flexible-β(-0.25)for forest vegetation classification instead of model-based clustering particularly for heterogeneous datasets common in forest vegetation community data.展开更多
The China Spallation Neutron Source(CSNS)is the fourth pulsed accelerator-driven neutron source in the world,and it achieved its design target of 100 kW in 2020.The planned China Spallation Neutron Source Phase II(CSN...The China Spallation Neutron Source(CSNS)is the fourth pulsed accelerator-driven neutron source in the world,and it achieved its design target of 100 kW in 2020.The planned China Spallation Neutron Source Phase II(CSNS-II)commenced in 2024.The CSNS-II linac design primarily involves the addition of a radio-frequency ion source and a section of a superconducting linear accelerator composed of two types of superconducting cavities,namely double-spoke and six-cell elliptical cavities,after the drift tube linac(DTL).The development of the double-spoke superconducting cavity began in early 2021,and by January 2023,the welding,post-processing,and vertical tests of two 324 MHz double-spoke cavity prototypes were completed,with vertical test gradients of 11.6 and 15 MV/m,and Q_(0)≥3×10^(10)@E_(acc)≤10 MV/m.The R&D of the cryomodule began in January 2022.In October 2023,the clean assembly of the double-spoke cavity string and cold mass installation of the cryomodule commenced,with the installation of the cryomodule and valve box completing in two months.In January 2024,a horizontal test of the cryomodule was completed,making it the first double-spoke cavity cryomodule in China.The test results showed that the maximum gradients of the two superconducting cavities at a pulse width of 4 ms and repetition frequency of 25 Hz were 12.8 and 15.2 MV/m,respectively.This article provides a detailed introduction to the double-spoke superconducting cavity,tuner,coupler,and cryomodule,elaborates on the clean assembly of the cavity string and cold mass installation of the cryomodule,and provides a detailed analysis of the horizontal test results.展开更多
Knowledge of the dynamic modulus of bituminous mixtures is practical and theoretically meaningful in pavement design,construction,and monitoring.The tests in the laboratory for the determination of asphalt concrete(AC...Knowledge of the dynamic modulus of bituminous mixtures is practical and theoretically meaningful in pavement design,construction,and monitoring.The tests in the laboratory for the determination of asphalt concrete(AC)moduli include the resilient modulus through the indirect tensile test(EN 12697-26),the complex modulus through the four point bending beam(EN 12697-26),the asphalt mixture performance tester(AMPT)and the simple performance tester(SPT)(AASHTO T342).Unfortunately,the tests above are time-consuming and quite expensive.On the other hand,the standard ASTM E1876 for resonant tests applies only to very thin(stocky)cylindrical samples(with a thickness-to-radius ratio,t/r,lower than 0.5)while the typical AC samples produced in the laboratory do not satisfy the ASTM E1876 requirements.Consequently,the main objective of this study is to set up and implement a tentative method to extend the range of applicability of the standard ASTM E1876 to common AC samples.The methodology was to carry out resonant tests on slender samples and to cut each of them into stocky samples(these latter complying with ASTM E1876 requirements in terms of t/r),deriving the master curve per material.These master curves allowed for deriving the value of the dynamic modulus for the given selected sample under its particular test conditions during the resonant test(i.e.,temperature and frequency).Consequently,simplified formulae were provided for AC samples.Results were compared to Witczak's estimates.These formulae provide an approximate tool to carry out low-cost and high-speed inferences at the laboratory stage on common AC samples,whatever their thickness is.Additional studies are needed to investigate the reliability of the method further and reduce uncertainties.展开更多
In recent years,the application scenarios of electrical and electronic products have become increasingly diverse worldwide.The impact of climatic environmental tests on the performance of related products has attracte...In recent years,the application scenarios of electrical and electronic products have become increasingly diverse worldwide.The impact of climatic environmental tests on the performance of related products has attracted much attention,and formulating scientific and reasonable environmental test plans has become an important step to ensure product quality and reliability.展开更多
In high-risk industrial environments like nuclear power plants,precise defect identification and localization are essential for maintaining production stability and safety.However,the complexity of such a harsh enviro...In high-risk industrial environments like nuclear power plants,precise defect identification and localization are essential for maintaining production stability and safety.However,the complexity of such a harsh environment leads to significant variations in the shape and size of the defects.To address this challenge,we propose the multivariate time series segmentation network(MSSN),which adopts a multiscale convolutional network with multi-stage and depth-separable convolutions for efficient feature extraction through variable-length templates.To tackle the classification difficulty caused by structural signal variance,MSSN employs logarithmic normalization to adjust instance distributions.Furthermore,it integrates classification with smoothing loss functions to accurately identify defect segments amid similar structural and defect signal subsequences.Our algorithm evaluated on both the Mackey-Glass dataset and industrial dataset achieves over 95%localization and demonstrates the capture capability on the synthetic dataset.In a nuclear plant's heat transfer tube dataset,it captures 90%of defect instances with75%middle localization F1 score.展开更多
This article introduces the composition and working principle of home appliance control board automation testing equipment,elaborates on the importance of key technical indicators,explains the integrated design of fun...This article introduces the composition and working principle of home appliance control board automation testing equipment,elaborates on the importance of key technical indicators,explains the integrated design of functional modules,signal processing modules,and data analysis modules,and covers aspects such as the application of machine learning algorithms and the establishment of fault waveform databases.Finally,it looks forward to the development of intelligent testing systems and emphasizes the importance of building a standardized testing system.展开更多
基金The research was funded by Universiti Teknologi Malaysia(UTM)and the MalaysianMinistry of Higher Education(MOHE)under the Industry-International Incentive Grant Scheme(IIIGS)(Vote Number:Q.J130000.3651.02M67 and Q.J130000.3051.01M86)the Aca-demic Fellowship Scheme(SLAM).
文摘Testing is an integral part of software development.Current fastpaced system developments have rendered traditional testing techniques obsolete.Therefore,automated testing techniques are needed to adapt to such system developments speed.Model-based testing(MBT)is a technique that uses system models to generate and execute test cases automatically.It was identified that the test data generation(TDG)in many existing model-based test case generation(MB-TCG)approaches were still manual.An automatic and effective TDG can further reduce testing cost while detecting more faults.This study proposes an automated TDG approach in MB-TCG using the extended finite state machine model(EFSM).The proposed approach integrates MBT with combinatorial testing.The information available in an EFSM model and the boundary value analysis strategy are used to automate the domain input classifications which were done manually by the existing approach.The results showed that the proposed approach was able to detect 6.62 percent more faults than the conventionalMB-TCG but at the same time generated 43 more tests.The proposed approach effectively detects faults,but a further treatment to the generated tests such as test case prioritization should be done to increase the effectiveness and efficiency of testing.
文摘As production automation systems have been and are becoming more and more complex, the task of quality assurance is increasingly challenging. Model-based testing is a research field addressing this challenge and many approaches have been suggested for different applications. The goal of this paper is to review these approaches regarding their suitability for the domain of production automation in order to identify current trends and research gaps. The different approaches are classified and clustered according to their main focus which is either testing and test case generation from some form of model automatons, test case generation from models used within the development process of production automation systems, test case generation from fault models or test case selection and regression testing.
文摘In late 2001, the Object Management Group issued a Request for Proposal to develop a testing profile for UML 2.0. In June 2003, the work on the UML 2.0 Testing Profile was finally adopted by the OMG. Since March 2004, it has become an official standard of the OMG. The UML 2.0 Testing Profile provides support for UML based model-driven testing. This paper introduces a methodology on how to use the testing profile in order to modify and extend an existing UML design model for test issues. The application of the methodology will be explained by applying it to an existing UML Model for a Bluetooth device.
文摘<p align="left"> <span style="font-family:Verdana;">During the model-based software testing process, test cases are generated from modeled requirements to conduct acceptance testing. However, existing approaches generate erroneous test cases, lack full coverage criteria and prototype tools. Therefore, the aim of this research is to develop an approach capable of reducing erroneous test case generation based on full coverage criteria and a prototype tool. The method employed was to develop a parser to extract information from the XMI file of a modeling diagram where a tree is constructed and a traversal operation executed on the nodes and edges to generate test cases. The results obtained from the proposed approach showed that 97.35% of the generated test cases were precise and comprehensive enough to conduct testing because 99.01% of all the nodes and edges were fully covered during the traversal operations.</span> </p>
基金the Aeronautics Science Foundation of China(No.2011ZD51055)Science and Technology on Reliability&Environmental Engineering Laboratory(No.302367)the National Pre-Research Foundation of China(No.51319080201)
文摘Robustness testing for safety-critical embedded software is still a challenge in its nascent stages. In this paper, we propose a practical methodology and implement an environment by employing model-based robustness testing for embedded software systems. It is a system-level black-box testing approach in which the fault behaviors of embedded software is triggered with the aid of modelbased fault injection by the support of an executable model-driven hardware-in-loop （HIL） testing environment. The prototype implementation of the robustness testing environment based on the proposed approach is experimentally discussed and illustrated by industrial case studies based on several avionics-embedded software systems. The results show that our proposed and implemented robustness testing method and environment are effective to find more bugs, and reduce burdens of testing engineers to enhance efficiency of testing tasks, especially for testing complex embedded systems.
基金[King Abdulaziz University][Deanship of Scientific Research]Grant Number[KEP-PHD-20-611-42].
文摘Recently,researchers have shown increasing interest in combining more than one programming model into systems running on high performance computing systems(HPCs)to achieve exascale by applying parallelism at multiple levels.Combining different programming paradigms,such as Message Passing Interface(MPI),Open Multiple Processing(OpenMP),and Open Accelerators(OpenACC),can increase computation speed and improve performance.During the integration of multiple models,the probability of runtime errors increases,making their detection difficult,especially in the absence of testing techniques that can detect these errors.Numerous studies have been conducted to identify these errors,but no technique exists for detecting errors in three-level programming models.Despite the increasing research that integrates the three programming models,MPI,OpenMP,and OpenACC,a testing technology to detect runtime errors,such as deadlocks and race conditions,which can arise from this integration has not been developed.Therefore,this paper begins with a definition and explanation of runtime errors that result fromintegrating the three programming models that compilers cannot detect.For the first time,this paper presents a classification of operational errors that can result from the integration of the three models.This paper also proposes a parallel hybrid testing technique for detecting runtime errors in systems built in the C++programming language that uses the triple programming models MPI,OpenMP,and OpenACC.This hybrid technology combines static technology and dynamic technology,given that some errors can be detected using static techniques,whereas others can be detected using dynamic technology.The hybrid technique can detect more errors because it combines two distinct technologies.The proposed static technology detects a wide range of error types in less time,whereas a portion of the potential errors that may or may not occur depending on the 4502 CMC,2023,vol.74,no.2 operating environment are left to the dynamic technology,which completes the validation.
文摘The rapid progress in the construction of heavy-haul and high-speed railways has led to a surge in rail defects and unforeseen failures.Addressing this issue necessitates the implementation of more sophisticated rail inspection methods,specifically involving real-time,precise detection,and assessment of rail defects.Current applications fail to address the evolving requirements,prompting the need for advancements.This paper provides a summary of various types of rail defects and outlines both traditional and innovative non-destructive inspection techniques,examining their fundamental features,benefits,drawbacks,and practical suitability for railway track inspection.It also explores potential enhancements to equipment and software.The comprehensive review draws upon pertinent international research and review papers.Furthermore,the paper introduces a fusion of inspection methods aimed at enhancing the overall reliability of defect detection.
文摘The purpose of this study is to analyze the application of ultrasonic non-destructive testing technology in bridge engineering.During the research phase,based on literature collection and reading,as well as the analysis of bridge inspection materials,the principle of ultrasonic non-destructive testing technology and its adaptability to bridge engineering are elaborated.Subsequently,starting from the preparation work before inspection until damage assessment,the entire process of ultrasonic non-destructive testing is studied,and finally,a technical system of ultrasonic non-destructive testing for bridge engineering that runs through the entire process is formed.It is hoped that this article can provide technical reference value for relevant units in China,and promote the high-quality development of China’s bridge engineering from a macro perspective.
基金supported by the“National Ocean Technology Center Innovation Fund”under Project No.N3220Z002,led by Ning Jia.The official website of the National Ocean Technology Center is accessible at:http://www.notcsoa.org.cn/.
文摘With the depletion of fossil fuels and increasing environmental concerns,the development of renewable energy,such as wave energy,has become a critical component of global energy strategies.However,challenges persist in the field testing methodologies for wave energy converters(WECs).In this paper,a numerical wave field of the Dawanshan Island Sea Area in Zhuhai City is constructed based on the MIKE21 SW wave model and by using an NCEP wind field driving model.In conjunction with the IEC-62600-100 standard,by taking site testing of the“Wanshan”wave energy converter on which a sea trial has been conducted in Dawanshan Island of Zhuhai city as an example,research on-site testing method for a wave energy converter has been carried out.The wave measurement position for the“Wanshan”converter was determined by combining statistically analyzed field data with a validated numerical wave model.By comparing a valid wave height at the position where a wave rider is located with a valid wave height at the position where the“Wanshan”wave energy converter is situated,the correlation coefficient between simulation and observed data reached 0.90,with a root-mean-square error of 0.19.The representativeness of wave measurement data during site testing is verified and can be used as a basis for calculating the input energy of the“Wanshan”wave energy converter.
基金supported by the National Natural Science Foundation of China for Distinguished Young Scholars(Grant No.42225206)National Natural Science Foundation of China(42207180,42477209,42302320).
文摘Subgrade engineering is a fundamental aspect of infrastructure construction in China.As the primary structural element responsible for bearing and distributing traffic loads,the subgrade must not only withstand the substantial pressures exerted by vehicles,trains,and other forms of transportation,but also efficiently transfer these loads to the underlying foundation,ensuring the stability and longevity of the roadway.In recent years,advancements in subgrade engineering technology have propelled the industry towards smarter,greener,and more sustainable practices,particularly in the areas of intelligent monitoring,disaster management,and innovative construction methods.This paper reviews the application and methodologies of intelligent testing equipment,including cone penetration testing(CPT)devices,soil resistivity testers,and intelligent rebound testers,in subgrade engineering.It examines the operating principles,advantages,limitations,and application ranges of these tools in subgrade testing.Additionally,the paper evaluates the practical use of advanced equipment from both domestic and international perspectives,addressing the challenges encountered by various instruments in realworld applications.These devices enable precise,comprehensive testing and evaluation of subgrade conditions at different stages,providing real-time data analysis and intelligent early warnings.This supports effective subgrade health management and maintenance.As intelligent technologies continue to evolve and integrate,these tools will increasingly enhance the accuracy,efficiency,and sustainability of subgrade monitoring.
文摘Point-of-care testing(POCT)refers to a category of diagnostic tests that are performed at or near to the site of the patients(also called bedside testing)and is capable of obtaining accurate results in a short time by using portable diagnostic devices,avoiding sending samples to the medical laboratories.It has been extensively explored for diagnosing and monitoring patients’diseases and health conditions with the assistance of development in biochemistry and microfluidics.Microfluidic paper-based analytical devices(μPADs)have gained dramatic popularity in POCT because of their simplicity,user-friendly,fast and accurate result reading and low cost.SeveralμPADs have been successfully commercialized and received excellent feedback during the past several decades.This review briefly discusses the main types ofμPADs,preparation methods and their detection principles,followed by a few representative examples.The future perspectives of the development inμPADs are also provided.
基金Supported by the National High Technology Research and Development Programme of China(No.2011AA05A109,2008AA11A104)International S&T Cooperation Program of China(ISTCP)(No.2011DFA70570,2010DFA72760)
文摘The battery test methods are the key issues to investigate the energy-storage characteristics and dynamic characteristics of electric vehicle(EV) batteries.In this paper,the research advances of existing battery test methods as well as driving cycles are reviewed.An electric vehicle model that consists of EV dynamics model,battery model and electric motor model is built.The dynamic characteristics of the battery in frequency domain are analyzed.Based on the EV model and the frequency domain characteristics of the battery,a driving cycle test procedure of EV battery is proposed.The battery test procedure is able to reflect the real-world characteristics of EV batteries,and can be used as a universal EV battery test method.
文摘Penetration testing plays a critical role in ensuring security in an increasingly interconnected world. Despite advancements in technology leading to smaller, more portable devices, penetration testing remains reliant on traditional laptops and computers, which, while portable, lack true ultra-portability. This paper explores the potential impact of developing a dedicated, ultra-portable, low-cost device for on-the-go penetration testing. Such a device could replicate the core functionalities of advanced penetration testing tools, including those found in Kali Linux, within a compact form factor that fits easily into a pocket. By offering the convenience and portability akin to a smartphone, this innovative device could redefine the way penetration testers operate, enabling them to carry essential tools wherever they go and ensuring they are always prepared to conduct security assessments efficiently. This approach aims to revolutionize penetration testing by merging high functionality with unparalleled portability.
基金support of this project through the Southwest Regional Partnership on Carbon Sequestration(Grant No.DE-FC26-05NT42591)Improving Production in the Emerging Paradox Oil Play(Grant No.DE-FE0031775).
文摘Geomechanical properties of rocks vary across different measurement scales,primarily due to heterogeneity.Micro-scale geomechanical tests,including micro-scale“scratch tests”and nano-scale nanoindentation tests,are attractive at different scales.Each method requires minimal sample volume,is low cost,and includes a relatively rapid measurement turnaround time.However,recent micro-scale test results–including scratch test results and nanoindentation results–exhibit tangible variance and uncertainty,suggesting a need to correlate mineral composition mapping to elastic modulus mapping to isolate the relative impact of specific minerals.Different research labs often utilize different interpretation methods,and it is clear that future micro-mechanical tests may benefit from standardized testing and interpretation procedures.The objectives of this study are to seek options for standardized testing and interpretation procedures,through two specific objectives:(1)Quantify chemical and physical controls on micro-mechanical properties and(2)Quantify the source of uncertainties associated with nanoindentation measurements.To reach these goals,we conducted mechanical tests on three different scales:triaxial compression tests,scratch tests,and nanoindentation tests.We found that mineral phase weight percentage is highly correlated with nanoindentation elastic modulus distribution.Finally,we conclude that nanoindentation testing is a mineralogy and microstructure-based method and generally yields significant uncertainty and overestimation.The uncertainty of the testing method is largely associated with not mapping pore space a priori.Lastly,the uncertainty can be reduced by combining phase mapping and modulus mapping with substantial and random data sampling.
基金financially supported by the vice chancellor for research and technology of Urmia University
文摘Numerous clustering algorithms are valuable in pattern recognition in forest vegetation,with new ones continually being proposed.While some are well-known,others are underutilized in vegetation science.This study compares the performance of practical iterative reallocation algorithms with model-based clustering algorithms.The data is from forest vegetation in Virginia(United States),the Hyrcanian Forest(Asia),and European beech forests.Practical iterative reallocation algorithms were applied as non-hierarchical methods and Finite Gaussian mixture modeling was used as a model-based clustering method.Due to limitations on dimensionality in model-based clustering,principal coordinates analysis was employed to reduce the dataset’s dimensions.A log transformation was applied to achieve a normal distribution for the pseudo-species data before calculating the Bray-Curtis dissimilarity.The findings indicate that the reallocation of misclassified objects based on silhouette width(OPTSIL)with Flexible-β(-0.25)had the highest mean among the tested clustering algorithms with Silhouette width 1(REMOS1)with Flexible-β(-0.25)second.However,model-based clustering performed poorly.Based on these results,it is recommended using OPTSIL with Flexible-β(-0.25)and REMOS1 with Flexible-β(-0.25)for forest vegetation classification instead of model-based clustering particularly for heterogeneous datasets common in forest vegetation community data.
文摘The China Spallation Neutron Source(CSNS)is the fourth pulsed accelerator-driven neutron source in the world,and it achieved its design target of 100 kW in 2020.The planned China Spallation Neutron Source Phase II(CSNS-II)commenced in 2024.The CSNS-II linac design primarily involves the addition of a radio-frequency ion source and a section of a superconducting linear accelerator composed of two types of superconducting cavities,namely double-spoke and six-cell elliptical cavities,after the drift tube linac(DTL).The development of the double-spoke superconducting cavity began in early 2021,and by January 2023,the welding,post-processing,and vertical tests of two 324 MHz double-spoke cavity prototypes were completed,with vertical test gradients of 11.6 and 15 MV/m,and Q_(0)≥3×10^(10)@E_(acc)≤10 MV/m.The R&D of the cryomodule began in January 2022.In October 2023,the clean assembly of the double-spoke cavity string and cold mass installation of the cryomodule commenced,with the installation of the cryomodule and valve box completing in two months.In January 2024,a horizontal test of the cryomodule was completed,making it the first double-spoke cavity cryomodule in China.The test results showed that the maximum gradients of the two superconducting cavities at a pulse width of 4 ms and repetition frequency of 25 Hz were 12.8 and 15.2 MV/m,respectively.This article provides a detailed introduction to the double-spoke superconducting cavity,tuner,coupler,and cryomodule,elaborates on the clean assembly of the cavity string and cold mass installation of the cryomodule,and provides a detailed analysis of the horizontal test results.
文摘Knowledge of the dynamic modulus of bituminous mixtures is practical and theoretically meaningful in pavement design,construction,and monitoring.The tests in the laboratory for the determination of asphalt concrete(AC)moduli include the resilient modulus through the indirect tensile test(EN 12697-26),the complex modulus through the four point bending beam(EN 12697-26),the asphalt mixture performance tester(AMPT)and the simple performance tester(SPT)(AASHTO T342).Unfortunately,the tests above are time-consuming and quite expensive.On the other hand,the standard ASTM E1876 for resonant tests applies only to very thin(stocky)cylindrical samples(with a thickness-to-radius ratio,t/r,lower than 0.5)while the typical AC samples produced in the laboratory do not satisfy the ASTM E1876 requirements.Consequently,the main objective of this study is to set up and implement a tentative method to extend the range of applicability of the standard ASTM E1876 to common AC samples.The methodology was to carry out resonant tests on slender samples and to cut each of them into stocky samples(these latter complying with ASTM E1876 requirements in terms of t/r),deriving the master curve per material.These master curves allowed for deriving the value of the dynamic modulus for the given selected sample under its particular test conditions during the resonant test(i.e.,temperature and frequency).Consequently,simplified formulae were provided for AC samples.Results were compared to Witczak's estimates.These formulae provide an approximate tool to carry out low-cost and high-speed inferences at the laboratory stage on common AC samples,whatever their thickness is.Additional studies are needed to investigate the reliability of the method further and reduce uncertainties.
文摘In recent years,the application scenarios of electrical and electronic products have become increasingly diverse worldwide.The impact of climatic environmental tests on the performance of related products has attracted much attention,and formulating scientific and reasonable environmental test plans has become an important step to ensure product quality and reliability.
基金supported by the National Science and Technology Major Project of the Ministry of Science and Technology of China(2024ZD0608100)the National Natural Science Foundation of China(62332017,U22A2022)
文摘In high-risk industrial environments like nuclear power plants,precise defect identification and localization are essential for maintaining production stability and safety.However,the complexity of such a harsh environment leads to significant variations in the shape and size of the defects.To address this challenge,we propose the multivariate time series segmentation network(MSSN),which adopts a multiscale convolutional network with multi-stage and depth-separable convolutions for efficient feature extraction through variable-length templates.To tackle the classification difficulty caused by structural signal variance,MSSN employs logarithmic normalization to adjust instance distributions.Furthermore,it integrates classification with smoothing loss functions to accurately identify defect segments amid similar structural and defect signal subsequences.Our algorithm evaluated on both the Mackey-Glass dataset and industrial dataset achieves over 95%localization and demonstrates the capture capability on the synthetic dataset.In a nuclear plant's heat transfer tube dataset,it captures 90%of defect instances with75%middle localization F1 score.
文摘This article introduces the composition and working principle of home appliance control board automation testing equipment,elaborates on the importance of key technical indicators,explains the integrated design of functional modules,signal processing modules,and data analysis modules,and covers aspects such as the application of machine learning algorithms and the establishment of fault waveform databases.Finally,it looks forward to the development of intelligent testing systems and emphasizes the importance of building a standardized testing system.
