In underground engineering with complex conditions,the bolt(cable)anchorage support system is in an environment where static and dynamic stresses coexist,under the action of geological conditions such as high stresses...In underground engineering with complex conditions,the bolt(cable)anchorage support system is in an environment where static and dynamic stresses coexist,under the action of geological conditions such as high stresses and strong disturbances and construction conditions such as the application of high prestress.It is essential to study the support components performance under dynamic-static coupling conditions.Based on this,a multi-functional anchorage support dynamic-static coupling performance test system(MAC system)is developed,which can achieve 7 types of testing functions,including single component performance,anchored net performance,anchored rock performance and so on.The bolt and cable mechanical tests are conducted by MAC system under different prestress levels.The results showed that compared to the non-prestress condition,the impact resistance performance of prestressed bolts(cables)is significantly reduced.In the prestress range of 50–160 k N,the maximum reduction rate of impact energy resisted by different types of bolts is 53.9%–61.5%compared to non-prestress condition.In the prestress range of 150–300 k N,the impact energy resisted by high-strength cable is reduced by76.8%–84.6%compared to non-prestress condition.The MAC system achieves dynamic-static coupling performance test,which provide an effective means for the design of anchorage support system.展开更多
In conjunction with the working characteristics of the high-clearance wheeled sprayer and the benefits of the closed hydraulic system,a series of reasonable working parameters should be established,and a hydraulic sys...In conjunction with the working characteristics of the high-clearance wheeled sprayer and the benefits of the closed hydraulic system,a series of reasonable working parameters should be established,and a hydraulic system that fulfills the requisite specifications should be designed.The AMESim software model is employed to construct a closed hydraulic transmission system,and the simulation analysis is then performed according to the data of hydraulic components.According to analysis results,the prototype can be optimized and upgraded,and a verification test is further carried out.The test results demonstrate that the designed closed hydraulic transmission system meets the actual working requirements of the high-clearance wheeled sprayer and provides a stable experimental platform for intelligent control of agricultural machinery.展开更多
A multi-purpose prototype test system is developed to study the mechanical behavior of tunnel sup-porting structure,including a modular counterforce device,a powerful loading equipment,an advanced intelligent manageme...A multi-purpose prototype test system is developed to study the mechanical behavior of tunnel sup-porting structure,including a modular counterforce device,a powerful loading equipment,an advanced intelligent management system and an efficient noncontact deformation measurement system.The functions of the prototype test system are adjustable size and shape of the modular counterforce structure,sufficient load reserve and accurate loading,multi-connection linkage intelligent management,and high-precision and continuously positioned noncontact deformation measurement.The modular counterforce structure is currently the largest in the world,with an outer diameter of 20.5 m,an inner diameter of 16.5 m and a height of 6 m.The case application proves that the prototype test system can reproduce the mechanical behavior of the tunnel lining during load-bearing,deformation and failure processes in detail.展开更多
Recently,researchers have shown increasing interest in combining more than one programming model into systems running on high performance computing systems(HPCs)to achieve exascale by applying parallelism at multiple ...Recently,researchers have shown increasing interest in combining more than one programming model into systems running on high performance computing systems(HPCs)to achieve exascale by applying parallelism at multiple levels.Combining different programming paradigms,such as Message Passing Interface(MPI),Open Multiple Processing(OpenMP),and Open Accelerators(OpenACC),can increase computation speed and improve performance.During the integration of multiple models,the probability of runtime errors increases,making their detection difficult,especially in the absence of testing techniques that can detect these errors.Numerous studies have been conducted to identify these errors,but no technique exists for detecting errors in three-level programming models.Despite the increasing research that integrates the three programming models,MPI,OpenMP,and OpenACC,a testing technology to detect runtime errors,such as deadlocks and race conditions,which can arise from this integration has not been developed.Therefore,this paper begins with a definition and explanation of runtime errors that result fromintegrating the three programming models that compilers cannot detect.For the first time,this paper presents a classification of operational errors that can result from the integration of the three models.This paper also proposes a parallel hybrid testing technique for detecting runtime errors in systems built in the C++programming language that uses the triple programming models MPI,OpenMP,and OpenACC.This hybrid technology combines static technology and dynamic technology,given that some errors can be detected using static techniques,whereas others can be detected using dynamic technology.The hybrid technique can detect more errors because it combines two distinct technologies.The proposed static technology detects a wide range of error types in less time,whereas a portion of the potential errors that may or may not occur depending on the 4502 CMC,2023,vol.74,no.2 operating environment are left to the dynamic technology,which completes the validation.展开更多
Despite the advances in automated vulnerability detection approaches,security vulnerabilities caused by design flaws in software systems are continuously appearing in real-world systems.Such security design flaws can ...Despite the advances in automated vulnerability detection approaches,security vulnerabilities caused by design flaws in software systems are continuously appearing in real-world systems.Such security design flaws can bring unrestricted and misimplemented behaviors of a system and can lead to fatal vulnerabilities such as remote code execution or sensitive data leakage.Therefore,it is an essential task to discover unrestricted and misimplemented behaviors of a system.However,it is a daunting task for security experts to discover such vulnerabilities in advance because it is timeconsuming and error-prone to analyze the whole code in detail.Also,most of the existing vulnerability detection approaches still focus on detecting memory corruption bugs because these bugs are the dominant root cause of software vulnerabilities.This paper proposes SMINER,a novel approach that discovers vulnerabilities caused by unrestricted and misimplemented behaviors.SMINER first collects unit test cases for the target system from the official repository.Next,preprocess the collected code fragments.SMINER uses pre-processed data to show the security policies that can occur on the target system and creates a test case for security policy testing.To demonstrate the effectiveness of SMINER,this paper evaluates SMINER against Robot Operating System(ROS),a real-world system used for intelligent robots in Amazon and controlling satellites in National Aeronautics and Space Administration(NASA).From the evaluation,we discovered two real-world vulnerabilities in ROS.展开更多
Internal solitary waves(ISWs) contain great energy and have the characteristics of emergency and concealment. To avoid their damage to offshore engineering, a new generation of monitoring and early warning system for ...Internal solitary waves(ISWs) contain great energy and have the characteristics of emergency and concealment. To avoid their damage to offshore engineering, a new generation of monitoring and early warning system for ISWs was developed using technologies of double buoys monitoring, intelligent realtime data transmission, and automatic software identification. The system was applied to the second natural gas hydrates(NGHs) production test in the Shenhu Area, South China Sea(SCS) and successfully provided the early warning of ISWs for 173 days(from October 2019 to April 2020). The abrupt changes in the thrust force of the drilling platform under the attack of ISWs were consistent with the early warning information, proving the reliability of this system. A total of 93 ISWs were detected around the drilling platform. Most of them occurred during the spring tides in October–December 2019 and April 2020, while few of them occurred in winter. As suggested by the theoretical model, the full-depth structure of ISWs was a typical current profile of mode-1, and the velocities of wave-induced currents can reach 80 cm/s and30 cm/s, respectively, in the upper ocean and near the seabed. The ISWs may be primarily generated from the interactions between the topography and semidiurnal tides in the Luzon Strait, and then propagate westward to the drilling platform. This study could serve as an important reference for the early warning of ISWs for offshore engineering construction in the future.展开更多
BACKGROUND Several genetic testing techniques have been recommended as a first-tier diagnostic tool in clinical practice for diagnosing autism spectrum disorder(ASD).However,the actual usage rate varies dramatically.T...BACKGROUND Several genetic testing techniques have been recommended as a first-tier diagnostic tool in clinical practice for diagnosing autism spectrum disorder(ASD).However,the actual usage rate varies dramatically.This is due to various reasons,including knowledge and attitudes of caregivers,patients,and health providers toward genetic testing.Several studies have therefore been conducted worldwide to investigate the knowledge,experiences,and attitudes toward genetic testing among caregivers of children with ASD,adolescent and adult ASD patients,and health providers who provide medical services for them.However,no systematic review has been done.AIM To systematically review research on knowledge,experiences,and attitudes towards genetic testing among caregivers of children with ASD,adolescent and adult ASD patients,and health providers.METHODS We followed the Preferred Reporting Items for Systematic Reviews and Metaanalyses guidelines and searched the literature in three English language databases(PubMed,Web of Science,and PsychInfo)and two Chinese databases(CNKI and Wanfang).Searched literature was screened independently by two reviewers and discussed when inconsistency existed.Information on characteristics of the study,characteristics of participants,and main findings regarding knowledge,experience,and attitudes of caregivers of children with ASD,adolescent and adult ASD patients,and health providers concerning ASD genetic testing were extracted from included papers into a charting form for analysis.RESULTS We included 30 studies published between 2012 and 2022 and conducted in 9 countries.Most of the studies(n=29)investigated caregivers of children with ASD,one study also included adolescent and adult patients,and two covered health providers.Most(51.0%-100%)of the caregivers/patients knew there was a genetic cause for ASD and 17.0%to 78.1%were aware of ASD genetic testing.However,they lacked full understanding of genetic testing.They acquired relevant and necessary information from physicians,the internet,ASD organizations,and other caregivers.Between 9.1%to 72.7%of caregivers in different studies were referred for genetic testing,and between 17.4%to 61.7%actually obtained genetic testing.Most caregivers agreed there are potential benefits following genetic testing,including benefits for children,families,and others.However,two studies compared perceived pre-test and post-test benefits with conflicting findings.Caregivers concerns included high costs,unhelpful results,negative influences(e.g.,causing family conflicts,causing stress/risk/pain to children etc.)prevented some caregivers from using genetic testing.Nevertheless,46.7%to 95.0%caregivers without previous genetic testing experience intended to obtain it in the future,and 50.5%to 59.6%of parents previously obtaining genetic testing would recommend it to other parents.In a single study of child and adolescent psychiatrists,54.9%of respondents had ordered ASD genetic testing for their patients in the prior 12 mo,which was associated with greater knowledge of genetic testing.CONCLUSION Most caregivers are willing to learn about and use genetic testing.However,the review showed their current knowledge is limited and usage rates varied widely in different studies.展开更多
In the process of food testing,human operation is an important variable affecting the experimental results.In order to reasonably avoid the influence of human subjective operation behavior on the accuracy of detection...In the process of food testing,human operation is an important variable affecting the experimental results.In order to reasonably avoid the influence of human subjective operation behavior on the accuracy of detection results,the laboratory information management system was used as the information platform to design a high-throughput laboratory automation pre-treatment system based on the deep integration of mechanical principles,visual analysis,high-speed conduction,intelligent storage and other technical systems.The experimental results showed that the system could shorten the sample circulation cycle,effectively improve the laboratory biosafety,and meet the requirements of high-throughput processing of samples.展开更多
Confining stresses serve as a pivotal determinant in shaping the behavior of grouted rock bolts.Nonetheless,prior investigations have oversimplified the three-dimensional stress state,primarily assuming hydrostatic st...Confining stresses serve as a pivotal determinant in shaping the behavior of grouted rock bolts.Nonetheless,prior investigations have oversimplified the three-dimensional stress state,primarily assuming hydrostatic stress conditions.Under these conditions,it is assumed that the intermediate principal stress(σ_(2))equals the minimum principal stress(σ_(3)).This assumption overlooks the potential variations in magnitudes of in situ stress conditions along all three directions near an underground opening where a rock bolt is installed.In this study,a series of push tests was meticulously conducted under triaxial conditions.These tests involved applying non-uniform confining stresses(σ_(2)≠σ_(3))to cubic specimens,aiming to unveil the previously overlooked influence of intermediate principal stresses on the strength properties of rock bolts.The results show that as the confining stresses increase from zero to higher levels,the pre-failure behavior changes from linear to nonlinear forms,resulting in an increase in initial stiffness from 2.08 kN/mm to 32.51 kN/mm.The load-displacement curves further illuminate distinct post-failure behavior at elevated levels of confining stresses,characterized by enhanced stiffness.Notably,the peak load capacity ranged from 27.9 kN to 46.5 kN as confining stresses advanced from σ_(2)=σ_(3)=0 to σ_(2)=20 MPa and σ_(3)=10 MPa.Additionally,the outcomes highlight an influence of confining stress on the lateral deformation of samples.Lower levels of confinement prompt overall dilation in lateral deformation,while higher confinements maintain a state of shrinkage.Furthermore,diverse failure modes have been identified,intricately tied to the arrangement of confining stresses.Lower confinements tend to induce a splitting mode of failure,whereas higher loads bring about a shift towards a pure interfacial shear-off and shear-crushed failure mechanism.展开更多
The longitudinal dispersion of the projectile in shooting tests of two-dimensional trajectory corrections fused with fixed canards is extremely large that it sometimes exceeds the correction ability of the correction ...The longitudinal dispersion of the projectile in shooting tests of two-dimensional trajectory corrections fused with fixed canards is extremely large that it sometimes exceeds the correction ability of the correction fuse actuator.The impact point easily deviates from the target,and thus the correction result cannot be readily evaluated.However,the cost of shooting tests is considerably high to conduct many tests for data collection.To address this issue,this study proposes an aiming method for shooting tests based on small sample size.The proposed method uses the Bootstrap method to expand the test data;repeatedly iterates and corrects the position of the simulated theoretical impact points through an improved compatibility test method;and dynamically adjusts the weight of the prior distribution of simulation results based on Kullback-Leibler divergence,which to some extent avoids the real data being"submerged"by the simulation data and achieves the fusion Bayesian estimation of the dispersion center.The experimental results show that when the simulation accuracy is sufficiently high,the proposed method yields a smaller mean-square deviation in estimating the dispersion center and higher shooting accuracy than those of the three comparison methods,which is more conducive to reflecting the effect of the control algorithm and facilitating test personnel to iterate their proposed structures and algorithms.;in addition,this study provides a knowledge base for further comprehensive studies in the future.展开更多
BACKGROUND Helicobacter pylori(H.pylori)infection has been well-established as a significant risk factor for several gastrointestinal disorders.The urea breath test(UBT)has emerged as a leading non-invasive method for...BACKGROUND Helicobacter pylori(H.pylori)infection has been well-established as a significant risk factor for several gastrointestinal disorders.The urea breath test(UBT)has emerged as a leading non-invasive method for detecting H.pylori.Despite numerous studies confirming its substantial accuracy,the reliability of UBT results is often compromised by inherent limitations.These findings underscore the need for a rigorous statistical synthesis to clarify and reconcile the diagnostic accuracy of the UBT for the diagnosis of H.pylori infection.AIM To determine and compare the diagnostic accuracy of 13C-UBT and 14C-UBT for H.pylori infection in adult patients with dyspepsia.METHODS We conducted an independent search of the PubMed/MEDLINE,EMBASE,and Cochrane Central databases until April 2022.Our search included diagnostic accuracy studies that evaluated at least one of the index tests(^(13)C-UBT or ^(14)C-UBT)against a reference standard.We used the QUADAS-2 tool to assess the methodo-logical quality of the studies.We utilized the bivariate random-effects model to calculate sensitivity,specificity,positive and negative test likelihood ratios(LR+and LR-),as well as the diagnostic odds ratio(DOR),and their 95%confidence intervals.We conducted subgroup analyses based on urea dosing,time after urea administration,and assessment technique.To investigate a possible threshold effect,we conducted Spearman correlation analysis,and we generated summary receiver operating characteristic(SROC)curves to assess heterogeneity.Finally,we visually inspected a funnel plot and used Egger’s test to evaluate publication bias.endorsing both as reliable diagnostic tools in clinical practice.CONCLUSION In summary,our study has demonstrated that ^(13)C-UBT has been found to outperform the ^(14)C-UBT,making it the preferred diagnostic approach.Additionally,our results emphasize the significance of carefully considering urea dosage,assessment timing,and measurement techniques for both tests to enhance diagnostic precision.Nevertheless,it is crucial for researchers and clinicians to evaluate the strengths and limitations of our findings before implementing them in practice.展开更多
In this editorial,we discuss the article in the World Journal of Gastroenterology.The article conducts a meta-analysis of the diagnostic accuracy of the urea breath test(UBT),a non-invasive method for detecting Helico...In this editorial,we discuss the article in the World Journal of Gastroenterology.The article conducts a meta-analysis of the diagnostic accuracy of the urea breath test(UBT),a non-invasive method for detecting Helicobacter pylori(H.pylori)infection in humans.It is based on radionuclide-labeled urea.Various methods,both invasive and non-invasive,are available for diagnosing H.pylori infection,inclu-ding endoscopy with biopsy,serology for immunoglobulin titers,stool antigen analysis,and UBT.Several guidelines recommend UBTs as the primary choice for diagnosing H.pylori infection and for reexamining after eradication therapy.It is used to be the first choice non-invasive test due to their high accuracy,specificity,rapid results,and simplicity.Moreover,its performance remains unaffected by the distribution of H.pylori in the stomach,allowing a high flow of patients to be tested.Despite its widespread use,the performance characteristics of UBT have been inconsistently described and remain incompletely defined.There are two UBTs available with Food and Drug Administration approval:The 13C and 14C tests.Both tests are affordable and can provide real-time results.Physicians may prefer the 13C test because it is non-radioactive,compared to 14C which uses a radioactive isotope,especially in young children and pregnant women.Although there was heterogeneity among the studies regarding the diagnostic accuracy of both UBTs,13C-UBT consistently outperforms the 14C-UBT.This makes the 13C-UBT the preferred diagnostic approach.Furthermore,the provided findings of the meta-analysis emphasize the significance of precise considerations when choosing urea dosage,assessment timing,and measurement techniques for both the 13C-UBT and 14C-UBT,to enhance diagnostic precision.展开更多
Background:The ergogenic effects of caffeine intake on exercise performance are well-established,even if differences exist among individuals in response to caffeine intake.The genetic variation of a specific gene,huma...Background:The ergogenic effects of caffeine intake on exercise performance are well-established,even if differences exist among individuals in response to caffeine intake.The genetic variation of a specific gene,human cytochrome P450 enzyme 1A2(CYP1A2)(rs762551),may be one reason for this difference.This systematic review and meta-analysis aimed to comprehensively evaluate the influence of CYP1A2 gene types on athletes’exercise performance after caffeine intake.Methods:A literature search through 4 databases(Web of Science,PubMed,Scopus,and China National Knowledge Infrastructure)was conducted until March 2023.The effect size was expressed as the weighted mean difference(WMD)by calculating fixed effects meta-analysis if heterogeneity was not significant(I^(2)≤50%and p≥0.1).Subgroup analyses were performed based on AA and AC/CC genotype of CYP1A2.Results:The final number of studies meeting the inclusion criteria was 12(n=666 participants).The overall analysis showed that the cycling time trial significantly improved after caffeine intake(WMD=-0.48,95%confidence interval(95%CI):-0.83 to-0.13,p=0.007).In subgroup analyses,acute caffeine intake improved cycling time trial only in individuals with the A allele(WMD=-0.90,95%CI:-1.48 to-0.33,p=0.002),but not the C allele(WMD=-0.08,95%CI:-0.32 to 0.17,p=0.53).Caffeine supplementation did not influence the Wingate(WMD=8.07,95%CI:-22.04 to 38.18,p=0.60)or countermovement jump test(CMJ)performance(WMD=1.17,95%CI:-0.02 to 2.36,p=0.05),and these outcomes were not influenced by CYP1A2 genotype.Conclusion:Participants with the CYP1A2 genotype with A allele improved their cycling time trials after caffeine supplementation.However,compared to placebo,acute caffeine supplementation failed to increase the Wingate or CMJ performance,regardless of CYP1A2 genotype.展开更多
The beyond-dripline oxygen isotopes^(27,28)O were recently observed at RIKEN,and were found to be unbound decaying into^(24)O by emitting neutrons.The unbound feature of the heaviest oxygen isotope,^(28)O,provides an ...The beyond-dripline oxygen isotopes^(27,28)O were recently observed at RIKEN,and were found to be unbound decaying into^(24)O by emitting neutrons.The unbound feature of the heaviest oxygen isotope,^(28)O,provides an excellent test for stateof-the-art nuclear models.The atomic nucleus is a self-organized quantum manybody system comprising specific numbers of protons Z and neutrons N.展开更多
Rockbursts have become a significant hazard in underground mining,underscoring the need for a robust early warning model to ensure safety management.This study presents a novel approach for rockburst prediction,integr...Rockbursts have become a significant hazard in underground mining,underscoring the need for a robust early warning model to ensure safety management.This study presents a novel approach for rockburst prediction,integrating the Mann-Kendall trend test(MKT)and multi-indices fusion to enable real-time and quantitative assessment of rockburst hazards.The methodology employed in this study involves the development of a comprehensive precursory index library for rockbursts.The MKT is then applied to analyze the real-time trend of each index,with adherence to rockburst characterization laws serving as the warning criterion.By employing a confusion matrix,the warning effectiveness of each index is assessed,enabling index preference determination.Ultimately,the integrated rockburst hazard index Q is derived through data fusion.The results demonstrate that the proposed model achieves a warning effectiveness of 0.563 for Q,surpassing the performance of any individual index.Moreover,the model’s adaptability and scalability are enhanced through periodic updates driven by actual field monitoring data,making it suitable for complex underground working environments.By providing an efficient and accurate basis for decision-making,the proposed model holds great potential for the prevention and control of rockbursts.It offers a valuable tool for enhancing safety measures in underground mining operations.展开更多
The unmanned aerial vehicle(UAV)swarm plays an increasingly important role in the modern battlefield,and the UAV swarm operational test is a vital means to validate the combat effectiveness of the UAV swarm.Due to the...The unmanned aerial vehicle(UAV)swarm plays an increasingly important role in the modern battlefield,and the UAV swarm operational test is a vital means to validate the combat effectiveness of the UAV swarm.Due to the high cost and long duration of operational tests,it is essential to plan the test in advance.To solve the problem of planning UAV swarm operational test,this study considers the multi-stage feature of a UAV swarm mission,composed of launch,flight and combat stages,and proposes a method to find test plans that can maximize mission reliability.Therefore,a multi-stage mission reliability model for a UAV swarm is proposed to ensure successful implementation of the mission.A multi-objective integer optimization method that considers both mission reliability and cost is then formulated to obtain the optimal test plans.This study first constructs a mission reliability model for the UAV swarm in the combat stage.Then,the launch stage and flight stage are integrated to develop a complete PMS(Phased Mission Systems)reliability model.Finally,the Binary Decision Diagrams(BDD)and Multi Objective Quantum Particle Swarm Optimization(MOQPSO)methods are proposed to solve the model.The optimal plans considering both reliability and cost are obtained.The proposed model supports the planning of UAV swarm operational tests and represents a meaningful exploration of UAV swarm test planning.展开更多
The Sichuan-Tibet transportation corridor is prone to numerous active faults and frequent strong earthquakes.While extensive studies have individually explored the effect of active faults and strong earthquakes on dif...The Sichuan-Tibet transportation corridor is prone to numerous active faults and frequent strong earthquakes.While extensive studies have individually explored the effect of active faults and strong earthquakes on different engineering structures,their combined effect remains unclear.This research employed multiple physical model tests to investigate the dynamic response of various engineering structures,including tunnels,bridges,and embankments,under the simultaneous influence of cumulative earthquakes and stick-slip misalignment of an active fault.The prototype selected for this study was the Kanding No.2 tunnel,which crosses the Yunongxi fault zone within the Sichuan-Tibet transportation corridor.The results demonstrated that the tunnel,bridge,and embankment exhibited amplification in response to the input seismic wave,with the amplification effect gradually decreasing as the input peak ground acceleration(PGA)increased.The PGAs of different engineering structures were weakened by the fault rupture zone.Nevertheless,the misalignment of the active fault may decrease the overall stiffness of the engineering structure,leading to more severe damage,with a small contribution from seismic vibration.Additionally,the seismic vibration effect might be enlarged with the height of the engineering structure,and the tunnel is supposed to have a smaller PGA and lower dynamic earth pressure compared to bridges and embankments in strong earthquake zones crossing active faults.The findings contribute valuable insights for evaluating the dynamic response of various engineering structures crossing an active fault and provide an experimental reference for secure engineering design in the challenging conditions of the Sichuan-Tibet transportation corridor.展开更多
Edge devices,due to their limited computational and storage resources,often require the use of compilers for program optimization.Therefore,ensuring the security and reliability of these compilers is of paramount impo...Edge devices,due to their limited computational and storage resources,often require the use of compilers for program optimization.Therefore,ensuring the security and reliability of these compilers is of paramount importance in the emerging field of edge AI.One widely used testing method for this purpose is fuzz testing,which detects bugs by inputting random test cases into the target program.However,this process consumes significant time and resources.To improve the efficiency of compiler fuzz testing,it is common practice to utilize test case prioritization techniques.Some researchers use machine learning to predict the code coverage of test cases,aiming to maximize the test capability for the target compiler by increasing the overall predicted coverage of the test cases.Nevertheless,these methods can only forecast the code coverage of the compiler at a specific optimization level,potentially missing many optimization-related bugs.In this paper,we introduce C-CORE(short for Clustering by Code Representation),the first framework to prioritize test cases according to their code representations,which are derived directly from the source codes.This approach avoids being limited to specific compiler states and extends to a broader range of compiler bugs.Specifically,we first train a scaled pre-trained programming language model to capture as many common features as possible from the test cases generated by a fuzzer.Using this pre-trained model,we then train two downstream models:one for predicting the likelihood of triggering a bug and another for identifying code representations associated with bugs.Subsequently,we cluster the test cases according to their code representations and select the highest-scoring test case from each cluster as the high-quality test case.This reduction in redundant testing cases leads to time savings.Comprehensive evaluation results reveal that code representations are better at distinguishing test capabilities,and C-CORE significantly enhances testing efficiency.Across four datasets,C-CORE increases the average of the percentage of faults detected(APFD)value by 0.16 to 0.31 and reduces test time by over 50% in 46% of cases.When compared to the best results from approaches using predicted code coverage,C-CORE improves the APFD value by 1.1% to 12.3% and achieves an overall time-saving of 159.1%.展开更多
The through-diffusion and membrane behavior testing procedure using a closed-system apparatus has been widely used for concurrent measurement of diffusion and membrane efficiency coefficients of low-permeability clay-...The through-diffusion and membrane behavior testing procedure using a closed-system apparatus has been widely used for concurrent measurement of diffusion and membrane efficiency coefficients of low-permeability clay-based barrier materials.However,the common assumption of perfectly flushing conditions at the specimen boundaries could induce errors in analyses of the diffusion coefficients and membrane efficiencies.In this study,an innovative pseudo three-dimensional(3D)analytical method was proposed to evaluate solute distribution along the boundary surfaces of the soil-porous disks system,considering the non-perfectly flushing conditions.The results were consistent with numerical models under two scenarios considering different inflow/outflow positions.The proposed model has been demonstrated to be an accurate and reliable method to estimate solute distributions along the bound-aries.The calculated membrane efficiency coefficient and diffusion coefficient based on the proposed analytical method are more accurate,resulting in up to 50%less relative error than the traditional approach that adopts the arithmetic mean value of the influent and effluent concentrations.The retar-dation factor of the clay specimen also can be calculated with a revised cumulative mass approach.Finally,the simulated transient solute transport matched with experimental data from a multi-stage through-diffusion and membrane behavior test,validating the accuracy of the proposed method.展开更多
基金supported by the National Natural Science Foundation of China(Nos.51927807,52074164,42277174,42077267 and 42177130)the Natural Science Foundation of Shandong Province,China(No.ZR2020JQ23)China University of Mining and Technology(Beijing)Top Innovative Talent Cultivation Fund for Doctoral Students(No.BBJ2023048)。
文摘In underground engineering with complex conditions,the bolt(cable)anchorage support system is in an environment where static and dynamic stresses coexist,under the action of geological conditions such as high stresses and strong disturbances and construction conditions such as the application of high prestress.It is essential to study the support components performance under dynamic-static coupling conditions.Based on this,a multi-functional anchorage support dynamic-static coupling performance test system(MAC system)is developed,which can achieve 7 types of testing functions,including single component performance,anchored net performance,anchored rock performance and so on.The bolt and cable mechanical tests are conducted by MAC system under different prestress levels.The results showed that compared to the non-prestress condition,the impact resistance performance of prestressed bolts(cables)is significantly reduced.In the prestress range of 50–160 k N,the maximum reduction rate of impact energy resisted by different types of bolts is 53.9%–61.5%compared to non-prestress condition.In the prestress range of 150–300 k N,the impact energy resisted by high-strength cable is reduced by76.8%–84.6%compared to non-prestress condition.The MAC system achieves dynamic-static coupling performance test,which provide an effective means for the design of anchorage support system.
基金Supported by 2023 Xinjiang Uygur Autonomous Region R&D and Promotion and Application of Key Technologies of CNC Sprayer for Seed Corn(2023NC010).
文摘In conjunction with the working characteristics of the high-clearance wheeled sprayer and the benefits of the closed hydraulic system,a series of reasonable working parameters should be established,and a hydraulic system that fulfills the requisite specifications should be designed.The AMESim software model is employed to construct a closed hydraulic transmission system,and the simulation analysis is then performed according to the data of hydraulic components.According to analysis results,the prototype can be optimized and upgraded,and a verification test is further carried out.The test results demonstrate that the designed closed hydraulic transmission system meets the actual working requirements of the high-clearance wheeled sprayer and provides a stable experimental platform for intelligent control of agricultural machinery.
文摘A multi-purpose prototype test system is developed to study the mechanical behavior of tunnel sup-porting structure,including a modular counterforce device,a powerful loading equipment,an advanced intelligent management system and an efficient noncontact deformation measurement system.The functions of the prototype test system are adjustable size and shape of the modular counterforce structure,sufficient load reserve and accurate loading,multi-connection linkage intelligent management,and high-precision and continuously positioned noncontact deformation measurement.The modular counterforce structure is currently the largest in the world,with an outer diameter of 20.5 m,an inner diameter of 16.5 m and a height of 6 m.The case application proves that the prototype test system can reproduce the mechanical behavior of the tunnel lining during load-bearing,deformation and failure processes in detail.
基金[King Abdulaziz University][Deanship of Scientific Research]Grant Number[KEP-PHD-20-611-42].
文摘Recently,researchers have shown increasing interest in combining more than one programming model into systems running on high performance computing systems(HPCs)to achieve exascale by applying parallelism at multiple levels.Combining different programming paradigms,such as Message Passing Interface(MPI),Open Multiple Processing(OpenMP),and Open Accelerators(OpenACC),can increase computation speed and improve performance.During the integration of multiple models,the probability of runtime errors increases,making their detection difficult,especially in the absence of testing techniques that can detect these errors.Numerous studies have been conducted to identify these errors,but no technique exists for detecting errors in three-level programming models.Despite the increasing research that integrates the three programming models,MPI,OpenMP,and OpenACC,a testing technology to detect runtime errors,such as deadlocks and race conditions,which can arise from this integration has not been developed.Therefore,this paper begins with a definition and explanation of runtime errors that result fromintegrating the three programming models that compilers cannot detect.For the first time,this paper presents a classification of operational errors that can result from the integration of the three models.This paper also proposes a parallel hybrid testing technique for detecting runtime errors in systems built in the C++programming language that uses the triple programming models MPI,OpenMP,and OpenACC.This hybrid technology combines static technology and dynamic technology,given that some errors can be detected using static techniques,whereas others can be detected using dynamic technology.The hybrid technique can detect more errors because it combines two distinct technologies.The proposed static technology detects a wide range of error types in less time,whereas a portion of the potential errors that may or may not occur depending on the 4502 CMC,2023,vol.74,no.2 operating environment are left to the dynamic technology,which completes the validation.
基金This work was supported in part by the National Research Foundation of Korea(NRF)funded by the Ministry of Science and ICT(MSIT)Future Planning under Grant NRF-2020R1A2C2014336 and Grant NRF-2021R1A4A1029650.
文摘Despite the advances in automated vulnerability detection approaches,security vulnerabilities caused by design flaws in software systems are continuously appearing in real-world systems.Such security design flaws can bring unrestricted and misimplemented behaviors of a system and can lead to fatal vulnerabilities such as remote code execution or sensitive data leakage.Therefore,it is an essential task to discover unrestricted and misimplemented behaviors of a system.However,it is a daunting task for security experts to discover such vulnerabilities in advance because it is timeconsuming and error-prone to analyze the whole code in detail.Also,most of the existing vulnerability detection approaches still focus on detecting memory corruption bugs because these bugs are the dominant root cause of software vulnerabilities.This paper proposes SMINER,a novel approach that discovers vulnerabilities caused by unrestricted and misimplemented behaviors.SMINER first collects unit test cases for the target system from the official repository.Next,preprocess the collected code fragments.SMINER uses pre-processed data to show the security policies that can occur on the target system and creates a test case for security policy testing.To demonstrate the effectiveness of SMINER,this paper evaluates SMINER against Robot Operating System(ROS),a real-world system used for intelligent robots in Amazon and controlling satellites in National Aeronautics and Space Administration(NASA).From the evaluation,we discovered two real-world vulnerabilities in ROS.
基金funded by the Key Special Project for Introduced Talents Team of Southern Marine Science and Engineering Guangdong Laboratory (Guangzhou) (GML2019ZD0307)the Marine Geological Survey Program of China Geological Survey (DD20190218, DD20221706)+1 种基金the Key Program of Marine Economy Development Special Foundation of Department of Natural Resources of Guangdong Province (GDNRC [2020] 043)the National Natural Science Foundation of China (41806074, 41730528)。
文摘Internal solitary waves(ISWs) contain great energy and have the characteristics of emergency and concealment. To avoid their damage to offshore engineering, a new generation of monitoring and early warning system for ISWs was developed using technologies of double buoys monitoring, intelligent realtime data transmission, and automatic software identification. The system was applied to the second natural gas hydrates(NGHs) production test in the Shenhu Area, South China Sea(SCS) and successfully provided the early warning of ISWs for 173 days(from October 2019 to April 2020). The abrupt changes in the thrust force of the drilling platform under the attack of ISWs were consistent with the early warning information, proving the reliability of this system. A total of 93 ISWs were detected around the drilling platform. Most of them occurred during the spring tides in October–December 2019 and April 2020, while few of them occurred in winter. As suggested by the theoretical model, the full-depth structure of ISWs was a typical current profile of mode-1, and the velocities of wave-induced currents can reach 80 cm/s and30 cm/s, respectively, in the upper ocean and near the seabed. The ISWs may be primarily generated from the interactions between the topography and semidiurnal tides in the Luzon Strait, and then propagate westward to the drilling platform. This study could serve as an important reference for the early warning of ISWs for offshore engineering construction in the future.
基金the National Natural Science Foundation of China,No.81920108018(Li T and Sham P),No.82001409(Zhang YM)the Key R&D Program of Zhejiang,No.2022C03096(Li T)Project for Hangzhou Medical Disciplines of Excellence。
文摘BACKGROUND Several genetic testing techniques have been recommended as a first-tier diagnostic tool in clinical practice for diagnosing autism spectrum disorder(ASD).However,the actual usage rate varies dramatically.This is due to various reasons,including knowledge and attitudes of caregivers,patients,and health providers toward genetic testing.Several studies have therefore been conducted worldwide to investigate the knowledge,experiences,and attitudes toward genetic testing among caregivers of children with ASD,adolescent and adult ASD patients,and health providers who provide medical services for them.However,no systematic review has been done.AIM To systematically review research on knowledge,experiences,and attitudes towards genetic testing among caregivers of children with ASD,adolescent and adult ASD patients,and health providers.METHODS We followed the Preferred Reporting Items for Systematic Reviews and Metaanalyses guidelines and searched the literature in three English language databases(PubMed,Web of Science,and PsychInfo)and two Chinese databases(CNKI and Wanfang).Searched literature was screened independently by two reviewers and discussed when inconsistency existed.Information on characteristics of the study,characteristics of participants,and main findings regarding knowledge,experience,and attitudes of caregivers of children with ASD,adolescent and adult ASD patients,and health providers concerning ASD genetic testing were extracted from included papers into a charting form for analysis.RESULTS We included 30 studies published between 2012 and 2022 and conducted in 9 countries.Most of the studies(n=29)investigated caregivers of children with ASD,one study also included adolescent and adult patients,and two covered health providers.Most(51.0%-100%)of the caregivers/patients knew there was a genetic cause for ASD and 17.0%to 78.1%were aware of ASD genetic testing.However,they lacked full understanding of genetic testing.They acquired relevant and necessary information from physicians,the internet,ASD organizations,and other caregivers.Between 9.1%to 72.7%of caregivers in different studies were referred for genetic testing,and between 17.4%to 61.7%actually obtained genetic testing.Most caregivers agreed there are potential benefits following genetic testing,including benefits for children,families,and others.However,two studies compared perceived pre-test and post-test benefits with conflicting findings.Caregivers concerns included high costs,unhelpful results,negative influences(e.g.,causing family conflicts,causing stress/risk/pain to children etc.)prevented some caregivers from using genetic testing.Nevertheless,46.7%to 95.0%caregivers without previous genetic testing experience intended to obtain it in the future,and 50.5%to 59.6%of parents previously obtaining genetic testing would recommend it to other parents.In a single study of child and adolescent psychiatrists,54.9%of respondents had ordered ASD genetic testing for their patients in the prior 12 mo,which was associated with greater knowledge of genetic testing.CONCLUSION Most caregivers are willing to learn about and use genetic testing.However,the review showed their current knowledge is limited and usage rates varied widely in different studies.
文摘In the process of food testing,human operation is an important variable affecting the experimental results.In order to reasonably avoid the influence of human subjective operation behavior on the accuracy of detection results,the laboratory information management system was used as the information platform to design a high-throughput laboratory automation pre-treatment system based on the deep integration of mechanical principles,visual analysis,high-speed conduction,intelligent storage and other technical systems.The experimental results showed that the system could shorten the sample circulation cycle,effectively improve the laboratory biosafety,and meet the requirements of high-throughput processing of samples.
文摘Confining stresses serve as a pivotal determinant in shaping the behavior of grouted rock bolts.Nonetheless,prior investigations have oversimplified the three-dimensional stress state,primarily assuming hydrostatic stress conditions.Under these conditions,it is assumed that the intermediate principal stress(σ_(2))equals the minimum principal stress(σ_(3)).This assumption overlooks the potential variations in magnitudes of in situ stress conditions along all three directions near an underground opening where a rock bolt is installed.In this study,a series of push tests was meticulously conducted under triaxial conditions.These tests involved applying non-uniform confining stresses(σ_(2)≠σ_(3))to cubic specimens,aiming to unveil the previously overlooked influence of intermediate principal stresses on the strength properties of rock bolts.The results show that as the confining stresses increase from zero to higher levels,the pre-failure behavior changes from linear to nonlinear forms,resulting in an increase in initial stiffness from 2.08 kN/mm to 32.51 kN/mm.The load-displacement curves further illuminate distinct post-failure behavior at elevated levels of confining stresses,characterized by enhanced stiffness.Notably,the peak load capacity ranged from 27.9 kN to 46.5 kN as confining stresses advanced from σ_(2)=σ_(3)=0 to σ_(2)=20 MPa and σ_(3)=10 MPa.Additionally,the outcomes highlight an influence of confining stress on the lateral deformation of samples.Lower levels of confinement prompt overall dilation in lateral deformation,while higher confinements maintain a state of shrinkage.Furthermore,diverse failure modes have been identified,intricately tied to the arrangement of confining stresses.Lower confinements tend to induce a splitting mode of failure,whereas higher loads bring about a shift towards a pure interfacial shear-off and shear-crushed failure mechanism.
基金the National Natural Science Foundation of China(Grant No.61973033)Preliminary Research of Equipment(Grant No.9090102010305)for funding the experiments。
文摘The longitudinal dispersion of the projectile in shooting tests of two-dimensional trajectory corrections fused with fixed canards is extremely large that it sometimes exceeds the correction ability of the correction fuse actuator.The impact point easily deviates from the target,and thus the correction result cannot be readily evaluated.However,the cost of shooting tests is considerably high to conduct many tests for data collection.To address this issue,this study proposes an aiming method for shooting tests based on small sample size.The proposed method uses the Bootstrap method to expand the test data;repeatedly iterates and corrects the position of the simulated theoretical impact points through an improved compatibility test method;and dynamically adjusts the weight of the prior distribution of simulation results based on Kullback-Leibler divergence,which to some extent avoids the real data being"submerged"by the simulation data and achieves the fusion Bayesian estimation of the dispersion center.The experimental results show that when the simulation accuracy is sufficiently high,the proposed method yields a smaller mean-square deviation in estimating the dispersion center and higher shooting accuracy than those of the three comparison methods,which is more conducive to reflecting the effect of the control algorithm and facilitating test personnel to iterate their proposed structures and algorithms.;in addition,this study provides a knowledge base for further comprehensive studies in the future.
基金Supported by Scientific Initiation Scholarship Programme(PIBIC)of the Bahia State Research Support Foundationthe Doctorate Scholarship Program of the Coordination of Improvement of Higher Education Personnel+1 种基金the Scientific Initiation Scholarship Programme(PIBIC)of the National Council for Scientific and Technological Developmentand the CNPq Research Productivity Fellowship.
文摘BACKGROUND Helicobacter pylori(H.pylori)infection has been well-established as a significant risk factor for several gastrointestinal disorders.The urea breath test(UBT)has emerged as a leading non-invasive method for detecting H.pylori.Despite numerous studies confirming its substantial accuracy,the reliability of UBT results is often compromised by inherent limitations.These findings underscore the need for a rigorous statistical synthesis to clarify and reconcile the diagnostic accuracy of the UBT for the diagnosis of H.pylori infection.AIM To determine and compare the diagnostic accuracy of 13C-UBT and 14C-UBT for H.pylori infection in adult patients with dyspepsia.METHODS We conducted an independent search of the PubMed/MEDLINE,EMBASE,and Cochrane Central databases until April 2022.Our search included diagnostic accuracy studies that evaluated at least one of the index tests(^(13)C-UBT or ^(14)C-UBT)against a reference standard.We used the QUADAS-2 tool to assess the methodo-logical quality of the studies.We utilized the bivariate random-effects model to calculate sensitivity,specificity,positive and negative test likelihood ratios(LR+and LR-),as well as the diagnostic odds ratio(DOR),and their 95%confidence intervals.We conducted subgroup analyses based on urea dosing,time after urea administration,and assessment technique.To investigate a possible threshold effect,we conducted Spearman correlation analysis,and we generated summary receiver operating characteristic(SROC)curves to assess heterogeneity.Finally,we visually inspected a funnel plot and used Egger’s test to evaluate publication bias.endorsing both as reliable diagnostic tools in clinical practice.CONCLUSION In summary,our study has demonstrated that ^(13)C-UBT has been found to outperform the ^(14)C-UBT,making it the preferred diagnostic approach.Additionally,our results emphasize the significance of carefully considering urea dosage,assessment timing,and measurement techniques for both tests to enhance diagnostic precision.Nevertheless,it is crucial for researchers and clinicians to evaluate the strengths and limitations of our findings before implementing them in practice.
文摘In this editorial,we discuss the article in the World Journal of Gastroenterology.The article conducts a meta-analysis of the diagnostic accuracy of the urea breath test(UBT),a non-invasive method for detecting Helicobacter pylori(H.pylori)infection in humans.It is based on radionuclide-labeled urea.Various methods,both invasive and non-invasive,are available for diagnosing H.pylori infection,inclu-ding endoscopy with biopsy,serology for immunoglobulin titers,stool antigen analysis,and UBT.Several guidelines recommend UBTs as the primary choice for diagnosing H.pylori infection and for reexamining after eradication therapy.It is used to be the first choice non-invasive test due to their high accuracy,specificity,rapid results,and simplicity.Moreover,its performance remains unaffected by the distribution of H.pylori in the stomach,allowing a high flow of patients to be tested.Despite its widespread use,the performance characteristics of UBT have been inconsistently described and remain incompletely defined.There are two UBTs available with Food and Drug Administration approval:The 13C and 14C tests.Both tests are affordable and can provide real-time results.Physicians may prefer the 13C test because it is non-radioactive,compared to 14C which uses a radioactive isotope,especially in young children and pregnant women.Although there was heterogeneity among the studies regarding the diagnostic accuracy of both UBTs,13C-UBT consistently outperforms the 14C-UBT.This makes the 13C-UBT the preferred diagnostic approach.Furthermore,the provided findings of the meta-analysis emphasize the significance of precise considerations when choosing urea dosage,assessment timing,and measurement techniques for both the 13C-UBT and 14C-UBT,to enhance diagnostic precision.
文摘Background:The ergogenic effects of caffeine intake on exercise performance are well-established,even if differences exist among individuals in response to caffeine intake.The genetic variation of a specific gene,human cytochrome P450 enzyme 1A2(CYP1A2)(rs762551),may be one reason for this difference.This systematic review and meta-analysis aimed to comprehensively evaluate the influence of CYP1A2 gene types on athletes’exercise performance after caffeine intake.Methods:A literature search through 4 databases(Web of Science,PubMed,Scopus,and China National Knowledge Infrastructure)was conducted until March 2023.The effect size was expressed as the weighted mean difference(WMD)by calculating fixed effects meta-analysis if heterogeneity was not significant(I^(2)≤50%and p≥0.1).Subgroup analyses were performed based on AA and AC/CC genotype of CYP1A2.Results:The final number of studies meeting the inclusion criteria was 12(n=666 participants).The overall analysis showed that the cycling time trial significantly improved after caffeine intake(WMD=-0.48,95%confidence interval(95%CI):-0.83 to-0.13,p=0.007).In subgroup analyses,acute caffeine intake improved cycling time trial only in individuals with the A allele(WMD=-0.90,95%CI:-1.48 to-0.33,p=0.002),but not the C allele(WMD=-0.08,95%CI:-0.32 to 0.17,p=0.53).Caffeine supplementation did not influence the Wingate(WMD=8.07,95%CI:-22.04 to 38.18,p=0.60)or countermovement jump test(CMJ)performance(WMD=1.17,95%CI:-0.02 to 2.36,p=0.05),and these outcomes were not influenced by CYP1A2 genotype.Conclusion:Participants with the CYP1A2 genotype with A allele improved their cycling time trials after caffeine supplementation.However,compared to placebo,acute caffeine supplementation failed to increase the Wingate or CMJ performance,regardless of CYP1A2 genotype.
基金This work was supported by the National Natural Science Foundation of China(Nos.12335007,11835001,11921006,12035001 and 12205340)the State Key Laboratory of Nuclear Physics and Technology,Peking University(No.NPT2020KFY13)Gansu Natural Science Foundation(No.22JR5RA123).
文摘The beyond-dripline oxygen isotopes^(27,28)O were recently observed at RIKEN,and were found to be unbound decaying into^(24)O by emitting neutrons.The unbound feature of the heaviest oxygen isotope,^(28)O,provides an excellent test for stateof-the-art nuclear models.The atomic nucleus is a self-organized quantum manybody system comprising specific numbers of protons Z and neutrons N.
基金The authors gratefully acknowledge the financial support from the National Natural Science Foundation of China(Grant Nos.52011530037 and 51904019)the Fundamental Research Funds for the Central Universities and the Youth Teacher International Exchange&Growth Program(Grant No.QNXM20210004).We also greatly appreciate the assistance provided by Kuangou coal mine,China Energy Group Xinjiang Energy Co.,Ltd.
文摘Rockbursts have become a significant hazard in underground mining,underscoring the need for a robust early warning model to ensure safety management.This study presents a novel approach for rockburst prediction,integrating the Mann-Kendall trend test(MKT)and multi-indices fusion to enable real-time and quantitative assessment of rockburst hazards.The methodology employed in this study involves the development of a comprehensive precursory index library for rockbursts.The MKT is then applied to analyze the real-time trend of each index,with adherence to rockburst characterization laws serving as the warning criterion.By employing a confusion matrix,the warning effectiveness of each index is assessed,enabling index preference determination.Ultimately,the integrated rockburst hazard index Q is derived through data fusion.The results demonstrate that the proposed model achieves a warning effectiveness of 0.563 for Q,surpassing the performance of any individual index.Moreover,the model’s adaptability and scalability are enhanced through periodic updates driven by actual field monitoring data,making it suitable for complex underground working environments.By providing an efficient and accurate basis for decision-making,the proposed model holds great potential for the prevention and control of rockbursts.It offers a valuable tool for enhancing safety measures in underground mining operations.
基金supported by the National Natural Science Foundation of China(with Granted Number 72271239,grant recipient P.J.),Research on the Design Method of Reliability Qualification Test for Complex Equipment Based on Multi-Source Information Fusion.https://www.nsfc.gov.cn/.
文摘The unmanned aerial vehicle(UAV)swarm plays an increasingly important role in the modern battlefield,and the UAV swarm operational test is a vital means to validate the combat effectiveness of the UAV swarm.Due to the high cost and long duration of operational tests,it is essential to plan the test in advance.To solve the problem of planning UAV swarm operational test,this study considers the multi-stage feature of a UAV swarm mission,composed of launch,flight and combat stages,and proposes a method to find test plans that can maximize mission reliability.Therefore,a multi-stage mission reliability model for a UAV swarm is proposed to ensure successful implementation of the mission.A multi-objective integer optimization method that considers both mission reliability and cost is then formulated to obtain the optimal test plans.This study first constructs a mission reliability model for the UAV swarm in the combat stage.Then,the launch stage and flight stage are integrated to develop a complete PMS(Phased Mission Systems)reliability model.Finally,the Binary Decision Diagrams(BDD)and Multi Objective Quantum Particle Swarm Optimization(MOQPSO)methods are proposed to solve the model.The optimal plans considering both reliability and cost are obtained.The proposed model supports the planning of UAV swarm operational tests and represents a meaningful exploration of UAV swarm test planning.
基金supported by the National Natural Science Foundation of China(Grant Nos.41825018,41977248,42207219)the Second Tibetan Plateau Scientific Expedition and Research Program(STEP)(Grant No.2019QZKK0904)。
文摘The Sichuan-Tibet transportation corridor is prone to numerous active faults and frequent strong earthquakes.While extensive studies have individually explored the effect of active faults and strong earthquakes on different engineering structures,their combined effect remains unclear.This research employed multiple physical model tests to investigate the dynamic response of various engineering structures,including tunnels,bridges,and embankments,under the simultaneous influence of cumulative earthquakes and stick-slip misalignment of an active fault.The prototype selected for this study was the Kanding No.2 tunnel,which crosses the Yunongxi fault zone within the Sichuan-Tibet transportation corridor.The results demonstrated that the tunnel,bridge,and embankment exhibited amplification in response to the input seismic wave,with the amplification effect gradually decreasing as the input peak ground acceleration(PGA)increased.The PGAs of different engineering structures were weakened by the fault rupture zone.Nevertheless,the misalignment of the active fault may decrease the overall stiffness of the engineering structure,leading to more severe damage,with a small contribution from seismic vibration.Additionally,the seismic vibration effect might be enlarged with the height of the engineering structure,and the tunnel is supposed to have a smaller PGA and lower dynamic earth pressure compared to bridges and embankments in strong earthquake zones crossing active faults.The findings contribute valuable insights for evaluating the dynamic response of various engineering structures crossing an active fault and provide an experimental reference for secure engineering design in the challenging conditions of the Sichuan-Tibet transportation corridor.
文摘Edge devices,due to their limited computational and storage resources,often require the use of compilers for program optimization.Therefore,ensuring the security and reliability of these compilers is of paramount importance in the emerging field of edge AI.One widely used testing method for this purpose is fuzz testing,which detects bugs by inputting random test cases into the target program.However,this process consumes significant time and resources.To improve the efficiency of compiler fuzz testing,it is common practice to utilize test case prioritization techniques.Some researchers use machine learning to predict the code coverage of test cases,aiming to maximize the test capability for the target compiler by increasing the overall predicted coverage of the test cases.Nevertheless,these methods can only forecast the code coverage of the compiler at a specific optimization level,potentially missing many optimization-related bugs.In this paper,we introduce C-CORE(short for Clustering by Code Representation),the first framework to prioritize test cases according to their code representations,which are derived directly from the source codes.This approach avoids being limited to specific compiler states and extends to a broader range of compiler bugs.Specifically,we first train a scaled pre-trained programming language model to capture as many common features as possible from the test cases generated by a fuzzer.Using this pre-trained model,we then train two downstream models:one for predicting the likelihood of triggering a bug and another for identifying code representations associated with bugs.Subsequently,we cluster the test cases according to their code representations and select the highest-scoring test case from each cluster as the high-quality test case.This reduction in redundant testing cases leads to time savings.Comprehensive evaluation results reveal that code representations are better at distinguishing test capabilities,and C-CORE significantly enhances testing efficiency.Across four datasets,C-CORE increases the average of the percentage of faults detected(APFD)value by 0.16 to 0.31 and reduces test time by over 50% in 46% of cases.When compared to the best results from approaches using predicted code coverage,C-CORE improves the APFD value by 1.1% to 12.3% and achieves an overall time-saving of 159.1%.
基金The financial support received from the Ministry of Science and Technology of the People’s Republic of China(Grant No.2019YFC1806002)National Natural Science Foundation of China(Grant Nos.42107174,42077241)is gratefully acknowledged.
文摘The through-diffusion and membrane behavior testing procedure using a closed-system apparatus has been widely used for concurrent measurement of diffusion and membrane efficiency coefficients of low-permeability clay-based barrier materials.However,the common assumption of perfectly flushing conditions at the specimen boundaries could induce errors in analyses of the diffusion coefficients and membrane efficiencies.In this study,an innovative pseudo three-dimensional(3D)analytical method was proposed to evaluate solute distribution along the boundary surfaces of the soil-porous disks system,considering the non-perfectly flushing conditions.The results were consistent with numerical models under two scenarios considering different inflow/outflow positions.The proposed model has been demonstrated to be an accurate and reliable method to estimate solute distributions along the bound-aries.The calculated membrane efficiency coefficient and diffusion coefficient based on the proposed analytical method are more accurate,resulting in up to 50%less relative error than the traditional approach that adopts the arithmetic mean value of the influent and effluent concentrations.The retar-dation factor of the clay specimen also can be calculated with a revised cumulative mass approach.Finally,the simulated transient solute transport matched with experimental data from a multi-stage through-diffusion and membrane behavior test,validating the accuracy of the proposed method.