Test case prioritization and ranking play a crucial role in software testing by improving fault detection efficiency and ensuring software reliability.While prioritization selects the most relevant test cases for opti...Test case prioritization and ranking play a crucial role in software testing by improving fault detection efficiency and ensuring software reliability.While prioritization selects the most relevant test cases for optimal coverage,ranking further refines their execution order to detect critical faults earlier.This study investigates machine learning techniques to enhance both prioritization and ranking,contributing to more effective and efficient testing processes.We first employ advanced feature engineering alongside ensemble models,including Gradient Boosted,Support Vector Machines,Random Forests,and Naive Bayes classifiers to optimize test case prioritization,achieving an accuracy score of 0.98847 and significantly improving the Average Percentage of Fault Detection(APFD).Subsequently,we introduce a deep Q-learning framework combined with a Genetic Algorithm(GA)to refine test case ranking within priority levels.This approach achieves a rank accuracy of 0.9172,demonstrating robust performance despite the increasing computational demands of specialized variation operators.Our findings highlight the effectiveness of stacked ensemble learning and reinforcement learning in optimizing test case prioritization and ranking.This integrated approach improves testing efficiency,reduces late-stage defects,and improves overall software stability.The study provides valuable information for AI-driven testing frameworks,paving the way for more intelligent and adaptive software quality assurance methodologies.展开更多
With the rapid development of artificial intelligence,the intelligence level of software is increasingly improving.Intelligent software,which is widely applied in crucial fields such as autonomous driving,intelligent ...With the rapid development of artificial intelligence,the intelligence level of software is increasingly improving.Intelligent software,which is widely applied in crucial fields such as autonomous driving,intelligent customer service,and medical diagnosis,is constructed based on complex technologies like machine learning and deep learning.Its uncertain behavior and data dependence pose unprecedented challenges to software testing.However,existing software testing courses mainly focus on conventional contents and are unable to meet the requirements of intelligent software testing.Therefore,this work deeply analyzed the relevant technologies of intelligent software testing,including reliability evaluation indicator system,neuron coverage,and test case generation.It also systematically designed an intelligent software testing course,covering teaching objectives,teaching content,teaching methods,and a teaching case.Verified by the practical teaching in four classes,this course has achieved remarkable results,providing practical experience for the reform of software testing courses.展开更多
Members of the British Textile Machinery Association(BTMA)can look back on 2025 as a year marked by notable technological advances and continued progress in global trade,despite an uncertain and volatile market.“Our ...Members of the British Textile Machinery Association(BTMA)can look back on 2025 as a year marked by notable technological advances and continued progress in global trade,despite an uncertain and volatile market.“Our members have been very active over the past 12 months and this has resulted in new technologies for the production of technical fibres and fabrics,the introduction of AI and machine learning into process control systems and significant advances in materials testing,”says BTMA CEO Jason Kent.“There’s real excitement about what can be achieved in 2026 as we look ahead to upcoming exhibitions such as JEC Composites in Paris in March and Techtextil in Frankfurt in April.”展开更多
With the rapid development of Internet technology,REST APIs(Representational State Transfer Application Programming Interfaces)have become the primary communication standard in modern microservice architectures,raisin...With the rapid development of Internet technology,REST APIs(Representational State Transfer Application Programming Interfaces)have become the primary communication standard in modern microservice architectures,raising increasing concerns about their security.Existing fuzz testing methods include random or dictionary-based input generation,which often fail to ensure both syntactic and semantic correctness,and OpenAPIbased approaches,which offer better accuracy but typically lack detailed descriptions of endpoints,parameters,or data formats.To address these issues,this paper proposes the APIDocX fuzz testing framework.It introduces a crawler tailored for dynamic web pages that automatically simulates user interactions to trigger APIs,capturing and extracting parameter information from communication packets.A multi-endpoint parameter adaptation method based on improved Jaccard similarity is then used to generalize these parameters to other potential API endpoints,filling in gaps in OpenAPI specifications.Experimental results demonstrate that the extracted parameters can be generalized with 79.61%accuracy.Fuzz testing using the enriched OpenAPI documents leads to improvements in test coverage,the number of valid test cases generated,and fault detection capabilities.This approach offers an effective enhancement to automated REST API security testing.展开更多
Lateral flow immunoassays(LFIAs)are low-cost,rapid,and easy to use for pointof-care testing(POCT),but the majority of the available LFIA tests are indicative,rather than quantitative,and their sensitivity in antigen t...Lateral flow immunoassays(LFIAs)are low-cost,rapid,and easy to use for pointof-care testing(POCT),but the majority of the available LFIA tests are indicative,rather than quantitative,and their sensitivity in antigen tests are usually limited at the nanogram range,which is primarily due to the passive capillary fluidics through nitrocellulose membranes,often associated with non-specific bindings and high background noise.To overcome this challenge,we report a Beads-on-a-Tip design by replacing nitrocellulose membranes with a pipette tip loaded with magnetic beads.The beads are pre-conjugated with capture antibodies that support a typical sandwich immunoassay.This design enriches the low-abundant antigen proteins and allows an active washing process to significantly reduce non-specific bindings.To further improve the detection sensitivity,we employed upconversion nanoparticles(UCNPs)as luminescent reporters and SARS-CoV-2 spike(S)antigen as a model analyte to benchmark the performance of this design against our previously reported methods.We found that the key to enhance the immunocomplex formation and signal-to-noise ratio lay in optimizing incubation time and the UCNP-to-bead ratio.We therefore successfully demonstrated that the new method can achieve a very large dynamic range from 500 fg/mL to 10μg/mL,across over 7 digits,and a limit of detection of 706 fg/mL,nearly another order of magnitude lower than the best reported LFIA using UCNPs in COVID-19 spike antigen detection.Our system offers a promising solution for ultra-sensitive and quantitative POCT diagnostics.展开更多
The stress-strain behavior of calcareous sand is significantly influencedby particle breakage(B)and initial relative density(Dri),but few constitutive models consider their combined effects.To bridge this gap,we condu...The stress-strain behavior of calcareous sand is significantly influencedby particle breakage(B)and initial relative density(Dri),but few constitutive models consider their combined effects.To bridge this gap,we conducted a series of triaxial tests on calcareous sand with varying Dri and stress paths,examining particle breakage and critical state behavior.Key findingsinclude:(1)At a constant stress ratio(η),B follows a hyperbolic relationship with mean effective stress(p'),and for a given p',B increases proportionally withη;(2)The critical state line(CSL)moves downward with increasing Dri,whereas the critical state friction angle(φcs)decreases with increasing B.Based on these findings,we propose a unifiedbreakage evolution model to quantify particle breakage in calcareous sand under various loading conditions.Integrating this model with the Normal Consolidation Line(NCL)and CSL equations,we successfully simulate the steepening of NCL and CSL slopes as B increases with the onset of particle breakage.Furthermore,we quantitatively evaluate the effect of B onφcs.Finally,within the framework of Critical State Soil Mechanics and Hypoplasticity theory,we develop a hypoplastic model incorporating B and Dri.The model is validated through strong agreement with experimental results across various initial relative densities,stress paths and drainage conditions.展开更多
X-rays are widely used in the non-destructive testing(NDT)of electrical equipment.Radio frequency(RF)electron linear accelerators can generate MeV high-energy X-rays with strong penetrating ability;however,the system ...X-rays are widely used in the non-destructive testing(NDT)of electrical equipment.Radio frequency(RF)electron linear accelerators can generate MeV high-energy X-rays with strong penetrating ability;however,the system generally has a large scale,which is not suitable for on-site testing.Compared with the S-band(S-linac)at the same stage of beam energy,the accelerator working in the X-band(X-linac)can compress the facility scale by over 2/3 in the longitudinal direction,which is convenient for the on-site NDT of electrical equipment.To address the beam quality and design complexity simultaneously,the non-dominated sorting genetic algorithmⅡ(NSGA-Ⅱ),which is a multi-objective genetic algorithm(MOGA),was developed to optimize the cavity chain design of the X-linac.Additionally,the designs of the focusing coils,electron gun,and RF couplers,which are other key components of the X-linac,were introduced in this context.In particular,the focusing coil distributions were optimized using a genetic algorithm.Furthermore,after designing such key components,PARMELA software was adopted to perform beam dynamics calculations with the optimized accelerating fields and magnetic fields.The results show that the beam performance was obtained with a capture ratio of more than 90%,an energy spread of less than 10%,and an average energy of approximately 3 MeV.The design and simulation results indicate that the proposed NSGAⅡ-based approach is feasible for X-linac accelerator design.Furthermore,it can be generalized as a universal technique for industrial electron linear accelerators provided that specific optimization objectives and constraints are set according to different application scenarios and requirements.展开更多
Small extracellular vesicles(sEVs)membrane protein profile(sEVpp)is a novel biomarker for cancer,and it can reveal the in-depth phenotype information.The point-of-care testing(POCT)of sEVpp holds great significance fo...Small extracellular vesicles(sEVs)membrane protein profile(sEVpp)is a novel biomarker for cancer,and it can reveal the in-depth phenotype information.The point-of-care testing(POCT)of sEVpp holds great significance for mass screening of cancer,so the cost-effective and simple detection methods of sEVpp are urgently demanded.Herein,we constructed a paper-based multichannel sEVpp POCT device(sEVpp-PAD)enabled by functional DNA probes and metal-organic framework(MOF).The core components are aptamer/MOF-modified paper chips.The modified aptamers can immunocapture the sEV expressing corresponding proteins,while the modified MOF can provide abundant sites for aptamer-modification,reduce the nonspecific protein absorption,and act as reference for ratiometric detection.Simply powered by two syringes,the sEVpp-PAD can efficiently capture sEVs expressing corresponding protein from cell culture media and sera.Furthermore,a detection probe(DP)consisted of CD63 aptamer and G-quadruplex was developed for the colorimetric detection of captured sEVs.Utilizing this device,the sEVpp in various hepatocellular carcinoma cell culture medium and,more importantly,in human sera can be accurately determined,only with$2 device,$0.2 detection reagents and 1.8 h procedure.This simple strategy for sEVpp detection can innovatively promote the POCT and subtyping of cancer based on sEV-related liquid biopsy.展开更多
Joining dissimilar materials encounters significant engineering challenges due to the contrast in material properties that makes conventional welding not feasible.Magnetic Pulse Welding(MPW)offers a solidstate joining...Joining dissimilar materials encounters significant engineering challenges due to the contrast in material properties that makes conventional welding not feasible.Magnetic Pulse Welding(MPW)offers a solidstate joining technique that overcomes these issues by using impact to create strong bonds without melting the substrate materials.This study investigates the weldability of aluminum alloy Al-5754 with Al-7075 and MARS 380 steel,used in armouring solutions of defense systems,by the use of MPW.In this work,weldability windows are investigated by varying standoff distances between the coating material and its substrate(0.25-4.5 mm)and discharge energies(5-13 kJ)with both O-shape and U-shape inductors.Mechanical strength of the welded joints were assessed through single lap shear tests,identifying optimal welding parameters.Then,the velocity profiles of the flyer plates were measured using heterodyne velocimetry to understand the dynamics of the impact.Then,substructures assembled with the optimal welding conditions were subjected to ballistic testing using 7.62 mm×51 mm NATO and 9 mm×19 mm Parabellum munitions to evaluate the resilience of the welds under ballistic impact.The outcomes demonstrate that MPW effectively joins Al-5754 with both Al-7075 and MARS 380,producing robust welds capable of withstanding ballistic impacts under certain conditions.This research advances the application of MPW in lightweight ballistic protection of defense systems,contributing to the development of more resilient and lighter protective structures.展开更多
Objective:To analyze factors affecting the utilization of human immunodeficiency virus counseling and testing(HCT)service among human immunodeficiency virus risk groups at Hessa Air Genting Health Center,Asahan Regenc...Objective:To analyze factors affecting the utilization of human immunodeficiency virus counseling and testing(HCT)service among human immunodeficiency virus risk groups at Hessa Air Genting Health Center,Asahan Regency,North Sumatera,Indonesia.Methods:This quantitative unmatched case-control study was conducted from April 2024 to April 2025 at Hessa Air Genting Health Center,Asahan Regency,North Sumatra Province,Indonesia.Female sex workers and men who have sex with men were selected using purposive sampling based on predefined inclusion and exclusion criteria.Data were collected via questionnaires and analyzed using SPSS version 18.0,with univariate analysis,bivariate analysis(Chi-square test),and multivariate analysis(logistic regression analysis).Results:Comprehensive analysis of 75 cases and 75 controls was conducted to identify factors affecting the utilization of HCT services.Specifically,this study identified significant effects of knowledge(OR 3.2,95%CI 1.5-7.0,P=0.003),perception(OR 5.6,95%CI 2.5-12.5,P<0.001),information media(OR 3.1,95%CI 1.4-6.8,P=0.005),and health workers encouragement(OR 4.0,95%CI 1.5-10.4,P=0.005).In contrast,access to health services did not have a significant effect.Conclusions:Knowledge,perception,information media,and health worker encouragement had significant effects on HCT service utilization,with perception identified as the dominant factor.To improve utilization,strengthening positive perceptions,targeted training for healthcare workers,strengthened partnerships with local non-governmental organizations,and the use of social media for health promotion are recommended.展开更多
Circumferentially non-uniform tip clearances induced by rotor eccentricity significantly affect the overall performance of axial compressors,particularly the stability margin.Currently,Computational Fluid Dynamics(CFD...Circumferentially non-uniform tip clearances induced by rotor eccentricity significantly affect the overall performance of axial compressors,particularly the stability margin.Currently,Computational Fluid Dynamics(CFD)plays a crucial role in the aerodynamic analysis of eccentric compressors.However,conventional full-annulus Unsteady Reynolds-Averaged Navier-Stokes(URANS)simulations are prohibitively expensive for routine design and analysis purposes.To address this issue,the paper presents a novel Fourier-based method,called the Time-Space Collocation(TSC)method,for efficient simulations of eccentric compressors.This method coherently treats temporal and spatial harmonics,making it well-suited to tackle the rotor eccentricity problem,as the perturbation waves induced by eccentricity are time-periodic with respect to the rotor and space-periodic with respect to the stator.Three numerical cases,including NASA Rotor 67,original Stage 67,and Stage 67 with a reduced rotor-stator axial gap,were conducted to verify the effectiveness of the TSC method.The results indicate that,for the rotor eccentricity levels studied in this paper,the influence of weak rotor-stator interactions can be disregarded in the original Stage 67.In this situation,applying three harmonics can accurately capture both the performance variations and the non-uniformly distributed flowfields of eccentric compressors,while achieving a reduction in run time by two orders of magnitude compared to full-annulus URANS simulations.However,in Stage 67 with a reduced rotor-stator axial gap,the results that include rotor-stator interactions align much more closely with the URANS results.Nevertheless,the TSC simulations can still achieve speed-ups of several dozen times.Overall,the TSC method shows promising potential for application within the engineering community.展开更多
Hot stamping 22MnB5 steel plate with ultra-high strength has been widely used for body structural members in consideration of automobile safety and lightweight.This paper presents a verification program of simulating ...Hot stamping 22MnB5 steel plate with ultra-high strength has been widely used for body structural members in consideration of automobile safety and lightweight.This paper presents a verification program of simulating and testing pole impact in order to verify if the front crossbeam reinforcement assembly can meet the design requirements,reduce the overall vehicle simulation and test cost and shorten the operation period.In the same condition,the simulation proved conforming to the design requirements;however,the bumper cracked at the impacting point in the course of pole impact test.The analysis of the crack by optical microscope,Vickers and scanning electron microscope indicates that mixture of ferrite,bainite and martensite was produced in the weld heat-affected zone of the 340/590DP tow hook holder and the 22MnB5 front crossbeam;therefore,their hardness and mechanical property were reduced obviously,so that they fractured when impacted.No welding process with continuous weld but spot welding or other bonding method may be employed for the reason that the capacity of the 22MnB5 steel plate in the weld heat-affected zone was reduced obviously.展开更多
A solution scheme is proposed in this paper for an existing RTDHT system to simulate large-scale finite element （FE） numerical substructures. The analysis of the FE numerical substructure is split into response anal...A solution scheme is proposed in this paper for an existing RTDHT system to simulate large-scale finite element （FE） numerical substructures. The analysis of the FE numerical substructure is split into response analysis and signal generation tasks, and executed in two different target computers in real-time. One target computer implements the response analysis task, wherein a large time-step is used to solve the FE substructure, and another target computer implements the signal generation task, wherein an interpolation program is used to generate control signals in a small time-step to meet the input demand of the controller. By using this strategy, the scale of the FE numerical substructure simulation may be increased significantly. The proposed scheme is initially verified by two FE numerical substructure models with 98 and 1240 degrees of freedom （DOFs）. Thereafter, RTDHTs of a single frame-foundation structure are implemented where the foundation, considered as the numerical substructure, is simulated by the FE model with 1240 DOFs. Good agreements between the results of the RTDHT and those from the FE analysis in ABAQUS are obtained.展开更多
Modeling technology has been introduced into software testing field.However,how to carry through the testing modeling effectively is still a difficulty.Based on combination of simulation modeling technology and embedd...Modeling technology has been introduced into software testing field.However,how to carry through the testing modeling effectively is still a difficulty.Based on combination of simulation modeling technology and embedded real-time software testing method,the process of simulation testing modeling is studied first.And then,the supporting environment of simulation testing modeling is put forward.Furthermore,an approach of embedded real-time software simulation testing modeling including modeling of cross-linked equipments of system under testing(SUT),test case,testing scheduling,and testing system service is brought forward.Finally,the formalized description and execution system of testing models are given,with which we can realize real-time,closed loop,mad automated system testing for embedded real-time software.展开更多
A global planning algorithm for intelligent vehicles is designed based on the A* algorithm, which provides intelligent vehicles with a global path towards their destinations. A distributed real-time multiple vehicle c...A global planning algorithm for intelligent vehicles is designed based on the A* algorithm, which provides intelligent vehicles with a global path towards their destinations. A distributed real-time multiple vehicle collision avoidance(MVCA)algorithm is proposed by extending the reciprocal n-body collision avoidance method. MVCA enables the intelligent vehicles to choose their destinations and control inputs independently,without needing to negotiate with each other or with the coordinator. Compared to the centralized trajectory-planning algorithm, MVCA reduces computation costs and greatly improves the robustness of the system. Because the destination of each intelligent vehicle can be regarded as private, which can be protected by MVCA, at the same time MVCA can provide a real-time trajectory planning for intelligent vehicles. Therefore,MVCA can better improve the safety of intelligent vehicles. The simulation was conducted in MATLAB, including crossroads scene simulation and circular exchange position simulation. The results show that MVCA behaves safely and reliably. The effects of latency and packet loss on MVCA are also statistically investigated through theoretically formulating broadcasting process based on one-dimensional Markov chain. The results uncover that the tolerant delay should not exceed the half of deciding cycle of trajectory planning, and shortening the sending interval could alleviate the negative effects caused by the packet loss to an extent. The cases of short delay(< 100100 ms) and low packet loss(< 5%) can bring little influence to those trajectory planning algorithms that only depend on V2 V to sense the context, but the unpredictable collision may occur if the delay and packet loss are further worsened. The MVCA was also tested by a real intelligent vehicle, the test results prove the operability of MVCA.展开更多
Bedding parallel stepped rock slopes exist widely in nature and are used in slope engineering.They are characterized by complex topography and geological structure and are vulnerable to shattering under strong earthqu...Bedding parallel stepped rock slopes exist widely in nature and are used in slope engineering.They are characterized by complex topography and geological structure and are vulnerable to shattering under strong earthquakes.However,no previous studies have assessed the mechanisms underlying seismic failure in rock slopes.In this study,large-scale shaking table tests and numerical simulations were conducted to delineate the seismic failure mechanism in terms of acceleration,displacement,and earth pressure responses combined with shattering failure phenomena.The results reveal that acceleration response mutations usually occur within weak interlayers owing to their inferior performance,and these mutations may transform into potential sliding surfaces,thereby intensifying the nonlinear seismic response characteristics.Cumulative permanent displacements at the internal corners of the berms can induce quasi-rigid displacements at the external corners,leading to greater permanent displacements at the internal corners.Therefore,the internal corners are identified as the most susceptible parts of the slope.In addition,the concept of baseline offset was utilized to explain the mechanism of earth pressure responses,and the result indicates that residual earth pressures at the internal corners play a dominant role in causing deformation or shattering damage.Four evolutionary deformation phases characterize the processes of seismic responses and shattering failure of the bedding parallel stepped rock slope,i.e.the formation of tensile cracks at the internal corners of the berm,expansion of tensile cracks and bedding surface dislocation,development of vertical tensile cracks at the rear edge,and rock mass slipping leading to slope instability.Overall,this study provides a scientific basis for the seismic design of engineering slopes and offers valuable insights for further studies on preventing seismic disasters in bedding parallel stepped rock slopes.展开更多
Real-time hybrid simulation is an efficient and cost-effective dynamic testing technique for performance evaluation of structural systems subjected to earthquake loading with rate-dependent behavior. A loading assembl...Real-time hybrid simulation is an efficient and cost-effective dynamic testing technique for performance evaluation of structural systems subjected to earthquake loading with rate-dependent behavior. A loading assembly with multiple actuators is required to impose realistic boundary conditions on physical specimens. However, such a testing system is expected to exhibit significant dynamic coupling of the actuators and suffer from time lags that are associated with the dynamics of the servo-hydraulic system, as well as control-structure interaction （CSI）. One approach to reducing experimental errors considers a multi-input, multi-output （MIMO） controller design, yielding accurate reference tracking and noise rejection. In this paper, a framework for multi-axial real-time hybrid simulation （maRTHS） testing is presented. The methodology employs a real-time feedback-feedforward controller for multiple actuators commanded in Cartesian coordinates. Kinematic transformations between actuator space and Cartesian space are derived for all six-degrees-of- freedom of the moving platform. Then, a frequency domain identification technique is used to develop an accurate MIMO transfer function of the system. Further, a Cartesian-domain model-based feedforward-feedback controller is implemented for time lag compensation and to increase the robustness of the reference tracking for given model uncertainty. The framework is implemented using the 1/5th-scale Load and Boundary Condition Box （LBCB） located at the University of Illinois at Urbana- Champaign. To demonstrate the efficacy of the proposed methodology, a single-story frame subjected to earthquake loading is tested. One of the columns in the fraane is represented physically in the laboratory as a cantilevered steel column. For real- time execution, the numerical substructure, kinematic transformations, and controllers are implemented on a digital signal processor. Results show excellent performance of the maRTHS framework when six-degrees-of-freedom are controUed at the interface between substructures.展开更多
Advances in the identification of molecular biomarkers and the development of targeted therapies have enhanced the prognosis of patients with advanced gastric cancer.Several established biomarkers have been widely int...Advances in the identification of molecular biomarkers and the development of targeted therapies have enhanced the prognosis of patients with advanced gastric cancer.Several established biomarkers have been widely integrated into routine clinical diagnostics of gastric cancer to guide personalized treatment.Human epidermal growth factor receptor 2(HER2)was the first molecular biomarker to be used in gastric cancer with trastuzumab being the first approved targeted therapy for HER2-positive gastric cancer.Programmed death-ligand 1 positivity and microsatellite instability can guide the use of immunotherapies,such as pembrolizumab and nivolumab.More recently,zolbetuximab has been approved for patients with claudin 18.2-positive diseases in some countries.More targeted therapies,including savolitinib for MET-positive patients,are currently under clinical investigation.However,the clinical application of these diagnostic approaches could be hampered by many existing challenges,including invasive and costly sampling methods,variability in immunohistochemistry interpretation,high costs and long turnaround times for next-generation sequencing,the absence of standardized and clinically validated diagnostic cut-off values for some biomarkers,and tumor heterogeneity.Novel testing and analysis techniques,such as artificial intelligence-assisted image analysis and multiplex immunohistochemistry,and emerging therapeutic strategies,including combination therapies that integrate immune checkpoint inhibitors with targeted therapies,offer potential solutions to some of these challenges.This article reviews recent progress in gastric cancer testing,outlines current challenges,and explores future directions for biomarker testing and targeted therapy for gastric cancer.展开更多
B4C, SiC and C, Cu functionally graded-materials (FGMs) have been developed by plasma spraying and hot pressing. Their high-heat flux properties have been investigated by high energy laser and electron beam for the si...B4C, SiC and C, Cu functionally graded-materials (FGMs) have been developed by plasma spraying and hot pressing. Their high-heat flux properties have been investigated by high energy laser and electron beam for the simulation of plasma disruption process of the future fusion reactors, And a study on eroded products of B4C/Cu FGM under transient thermal load of electron beam was performed. In the experiment, SEM and EDS analysis indicated that B4C and SiC were decomposed, carbon was preferentially evaporated under high thermal load, and a part of Si and Cu were melted, in addition, the splash of melted metal and the particle emission of brittle destruction were also found. Different erosive behaviors of carbon-based materials (CBMs) caused by laser and electron beam were also discussed.展开更多
文摘Test case prioritization and ranking play a crucial role in software testing by improving fault detection efficiency and ensuring software reliability.While prioritization selects the most relevant test cases for optimal coverage,ranking further refines their execution order to detect critical faults earlier.This study investigates machine learning techniques to enhance both prioritization and ranking,contributing to more effective and efficient testing processes.We first employ advanced feature engineering alongside ensemble models,including Gradient Boosted,Support Vector Machines,Random Forests,and Naive Bayes classifiers to optimize test case prioritization,achieving an accuracy score of 0.98847 and significantly improving the Average Percentage of Fault Detection(APFD).Subsequently,we introduce a deep Q-learning framework combined with a Genetic Algorithm(GA)to refine test case ranking within priority levels.This approach achieves a rank accuracy of 0.9172,demonstrating robust performance despite the increasing computational demands of specialized variation operators.Our findings highlight the effectiveness of stacked ensemble learning and reinforcement learning in optimizing test case prioritization and ranking.This integrated approach improves testing efficiency,reduces late-stage defects,and improves overall software stability.The study provides valuable information for AI-driven testing frameworks,paving the way for more intelligent and adaptive software quality assurance methodologies.
基金Computer Basic Education Teaching Research Project of Association of Fundamental Computing Education in Chinese Universities(Nos.2025-AFCEC-527 and 2024-AFCEC-088)Research on the Reform of Public Course Teaching at Nantong College of Science and Technology(No.2024JGG015).
文摘With the rapid development of artificial intelligence,the intelligence level of software is increasingly improving.Intelligent software,which is widely applied in crucial fields such as autonomous driving,intelligent customer service,and medical diagnosis,is constructed based on complex technologies like machine learning and deep learning.Its uncertain behavior and data dependence pose unprecedented challenges to software testing.However,existing software testing courses mainly focus on conventional contents and are unable to meet the requirements of intelligent software testing.Therefore,this work deeply analyzed the relevant technologies of intelligent software testing,including reliability evaluation indicator system,neuron coverage,and test case generation.It also systematically designed an intelligent software testing course,covering teaching objectives,teaching content,teaching methods,and a teaching case.Verified by the practical teaching in four classes,this course has achieved remarkable results,providing practical experience for the reform of software testing courses.
文摘Members of the British Textile Machinery Association(BTMA)can look back on 2025 as a year marked by notable technological advances and continued progress in global trade,despite an uncertain and volatile market.“Our members have been very active over the past 12 months and this has resulted in new technologies for the production of technical fibres and fabrics,the introduction of AI and machine learning into process control systems and significant advances in materials testing,”says BTMA CEO Jason Kent.“There’s real excitement about what can be achieved in 2026 as we look ahead to upcoming exhibitions such as JEC Composites in Paris in March and Techtextil in Frankfurt in April.”
基金supported by the Open Foundation of Key Laboratory of Cyberspace Security,Ministry of Education of China(KLCS20240211)。
文摘With the rapid development of Internet technology,REST APIs(Representational State Transfer Application Programming Interfaces)have become the primary communication standard in modern microservice architectures,raising increasing concerns about their security.Existing fuzz testing methods include random or dictionary-based input generation,which often fail to ensure both syntactic and semantic correctness,and OpenAPIbased approaches,which offer better accuracy but typically lack detailed descriptions of endpoints,parameters,or data formats.To address these issues,this paper proposes the APIDocX fuzz testing framework.It introduces a crawler tailored for dynamic web pages that automatically simulates user interactions to trigger APIs,capturing and extracting parameter information from communication packets.A multi-endpoint parameter adaptation method based on improved Jaccard similarity is then used to generalize these parameters to other potential API endpoints,filling in gaps in OpenAPI specifications.Experimental results demonstrate that the extracted parameters can be generalized with 79.61%accuracy.Fuzz testing using the enriched OpenAPI documents leads to improvements in test coverage,the number of valid test cases generated,and fault detection capabilities.This approach offers an effective enhancement to automated REST API security testing.
基金financially supported by ARC Linkage project(LP210200642)ARC Center of Excellence for Quantum Biotechnology(grant no.CE230100021)+1 种基金National Health and Medical Research Council Investigator Fellowship—(grant no.APP2017499)Chan Zuckerberg Initiative Deep Tissue Imaging Phase 2(grant no.DT12-0000000182).
文摘Lateral flow immunoassays(LFIAs)are low-cost,rapid,and easy to use for pointof-care testing(POCT),but the majority of the available LFIA tests are indicative,rather than quantitative,and their sensitivity in antigen tests are usually limited at the nanogram range,which is primarily due to the passive capillary fluidics through nitrocellulose membranes,often associated with non-specific bindings and high background noise.To overcome this challenge,we report a Beads-on-a-Tip design by replacing nitrocellulose membranes with a pipette tip loaded with magnetic beads.The beads are pre-conjugated with capture antibodies that support a typical sandwich immunoassay.This design enriches the low-abundant antigen proteins and allows an active washing process to significantly reduce non-specific bindings.To further improve the detection sensitivity,we employed upconversion nanoparticles(UCNPs)as luminescent reporters and SARS-CoV-2 spike(S)antigen as a model analyte to benchmark the performance of this design against our previously reported methods.We found that the key to enhance the immunocomplex formation and signal-to-noise ratio lay in optimizing incubation time and the UCNP-to-bead ratio.We therefore successfully demonstrated that the new method can achieve a very large dynamic range from 500 fg/mL to 10μg/mL,across over 7 digits,and a limit of detection of 706 fg/mL,nearly another order of magnitude lower than the best reported LFIA using UCNPs in COVID-19 spike antigen detection.Our system offers a promising solution for ultra-sensitive and quantitative POCT diagnostics.
基金support to this study from the National Natural Science Foundation of China,NSFC(Grant No.52278367)The Belt and Road Special Foundation of the National Key Laboratory ofWater Disaster Prevention(Grant No.2024nkms08).
文摘The stress-strain behavior of calcareous sand is significantly influencedby particle breakage(B)and initial relative density(Dri),but few constitutive models consider their combined effects.To bridge this gap,we conducted a series of triaxial tests on calcareous sand with varying Dri and stress paths,examining particle breakage and critical state behavior.Key findingsinclude:(1)At a constant stress ratio(η),B follows a hyperbolic relationship with mean effective stress(p'),and for a given p',B increases proportionally withη;(2)The critical state line(CSL)moves downward with increasing Dri,whereas the critical state friction angle(φcs)decreases with increasing B.Based on these findings,we propose a unifiedbreakage evolution model to quantify particle breakage in calcareous sand under various loading conditions.Integrating this model with the Normal Consolidation Line(NCL)and CSL equations,we successfully simulate the steepening of NCL and CSL slopes as B increases with the onset of particle breakage.Furthermore,we quantitatively evaluate the effect of B onφcs.Finally,within the framework of Critical State Soil Mechanics and Hypoplasticity theory,we develop a hypoplastic model incorporating B and Dri.The model is validated through strong agreement with experimental results across various initial relative densities,stress paths and drainage conditions.
基金supported by the National Natural Science Foundation of China(Nos.12341501 and 12575164)。
文摘X-rays are widely used in the non-destructive testing(NDT)of electrical equipment.Radio frequency(RF)electron linear accelerators can generate MeV high-energy X-rays with strong penetrating ability;however,the system generally has a large scale,which is not suitable for on-site testing.Compared with the S-band(S-linac)at the same stage of beam energy,the accelerator working in the X-band(X-linac)can compress the facility scale by over 2/3 in the longitudinal direction,which is convenient for the on-site NDT of electrical equipment.To address the beam quality and design complexity simultaneously,the non-dominated sorting genetic algorithmⅡ(NSGA-Ⅱ),which is a multi-objective genetic algorithm(MOGA),was developed to optimize the cavity chain design of the X-linac.Additionally,the designs of the focusing coils,electron gun,and RF couplers,which are other key components of the X-linac,were introduced in this context.In particular,the focusing coil distributions were optimized using a genetic algorithm.Furthermore,after designing such key components,PARMELA software was adopted to perform beam dynamics calculations with the optimized accelerating fields and magnetic fields.The results show that the beam performance was obtained with a capture ratio of more than 90%,an energy spread of less than 10%,and an average energy of approximately 3 MeV.The design and simulation results indicate that the proposed NSGAⅡ-based approach is feasible for X-linac accelerator design.Furthermore,it can be generalized as a universal technique for industrial electron linear accelerators provided that specific optimization objectives and constraints are set according to different application scenarios and requirements.
基金supported by the National Key Research and Development Program of China(No.2022YFE0201800)the National Natural Science Foundation of China(Nos.22274169 and 22474161)+5 种基金Guangdong Basic and Applied Basic Research Foundation(No.2024A1515030160)the Science and Technology Program of Guangzhou City(No.2023B03J1380)Shenzhen Science and Technology Innovation Commission(No.GJHZ20210705142200001)the Scientific Technology Project of Guangzhou City(No.202103000003)the Guangdong Science and Technology Plan Project(No.2020B1212060077)the Open Research Fund of State Key Laboratory of Analytical Chemistry for Life Science,School of Chemistry and Chemical Engineering,Nanjing University.
文摘Small extracellular vesicles(sEVs)membrane protein profile(sEVpp)is a novel biomarker for cancer,and it can reveal the in-depth phenotype information.The point-of-care testing(POCT)of sEVpp holds great significance for mass screening of cancer,so the cost-effective and simple detection methods of sEVpp are urgently demanded.Herein,we constructed a paper-based multichannel sEVpp POCT device(sEVpp-PAD)enabled by functional DNA probes and metal-organic framework(MOF).The core components are aptamer/MOF-modified paper chips.The modified aptamers can immunocapture the sEV expressing corresponding proteins,while the modified MOF can provide abundant sites for aptamer-modification,reduce the nonspecific protein absorption,and act as reference for ratiometric detection.Simply powered by two syringes,the sEVpp-PAD can efficiently capture sEVs expressing corresponding protein from cell culture media and sera.Furthermore,a detection probe(DP)consisted of CD63 aptamer and G-quadruplex was developed for the colorimetric detection of captured sEVs.Utilizing this device,the sEVpp in various hepatocellular carcinoma cell culture medium and,more importantly,in human sera can be accurately determined,only with$2 device,$0.2 detection reagents and 1.8 h procedure.This simple strategy for sEVpp detection can innovatively promote the POCT and subtyping of cancer based on sEV-related liquid biopsy.
基金funded on the one hand by Agence de l'Innovation de Défense(AID)grant reference number 2021650044on the other hand by Ecole Centrale de Nantes。
文摘Joining dissimilar materials encounters significant engineering challenges due to the contrast in material properties that makes conventional welding not feasible.Magnetic Pulse Welding(MPW)offers a solidstate joining technique that overcomes these issues by using impact to create strong bonds without melting the substrate materials.This study investigates the weldability of aluminum alloy Al-5754 with Al-7075 and MARS 380 steel,used in armouring solutions of defense systems,by the use of MPW.In this work,weldability windows are investigated by varying standoff distances between the coating material and its substrate(0.25-4.5 mm)and discharge energies(5-13 kJ)with both O-shape and U-shape inductors.Mechanical strength of the welded joints were assessed through single lap shear tests,identifying optimal welding parameters.Then,the velocity profiles of the flyer plates were measured using heterodyne velocimetry to understand the dynamics of the impact.Then,substructures assembled with the optimal welding conditions were subjected to ballistic testing using 7.62 mm×51 mm NATO and 9 mm×19 mm Parabellum munitions to evaluate the resilience of the welds under ballistic impact.The outcomes demonstrate that MPW effectively joins Al-5754 with both Al-7075 and MARS 380,producing robust welds capable of withstanding ballistic impacts under certain conditions.This research advances the application of MPW in lightweight ballistic protection of defense systems,contributing to the development of more resilient and lighter protective structures.
文摘Objective:To analyze factors affecting the utilization of human immunodeficiency virus counseling and testing(HCT)service among human immunodeficiency virus risk groups at Hessa Air Genting Health Center,Asahan Regency,North Sumatera,Indonesia.Methods:This quantitative unmatched case-control study was conducted from April 2024 to April 2025 at Hessa Air Genting Health Center,Asahan Regency,North Sumatra Province,Indonesia.Female sex workers and men who have sex with men were selected using purposive sampling based on predefined inclusion and exclusion criteria.Data were collected via questionnaires and analyzed using SPSS version 18.0,with univariate analysis,bivariate analysis(Chi-square test),and multivariate analysis(logistic regression analysis).Results:Comprehensive analysis of 75 cases and 75 controls was conducted to identify factors affecting the utilization of HCT services.Specifically,this study identified significant effects of knowledge(OR 3.2,95%CI 1.5-7.0,P=0.003),perception(OR 5.6,95%CI 2.5-12.5,P<0.001),information media(OR 3.1,95%CI 1.4-6.8,P=0.005),and health workers encouragement(OR 4.0,95%CI 1.5-10.4,P=0.005).In contrast,access to health services did not have a significant effect.Conclusions:Knowledge,perception,information media,and health worker encouragement had significant effects on HCT service utilization,with perception identified as the dominant factor.To improve utilization,strengthening positive perceptions,targeted training for healthcare workers,strengthened partnerships with local non-governmental organizations,and the use of social media for health promotion are recommended.
文摘Circumferentially non-uniform tip clearances induced by rotor eccentricity significantly affect the overall performance of axial compressors,particularly the stability margin.Currently,Computational Fluid Dynamics(CFD)plays a crucial role in the aerodynamic analysis of eccentric compressors.However,conventional full-annulus Unsteady Reynolds-Averaged Navier-Stokes(URANS)simulations are prohibitively expensive for routine design and analysis purposes.To address this issue,the paper presents a novel Fourier-based method,called the Time-Space Collocation(TSC)method,for efficient simulations of eccentric compressors.This method coherently treats temporal and spatial harmonics,making it well-suited to tackle the rotor eccentricity problem,as the perturbation waves induced by eccentricity are time-periodic with respect to the rotor and space-periodic with respect to the stator.Three numerical cases,including NASA Rotor 67,original Stage 67,and Stage 67 with a reduced rotor-stator axial gap,were conducted to verify the effectiveness of the TSC method.The results indicate that,for the rotor eccentricity levels studied in this paper,the influence of weak rotor-stator interactions can be disregarded in the original Stage 67.In this situation,applying three harmonics can accurately capture both the performance variations and the non-uniformly distributed flowfields of eccentric compressors,while achieving a reduction in run time by two orders of magnitude compared to full-annulus URANS simulations.However,in Stage 67 with a reduced rotor-stator axial gap,the results that include rotor-stator interactions align much more closely with the URANS results.Nevertheless,the TSC simulations can still achieve speed-ups of several dozen times.Overall,the TSC method shows promising potential for application within the engineering community.
基金"Twelfth Five-year Plan"for Sci & Tech Research of China(No.2011BAG03B02No.2011BAG03B06)
文摘Hot stamping 22MnB5 steel plate with ultra-high strength has been widely used for body structural members in consideration of automobile safety and lightweight.This paper presents a verification program of simulating and testing pole impact in order to verify if the front crossbeam reinforcement assembly can meet the design requirements,reduce the overall vehicle simulation and test cost and shorten the operation period.In the same condition,the simulation proved conforming to the design requirements;however,the bumper cracked at the impacting point in the course of pole impact test.The analysis of the crack by optical microscope,Vickers and scanning electron microscope indicates that mixture of ferrite,bainite and martensite was produced in the weld heat-affected zone of the 340/590DP tow hook holder and the 22MnB5 front crossbeam;therefore,their hardness and mechanical property were reduced obviously,so that they fractured when impacted.No welding process with continuous weld but spot welding or other bonding method may be employed for the reason that the capacity of the 22MnB5 steel plate in the weld heat-affected zone was reduced obviously.
基金National Natural Science Foundation under Grant Nos.51179093,91215301 and 41274106the Specialized Research Fund for the Doctoral Program of Higher Education under Grant No.20130002110032Tsinghua University Initiative Scientific Research Program under Grant No.20131089285
文摘A solution scheme is proposed in this paper for an existing RTDHT system to simulate large-scale finite element （FE） numerical substructures. The analysis of the FE numerical substructure is split into response analysis and signal generation tasks, and executed in two different target computers in real-time. One target computer implements the response analysis task, wherein a large time-step is used to solve the FE substructure, and another target computer implements the signal generation task, wherein an interpolation program is used to generate control signals in a small time-step to meet the input demand of the controller. By using this strategy, the scale of the FE numerical substructure simulation may be increased significantly. The proposed scheme is initially verified by two FE numerical substructure models with 98 and 1240 degrees of freedom （DOFs）. Thereafter, RTDHTs of a single frame-foundation structure are implemented where the foundation, considered as the numerical substructure, is simulated by the FE model with 1240 DOFs. Good agreements between the results of the RTDHT and those from the FE analysis in ABAQUS are obtained.
文摘Modeling technology has been introduced into software testing field.However,how to carry through the testing modeling effectively is still a difficulty.Based on combination of simulation modeling technology and embedded real-time software testing method,the process of simulation testing modeling is studied first.And then,the supporting environment of simulation testing modeling is put forward.Furthermore,an approach of embedded real-time software simulation testing modeling including modeling of cross-linked equipments of system under testing(SUT),test case,testing scheduling,and testing system service is brought forward.Finally,the formalized description and execution system of testing models are given,with which we can realize real-time,closed loop,mad automated system testing for embedded real-time software.
基金supported by the National Natural Science Foundation of China(61572229,6171101066)the Key Scientific and Technological Projects for Jilin Province Development Plan(20170204074GX,20180201068GX)Jilin Provincial International Cooperation Foundation(20180414015GH)。
文摘A global planning algorithm for intelligent vehicles is designed based on the A* algorithm, which provides intelligent vehicles with a global path towards their destinations. A distributed real-time multiple vehicle collision avoidance(MVCA)algorithm is proposed by extending the reciprocal n-body collision avoidance method. MVCA enables the intelligent vehicles to choose their destinations and control inputs independently,without needing to negotiate with each other or with the coordinator. Compared to the centralized trajectory-planning algorithm, MVCA reduces computation costs and greatly improves the robustness of the system. Because the destination of each intelligent vehicle can be regarded as private, which can be protected by MVCA, at the same time MVCA can provide a real-time trajectory planning for intelligent vehicles. Therefore,MVCA can better improve the safety of intelligent vehicles. The simulation was conducted in MATLAB, including crossroads scene simulation and circular exchange position simulation. The results show that MVCA behaves safely and reliably. The effects of latency and packet loss on MVCA are also statistically investigated through theoretically formulating broadcasting process based on one-dimensional Markov chain. The results uncover that the tolerant delay should not exceed the half of deciding cycle of trajectory planning, and shortening the sending interval could alleviate the negative effects caused by the packet loss to an extent. The cases of short delay(< 100100 ms) and low packet loss(< 5%) can bring little influence to those trajectory planning algorithms that only depend on V2 V to sense the context, but the unpredictable collision may occur if the delay and packet loss are further worsened. The MVCA was also tested by a real intelligent vehicle, the test results prove the operability of MVCA.
基金supported by the National Natural Science Foundation of China (Grant No.52108361)the Sichuan Science and Technology Program of China (Grant No.2023YFS0436)the State Key Laboratory of Geohazard Prevention and Geoenvironment Protection Independent Research Project (Grant No.SKLGP2022Z015).
文摘Bedding parallel stepped rock slopes exist widely in nature and are used in slope engineering.They are characterized by complex topography and geological structure and are vulnerable to shattering under strong earthquakes.However,no previous studies have assessed the mechanisms underlying seismic failure in rock slopes.In this study,large-scale shaking table tests and numerical simulations were conducted to delineate the seismic failure mechanism in terms of acceleration,displacement,and earth pressure responses combined with shattering failure phenomena.The results reveal that acceleration response mutations usually occur within weak interlayers owing to their inferior performance,and these mutations may transform into potential sliding surfaces,thereby intensifying the nonlinear seismic response characteristics.Cumulative permanent displacements at the internal corners of the berms can induce quasi-rigid displacements at the external corners,leading to greater permanent displacements at the internal corners.Therefore,the internal corners are identified as the most susceptible parts of the slope.In addition,the concept of baseline offset was utilized to explain the mechanism of earth pressure responses,and the result indicates that residual earth pressures at the internal corners play a dominant role in causing deformation or shattering damage.Four evolutionary deformation phases characterize the processes of seismic responses and shattering failure of the bedding parallel stepped rock slope,i.e.the formation of tensile cracks at the internal corners of the berm,expansion of tensile cracks and bedding surface dislocation,development of vertical tensile cracks at the rear edge,and rock mass slipping leading to slope instability.Overall,this study provides a scientific basis for the seismic design of engineering slopes and offers valuable insights for further studies on preventing seismic disasters in bedding parallel stepped rock slopes.
基金CONICYT-Chile through Becas Chile Scholarship under Grant No.72140204Universidad Tecnica Federico Santa Maria(Chile)through Faculty Development Scholarship under Grant No.208-13
文摘Real-time hybrid simulation is an efficient and cost-effective dynamic testing technique for performance evaluation of structural systems subjected to earthquake loading with rate-dependent behavior. A loading assembly with multiple actuators is required to impose realistic boundary conditions on physical specimens. However, such a testing system is expected to exhibit significant dynamic coupling of the actuators and suffer from time lags that are associated with the dynamics of the servo-hydraulic system, as well as control-structure interaction （CSI）. One approach to reducing experimental errors considers a multi-input, multi-output （MIMO） controller design, yielding accurate reference tracking and noise rejection. In this paper, a framework for multi-axial real-time hybrid simulation （maRTHS） testing is presented. The methodology employs a real-time feedback-feedforward controller for multiple actuators commanded in Cartesian coordinates. Kinematic transformations between actuator space and Cartesian space are derived for all six-degrees-of- freedom of the moving platform. Then, a frequency domain identification technique is used to develop an accurate MIMO transfer function of the system. Further, a Cartesian-domain model-based feedforward-feedback controller is implemented for time lag compensation and to increase the robustness of the reference tracking for given model uncertainty. The framework is implemented using the 1/5th-scale Load and Boundary Condition Box （LBCB） located at the University of Illinois at Urbana- Champaign. To demonstrate the efficacy of the proposed methodology, a single-story frame subjected to earthquake loading is tested. One of the columns in the fraane is represented physically in the laboratory as a cantilevered steel column. For real- time execution, the numerical substructure, kinematic transformations, and controllers are implemented on a digital signal processor. Results show excellent performance of the maRTHS framework when six-degrees-of-freedom are controUed at the interface between substructures.
基金support by grants from Capital’s Funds for Health Improvement and Research(Grant No.2024-2-1024)Beijing Natural Science Foundation(Grant No.7232018).
文摘Advances in the identification of molecular biomarkers and the development of targeted therapies have enhanced the prognosis of patients with advanced gastric cancer.Several established biomarkers have been widely integrated into routine clinical diagnostics of gastric cancer to guide personalized treatment.Human epidermal growth factor receptor 2(HER2)was the first molecular biomarker to be used in gastric cancer with trastuzumab being the first approved targeted therapy for HER2-positive gastric cancer.Programmed death-ligand 1 positivity and microsatellite instability can guide the use of immunotherapies,such as pembrolizumab and nivolumab.More recently,zolbetuximab has been approved for patients with claudin 18.2-positive diseases in some countries.More targeted therapies,including savolitinib for MET-positive patients,are currently under clinical investigation.However,the clinical application of these diagnostic approaches could be hampered by many existing challenges,including invasive and costly sampling methods,variability in immunohistochemistry interpretation,high costs and long turnaround times for next-generation sequencing,the absence of standardized and clinically validated diagnostic cut-off values for some biomarkers,and tumor heterogeneity.Novel testing and analysis techniques,such as artificial intelligence-assisted image analysis and multiplex immunohistochemistry,and emerging therapeutic strategies,including combination therapies that integrate immune checkpoint inhibitors with targeted therapies,offer potential solutions to some of these challenges.This article reviews recent progress in gastric cancer testing,outlines current challenges,and explores future directions for biomarker testing and targeted therapy for gastric cancer.
文摘B4C, SiC and C, Cu functionally graded-materials (FGMs) have been developed by plasma spraying and hot pressing. Their high-heat flux properties have been investigated by high energy laser and electron beam for the simulation of plasma disruption process of the future fusion reactors, And a study on eroded products of B4C/Cu FGM under transient thermal load of electron beam was performed. In the experiment, SEM and EDS analysis indicated that B4C and SiC were decomposed, carbon was preferentially evaporated under high thermal load, and a part of Si and Cu were melted, in addition, the splash of melted metal and the particle emission of brittle destruction were also found. Different erosive behaviors of carbon-based materials (CBMs) caused by laser and electron beam were also discussed.
