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.展开更多
Objective To study the drug test data protection system in foreign countries,and to foster pharmaceutical innovation and increase drug accessibility in China.Methods The development history of drug test data protectio...Objective To study the drug test data protection system in foreign countries,and to foster pharmaceutical innovation and increase drug accessibility in China.Methods The development history of drug test data protection was analyzed to examine and evaluate China’s current drug test data protection system so as to offer recommendations for its improvement.Finally,the drug test data protection system in China can be officially implemented.Results and Conclusion The drug test data protection system aims to promote innovation by protecting the trial data of innovative drugs.In a broad sense,this belongs to intellectual property protection,but it is different from patent protection.Although China has established a drug testing data protection system after joining the“Agreement on Trade-Related Aspects of Intellectual Property Rights(TRIPS)”,the relevant provisions and regulations have not yet been formally formed,and the system has not yet been implemented.Therefore,some suggestions for improving China’s drug testing data protection system are proposed to achieve good social benefits.展开更多
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.展开更多
Cloud services,favored by many enterprises due to their high flexibility and easy operation,are widely used for data storage and processing.However,the high latency,together with transmission overheads of the cloud ar...Cloud services,favored by many enterprises due to their high flexibility and easy operation,are widely used for data storage and processing.However,the high latency,together with transmission overheads of the cloud architecture,makes it difficult to quickly respond to the demands of IoT applications and local computation.To make up for these deficiencies in the cloud,fog computing has emerged as a critical role in the IoT applications.It decentralizes the computing power to various lower nodes close to data sources,so as to achieve the goal of low latency and distributed processing.With the data being frequently exchanged and shared between multiple nodes,it becomes a challenge to authorize data securely and efficiently while protecting user privacy.To address this challenge,proxy re-encryption(PRE)schemes provide a feasible way allowing an intermediary proxy node to re-encrypt ciphertext designated for different authorized data requesters without compromising any plaintext information.Since the proxy is viewed as a semi-trusted party,it should be taken to prevent malicious behaviors and reduce the risk of data leakage when implementing PRE schemes.This paper proposes a new fog-assisted identity-based PRE scheme supporting anonymous key generation,equality test,and user revocation to fulfill various IoT application requirements.Specifically,in a traditional identity-based public key architecture,the key escrow problem and the necessity of a secure channel are major security concerns.We utilize an anonymous key generation technique to solve these problems.The equality test functionality further enables a cloud server to inspect whether two candidate trapdoors contain an identical keyword.In particular,the proposed scheme realizes fine-grained user-level authorization while maintaining strong key confidentiality.To revoke an invalid user identity,we add a revocation list to the system flows to restrict access privileges without increasing additional computation cost.To ensure security,it is shown that our system meets the security notion of IND-PrID-CCA and OW-ID-CCA under the Decisional Bilinear Diffie-Hellman(DBDH)assumption.展开更多
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 authors consider the issue of hypothesis testing in varying-coefficient regression models with high-dimensional data.Utilizing kernel smoothing techniques,the authors propose a locally concerned U-statistic method...The authors consider the issue of hypothesis testing in varying-coefficient regression models with high-dimensional data.Utilizing kernel smoothing techniques,the authors propose a locally concerned U-statistic method to assess the overall significance of the coefficients.The authors establish that the proposed test is asymptotically normal under both the null hypothesis and local alternatives.Based on the locally concerned U-statistic,the authors further develop a globally concerned U-statistic to test whether the coefficient function is zero.A stochastic perturbation method is employed to approximate the distribution of the globally concerned test statistic.Monte Carlo simulations demonstrate the validity of the proposed test in finite samples.展开更多
As deep learning(DL)models are increasingly deployed in sensitive domains(e.g.,healthcare),concerns over privacy and security have intensified.Conventional penetration testing frameworks,such asOWASP and NIST,are effe...As deep learning(DL)models are increasingly deployed in sensitive domains(e.g.,healthcare),concerns over privacy and security have intensified.Conventional penetration testing frameworks,such asOWASP and NIST,are effective for traditional networks and applications but lack the capabilities to address DL-specific threats,such asmodel inversion,membership inference,and adversarial attacks.This review provides a comprehensive analysis of penetration testing for the privacy of DL models,examining the shortfalls of existing frameworks,tools,and testing methodologies.Through systematic evaluation of existing literature and empirical analysis,we identify three major contributions:(i)a critical assessment of traditional penetration testing frameworks’inadequacies when applied to DL-specific privacy vulnerabilities,(ii)a comprehensive evaluation of state-of-the-art privacy-preserving methods and their integration with penetration testing workflows,and(iii)the development of a structured framework that combines reconnaissance,threat modeling,exploitation,and post-exploitation phases specifically tailored for DL privacy assessment.Moreover,this review evaluates popular solutions such as IBMAdversarial Robustness Toolbox and TensorFlowPrivacy,alongside privacy-preserving techniques(e.g.,Differential Privacy,Homomorphic Encryption,and Federated Learning),which we systematically analyze through comparative studies of their effectiveness,computational overhead,and practical deployment constraints.While these techniques offer promising safeguards,their adoption is hindered by accuracy loss,performance overheads,and the rapid evolution of attack strategies.Our findings reveal that no single existing solution provides comprehensive protection,which leads us to propose a hybrid approach that strategically combines multiple privacy-preserving mechanisms.The findings of this survey underscore an urgent need for automated,regulationcompliant penetration testing frameworks specifically tailored to DL systems.We argue for hybrid privacy solutions that combinemultiple protectivemechanisms to ensure bothmodel accuracy and privacy.Building on our analysis,we present actionable recommendations for developing adaptive penetration testing strategies that incorporate automated vulnerability assessment,continuous monitoring,and regulatory compliance verification.展开更多
To address the insufficient prediction accuracy of multi-state parameters in electro-hydraulic servo material fatigue testing machines under complex loading and nonlinear coupling conditions,this paper proposes a mult...To address the insufficient prediction accuracy of multi-state parameters in electro-hydraulic servo material fatigue testing machines under complex loading and nonlinear coupling conditions,this paper proposes a multivariate sequence-to-sequence prediction model integrating a Long Short-Term Memory(LSTM)encoder,a Gated Recurrent Unit(GRU)decoder,and a multi-head attention mechanism.This approach enhances prediction accuracy and robustness across different control modes and load spectra by leveraging multi-channel inputs and cross-variable feature interactions,thereby capturing both short-term high-frequency dynamics and long-term slow drift characteristics.Experiments using long-term data from real test benches demonstrate that the model achieves a stable MSE below 0.01 on the validation set,with MAE and RMSE of approximately 0.018 and 0.052,respectively,and a coefficient of determination reaching 0.98.This significantly outperforms traditional identification methods and single RNN models.Sensitivity analysis indicates that a prediction stride of 10 achieves an optimal balance between accuracy and computational overhead.Ablation experiments validated the contribution of multi-head attention and decoder architecture to enhancing cross-variable coupling modeling capabilities.This model can be applied to residualdriven early warning in health monitoring,and risk assessment with scheme optimization in test design.It enables near-real-time deployment feasibility,providing a practical data-driven technical pathway for reliability assurance in advanced equipment.展开更多
Patients affected by monogenic diseases impose a substantial burden on both themselves and their families.The primary preventive measure,i.e.,invasive prenatal diagnosis,carries a risk of miscarriage and cannot be per...Patients affected by monogenic diseases impose a substantial burden on both themselves and their families.The primary preventive measure,i.e.,invasive prenatal diagnosis,carries a risk of miscarriage and cannot be performed early in pregnancy.Hence,there is a need for non-invasive prenatal testing(NIPT)for monogenic diseases.By utilizing enriched cell-free fetal DNA(cffDNA)from maternal plasma,we refine the NIPT method,which combines targeted region capture technology,haplotyping,and analysis of informative site frequency.We apply this method to 93 clinical families at genetic risk for thalassemia,encompassing various genetic variant types,to establish a workflow and evaluate its efficiency.Our approach requires only 3 ng of DNA input to generate 0.1 Gb informative target genomic data and leverages a minimum of 3%cffDNA.This method has a 98.16%success rate and 100%concordance with conventional invasive methods.Furthermore,we demonstrate the ability to analyze fetal genotypes as early as eight weeks of gestation.This study establishes an optimized NIPT method for the early detection of various thalassemia disorders during pregnancy.This technique demonstrates high accuracy and potential for clinical application in prenatal diagnosis.展开更多
Parallel machining robot is a new type of robotized equipment for high-efficiency machining structural com-ponents with complex geometries.Terminal rigidity is of great importance index for such type of equipment,whic...Parallel machining robot is a new type of robotized equipment for high-efficiency machining structural com-ponents with complex geometries.Terminal rigidity is of great importance index for such type of equipment,which affects their load capacity and working accuracy.Before a parallel machining robot can be used for heavy-load and high-efficiency machining,its terminal rigidity should be evaluated systematically.The present study is to quantitatively reveal the stiffness properties of a previously invented Z4 redundantly actuated parallel ma-chining robot(RAPMR).For this purpose,two critical issues,i.e.,stiffness modelling and index construction,are clarified to carry out stiffness evaluation of the Z4 RAPMR.Firstly,drawing on the screw theory,a semi-analytic stiffness model of the proposed RAPMR is established at a component level.Secondly,a set of virtual work-based stiffness indices is constructed to evaluate the terminal rigidity of parallel robots.Those indices have a consistent physical unit in describing linear and angular terminal rigidity.With these indices,the local and the global stiffness performance of the Z4 RAPMR are predicted.Thirdly,a laboratory prototype of the proposed RAPMR is fabricated.And the experimental test is performed to verify the correctness of the established stiffness model.The present work is expected to provide fundamental information for further light-weight design and rigidity enhancement.展开更多
Smartphone-based electrocardiograms(ECGs)are increasingly utilized for monitoring atrial fibrillation(AF)recurrence after catheter ablation(CA),referred to as smartphone AF burden(SMURDEN).The SMURDEN data often exhib...Smartphone-based electrocardiograms(ECGs)are increasingly utilized for monitoring atrial fibrillation(AF)recurrence after catheter ablation(CA),referred to as smartphone AF burden(SMURDEN).The SMURDEN data often exhibit complex patterns of zero AF episodes,which may arise from either true AF-free status(structural zeros)or missed AF episodes due to intermittent monitoring(random zeros).Such a mixture of AF-free and at-risk patients can lead to zero-inflation in the data.The authors propose a novel zero-inflation test for binomial regression models to identify recurrence-free AF populations.Unlike traditional approaches requiring fully specified zero-inflated models,the proposed test utilizes a weighted average of the discrepancies between observed and expected zero proportions,with weights determined by binomial sizes.A closed-form test statistic is developed,and its asymptotic distribution is derived using estimating equations.Simulations demonstrate superior performance over existing methods,and real-world AF monitoring data validate the practical utility of our proposed test.展开更多
The dynamic characteristics of the track system can directly affect its service performance and failure process.To explore the load characteristics and dynamic response of the track system under the dynamic loads from...The dynamic characteristics of the track system can directly affect its service performance and failure process.To explore the load characteristics and dynamic response of the track system under the dynamic loads from the rack vehicle in traction conditions,a systematic test of the track subsystem was carried out on a large-slope test line.In the test,the bending stress of the rack teeth,the wheel-rail forces,and the acceleration of crucial components in the track system were measured.Subsequently,a detailed analysis was conducted on the tested signals of the rack railway track system in the time domain and the time-frequency domains.The test results indicate that the traction force significantly affects the rack tooth bending stress and the wheel-rail forces.The vibrations of the track system under the traction conditions are mainly caused by the impacts generated from the gear-rack engagement,which are then transferred to the sleepers,the rails,and the ballast beds.Furthermore,both the maximum stress on the racks and the wheel-rail forces measured on the rails remain below their allowable values.This experimental study evaluates the load characteristics and reveals the vibration characteristics of the rack railway track system under the vehicle’s ultimate load,which is very important for the load-strengthening design of the key components such as racks and the vibration and noise reduction of the track system.展开更多
Abstract To investigate the use of the three-point bending method and supplement the corresponding strength data of compacted snow for transportation-related applications in cold regions,compacted snow beams with an a...Abstract To investigate the use of the three-point bending method and supplement the corresponding strength data of compacted snow for transportation-related applications in cold regions,compacted snow beams with an average density of 592 kg·m−3 were fabricated and tested at three distinct flexural strain rates.Each strain rate corresponded to the ductile,transitional,and brittle behavior of compacted snow,respectively.The flexural strength,ranging from 0.518 to 0.933 MPa,peaks at the ductile-to-brittle transition,while the flexural modulus,varying between 48.97 and 287.72 MPa,increases with strain rate within the tested range.At the same strain rate corresponding to brittle failure,both mechanical properties of compacted snow exhibit higher values than those of natural snow tested by the authors.Notably,the flexural strain rate at the ductile-to-brittle transition for compacted snow identified in this study is comparable to those previously reported for natural snow under uniaxial tension.Additionally,the obtained strength data are thoroughly compared with existing literature,with detailed discussions provided.The loading rates associated with typical failure modes of compacted snow under bending,together with the obtained strength values,provide methodological guidance and reference data for future in situ testing of compacted snow structures.展开更多
Long-duration vehicles in near space have achieved great success;however,the non-destructive testing(NDT)methods for the envelope materials of such long-duration vehicles remain blank.In this paper,we propose the air-...Long-duration vehicles in near space have achieved great success;however,the non-destructive testing(NDT)methods for the envelope materials of such long-duration vehicles remain blank.In this paper,we propose the air-coupled ultrasonic NDT method theoretically.In the theoretical analysis process,the envelope material is simplified as an orthogonal sandwich structure.To calculate the displacement and stress fields of each medium,the state vectors are established and the transfer matrices of the material from the upper interface to the lower interface are obtained by using boundary conditions.Then,linear equations about the amplitude of reflected and transmitted waves are derived by combining the coupling boundary conditions of air and solid.The effects of incident angles,inflation of the envelope material,and debonding of the interfaces on the transmission coefficients are considered.The results show that the air-coupled ultrasonic NDT of the envelope material can be carried out in the pre-inflated state.Finally,a method for identifying interface debonding is proposed based on judging transmission coefficients within a certain frequency range.展开更多
Severe failures of nonstructural components have occurred during previous earthquakes.Claddings are one of the most widely used nonstructural component and are installed in many modern buildings;therefore,an evaluatio...Severe failures of nonstructural components have occurred during previous earthquakes.Claddings are one of the most widely used nonstructural component and are installed in many modern buildings;therefore,an evaluation of their seismic performance is important and cannot be ignored.To investigate the seismic performance of large-sized high performance concrete cladding(HPCC),a series of full-scale experimental tests were conducted using a unidirectional shaking table.A steel supporting frame was used to install the HPCCs and reproduce the effects of the building under earthquake.The tests were divided into two parts:in-plane(IP)testing and out-plane(OP)testing.Three recorded accelerograms,one artificial accelerogram,and one sinusoidal accelerogram were used to conduct the shaking table tests.The results show that the maximum recorded IP responses of acceleration and interstory drift ratio were 1.04 g and 1/97,while the OP responses were 1.02 g and 1/51.The HPCCs functioned well throughout the entire experimental protocol.The fundamental frequency of the HPCCs systems rarely changed after the tests.展开更多
Earthquakes are critical triggers for slope instability.While extensive research has been conducted on slope failure modes under seismic loading,the identification of sliding surface propagation and coalescence remain...Earthquakes are critical triggers for slope instability.While extensive research has been conducted on slope failure modes under seismic loading,the identification of sliding surface propagation and coalescence remains insufficiently explored.This study investigates the dynamic response of a deposit slope containing a weak interlayer through large-scale shaking table tests.The propagation process of the sliding surface was identified using the Hilbert-Huang transform and marginal spectrum analysis.Under seismic excitation,sliding occurs along the interface between the overburden and the weak interlayer,leading to sudden landslide events.Differential vibrations at the overburden-weak interlayer-bedrock interfaces are identified as a primary mechanism driving landslide initiation.As input acceleration increases,these interfacial vibration contrasts intensify,and the acceleration amplification effect within the overburden becomes markedly pronounced.Following landslide occurrence,the vibration differences across interfaces decrease sharply.In the time-frequency domain,seismic waves transmitted through the weak interlayer exhibit amplified low-frequency components.Marginal spectrum analysis of seismic energy evolution within the slope reveals that energy attenuation in the 19-22 Hz frequency band correlates with landslide occurrence,while attenuation in the 9-11 Hz band serves as an indicator for sliding surface propagation and coalescence.For seismic design of deposit slopes with weak interlayers,particular attention should be given to the increased seismic inertial forces in the overburden layer and the detrimental effects of low-frequency wave components on sliding surface development.展开更多
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.展开更多
文摘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.
文摘Objective To study the drug test data protection system in foreign countries,and to foster pharmaceutical innovation and increase drug accessibility in China.Methods The development history of drug test data protection was analyzed to examine and evaluate China’s current drug test data protection system so as to offer recommendations for its improvement.Finally,the drug test data protection system in China can be officially implemented.Results and Conclusion The drug test data protection system aims to promote innovation by protecting the trial data of innovative drugs.In a broad sense,this belongs to intellectual property protection,but it is different from patent protection.Although China has established a drug testing data protection system after joining the“Agreement on Trade-Related Aspects of Intellectual Property Rights(TRIPS)”,the relevant provisions and regulations have not yet been formally formed,and the system has not yet been implemented.Therefore,some suggestions for improving China’s drug testing data protection system are proposed to achieve good social benefits.
文摘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.
基金supported in part by the National Science and Technology Council of Taiwan under the contract numbers NSTC 114-2221-E-019-055-MY2 and NSTC 114-2221-E-019-069.
文摘Cloud services,favored by many enterprises due to their high flexibility and easy operation,are widely used for data storage and processing.However,the high latency,together with transmission overheads of the cloud architecture,makes it difficult to quickly respond to the demands of IoT applications and local computation.To make up for these deficiencies in the cloud,fog computing has emerged as a critical role in the IoT applications.It decentralizes the computing power to various lower nodes close to data sources,so as to achieve the goal of low latency and distributed processing.With the data being frequently exchanged and shared between multiple nodes,it becomes a challenge to authorize data securely and efficiently while protecting user privacy.To address this challenge,proxy re-encryption(PRE)schemes provide a feasible way allowing an intermediary proxy node to re-encrypt ciphertext designated for different authorized data requesters without compromising any plaintext information.Since the proxy is viewed as a semi-trusted party,it should be taken to prevent malicious behaviors and reduce the risk of data leakage when implementing PRE schemes.This paper proposes a new fog-assisted identity-based PRE scheme supporting anonymous key generation,equality test,and user revocation to fulfill various IoT application requirements.Specifically,in a traditional identity-based public key architecture,the key escrow problem and the necessity of a secure channel are major security concerns.We utilize an anonymous key generation technique to solve these problems.The equality test functionality further enables a cloud server to inspect whether two candidate trapdoors contain an identical keyword.In particular,the proposed scheme realizes fine-grained user-level authorization while maintaining strong key confidentiality.To revoke an invalid user identity,we add a revocation list to the system flows to restrict access privileges without increasing additional computation cost.To ensure security,it is shown that our system meets the security notion of IND-PrID-CCA and OW-ID-CCA under the Decisional Bilinear Diffie-Hellman(DBDH)assumption.
基金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.
基金supported by the National Social Science Foundation of China under Grant No.23&ZD126National Science Foundation of China under Grant No.12471256+1 种基金Natural Science Foundation of Shanxi Province under Grant No.202203021221219Scientific and Technological Innovation Programs of Higher Education Institutions in Shanxi under Grant No.2023L164。
文摘The authors consider the issue of hypothesis testing in varying-coefficient regression models with high-dimensional data.Utilizing kernel smoothing techniques,the authors propose a locally concerned U-statistic method to assess the overall significance of the coefficients.The authors establish that the proposed test is asymptotically normal under both the null hypothesis and local alternatives.Based on the locally concerned U-statistic,the authors further develop a globally concerned U-statistic to test whether the coefficient function is zero.A stochastic perturbation method is employed to approximate the distribution of the globally concerned test statistic.Monte Carlo simulations demonstrate the validity of the proposed test in finite samples.
基金supported in part by the Tianjin Natural Science Foundation Project(24JCZDJC01000)the Fundamental Research Funds for the Central Universities of China(No.3122025091).
文摘As deep learning(DL)models are increasingly deployed in sensitive domains(e.g.,healthcare),concerns over privacy and security have intensified.Conventional penetration testing frameworks,such asOWASP and NIST,are effective for traditional networks and applications but lack the capabilities to address DL-specific threats,such asmodel inversion,membership inference,and adversarial attacks.This review provides a comprehensive analysis of penetration testing for the privacy of DL models,examining the shortfalls of existing frameworks,tools,and testing methodologies.Through systematic evaluation of existing literature and empirical analysis,we identify three major contributions:(i)a critical assessment of traditional penetration testing frameworks’inadequacies when applied to DL-specific privacy vulnerabilities,(ii)a comprehensive evaluation of state-of-the-art privacy-preserving methods and their integration with penetration testing workflows,and(iii)the development of a structured framework that combines reconnaissance,threat modeling,exploitation,and post-exploitation phases specifically tailored for DL privacy assessment.Moreover,this review evaluates popular solutions such as IBMAdversarial Robustness Toolbox and TensorFlowPrivacy,alongside privacy-preserving techniques(e.g.,Differential Privacy,Homomorphic Encryption,and Federated Learning),which we systematically analyze through comparative studies of their effectiveness,computational overhead,and practical deployment constraints.While these techniques offer promising safeguards,their adoption is hindered by accuracy loss,performance overheads,and the rapid evolution of attack strategies.Our findings reveal that no single existing solution provides comprehensive protection,which leads us to propose a hybrid approach that strategically combines multiple privacy-preserving mechanisms.The findings of this survey underscore an urgent need for automated,regulationcompliant penetration testing frameworks specifically tailored to DL systems.We argue for hybrid privacy solutions that combinemultiple protectivemechanisms to ensure bothmodel accuracy and privacy.Building on our analysis,we present actionable recommendations for developing adaptive penetration testing strategies that incorporate automated vulnerability assessment,continuous monitoring,and regulatory compliance verification.
基金supported by Natural Science Foundation of China(NSFC),Grant number 5247052693.
文摘To address the insufficient prediction accuracy of multi-state parameters in electro-hydraulic servo material fatigue testing machines under complex loading and nonlinear coupling conditions,this paper proposes a multivariate sequence-to-sequence prediction model integrating a Long Short-Term Memory(LSTM)encoder,a Gated Recurrent Unit(GRU)decoder,and a multi-head attention mechanism.This approach enhances prediction accuracy and robustness across different control modes and load spectra by leveraging multi-channel inputs and cross-variable feature interactions,thereby capturing both short-term high-frequency dynamics and long-term slow drift characteristics.Experiments using long-term data from real test benches demonstrate that the model achieves a stable MSE below 0.01 on the validation set,with MAE and RMSE of approximately 0.018 and 0.052,respectively,and a coefficient of determination reaching 0.98.This significantly outperforms traditional identification methods and single RNN models.Sensitivity analysis indicates that a prediction stride of 10 achieves an optimal balance between accuracy and computational overhead.Ablation experiments validated the contribution of multi-head attention and decoder architecture to enhancing cross-variable coupling modeling capabilities.This model can be applied to residualdriven early warning in health monitoring,and risk assessment with scheme optimization in test design.It enables near-real-time deployment feasibility,providing a practical data-driven technical pathway for reliability assurance in advanced equipment.
基金supported by the National Key R&D Program of China(2024YFA1802300)the Major Science and Technology Program of Hainan Province(ZDKJ2021037)+4 种基金the Regional Innovation and Development Joint Fund of the National Natural Science Foundation of China(U24A20677)Hainan Province Science and Technology Special Fund(ZDYF2020117,ZDY2024SHFZ143)Hainan Province Science and TechnologyProject(LCXY202102,LCYX202203,LCYX202301,LCYx202502)Innovative research project for postgraduate students in Hainan Medical University(HYYB2021A05)the Hainan Province Clinical Medical Center,and the specific research fund of The Innovation Platform for Academicians of Hainan Province(YSPTZX202310).
文摘Patients affected by monogenic diseases impose a substantial burden on both themselves and their families.The primary preventive measure,i.e.,invasive prenatal diagnosis,carries a risk of miscarriage and cannot be performed early in pregnancy.Hence,there is a need for non-invasive prenatal testing(NIPT)for monogenic diseases.By utilizing enriched cell-free fetal DNA(cffDNA)from maternal plasma,we refine the NIPT method,which combines targeted region capture technology,haplotyping,and analysis of informative site frequency.We apply this method to 93 clinical families at genetic risk for thalassemia,encompassing various genetic variant types,to establish a workflow and evaluate its efficiency.Our approach requires only 3 ng of DNA input to generate 0.1 Gb informative target genomic data and leverages a minimum of 3%cffDNA.This method has a 98.16%success rate and 100%concordance with conventional invasive methods.Furthermore,we demonstrate the ability to analyze fetal genotypes as early as eight weeks of gestation.This study establishes an optimized NIPT method for the early detection of various thalassemia disorders during pregnancy.This technique demonstrates high accuracy and potential for clinical application in prenatal diagnosis.
基金Supported by National Natural Science Foundation of China(Grant No.52375009)Fujian Provincial Young and Middle-Aged Teacher Education Research Project of China(Grant No.JAT220029).
文摘Parallel machining robot is a new type of robotized equipment for high-efficiency machining structural com-ponents with complex geometries.Terminal rigidity is of great importance index for such type of equipment,which affects their load capacity and working accuracy.Before a parallel machining robot can be used for heavy-load and high-efficiency machining,its terminal rigidity should be evaluated systematically.The present study is to quantitatively reveal the stiffness properties of a previously invented Z4 redundantly actuated parallel ma-chining robot(RAPMR).For this purpose,two critical issues,i.e.,stiffness modelling and index construction,are clarified to carry out stiffness evaluation of the Z4 RAPMR.Firstly,drawing on the screw theory,a semi-analytic stiffness model of the proposed RAPMR is established at a component level.Secondly,a set of virtual work-based stiffness indices is constructed to evaluate the terminal rigidity of parallel robots.Those indices have a consistent physical unit in describing linear and angular terminal rigidity.With these indices,the local and the global stiffness performance of the Z4 RAPMR are predicted.Thirdly,a laboratory prototype of the proposed RAPMR is fabricated.And the experimental test is performed to verify the correctness of the established stiffness model.The present work is expected to provide fundamental information for further light-weight design and rigidity enhancement.
基金supported by the Fundamental Research Funds for the Central Universities in UIBE under Grant No.CXTD14-05。
文摘Smartphone-based electrocardiograms(ECGs)are increasingly utilized for monitoring atrial fibrillation(AF)recurrence after catheter ablation(CA),referred to as smartphone AF burden(SMURDEN).The SMURDEN data often exhibit complex patterns of zero AF episodes,which may arise from either true AF-free status(structural zeros)or missed AF episodes due to intermittent monitoring(random zeros).Such a mixture of AF-free and at-risk patients can lead to zero-inflation in the data.The authors propose a novel zero-inflation test for binomial regression models to identify recurrence-free AF populations.Unlike traditional approaches requiring fully specified zero-inflated models,the proposed test utilizes a weighted average of the discrepancies between observed and expected zero proportions,with weights determined by binomial sizes.A closed-form test statistic is developed,and its asymptotic distribution is derived using estimating equations.Simulations demonstrate superior performance over existing methods,and real-world AF monitoring data validate the practical utility of our proposed test.
基金supported by the National Natural Science Foundation of China(No.52388102)the Sichuan Science and Technology Program(No.2024NSFTD0011)the Fundamental Research Funds for the State Key Laboratory of Rail Transit Vehicle System of Southwest Jiaotong University(No.2023TPL-T11).
文摘The dynamic characteristics of the track system can directly affect its service performance and failure process.To explore the load characteristics and dynamic response of the track system under the dynamic loads from the rack vehicle in traction conditions,a systematic test of the track subsystem was carried out on a large-slope test line.In the test,the bending stress of the rack teeth,the wheel-rail forces,and the acceleration of crucial components in the track system were measured.Subsequently,a detailed analysis was conducted on the tested signals of the rack railway track system in the time domain and the time-frequency domains.The test results indicate that the traction force significantly affects the rack tooth bending stress and the wheel-rail forces.The vibrations of the track system under the traction conditions are mainly caused by the impacts generated from the gear-rack engagement,which are then transferred to the sleepers,the rails,and the ballast beds.Furthermore,both the maximum stress on the racks and the wheel-rail forces measured on the rails remain below their allowable values.This experimental study evaluates the load characteristics and reveals the vibration characteristics of the rack railway track system under the vehicle’s ultimate load,which is very important for the load-strengthening design of the key components such as racks and the vibration and noise reduction of the track system.
基金financial support from the Shanghai Science and Technology Committee(Grant no.24DZ3100504)the National Key Research and Development Program of China(Grant no.2022YFC2807102).
文摘Abstract To investigate the use of the three-point bending method and supplement the corresponding strength data of compacted snow for transportation-related applications in cold regions,compacted snow beams with an average density of 592 kg·m−3 were fabricated and tested at three distinct flexural strain rates.Each strain rate corresponded to the ductile,transitional,and brittle behavior of compacted snow,respectively.The flexural strength,ranging from 0.518 to 0.933 MPa,peaks at the ductile-to-brittle transition,while the flexural modulus,varying between 48.97 and 287.72 MPa,increases with strain rate within the tested range.At the same strain rate corresponding to brittle failure,both mechanical properties of compacted snow exhibit higher values than those of natural snow tested by the authors.Notably,the flexural strain rate at the ductile-to-brittle transition for compacted snow identified in this study is comparable to those previously reported for natural snow under uniaxial tension.Additionally,the obtained strength data are thoroughly compared with existing literature,with detailed discussions provided.The loading rates associated with typical failure modes of compacted snow under bending,together with the obtained strength values,provide methodological guidance and reference data for future in situ testing of compacted snow structures.
基金supported by and the National Natural Science Foundation of China(Grant No.1240209912402206,12372161)the Interdisciplinary Research Project for Young Teachers of USTB(Fundamental Research Funds for the Central Universities,Grant No.FRF-IDRYGD24-001)+2 种基金the Postdoctoral Fellowship Program of CPSF(Grant No.GZB20240767)the China Postdoctoral Science Foundation(Grant No.2024M753305),the Science and Disruptive Technology Program,AIRCAS(Grant No.2024-AIRCAS-SDTP-08).
文摘Long-duration vehicles in near space have achieved great success;however,the non-destructive testing(NDT)methods for the envelope materials of such long-duration vehicles remain blank.In this paper,we propose the air-coupled ultrasonic NDT method theoretically.In the theoretical analysis process,the envelope material is simplified as an orthogonal sandwich structure.To calculate the displacement and stress fields of each medium,the state vectors are established and the transfer matrices of the material from the upper interface to the lower interface are obtained by using boundary conditions.Then,linear equations about the amplitude of reflected and transmitted waves are derived by combining the coupling boundary conditions of air and solid.The effects of incident angles,inflation of the envelope material,and debonding of the interfaces on the transmission coefficients are considered.The results show that the air-coupled ultrasonic NDT of the envelope material can be carried out in the pre-inflated state.Finally,a method for identifying interface debonding is proposed based on judging transmission coefficients within a certain frequency range.
基金National Key R&D Program of China under Grant No.2024YFD1600404。
文摘Severe failures of nonstructural components have occurred during previous earthquakes.Claddings are one of the most widely used nonstructural component and are installed in many modern buildings;therefore,an evaluation of their seismic performance is important and cannot be ignored.To investigate the seismic performance of large-sized high performance concrete cladding(HPCC),a series of full-scale experimental tests were conducted using a unidirectional shaking table.A steel supporting frame was used to install the HPCCs and reproduce the effects of the building under earthquake.The tests were divided into two parts:in-plane(IP)testing and out-plane(OP)testing.Three recorded accelerograms,one artificial accelerogram,and one sinusoidal accelerogram were used to conduct the shaking table tests.The results show that the maximum recorded IP responses of acceleration and interstory drift ratio were 1.04 g and 1/97,while the OP responses were 1.02 g and 1/51.The HPCCs functioned well throughout the entire experimental protocol.The fundamental frequency of the HPCCs systems rarely changed after the tests.
基金financially supported by the National Key Research&Development Program of China(2025YFE0123800)National Natural Science Foundation of China(No.52372343)+4 种基金Sichuan Transportation Science and Technology Project(2023-A-03)Applied Basic Research Programs of Science and Technology Department in Sichuan Province,China(2022NSFSC1086)Sichuan Science and Technology Program(2024YFHZ0121)the R&D Fund Project of China Academy of Railway Science Corporation Limited(K2024G008)National Natural Science Foundation of China(No.52502430).
文摘Earthquakes are critical triggers for slope instability.While extensive research has been conducted on slope failure modes under seismic loading,the identification of sliding surface propagation and coalescence remains insufficiently explored.This study investigates the dynamic response of a deposit slope containing a weak interlayer through large-scale shaking table tests.The propagation process of the sliding surface was identified using the Hilbert-Huang transform and marginal spectrum analysis.Under seismic excitation,sliding occurs along the interface between the overburden and the weak interlayer,leading to sudden landslide events.Differential vibrations at the overburden-weak interlayer-bedrock interfaces are identified as a primary mechanism driving landslide initiation.As input acceleration increases,these interfacial vibration contrasts intensify,and the acceleration amplification effect within the overburden becomes markedly pronounced.Following landslide occurrence,the vibration differences across interfaces decrease sharply.In the time-frequency domain,seismic waves transmitted through the weak interlayer exhibit amplified low-frequency components.Marginal spectrum analysis of seismic energy evolution within the slope reveals that energy attenuation in the 19-22 Hz frequency band correlates with landslide occurrence,while attenuation in the 9-11 Hz band serves as an indicator for sliding surface propagation and coalescence.For seismic design of deposit slopes with weak interlayers,particular attention should be given to the increased seismic inertial forces in the overburden layer and the detrimental effects of low-frequency wave components on sliding surface development.
基金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.
