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.展开更多
This research aims to propose a practical framework designed for the automatic analysis of a product’s comprehensive functionality and security vulnerabilities,generating applicable guidelines based on real-world sof...This research aims to propose a practical framework designed for the automatic analysis of a product’s comprehensive functionality and security vulnerabilities,generating applicable guidelines based on real-world software.The existing analysis of software security vulnerabilities often focuses on specific features or modules.This partial and arbitrary analysis of the security vulnerabilities makes it challenging to comprehend the overall security vulnerabilities of the software.The key novelty lies in overcoming the constraints of partial approaches.The proposed framework utilizes data from various sources to create a comprehensive functionality profile,facilitating the derivation of real-world security guidelines.Security guidelines are dynamically generated by associating functional security vulnerabilities with the latest Common Vulnerabilities and Exposure(CVE)and Common Vulnerability Scoring System(CVSS)scores,resulting in automated guidelines tailored to each product.These guidelines are not only practical but also applicable in real-world software,allowing for prioritized security responses.The proposed framework is applied to virtual private network(VPN)software,wherein a validated Level 2 data flow diagram is generated using the Spoofing,Tampering,Repudiation,Information Disclosure,Denial of Service,and Elevation of privilege(STRIDE)technique with references to various papers and examples from related software.The analysis resulted in the identification of a total of 121 vulnerabilities.The successful implementation and validation demonstrate the framework’s efficacy in generating customized guidelines for entire systems,subsystems,and selected modules.展开更多
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.展开更多
The deteriorated continuous rigid frame bridge is strengthened by external prestressing. Static loading tests wereconducted before and after the bridge rehabilitation to verify the effectiveness of the rehabilitation ...The deteriorated continuous rigid frame bridge is strengthened by external prestressing. Static loading tests wereconducted before and after the bridge rehabilitation to verify the effectiveness of the rehabilitation process. Thestiffness of the repaired bridge is improved, and the maximum deflection of the load test is reduced from 37.9 to27.6 mm. A bridge health monitoring system is installed after the bridge is reinforced. To achieve an easy assessmentof the bridge’s safety status by directly using transferred data, a real-time safety warning system is createdbased on a five-level safety standard. The threshold for each safety level will be determined by theoretical calculationsand the outcomes of static loading tests. The highest risk threshold will be set at the ultimate limit statevalue. The remaining levels, namely middle risk, low risk, and very low risk, will be determined usingreduction coefficients of 0.95, 0.9, and 0.8, respectively.展开更多
Automated Guided Vehicles(AGVs)have been introduced into various applications,such as automated warehouse systems,flexible manufacturing systems,and container terminal systems.However,few publications have outlined pr...Automated Guided Vehicles(AGVs)have been introduced into various applications,such as automated warehouse systems,flexible manufacturing systems,and container terminal systems.However,few publications have outlined problems in need of attention in AGV applications comprehensively.In this paper,several key issues and essential models are presented.First,the advantages and disadvantages of centralized and decentralized AGVs systems were compared;second,warehouse layout and operation optimization were introduced,including some omitted areas,such as AGVs fleet size and electrical energy management;third,AGVs scheduling algorithms in chessboardlike environments were analyzed;fourth,the classical route-planning algorithms for single AGV and multiple AGVs were presented,and some Artificial Intelligence(AI)-based decision-making algorithms were reviewed.Furthermore,a novel idea for accelerating route planning by combining Reinforcement Learning(RL)andDijkstra’s algorithm was presented,and a novel idea of the multi-AGV route-planning method of combining dynamic programming and Monte-Carlo tree search was proposed to reduce the energy cost of systems.展开更多
This paper proposes an autopilot system that can be used to control the small scale rotorcraft during the flight test for linear-frequency-domain system identification. The input frequency-sweep is generated automatic...This paper proposes an autopilot system that can be used to control the small scale rotorcraft during the flight test for linear-frequency-domain system identification. The input frequency-sweep is generated automatically as part of the autopilot control command. Therefore the bandwidth coverage and consistency of the frequency-sweep are guaranteed to produce high quality data for system identification. Beside that, we can set the safety parameters during the flight test (maximum roll/pitch value, minimum altitude, etc.) so the safety of the whole flight test is guaranteed. This autopilot system is validated using hardware in the loop simulator for hover flight condition.展开更多
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.展开更多
Context and objective: The COVID-19 pandemic has become a major public health problem and has mobilized many innovative means of diagnosis. The Central African Republic is not spared. The emergence of variants and the...Context and objective: The COVID-19 pandemic has become a major public health problem and has mobilized many innovative means of diagnosis. The Central African Republic is not spared. The emergence of variants and their impact require health monitoring despite the obligation of vaccination. The purpose of this campaign was to determine the circulation of pending second-wave variants. Patients and Methods: A second mass screening campaign took place from 02 to 22 July 2021 in the main land and river entry points of Bangui (Exit North-PK12, Exit South-PK9, Port Beach) and at the LNBCSP. Antigenic and RT-PCR tests carried out on nasopharyngeal samples made it possible to select strains which were finally sequenced. Results: Of 2687 participants included in the study, 53 (1.97%) were positive for SARS-CoV-2. Thirteen (1.53%) were male and 40 (2.18%) female. The analyses carried out on the LumiraDx analyzer were positive for 109 samples against 53 on the RT-PCR. The prevalence was higher in the most tested age groups (30 to 50 years) with two clusters identified. B.1.617.2 (Delta) variants were predominant (57%). Conclusion: SARS-CoV-2 continues to circulate. The acquisition of automated antigenic tests (LumiraDx®) with sensitivity and specificity close to those of the reference test (RT-PCR) will allow better mass diagnosis for an optimization of the surveillance of COVID-19 in our countries with limited resources. The predominance of the B.1.617.2 (Delta) variant would suggest a third wave in the Central African Republic.展开更多
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.展开更多
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.展开更多
The present paper proposes an automated Laser-Induced Breakdown Spectroscopy (LIBS) analytical test system, which consists of a LIBS measurement and control platform based on a modular design concept, and a LIBS qua...The present paper proposes an automated Laser-Induced Breakdown Spectroscopy (LIBS) analytical test system, which consists of a LIBS measurement and control platform based on a modular design concept, and a LIBS qualitative spectrum analysis software and is developed in C#. The platform provides flexible interfacing and automated control; it is compatible with different manufacturer component models and is constructed in modularized form for easy ex- pandability. During peak identification, a more robust peak identification method with improved stability in peak identification has been achieved by applying additional smoothing on the slope obtained by calculation before peak identification. For the purpose of element identification, an improved main lines analysis method, which detects all elements on the spectral peak to avoid omission of certain elements without strong spectral lines, is applied to element identification in the tested LIBS samples. This method also increases the identification speed. In this paper, actual applications have been carried out. According to tests, the analytical test system is compatible with components of various models made by different manufacturers. It can automatically control components to get experimental data and conduct filtering, peak identification and qualitative analysis, etc. on spectral data.展开更多
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.展开更多
Software testing is an important and cost intensive activity in software development.The major contribution in cost is due to test case generations.Requirement-based testing is an approach in which test cases are deri...Software testing is an important and cost intensive activity in software development.The major contribution in cost is due to test case generations.Requirement-based testing is an approach in which test cases are derivative from requirements without considering the implementation’s internal structure.Requirement-based testing includes functional and nonfunctional requirements.The objective of this study is to explore the approaches that generate test cases from requirements.A systematic literature review based on two research questions and extensive quality assessment criteria includes studies.The study identies 30 primary studies from 410 studies spanned from 2000 to 2018.The review’s nding shows that 53%of journal papers,42%of conference papers,and 5%of book chapters’address requirementsbased testing.Most of the studies use UML,activity,and use case diagrams for test case generation from requirements.One of the signicant lessons learned is that most software testing errors are traced back to errors in natural language requirements.A substantial amount of work focuses on UML diagrams for test case generations,which cannot capture all the system’s developed attributes.Furthermore,there is a lack of UML-based models that can generate test cases from natural language requirements by rening them in context.Coverage criteria indicate how efciently the testing has been performed 12.37%of studies use requirements coverage,20%of studies cover path coverage,and 17%study basic coverage.展开更多
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.展开更多
The continuous growth in the scale of unmanned aerial vehicle (UAV) applications in transmission line inspection has resulted in a corresponding increase in the demand for UAV inspection image processing. Owing to its...The continuous growth in the scale of unmanned aerial vehicle (UAV) applications in transmission line inspection has resulted in a corresponding increase in the demand for UAV inspection image processing. Owing to its excellent performance in computer vision, deep learning has been applied to UAV inspection image processing tasks such as power line identification and insulator defect detection. Despite their excellent performance, electric power UAV inspection image processing models based on deep learning face several problems such as a small application scope, the need for constant retraining and optimization, and high R&D monetary and time costs due to the black-box and scene data-driven characteristics of deep learning. In this study, an automated deep learning system for electric power UAV inspection image analysis and processing is proposed as a solution to the aforementioned problems. This system design is based on the three critical design principles of generalizability, extensibility, and automation. Pre-trained models, fine-tuning (downstream task adaptation), and automated machine learning, which are closely related to these design principles, are reviewed. In addition, an automated deep learning system architecture for electric power UAV inspection image analysis and processing is presented. A prototype system was constructed and experiments were conducted on the two electric power UAV inspection image analysis and processing tasks of insulator self-detonation and bird nest recognition. The models constructed using the prototype system achieved 91.36% and 86.13% mAP for insulator self-detonation and bird nest recognition, respectively. This demonstrates that the system design concept is reasonable and the system architecture feasible .展开更多
Deep learning is the subset of artificial intelligence and it is used for effective decision making.Wireless Sensor based automated irrigation system is proposed to monitor and cultivate crop.Our system consists of Dis...Deep learning is the subset of artificial intelligence and it is used for effective decision making.Wireless Sensor based automated irrigation system is proposed to monitor and cultivate crop.Our system consists of Distributed wire-less sensor environment to handle the moisture of the soil and temperature levels.It is automated process and useful for minimizing the usage of resources such as water level,quality of the soil,fertilizer values and controlling the whole system.The mobile app based smart control system is designed using deep belief network.This system has multiple sensors placed in agriculturalfield and collect the data.The collected transmitted to cloud server and deep learning process is applied for making decisions.DeepQ residue analysis method is proposed for analyzing auto-mated and sensor captured data.Here,we used 512×512×3 layers deep belief network and 10000 trained data and 2500 test data are taken for evaluations.It is automated process once data is collected deep belief network is generated.The performance is compared with existing results and our process method has 94%of accuracy factor.Also,our system has low cost and energy consumption also suitable for all kind of agriculturalfields.展开更多
The need for efficient and reproducible development processes for sensor and perception systems is growing with their increased use in modern vehicles. Such processes can be achieved by using virtual test environments...The need for efficient and reproducible development processes for sensor and perception systems is growing with their increased use in modern vehicles. Such processes can be achieved by using virtual test environments and virtual sensor models. In the context of this, the present paper documents the development of a sensor model for depth estimation of virtual three-dimensional scenarios. For this purpose, the geometric and algorithmic principles of stereoscopic camera systems are recreated in a virtual form. The model is implemented as a subroutine in the Epic Games Unreal Engine, which is one of the most common Game Engines. Its architecture consists of several independent procedures that enable a local depth estimation, but also a reconstruction of a whole three-dimensional scenery. In addition, a separate programme for calibrating the model is presented. In addition to the basic principles, the architecture and the implementation, this work also documents the evaluation of the model created. It is shown that the model meets specifically defined requirements for real-time capability and the accuracy of the evaluation. Thus, it is suitable for the virtual testing of common algorithms and highly automated driving functions.展开更多
Software testing is the methodology of analyzing the nature of software to test if it works as anticipated so as to boost its reliability and quality.These two characteristics are very critical in the software applica...Software testing is the methodology of analyzing the nature of software to test if it works as anticipated so as to boost its reliability and quality.These two characteristics are very critical in the software applications of present times.When testers want to perform scenario evaluations,test oracles are generally employed in the third phase.Upon test case execution and test outcome generation,it is essential to validate the results so as to establish the software behavior’s correctness.By choosing a feasible technique for the test case optimization and prioritization as along with an appropriate assessment of the application,leads to a reduction in the fault detection work with minimal loss of information and would also greatly reduce the cost for clearing up.A hybrid Particle Swarm Optimization(PSO)with Stochastic Diffusion Search(PSO-SDS)based Neural Network,and a hybrid Harmony Search with Stochastic Diffusion Search(HS-SDS)based Neural Network has been proposed in this work.Further to evaluate the performance,it is compared with PSO-SDS based artificial Neural Network(PSO-SDS ANN)and Artificial Neural Network(ANN).The Misclassification of correction output(MCO)of HS-SDS Neural Network is 6.37 for 5 iterations and is well suited for automated testing.展开更多
基金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.
基金This work is the result of commissioned research project supported by the Affiliated Institute of ETRI(2022-086)received by Junho AhnThis research was supported by the National Research Foundation of Korea(NRF)Basic Science Research Program funded by the Ministry of Education(No.2020R1A6A1A03040583)this work was supported by Korea Institute for Advancement of Technology(KIAT)Grant funded by the Korea government(MOTIE)(P0008691,HRD Program for Industrial Innovation).
文摘This research aims to propose a practical framework designed for the automatic analysis of a product’s comprehensive functionality and security vulnerabilities,generating applicable guidelines based on real-world software.The existing analysis of software security vulnerabilities often focuses on specific features or modules.This partial and arbitrary analysis of the security vulnerabilities makes it challenging to comprehend the overall security vulnerabilities of the software.The key novelty lies in overcoming the constraints of partial approaches.The proposed framework utilizes data from various sources to create a comprehensive functionality profile,facilitating the derivation of real-world security guidelines.Security guidelines are dynamically generated by associating functional security vulnerabilities with the latest Common Vulnerabilities and Exposure(CVE)and Common Vulnerability Scoring System(CVSS)scores,resulting in automated guidelines tailored to each product.These guidelines are not only practical but also applicable in real-world software,allowing for prioritized security responses.The proposed framework is applied to virtual private network(VPN)software,wherein a validated Level 2 data flow diagram is generated using the Spoofing,Tampering,Repudiation,Information Disclosure,Denial of Service,and Elevation of privilege(STRIDE)technique with references to various papers and examples from related software.The analysis resulted in the identification of a total of 121 vulnerabilities.The successful implementation and validation demonstrate the framework’s efficacy in generating customized guidelines for entire systems,subsystems,and selected modules.
基金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.
文摘The deteriorated continuous rigid frame bridge is strengthened by external prestressing. Static loading tests wereconducted before and after the bridge rehabilitation to verify the effectiveness of the rehabilitation process. Thestiffness of the repaired bridge is improved, and the maximum deflection of the load test is reduced from 37.9 to27.6 mm. A bridge health monitoring system is installed after the bridge is reinforced. To achieve an easy assessmentof the bridge’s safety status by directly using transferred data, a real-time safety warning system is createdbased on a five-level safety standard. The threshold for each safety level will be determined by theoretical calculationsand the outcomes of static loading tests. The highest risk threshold will be set at the ultimate limit statevalue. The remaining levels, namely middle risk, low risk, and very low risk, will be determined usingreduction coefficients of 0.95, 0.9, and 0.8, respectively.
文摘Automated Guided Vehicles(AGVs)have been introduced into various applications,such as automated warehouse systems,flexible manufacturing systems,and container terminal systems.However,few publications have outlined problems in need of attention in AGV applications comprehensively.In this paper,several key issues and essential models are presented.First,the advantages and disadvantages of centralized and decentralized AGVs systems were compared;second,warehouse layout and operation optimization were introduced,including some omitted areas,such as AGVs fleet size and electrical energy management;third,AGVs scheduling algorithms in chessboardlike environments were analyzed;fourth,the classical route-planning algorithms for single AGV and multiple AGVs were presented,and some Artificial Intelligence(AI)-based decision-making algorithms were reviewed.Furthermore,a novel idea for accelerating route planning by combining Reinforcement Learning(RL)andDijkstra’s algorithm was presented,and a novel idea of the multi-AGV route-planning method of combining dynamic programming and Monte-Carlo tree search was proposed to reduce the energy cost of systems.
文摘This paper proposes an autopilot system that can be used to control the small scale rotorcraft during the flight test for linear-frequency-domain system identification. The input frequency-sweep is generated automatically as part of the autopilot control command. Therefore the bandwidth coverage and consistency of the frequency-sweep are guaranteed to produce high quality data for system identification. Beside that, we can set the safety parameters during the flight test (maximum roll/pitch value, minimum altitude, etc.) so the safety of the whole flight test is guaranteed. This autopilot system is validated using hardware in the loop simulator for hover flight condition.
文摘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.
文摘Context and objective: The COVID-19 pandemic has become a major public health problem and has mobilized many innovative means of diagnosis. The Central African Republic is not spared. The emergence of variants and their impact require health monitoring despite the obligation of vaccination. The purpose of this campaign was to determine the circulation of pending second-wave variants. Patients and Methods: A second mass screening campaign took place from 02 to 22 July 2021 in the main land and river entry points of Bangui (Exit North-PK12, Exit South-PK9, Port Beach) and at the LNBCSP. Antigenic and RT-PCR tests carried out on nasopharyngeal samples made it possible to select strains which were finally sequenced. Results: Of 2687 participants included in the study, 53 (1.97%) were positive for SARS-CoV-2. Thirteen (1.53%) were male and 40 (2.18%) female. The analyses carried out on the LumiraDx analyzer were positive for 109 samples against 53 on the RT-PCR. The prevalence was higher in the most tested age groups (30 to 50 years) with two clusters identified. B.1.617.2 (Delta) variants were predominant (57%). Conclusion: SARS-CoV-2 continues to circulate. The acquisition of automated antigenic tests (LumiraDx®) with sensitivity and specificity close to those of the reference test (RT-PCR) will allow better mass diagnosis for an optimization of the surveillance of COVID-19 in our countries with limited resources. The predominance of the B.1.617.2 (Delta) variant would suggest a third wave in the Central African Republic.
文摘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.
基金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.
基金supported by the National Major Scientific Instruments and Equipment Development Special Funds of China(No.2011YQ030113)
文摘The present paper proposes an automated Laser-Induced Breakdown Spectroscopy (LIBS) analytical test system, which consists of a LIBS measurement and control platform based on a modular design concept, and a LIBS qualitative spectrum analysis software and is developed in C#. The platform provides flexible interfacing and automated control; it is compatible with different manufacturer component models and is constructed in modularized form for easy ex- pandability. During peak identification, a more robust peak identification method with improved stability in peak identification has been achieved by applying additional smoothing on the slope obtained by calculation before peak identification. For the purpose of element identification, an improved main lines analysis method, which detects all elements on the spectral peak to avoid omission of certain elements without strong spectral lines, is applied to element identification in the tested LIBS samples. This method also increases the identification speed. In this paper, actual applications have been carried out. According to tests, the analytical test system is compatible with components of various models made by different manufacturers. It can automatically control components to get experimental data and conduct filtering, peak identification and qualitative analysis, etc. on spectral data.
基金[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.
文摘Software testing is an important and cost intensive activity in software development.The major contribution in cost is due to test case generations.Requirement-based testing is an approach in which test cases are derivative from requirements without considering the implementation’s internal structure.Requirement-based testing includes functional and nonfunctional requirements.The objective of this study is to explore the approaches that generate test cases from requirements.A systematic literature review based on two research questions and extensive quality assessment criteria includes studies.The study identies 30 primary studies from 410 studies spanned from 2000 to 2018.The review’s nding shows that 53%of journal papers,42%of conference papers,and 5%of book chapters’address requirementsbased testing.Most of the studies use UML,activity,and use case diagrams for test case generation from requirements.One of the signicant lessons learned is that most software testing errors are traced back to errors in natural language requirements.A substantial amount of work focuses on UML diagrams for test case generations,which cannot capture all the system’s developed attributes.Furthermore,there is a lack of UML-based models that can generate test cases from natural language requirements by rening them in context.Coverage criteria indicate how efciently the testing has been performed 12.37%of studies use requirements coverage,20%of studies cover path coverage,and 17%study basic coverage.
基金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.
基金This work was supported by Science and Technology Project of State Grid Corporation“Research on Key Technologies of Power Artificial Intelligence Open Platform”(5700-202155260A-0-0-00).
文摘The continuous growth in the scale of unmanned aerial vehicle (UAV) applications in transmission line inspection has resulted in a corresponding increase in the demand for UAV inspection image processing. Owing to its excellent performance in computer vision, deep learning has been applied to UAV inspection image processing tasks such as power line identification and insulator defect detection. Despite their excellent performance, electric power UAV inspection image processing models based on deep learning face several problems such as a small application scope, the need for constant retraining and optimization, and high R&D monetary and time costs due to the black-box and scene data-driven characteristics of deep learning. In this study, an automated deep learning system for electric power UAV inspection image analysis and processing is proposed as a solution to the aforementioned problems. This system design is based on the three critical design principles of generalizability, extensibility, and automation. Pre-trained models, fine-tuning (downstream task adaptation), and automated machine learning, which are closely related to these design principles, are reviewed. In addition, an automated deep learning system architecture for electric power UAV inspection image analysis and processing is presented. A prototype system was constructed and experiments were conducted on the two electric power UAV inspection image analysis and processing tasks of insulator self-detonation and bird nest recognition. The models constructed using the prototype system achieved 91.36% and 86.13% mAP for insulator self-detonation and bird nest recognition, respectively. This demonstrates that the system design concept is reasonable and the system architecture feasible .
文摘Deep learning is the subset of artificial intelligence and it is used for effective decision making.Wireless Sensor based automated irrigation system is proposed to monitor and cultivate crop.Our system consists of Distributed wire-less sensor environment to handle the moisture of the soil and temperature levels.It is automated process and useful for minimizing the usage of resources such as water level,quality of the soil,fertilizer values and controlling the whole system.The mobile app based smart control system is designed using deep belief network.This system has multiple sensors placed in agriculturalfield and collect the data.The collected transmitted to cloud server and deep learning process is applied for making decisions.DeepQ residue analysis method is proposed for analyzing auto-mated and sensor captured data.Here,we used 512×512×3 layers deep belief network and 10000 trained data and 2500 test data are taken for evaluations.It is automated process once data is collected deep belief network is generated.The performance is compared with existing results and our process method has 94%of accuracy factor.Also,our system has low cost and energy consumption also suitable for all kind of agriculturalfields.
文摘The need for efficient and reproducible development processes for sensor and perception systems is growing with their increased use in modern vehicles. Such processes can be achieved by using virtual test environments and virtual sensor models. In the context of this, the present paper documents the development of a sensor model for depth estimation of virtual three-dimensional scenarios. For this purpose, the geometric and algorithmic principles of stereoscopic camera systems are recreated in a virtual form. The model is implemented as a subroutine in the Epic Games Unreal Engine, which is one of the most common Game Engines. Its architecture consists of several independent procedures that enable a local depth estimation, but also a reconstruction of a whole three-dimensional scenery. In addition, a separate programme for calibrating the model is presented. In addition to the basic principles, the architecture and the implementation, this work also documents the evaluation of the model created. It is shown that the model meets specifically defined requirements for real-time capability and the accuracy of the evaluation. Thus, it is suitable for the virtual testing of common algorithms and highly automated driving functions.
文摘Software testing is the methodology of analyzing the nature of software to test if it works as anticipated so as to boost its reliability and quality.These two characteristics are very critical in the software applications of present times.When testers want to perform scenario evaluations,test oracles are generally employed in the third phase.Upon test case execution and test outcome generation,it is essential to validate the results so as to establish the software behavior’s correctness.By choosing a feasible technique for the test case optimization and prioritization as along with an appropriate assessment of the application,leads to a reduction in the fault detection work with minimal loss of information and would also greatly reduce the cost for clearing up.A hybrid Particle Swarm Optimization(PSO)with Stochastic Diffusion Search(PSO-SDS)based Neural Network,and a hybrid Harmony Search with Stochastic Diffusion Search(HS-SDS)based Neural Network has been proposed in this work.Further to evaluate the performance,it is compared with PSO-SDS based artificial Neural Network(PSO-SDS ANN)and Artificial Neural Network(ANN).The Misclassification of correction output(MCO)of HS-SDS Neural Network is 6.37 for 5 iterations and is well suited for automated testing.