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.展开更多
The purpose of this study is to analyze the application of ultrasonic non-destructive testing technology in bridge engineering.During the research phase,based on literature collection and reading,as well as the analys...The purpose of this study is to analyze the application of ultrasonic non-destructive testing technology in bridge engineering.During the research phase,based on literature collection and reading,as well as the analysis of bridge inspection materials,the principle of ultrasonic non-destructive testing technology and its adaptability to bridge engineering are elaborated.Subsequently,starting from the preparation work before inspection until damage assessment,the entire process of ultrasonic non-destructive testing is studied,and finally,a technical system of ultrasonic non-destructive testing for bridge engineering that runs through the entire process is formed.It is hoped that this article can provide technical reference value for relevant units in China,and promote the high-quality development of China’s bridge engineering from a macro perspective.展开更多
This article introduces the composition and working principle of home appliance control board automation testing equipment,elaborates on the importance of key technical indicators,explains the integrated design of fun...This article introduces the composition and working principle of home appliance control board automation testing equipment,elaborates on the importance of key technical indicators,explains the integrated design of functional modules,signal processing modules,and data analysis modules,and covers aspects such as the application of machine learning algorithms and the establishment of fault waveform databases.Finally,it looks forward to the development of intelligent testing systems and emphasizes the importance of building a standardized testing system.展开更多
BACKGROUND Human immunodeficiency virus(HIV)recency testing provides data that can be used to monitor the trend of new HIV infections.The effectiveness of using people identified with recent infection to identify part...BACKGROUND Human immunodeficiency virus(HIV)recency testing provides data that can be used to monitor the trend of new HIV infections.The effectiveness of using people identified with recent infection to identify partners with new HIV infection through partner notification services(PNS)is not well documented.AIM To determine the pooled prevalence of recency testing coverage,recent infection,reclassification(recent to longterm infection)and PNS cascade among newly diagnosed people living with HIV.METHODS PubMed,Cochrane Library and Embase were searched for articles published between January 2018 and November 2024.Studies were included if they reported recency coverage and/or PNS among people newly diagnosed with HIV and used recent infection testing algorithm(RITA).Recency coverage was defined as proportion of people tested using rapid testing for recent infection(RTRI)among those newly diagnosed with HIV.RITA further classifies RTRI results using viral load results(≥1000 copies/mL vs<1000 copies/mL)to confirm recency status.For studies with PNS,we evaluated the cascade:Number of partners elicited,successfully contacted,eligible for HIV testing,tested and HIV diagnosis.PNS effectiveness was measured by proportion of new HIV diagnoses from tested partners.Using random effects models,we computed the pooled estimate of recency outcomes and 95%confidence intervals(CIs).RESULTS Twenty-five studies from 17-low-and middle-income countries were included.Of 276315 newly diagnosed people living with HIV,79864 underwent RTRI with an overall pooled recency coverage of 87%(95%CI:67-96).The pooled prevalence of RTRI and RITA recency were 12%(95%CI:9-16)and 7%(95%CI:4-10),respectively.Pooled prevalence of RTRI reclassification was 34%(95%CI:22-49).Of the recent cases who agreed to PNS,253 partners were elicited with an estimated elicitation ratio of 1:1.6.Among partners elicited,99%were successfully contacted,75%were eligible for testing,68%tested for HIV,and 15%were diagnosed with HIV.CONCLUSION High recency testing coverage among newly diagnosed individuals demonstrates the feasibility of monitoring new HIV infections in LMIC.While PNS yielded moderate HIV diagnoses,its targeted approach remains a critical strategy for identifying undiagnosed cases.展开更多
Traditional spectrophotometers have a large volume and slow scanning speed,which limits their applicability for rapid on-site detection.Herein,a micro-spectrophotometer(named ATOM)is fabricated,and its performance is ...Traditional spectrophotometers have a large volume and slow scanning speed,which limits their applicability for rapid on-site detection.Herein,a micro-spectrophotometer(named ATOM)is fabricated,and its performance is verified in water quality testing.An M-type Czerny-Turner light path structure,a broadband light emitting diode(LED)light source,and a linear charge-coupled device(CCD)photodetector were adopted in ATOM.The performance of ATOM was validated through iron content determination by using o-phenanthroline spectrophotometry.The experiment results showed that the linear correlation coefficient of determination R^(2) was 0.9997 for mass concentrations ranging from 0 to 2.0μg/mL.The relative standard deviation was 0.37%,and the relative error compared to a commercial large-scale spectrophotometer was below 1.4%.The dimensions of ATOM are 75 mm×60 mm×25 mm,with hardware costs of approximately 1000 CNY.ATOM features compact size,low cost,rapid measurement,high integration and high precision,making it suitable for portable on-site rapid detection.展开更多
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.展开更多
The integration of Communicative Language Testing(CLT)principles with AI-driven automated assessment poses a significant challenge in professional language testing.Addressing this issue within the specific context of ...The integration of Communicative Language Testing(CLT)principles with AI-driven automated assessment poses a significant challenge in professional language testing.Addressing this issue within the specific context of Civil Aviation Ground Service English,this study explores pathways for their logical reconciliation.Through conceptual analysis and theoretical deduction,with a focus on human-AI interaction scenarios,we demonstrate that the synergy between CLT and AI stems from a shared focus on competency measurement.Key findings reveal that:(1)standardized competency dimensions in CLT can be operationalized into data-processable formats for AI;(2)within professional contexts,AI algorithms can be tailored using authentic service corpora to meet CLT’s demand for situational authenticity;and(3)a division of labor based on competency level-where AI handles standardized scoring of lower-order competencies and human-AI collaboration assesses higher-order competencies-effectively resolves the tension between CLT’s dynamic communication and AI’s static algorithms.Ultimately,the study constructs a three-dimensional integration framework encompassing“professional register,”“competency level,”and“human-AI division of labor,”offering a theoretical model for CLT-AI integration and a practical blueprint for innovating Civil Aviation Ground Service English assessment.展开更多
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.”展开更多
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.展开更多
The strawberry crimp nematode(Aphelenchoides fragariae) is a serious pathogen of ornamental crops and a significant quarantine concern in approximately 50 countries and regions,including China.A nematode population be...The strawberry crimp nematode(Aphelenchoides fragariae) is a serious pathogen of ornamental crops and a significant quarantine concern in approximately 50 countries and regions,including China.A nematode population belonging to the genus Aphelenchoides was isolated from symptomatic leaves of fuchsia plants(Fuchsia×hybrida Hort.ex Sieb.& Voss.) in Chengdu,Sichuan Province,China.Morphological and morphometric characteristics were determined using light microscopy and scanning electron microscopy.Detailed examination revealed diagnostic features consistent with A.fragariae.Three ribosomal DNA(rDNA) regions,i.e.,partial small subunit(SSU) rRNA,D2-D3 expansion segments of the large subunit(LSU) rRNA,and the internal transcribed spacer(ITS),were amplified and sequenced.Bayesian phylogenetic analyses based on these sequences placed the isolate in a well-supported monophyletic clade with reference A.fragariae specimens,clearly separated from other Aphelenchoides species.Furthermore,host-suitability assays demonstrated that this nematode population not only infects and reproduces on Fuchsia×hybrida,but also on Fragaria ananassa and Pteris vittata,two known hosts of A.fragariae.Collectively,morphological,molecular,and host-range evidence confirm the identification of this nematode as A.fragariae.To our knowledge,this represents the first molecular and morphological confirmation of A.fragariae in China,and the first report of Fuchsia×hybrida as a natural host for this species.展开更多
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.展开更多
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.展开更多
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.展开更多
Underwater gas-liquid two-phase propulsion technology is an emerging propulsion method that offers high efficiency and unrestricted navigation speed.The integration of this technology into water ramjet engines can sig...Underwater gas-liquid two-phase propulsion technology is an emerging propulsion method that offers high efficiency and unrestricted navigation speed.The integration of this technology into water ramjet engines can significantly enhance propulsion efficiency and holds substantial potential for broad applications.However,forming a gas-liquid two-phase flow within the nozzle requires introducing a large amount of rammed seawater.At this time,there is a complex phase transition problem of combustion products in the combustion chamber,which makes the thermodynamic calculation for gas-liquid two-phase water ramjet engines particularly challenging.This paper proposes a thermodynamic calculation method for gas-liquid two-phase water ramjet engines,based on the energy equation for gas-liquid two-phase flow and traditional thermodynamic principles,enabling thermodynamic calculations under conditions of ultra-high water-fuel ratios.Additionally,ground ignition tests of the gas-liquid two-phase engine were conducted,yielding critical engine test parameters.The results demonstrate that the gas-liquid two-phase water ramjet engine achieves a high specific impulse,with a theoretical maximum specific impulse of up to 7000(N s)/kg.The multiphase flow effects significantly impact engine performance,with specific impulse losses reaching up to 25.86%.The error between the thrust and specific impulse in the ground test and the theoretical values is within 10%,validating the proposed thermodynamic calculation method as a reliable reference for further research on gas-liquid two-phase water ramjet engines.展开更多
The widely distributed loess deposits in the Yellow River Basin exhibit unique engineering geological characteristics.The variations in their thickness and stratigraphic structure significantly amplify ground motion p...The widely distributed loess deposits in the Yellow River Basin exhibit unique engineering geological characteristics.The variations in their thickness and stratigraphic structure significantly amplify ground motion parameters,directly influencing the regional seismic hazard risk level.This study methodically conducted on-site studies and observations of building collapses and damages resulting from seismic amplification effects,using the Wenchuan M_(S)8.0 earthquake as a case study.Comprehensive experimental and numerical simulation studies were carried out.A large-scale shaking table test was performed,and numerical models for 14 different loess sites types were established.Various types of seismic waves were incorporated into these models for systematic numerical simulation calculations.The research reveals the mechanisms by which loess deposit thickness and stratigraphic structure in the Yellow River Basin affect seismic ground motion amplification.The results indicate that as the epicentral distance increases,the peak ground motion shows a marked attenuation trend,with the horizontal component attenuating substantially faster than the vertical component.As the overlying loess layer thickness increases from 50 to 100 m,the seismic intensity may escalate by 3−4 degrees,and the peak acceleration may amplify by 1.5−2.2 times.With the augmentation of loess deposit thickness and the proliferation of soil layers,both the peak acceleration response spectrum and the characteristic period demonstrate an upward tendency,exhibiting slight fluctuations contingent upon the seismic wave type.展开更多
基金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.
文摘The purpose of this study is to analyze the application of ultrasonic non-destructive testing technology in bridge engineering.During the research phase,based on literature collection and reading,as well as the analysis of bridge inspection materials,the principle of ultrasonic non-destructive testing technology and its adaptability to bridge engineering are elaborated.Subsequently,starting from the preparation work before inspection until damage assessment,the entire process of ultrasonic non-destructive testing is studied,and finally,a technical system of ultrasonic non-destructive testing for bridge engineering that runs through the entire process is formed.It is hoped that this article can provide technical reference value for relevant units in China,and promote the high-quality development of China’s bridge engineering from a macro perspective.
文摘This article introduces the composition and working principle of home appliance control board automation testing equipment,elaborates on the importance of key technical indicators,explains the integrated design of functional modules,signal processing modules,and data analysis modules,and covers aspects such as the application of machine learning algorithms and the establishment of fault waveform databases.Finally,it looks forward to the development of intelligent testing systems and emphasizes the importance of building a standardized testing system.
文摘BACKGROUND Human immunodeficiency virus(HIV)recency testing provides data that can be used to monitor the trend of new HIV infections.The effectiveness of using people identified with recent infection to identify partners with new HIV infection through partner notification services(PNS)is not well documented.AIM To determine the pooled prevalence of recency testing coverage,recent infection,reclassification(recent to longterm infection)and PNS cascade among newly diagnosed people living with HIV.METHODS PubMed,Cochrane Library and Embase were searched for articles published between January 2018 and November 2024.Studies were included if they reported recency coverage and/or PNS among people newly diagnosed with HIV and used recent infection testing algorithm(RITA).Recency coverage was defined as proportion of people tested using rapid testing for recent infection(RTRI)among those newly diagnosed with HIV.RITA further classifies RTRI results using viral load results(≥1000 copies/mL vs<1000 copies/mL)to confirm recency status.For studies with PNS,we evaluated the cascade:Number of partners elicited,successfully contacted,eligible for HIV testing,tested and HIV diagnosis.PNS effectiveness was measured by proportion of new HIV diagnoses from tested partners.Using random effects models,we computed the pooled estimate of recency outcomes and 95%confidence intervals(CIs).RESULTS Twenty-five studies from 17-low-and middle-income countries were included.Of 276315 newly diagnosed people living with HIV,79864 underwent RTRI with an overall pooled recency coverage of 87%(95%CI:67-96).The pooled prevalence of RTRI and RITA recency were 12%(95%CI:9-16)and 7%(95%CI:4-10),respectively.Pooled prevalence of RTRI reclassification was 34%(95%CI:22-49).Of the recent cases who agreed to PNS,253 partners were elicited with an estimated elicitation ratio of 1:1.6.Among partners elicited,99%were successfully contacted,75%were eligible for testing,68%tested for HIV,and 15%were diagnosed with HIV.CONCLUSION High recency testing coverage among newly diagnosed individuals demonstrates the feasibility of monitoring new HIV infections in LMIC.While PNS yielded moderate HIV diagnoses,its targeted approach remains a critical strategy for identifying undiagnosed cases.
基金National Natural Science Foundation of China(No.62375048)Natural Science Foundation of Shanghai,China(No.22ZR1402600。
文摘Traditional spectrophotometers have a large volume and slow scanning speed,which limits their applicability for rapid on-site detection.Herein,a micro-spectrophotometer(named ATOM)is fabricated,and its performance is verified in water quality testing.An M-type Czerny-Turner light path structure,a broadband light emitting diode(LED)light source,and a linear charge-coupled device(CCD)photodetector were adopted in ATOM.The performance of ATOM was validated through iron content determination by using o-phenanthroline spectrophotometry.The experiment results showed that the linear correlation coefficient of determination R^(2) was 0.9997 for mass concentrations ranging from 0 to 2.0μg/mL.The relative standard deviation was 0.37%,and the relative error compared to a commercial large-scale spectrophotometer was below 1.4%.The dimensions of ATOM are 75 mm×60 mm×25 mm,with hardware costs of approximately 1000 CNY.ATOM features compact size,low cost,rapid measurement,high integration and high precision,making it suitable for portable on-site rapid detection.
文摘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.
基金supported by the Vocational Education Research Project from China Commercial Technicians Association:“Research on the Construction and Application of AI-Enabled English Testing System for Civil Aviation Ground Services”(20ZSJYB20250420)the Education Science Planning Projects(Higher Education Special Program)from Guangdong Provincial Department of Education:“Research on the Evaluation System of Digital Competence in Curriculum Ideology and Politics for Higher Vocational Teachers in Guangdong under the Background of Educational Digitalization”(2024GXJK877)“Digital Empowerment for High-Quality Development in Guangdong:An Innovative Study on Cultivating Interdisciplinary Foreign Language Talents”(2023GXJK691).
文摘The integration of Communicative Language Testing(CLT)principles with AI-driven automated assessment poses a significant challenge in professional language testing.Addressing this issue within the specific context of Civil Aviation Ground Service English,this study explores pathways for their logical reconciliation.Through conceptual analysis and theoretical deduction,with a focus on human-AI interaction scenarios,we demonstrate that the synergy between CLT and AI stems from a shared focus on competency measurement.Key findings reveal that:(1)standardized competency dimensions in CLT can be operationalized into data-processable formats for AI;(2)within professional contexts,AI algorithms can be tailored using authentic service corpora to meet CLT’s demand for situational authenticity;and(3)a division of labor based on competency level-where AI handles standardized scoring of lower-order competencies and human-AI collaboration assesses higher-order competencies-effectively resolves the tension between CLT’s dynamic communication and AI’s static algorithms.Ultimately,the study constructs a three-dimensional integration framework encompassing“professional register,”“competency level,”and“human-AI division of labor,”offering a theoretical model for CLT-AI integration and a practical blueprint for innovating Civil Aviation Ground Service English assessment.
文摘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 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 the Shaanxi Innovation Team Project,China (2024RS-CXTD-73)the National Natural Science Foundation of China (31772136)。
文摘The strawberry crimp nematode(Aphelenchoides fragariae) is a serious pathogen of ornamental crops and a significant quarantine concern in approximately 50 countries and regions,including China.A nematode population belonging to the genus Aphelenchoides was isolated from symptomatic leaves of fuchsia plants(Fuchsia×hybrida Hort.ex Sieb.& Voss.) in Chengdu,Sichuan Province,China.Morphological and morphometric characteristics were determined using light microscopy and scanning electron microscopy.Detailed examination revealed diagnostic features consistent with A.fragariae.Three ribosomal DNA(rDNA) regions,i.e.,partial small subunit(SSU) rRNA,D2-D3 expansion segments of the large subunit(LSU) rRNA,and the internal transcribed spacer(ITS),were amplified and sequenced.Bayesian phylogenetic analyses based on these sequences placed the isolate in a well-supported monophyletic clade with reference A.fragariae specimens,clearly separated from other Aphelenchoides species.Furthermore,host-suitability assays demonstrated that this nematode population not only infects and reproduces on Fuchsia×hybrida,but also on Fragaria ananassa and Pteris vittata,two known hosts of A.fragariae.Collectively,morphological,molecular,and host-range evidence confirm the identification of this nematode as A.fragariae.To our knowledge,this represents the first molecular and morphological confirmation of A.fragariae in China,and the first report of Fuchsia×hybrida as a natural host for this species.
基金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 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.
基金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 Stable Support Fund forBasic Disciplines,China(No.3072024WD0201)。
文摘Underwater gas-liquid two-phase propulsion technology is an emerging propulsion method that offers high efficiency and unrestricted navigation speed.The integration of this technology into water ramjet engines can significantly enhance propulsion efficiency and holds substantial potential for broad applications.However,forming a gas-liquid two-phase flow within the nozzle requires introducing a large amount of rammed seawater.At this time,there is a complex phase transition problem of combustion products in the combustion chamber,which makes the thermodynamic calculation for gas-liquid two-phase water ramjet engines particularly challenging.This paper proposes a thermodynamic calculation method for gas-liquid two-phase water ramjet engines,based on the energy equation for gas-liquid two-phase flow and traditional thermodynamic principles,enabling thermodynamic calculations under conditions of ultra-high water-fuel ratios.Additionally,ground ignition tests of the gas-liquid two-phase engine were conducted,yielding critical engine test parameters.The results demonstrate that the gas-liquid two-phase water ramjet engine achieves a high specific impulse,with a theoretical maximum specific impulse of up to 7000(N s)/kg.The multiphase flow effects significantly impact engine performance,with specific impulse losses reaching up to 25.86%.The error between the thrust and specific impulse in the ground test and the theoretical values is within 10%,validating the proposed thermodynamic calculation method as a reliable reference for further research on gas-liquid two-phase water ramjet engines.
基金supported by the Earthquake Science and Technology Spark Plan Project(No.XH23041C)The Natural Science Foundation of Gansu Province(No.22JR11RA090)Gansu Lanzhou Geophysics National Observation and Research Station(No.2021Y14).
文摘The widely distributed loess deposits in the Yellow River Basin exhibit unique engineering geological characteristics.The variations in their thickness and stratigraphic structure significantly amplify ground motion parameters,directly influencing the regional seismic hazard risk level.This study methodically conducted on-site studies and observations of building collapses and damages resulting from seismic amplification effects,using the Wenchuan M_(S)8.0 earthquake as a case study.Comprehensive experimental and numerical simulation studies were carried out.A large-scale shaking table test was performed,and numerical models for 14 different loess sites types were established.Various types of seismic waves were incorporated into these models for systematic numerical simulation calculations.The research reveals the mechanisms by which loess deposit thickness and stratigraphic structure in the Yellow River Basin affect seismic ground motion amplification.The results indicate that as the epicentral distance increases,the peak ground motion shows a marked attenuation trend,with the horizontal component attenuating substantially faster than the vertical component.As the overlying loess layer thickness increases from 50 to 100 m,the seismic intensity may escalate by 3−4 degrees,and the peak acceleration may amplify by 1.5−2.2 times.With the augmentation of loess deposit thickness and the proliferation of soil layers,both the peak acceleration response spectrum and the characteristic period demonstrate an upward tendency,exhibiting slight fluctuations contingent upon the seismic wave type.
