The article discusses the possibility of further modernization of the standard microprocessor relay protection of AC overhead system feeders DPA-27.5-TNF, which is operated on the Trans-Baikal Railway by creating an a...The article discusses the possibility of further modernization of the standard microprocessor relay protection of AC overhead system feeders DPA-27.5-TNF, which is operated on the Trans-Baikal Railway by creating an additional automated system of unified templates necessary for the occurrence of “trainability” elements. The templates will be formed via a separate dedicated channel for transmission, processing and storage of the necessary information, not related to the operation of the terminal, with its subsequent visualization at the workplace of the duty personnel of traction substations, together with information from the “GID” software received via another dedicated wired channel. With the help of such a base of unified preset templates, in the future, it will be possible not only to identify the specific causes of each emergency shutdown but also to reduce their number by dynamically adjusting the existing presets of the standard operation algorithm.展开更多
Ever-changing market conditions and a rapidly changing IT landscape call for fast and cheap ways to meet software demands. In order to tackle these problems, low-code development platforms (LCDPs) have emerged. These ...Ever-changing market conditions and a rapidly changing IT landscape call for fast and cheap ways to meet software demands. In order to tackle these problems, low-code development platforms (LCDPs) have emerged. These platforms are designed with the idea to limit recurring traditional hand-coding and programming. This article provides a theoretical overview of low-code solutions. The advantages and disadvantages of using LCDP in the creation of automated systems are considered. In conclusion, a conclusion is formulated about the prospects of using low-code technology.展开更多
The objective of this work is to provide an automatic system to count white blood cells in a blood smear. To do so an experiment was assembled, composed by a standard microscope with two step motors coupled to its kno...The objective of this work is to provide an automatic system to count white blood cells in a blood smear. To do so an experiment was assembled, composed by a standard microscope with two step motors coupled to its knobs in order to move the microscope in x and y directions and a web cam which was mounted in the top of the microscope responsible for to acquire images from the smear. The step motors and the web cam are controlled by a microcomputer PC standard via software developed inDelphi. The motors use the parallel port to communicate with the PC and the camera use the USB port. The main idea is to set an initial point into the smear and the automated system will carry over the smear acquiring images (frames with 640 × 480 pixels) and counting the white blood cells encountered. The double histogram threshold technique is implemented to initially exclude the red cells from the image leaving only the white ones. Preliminaries results are obtained and show that the system is quite fast and has a good capacity of selection, even when different kinds of smear are used.展开更多
Parking difficulties have become a social issue that people have to solve.Automated parking system is practicable for quick par operations without a driver which can also greatly reduces the probability of parking acc...Parking difficulties have become a social issue that people have to solve.Automated parking system is practicable for quick par operations without a driver which can also greatly reduces the probability of parking accidents.The paper proposes a Lyapunov-based nonlinear model predictive controller embedding an instructable solution which is generated by the modified rear-wheel feedback method(RF-LNMPC)in order to improve the overall path tracking accuracy in parking conditions.Firstly,A discrete-time RF-LNMPC considering the position and attitude of the parking vehicle is proposed to increase the success rate of automated parking effectively.Secondly,the RF-LNMPC problem with a multi-objective cost function is solved by the Interior-Point Optimization,of which the iterative initial values are described as the instructable solutions calculated by combining modified rear-wheel feedback to improve the performance of local optimal solution.Thirdly,the details on the computation of the terminal constraint and terminal cost for the linear time-varying case is presented.The closed-loop stability is verified via Lyapunov techniques by considering the terminal constraint and terminal cost theoretically.Finally,the proposed RF-LNMPC is implemented on a selfdriving Lincoln MKZ platform and the experiment results have shown improved performance in parallel and vertical parking conditions.The Monte Carlo analysis also demonstrates good stability and repeatability of the proposed method which can be applied in practical use in the near future.展开更多
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.展开更多
The agility and the flexibility of the current shop floor control systems have been limited so far, owing to the lack of structural flexibility and agility in its control software layer. Most of them are based on trad...The agility and the flexibility of the current shop floor control systems have been limited so far, owing to the lack of structural flexibility and agility in its control software layer. Most of them are based on traditional hierarchical architecture and the top down approach and depend structurally on their specific configuration and job scheduling. Not only can they hardly satisfactorily adapt to these increasing changes and disturbances, but also make the redevelopment and maintenance of shop floor control system (SFCS) to need high cost and much time. And SFCS based on the heterarchical architecture don′t provide a predictable and high performance system, especially not in the heterogeneous environments, where the resources are scarce and the current decisions have serious repercussions on the future performances. For this reason, the heterarchical control is hardly applied in industry. Obviously, it is necessary to develop a new structural framework of reconfigurable SFCS to improve their agility, flexibility and maintainability. This paper presents a holonic framework of reconfigurable SFCS based on holonic manufacturing concepts. The framework is composed of resource holons, product holons and other staff holons. The model of each holon and the co operative mechanisms of holons are described. To verify the proposed approach experimentally, a prototype reconfigurable SFCS for a flexible manufacturing shop floor producing discrete parts is implemented.展开更多
In order to evaluate the efficiency of the automated storage/retrieval system(AS/RS)accurately,and compare different layouts of the AS/RS using mean travel time,under randomized storage conditions,an exact,geometry-ba...In order to evaluate the efficiency of the automated storage/retrieval system(AS/RS)accurately,and compare different layouts of the AS/RS using mean travel time,under randomized storage conditions,an exact,geometry-based analytical model is presented.The model can be used to compute the expected single-command and dual-command travel time for a storage/retrieval(S/R)machine which can travel simultaneously horizontally and vertically as it moves along a storage aisle.The rack may be either square in time or non square in time.Additionally,the alternative layouts of the AS/RS and travel-time models are examined.Comparing with setting the I/O point at the left-lower corner of the rack,setting the I/O point at any point at the vertical edge can help enhance the efficiency of the AS/RS.展开更多
Objective： The automated breast ultrasound system（ABUS） is a potential method for breast cancer detection;however, its diagnostic performance remains unclear. We conducted a hospital-based multicenter diagnostic st...Objective： The automated breast ultrasound system（ABUS） is a potential method for breast cancer detection;however, its diagnostic performance remains unclear. We conducted a hospital-based multicenter diagnostic study to evaluate the clinical performance of the ABUS for breast cancer detection by comparing it to handheld ultrasound（HHUS） and mammography（MG）.Methods： Eligible participants underwent HHUS and ABUS testing; women aged 40–69 years additionally underwent MG. Images were interpreted using the Breast Imaging Reporting and Data System（BI-RADS）.Women in the BI-RADS categories 1–2 were considered negative. Women classified as BI-RADS 3 underwent magnetic resonance imaging to distinguish true-and false-negative results. Core aspiration or surgical biopsy was performed in women classified as BI-RADS 4–5, followed by a pathological diagnosis. Kappa values and agreement rates were calculated between ABUS, HHUS and MG.Results： A total of 1,973 women were included in the final analysis. Of these, 1,353（68.6%） and 620（31.4%）were classified as BI-RADS categories 1–3 and 4–5, respectively. In the older age group, the agreement rate and Kappa value between the ABUS and HHUS were 94.0% and 0.860（P〈0.001）, respectively; they were 89.2% and0.735（P〈0.001） between the ABUS and MG, respectively. Regarding consistency between imaging and pathology results, 78.6% of women classified as BI-RADS 4–5 based on the ABUS were diagnosed with precancerous lesions or cancer; which was 7.2% higher than that of women based on HHUS. For BI-RADS 1–2, the false-negative rates of the ABUS and HHUS were almost identical and were much lower than those of MG.Conclusions： We observed a good diagnostic reliability for the ABUS. Considering its performance for breast cancer detection in women with high-density breasts and its lower operator dependence, the ABUS is a promising option for breast cancer detection in China.展开更多
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.展开更多
Based on the characteristics of parallel dispensers in automated picking system, an order-picking optimization problem is presented. Firstly, the working principle of parallel dispensers is introduced, which implies t...Based on the characteristics of parallel dispensers in automated picking system, an order-picking optimization problem is presented. Firstly, the working principle of parallel dispensers is introduced, which implies the time cost of picking each order is influenced by the order-picking sequence. So the order-picking optimization problem can be classified as a dynamic traveling salesman problem （TSP）. Then a mathematical model of the problem is established and an improved max-min ant system （MMAS） is adopted to solve the model. The improvement includes two aspects. One is that the initial assignment of ants depends on a probabilistic formula instead of a random deployment; the other is that the heuristic factor is expressed by the extra picking time of each order instead of the total. At last, an actual simulation is made on an automated picking system with parallel dispensers. The simulation results proved the optimization value and the validity of improvement on MMAS.展开更多
A shared control of highly automated Steer-by-Wire system is proposed for cooperative driving between the driver and vehicle in the face of driver's abnormal driving. A fault detection scheme is designed to detect...A shared control of highly automated Steer-by-Wire system is proposed for cooperative driving between the driver and vehicle in the face of driver's abnormal driving. A fault detection scheme is designed to detect the abnormal driving behaviour and transfer the control of the car to the automatic system designed based on a fault tolerant model predictive control(MPC) controller driving the vehicle along an optimal safe path.The proposed concept and control algorithm are tested in a number of scenarios representing intersection, lane change and different types of driver's abnormal behaviour. The simulation results show the feasibility and effectiveness of the proposed method.展开更多
The problem of simultaneous scheduling of machines and vehicles in flexible manufacturing system (FMS) was addressed.A spreadsheet based genetic algorithm (GA) approach was presented to solve the problem.A domain inde...The problem of simultaneous scheduling of machines and vehicles in flexible manufacturing system (FMS) was addressed.A spreadsheet based genetic algorithm (GA) approach was presented to solve the problem.A domain independent general purpose GA was used,which was an add-in to the spreadsheet software.An adaptation of the propritary GA software was demonstrated to the problem of minimizing the total completion time or makespan for simultaneous scheduling of machines and vehicles in flexible manufacturing systems.Computational results are presented for a benchmark with 82 test problems,which have been constructed by other researchers.The achieved results are comparable to the previous approaches.The proposed approach can be also applied to other problems or objective functions without changing the GA routine or the spreadsheet model.展开更多
This work studies the robust deadlock control of automated manufacturing systems with multiple unreliable resources. Our goal is to ensure the continuous production of the jobs that only require reliable resources. To...This work studies the robust deadlock control of automated manufacturing systems with multiple unreliable resources. Our goal is to ensure the continuous production of the jobs that only require reliable resources. To reach this goal, we propose a new modified Banker's algorithm(MBA) to ensure that all resources required by these jobs can be freed. Moreover,a Petri net based deadlock avoidance policy(DAP) is introduced to ensure that all jobs remaining in the system after executing the new MBA can complete their processing smoothly when their required unreliable resources are operational. The new MBA together with the DAP forms a new DAP that is robust to the failures of unreliable resources. Owing to the high permissiveness of the new MBA and the optimality of the DAP, it is tested to be more permissive than state-of-the-art control policies.展开更多
Slotting strategy heavily influences the throughput and operational cost of automated order picking system with multiple dispenser types, which is called the complex automated order picking system （CAOPS）. Existing ...Slotting strategy heavily influences the throughput and operational cost of automated order picking system with multiple dispenser types, which is called the complex automated order picking system （CAOPS）. Existing research either focuses on one aspect of the slotting optimization problem or only considers one part of CAOPS, such as the Low-volume Dispensers, to develop corresponding slotting strategies. In order to provide a comprehensive and systemic approach, a fluid-based slotting strategy is proposed in this paper. The configuration of CAOPS is presented with specific reference to its fast-picking and restocking subsystems. Based on extended fluid model, a nonlinear mathematical programming model is developed to determine the optimal volume allotted to each stock keeping unit （SKU） in a certain mode by minimize the restocking cost of that mode. Conclusion from the allocation model is specified for the storage modules of high-volume dispensers and low-volume dispensers. Optimal allocation of storage resources in the fast-picking area of CAOPS is then discussed with the aim of identifying the optimal space of each picking mode. The SKU assignment problem referring to the total restocking cost of CAOPS is analyzed and a greedy heuristic with low time complexity is developed according to the characteristics of CAOPS. Real life application from the tobacco industry is presented in order to exemplify the proposed slotting strategy and assess the effectiveness of the developed methodology. Entry-item-quantity （EIQ） based experiential solutions and proposed-model-based near-optimal solutions are compared. The comparison results show that the proposed strategy generates a savings of over 18% referring to the total restocking cost over one-year period. The strategy proposed in this paper, which can handle the multiple dispenser types, provides a practical quantitative slotting method for CAOPS and can help picking-system-designers make slotting decisions efficiently and effectively.展开更多
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.展开更多
Objective:The randomized controlled trial(ClinicalTrials.gov identifier NCT02990741)will investigate whether more frequent electrocardiographic(ECG)recordings and analyses with an automated ECG system would improve de...Objective:The randomized controlled trial(ClinicalTrials.gov identifier NCT02990741)will investigate whether more frequent electrocardiographic(ECG)recordings and analyses with an automated ECG system would improve detection of atrial fibrillation compared with a single annual ECG screen in elderly Chinese in community health centers.Design:Men and women(≥65 years)will be randomized into intensive(n=3500)and usual(n=3500)screening groups,and within the intensive screening group into intensive screening(n=2625)and more intensive screening(n=875)subgroups.ECG recordings will be performed with an automated ECG analysis system(AliveCor heart monitor)at 1 year in the usual screening group,at 3,6,9,and 12 months in the intensive screening subgroup,and at 1,2,3,and 4 weeks and 3,6,9,and 12 months in the more intensive screening subgroup.The primary outcome is the detection rate of atrial fibrillation between the usual screening group and the intensive screening group.Sample size estimation was based on a projected detection rate of atrial fibrillation of 2.0% by a single ECG recording at 12 months,an improvement of 50% with more frequent ECG recordings,α=0.05,power of 80%,and a one-sided test.Conclusions:The trial will provide evidence on the clinical effectiveness of more frequent ECG recordings by a handheld automated analysis system in the detection of atrial fibrillation.展开更多
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 .展开更多
At present, the monitoring of embankment deformation in permafrost regions along the Qinghai-Tibet Railway is mainly done manually. However, the harsh climate on the plateau affects the results greatly by lowering the...At present, the monitoring of embankment deformation in permafrost regions along the Qinghai-Tibet Railway is mainly done manually. However, the harsh climate on the plateau affects the results greatly by lowering the observation frequency, so the manual monitoring can barely meet the observational demand. This research develops a system of automated monitoring of embankment deformation, and aims to address the problems caused by the plateau climate and the perma- frost conditions in the region. The equipment consists of a monitoring module, a data collection module, a transmission module, and a data processing module. The field experiments during this program indicate that （1） the combined auto- mated monitoring device overcame the problems associated with the complicated and tough plateau environment by means of wireless transmission and automatic analysis of the embankment settlement data; （2） the calibration of the combined settlement gauge at -20 ℃ was highly accurate, with an error rate always 〈0.5%; （3） the gauge calibration at high-temperature conditions was also highly accurate, with an error rate 〈0.5% even though the surface of the instrument reached more than 50 ℃; and （4） compared with the data manually taken, the data automatically acquired during field monitoring experiments demonstrated that the combined settlement gauge and the automated monitoring system could meet the requirements of the monitoring mission in permafrost regions along the Qinghai-Tibet Railway.展开更多
As a key to improve the performance of the interbay automated material handling system （AMHS） in 300 mm semiconductor wafer fabrication system, the real- time overhead hoist transport （OHT） dispatching problem has...As a key to improve the performance of the interbay automated material handling system （AMHS） in 300 mm semiconductor wafer fabrication system, the real- time overhead hoist transport （OHT） dispatching problem has received much attention. This problem is first formu- lated as a special form of assignment problem and it is proved that more than one solution will be obtained by Hungarian algorithm simultaneously. Through proposing and strictly proving two propositions related to the char- acteristics of these solutions, a modified Hungarian algo- rithm is designed to distinguish these solutions. Finally, a new real-time OHT dispatching method is carefully designed by implementing the solution obtained by the modified Hungarian algorithm. The experimental results of discrete event simulations show that, compared with con- ventional Hungarian algorithm dispatching method, the proposed dispatching method that chooses the solution with the maximum variance respectively reduces on average 4 s of the average waiting time and average lead time of wafer lots, and its performance is rather stable in multiple dif- ferent scenarios of the interbay AMHS with different quantities of shortcuts. This research provides an efficient real-time OHT dispatching mechanism for the interbay AMHS with shortcuts and bypasses.展开更多
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.展开更多
文摘The article discusses the possibility of further modernization of the standard microprocessor relay protection of AC overhead system feeders DPA-27.5-TNF, which is operated on the Trans-Baikal Railway by creating an additional automated system of unified templates necessary for the occurrence of “trainability” elements. The templates will be formed via a separate dedicated channel for transmission, processing and storage of the necessary information, not related to the operation of the terminal, with its subsequent visualization at the workplace of the duty personnel of traction substations, together with information from the “GID” software received via another dedicated wired channel. With the help of such a base of unified preset templates, in the future, it will be possible not only to identify the specific causes of each emergency shutdown but also to reduce their number by dynamically adjusting the existing presets of the standard operation algorithm.
文摘Ever-changing market conditions and a rapidly changing IT landscape call for fast and cheap ways to meet software demands. In order to tackle these problems, low-code development platforms (LCDPs) have emerged. These platforms are designed with the idea to limit recurring traditional hand-coding and programming. This article provides a theoretical overview of low-code solutions. The advantages and disadvantages of using LCDP in the creation of automated systems are considered. In conclusion, a conclusion is formulated about the prospects of using low-code technology.
文摘The objective of this work is to provide an automatic system to count white blood cells in a blood smear. To do so an experiment was assembled, composed by a standard microscope with two step motors coupled to its knobs in order to move the microscope in x and y directions and a web cam which was mounted in the top of the microscope responsible for to acquire images from the smear. The step motors and the web cam are controlled by a microcomputer PC standard via software developed inDelphi. The motors use the parallel port to communicate with the PC and the camera use the USB port. The main idea is to set an initial point into the smear and the automated system will carry over the smear acquiring images (frames with 640 × 480 pixels) and counting the white blood cells encountered. The double histogram threshold technique is implemented to initially exclude the red cells from the image leaving only the white ones. Preliminaries results are obtained and show that the system is quite fast and has a good capacity of selection, even when different kinds of smear are used.
基金Supported by National Key R&D Program of China (Grant No.2021YFB2501800)National Natural Science Foundation of China (Grant No.52172384)+1 种基金Science and Technology Innovation Program of Hunan Province of China (Grant No.2021RC3048)State Key Laboratory of Advanced Design and Manufacturing Technology for Vehicle of China (Grant No.72275004)。
文摘Parking difficulties have become a social issue that people have to solve.Automated parking system is practicable for quick par operations without a driver which can also greatly reduces the probability of parking accidents.The paper proposes a Lyapunov-based nonlinear model predictive controller embedding an instructable solution which is generated by the modified rear-wheel feedback method(RF-LNMPC)in order to improve the overall path tracking accuracy in parking conditions.Firstly,A discrete-time RF-LNMPC considering the position and attitude of the parking vehicle is proposed to increase the success rate of automated parking effectively.Secondly,the RF-LNMPC problem with a multi-objective cost function is solved by the Interior-Point Optimization,of which the iterative initial values are described as the instructable solutions calculated by combining modified rear-wheel feedback to improve the performance of local optimal solution.Thirdly,the details on the computation of the terminal constraint and terminal cost for the linear time-varying case is presented.The closed-loop stability is verified via Lyapunov techniques by considering the terminal constraint and terminal cost theoretically.Finally,the proposed RF-LNMPC is implemented on a selfdriving Lincoln MKZ platform and the experiment results have shown improved performance in parallel and vertical parking conditions.The Monte Carlo analysis also demonstrates good stability and repeatability of the proposed method which can be applied in practical use in the near future.
基金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.
文摘The agility and the flexibility of the current shop floor control systems have been limited so far, owing to the lack of structural flexibility and agility in its control software layer. Most of them are based on traditional hierarchical architecture and the top down approach and depend structurally on their specific configuration and job scheduling. Not only can they hardly satisfactorily adapt to these increasing changes and disturbances, but also make the redevelopment and maintenance of shop floor control system (SFCS) to need high cost and much time. And SFCS based on the heterarchical architecture don′t provide a predictable and high performance system, especially not in the heterogeneous environments, where the resources are scarce and the current decisions have serious repercussions on the future performances. For this reason, the heterarchical control is hardly applied in industry. Obviously, it is necessary to develop a new structural framework of reconfigurable SFCS to improve their agility, flexibility and maintainability. This paper presents a holonic framework of reconfigurable SFCS based on holonic manufacturing concepts. The framework is composed of resource holons, product holons and other staff holons. The model of each holon and the co operative mechanisms of holons are described. To verify the proposed approach experimentally, a prototype reconfigurable SFCS for a flexible manufacturing shop floor producing discrete parts is implemented.
基金The National Key Technology R&D Program of China during the 11th Five-Year Plan Period(No.2006BAH02A06)
文摘In order to evaluate the efficiency of the automated storage/retrieval system(AS/RS)accurately,and compare different layouts of the AS/RS using mean travel time,under randomized storage conditions,an exact,geometry-based analytical model is presented.The model can be used to compute the expected single-command and dual-command travel time for a storage/retrieval(S/R)machine which can travel simultaneously horizontally and vertically as it moves along a storage aisle.The rack may be either square in time or non square in time.Additionally,the alternative layouts of the AS/RS and travel-time models are examined.Comparing with setting the I/O point at the left-lower corner of the rack,setting the I/O point at any point at the vertical edge can help enhance the efficiency of the AS/RS.
文摘Objective： The automated breast ultrasound system（ABUS） is a potential method for breast cancer detection;however, its diagnostic performance remains unclear. We conducted a hospital-based multicenter diagnostic study to evaluate the clinical performance of the ABUS for breast cancer detection by comparing it to handheld ultrasound（HHUS） and mammography（MG）.Methods： Eligible participants underwent HHUS and ABUS testing; women aged 40–69 years additionally underwent MG. Images were interpreted using the Breast Imaging Reporting and Data System（BI-RADS）.Women in the BI-RADS categories 1–2 were considered negative. Women classified as BI-RADS 3 underwent magnetic resonance imaging to distinguish true-and false-negative results. Core aspiration or surgical biopsy was performed in women classified as BI-RADS 4–5, followed by a pathological diagnosis. Kappa values and agreement rates were calculated between ABUS, HHUS and MG.Results： A total of 1,973 women were included in the final analysis. Of these, 1,353（68.6%） and 620（31.4%）were classified as BI-RADS categories 1–3 and 4–5, respectively. In the older age group, the agreement rate and Kappa value between the ABUS and HHUS were 94.0% and 0.860（P〈0.001）, respectively; they were 89.2% and0.735（P〈0.001） between the ABUS and MG, respectively. Regarding consistency between imaging and pathology results, 78.6% of women classified as BI-RADS 4–5 based on the ABUS were diagnosed with precancerous lesions or cancer; which was 7.2% higher than that of women based on HHUS. For BI-RADS 1–2, the false-negative rates of the ABUS and HHUS were almost identical and were much lower than those of MG.Conclusions： We observed a good diagnostic reliability for the ABUS. Considering its performance for breast cancer detection in women with high-density breasts and its lower operator dependence, the ABUS is a promising option for breast cancer detection in China.
文摘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.
基金supported by National Natural Science Foundation of China (No.50175064)
文摘Based on the characteristics of parallel dispensers in automated picking system, an order-picking optimization problem is presented. Firstly, the working principle of parallel dispensers is introduced, which implies the time cost of picking each order is influenced by the order-picking sequence. So the order-picking optimization problem can be classified as a dynamic traveling salesman problem （TSP）. Then a mathematical model of the problem is established and an improved max-min ant system （MMAS） is adopted to solve the model. The improvement includes two aspects. One is that the initial assignment of ants depends on a probabilistic formula instead of a random deployment; the other is that the heuristic factor is expressed by the extra picking time of each order instead of the total. At last, an actual simulation is made on an automated picking system with parallel dispensers. The simulation results proved the optimization value and the validity of improvement on MMAS.
文摘A shared control of highly automated Steer-by-Wire system is proposed for cooperative driving between the driver and vehicle in the face of driver's abnormal driving. A fault detection scheme is designed to detect the abnormal driving behaviour and transfer the control of the car to the automatic system designed based on a fault tolerant model predictive control(MPC) controller driving the vehicle along an optimal safe path.The proposed concept and control algorithm are tested in a number of scenarios representing intersection, lane change and different types of driver's abnormal behaviour. The simulation results show the feasibility and effectiveness of the proposed method.
文摘The problem of simultaneous scheduling of machines and vehicles in flexible manufacturing system (FMS) was addressed.A spreadsheet based genetic algorithm (GA) approach was presented to solve the problem.A domain independent general purpose GA was used,which was an add-in to the spreadsheet software.An adaptation of the propritary GA software was demonstrated to the problem of minimizing the total completion time or makespan for simultaneous scheduling of machines and vehicles in flexible manufacturing systems.Computational results are presented for a benchmark with 82 test problems,which have been constructed by other researchers.The achieved results are comparable to the previous approaches.The proposed approach can be also applied to other problems or objective functions without changing the GA routine or the spreadsheet model.
基金supported in part by the Fundamental Research Funds for the Central Universities(3102017OQD110)the Natural Science Basic Research Plan in Shaanxi Province of China(2019JQ-435)+3 种基金the Project Funded by China Postdoctoral Science Foundation(2019M663818)the National Key Research and Development Program of China(2019YFB1703800)Guangdong Basic and Applied Basic Research Foundation(2019A1515111076)the National Natural Science Foundation of China(71931007)。
文摘This work studies the robust deadlock control of automated manufacturing systems with multiple unreliable resources. Our goal is to ensure the continuous production of the jobs that only require reliable resources. To reach this goal, we propose a new modified Banker's algorithm(MBA) to ensure that all resources required by these jobs can be freed. Moreover,a Petri net based deadlock avoidance policy(DAP) is introduced to ensure that all jobs remaining in the system after executing the new MBA can complete their processing smoothly when their required unreliable resources are operational. The new MBA together with the DAP forms a new DAP that is robust to the failures of unreliable resources. Owing to the high permissiveness of the new MBA and the optimality of the DAP, it is tested to be more permissive than state-of-the-art control policies.
基金supported by China Scholarship Council (Grant No.2007102074)National Natural Science Foundation of China (Grant No.50175064)+2 种基金Georgia Institute of Technology Visiting Research EngineerProgram of the United States (Grant No. 2401247)Graduate InnovationFoundation of Shandong University, China (Grant No. yzc09066)Costal International Logistics Company of the United States (Project No.20080727)
文摘Slotting strategy heavily influences the throughput and operational cost of automated order picking system with multiple dispenser types, which is called the complex automated order picking system （CAOPS）. Existing research either focuses on one aspect of the slotting optimization problem or only considers one part of CAOPS, such as the Low-volume Dispensers, to develop corresponding slotting strategies. In order to provide a comprehensive and systemic approach, a fluid-based slotting strategy is proposed in this paper. The configuration of CAOPS is presented with specific reference to its fast-picking and restocking subsystems. Based on extended fluid model, a nonlinear mathematical programming model is developed to determine the optimal volume allotted to each stock keeping unit （SKU） in a certain mode by minimize the restocking cost of that mode. Conclusion from the allocation model is specified for the storage modules of high-volume dispensers and low-volume dispensers. Optimal allocation of storage resources in the fast-picking area of CAOPS is then discussed with the aim of identifying the optimal space of each picking mode. The SKU assignment problem referring to the total restocking cost of CAOPS is analyzed and a greedy heuristic with low time complexity is developed according to the characteristics of CAOPS. Real life application from the tobacco industry is presented in order to exemplify the proposed slotting strategy and assess the effectiveness of the developed methodology. Entry-item-quantity （EIQ） based experiential solutions and proposed-model-based near-optimal solutions are compared. The comparison results show that the proposed strategy generates a savings of over 18% referring to the total restocking cost over one-year period. The strategy proposed in this paper, which can handle the multiple dispenser types, provides a practical quantitative slotting method for CAOPS and can help picking-system-designers make slotting decisions efficiently and effectively.
文摘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.
文摘Objective:The randomized controlled trial(ClinicalTrials.gov identifier NCT02990741)will investigate whether more frequent electrocardiographic(ECG)recordings and analyses with an automated ECG system would improve detection of atrial fibrillation compared with a single annual ECG screen in elderly Chinese in community health centers.Design:Men and women(≥65 years)will be randomized into intensive(n=3500)and usual(n=3500)screening groups,and within the intensive screening group into intensive screening(n=2625)and more intensive screening(n=875)subgroups.ECG recordings will be performed with an automated ECG analysis system(AliveCor heart monitor)at 1 year in the usual screening group,at 3,6,9,and 12 months in the intensive screening subgroup,and at 1,2,3,and 4 weeks and 3,6,9,and 12 months in the more intensive screening subgroup.The primary outcome is the detection rate of atrial fibrillation between the usual screening group and the intensive screening group.Sample size estimation was based on a projected detection rate of atrial fibrillation of 2.0% by a single ECG recording at 12 months,an improvement of 50% with more frequent ECG recordings,α=0.05,power of 80%,and a one-sided test.Conclusions:The trial will provide evidence on the clinical effectiveness of more frequent ECG recordings by a handheld automated analysis system in the detection of atrial fibrillation.
基金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 .
基金supported by the Special Fund Project of the Ministry of Science and Technology(No.2011EG123262)the Technology Project of the Chinese Railroad Co.Ltd.(No.2013-majay-20-1)
文摘At present, the monitoring of embankment deformation in permafrost regions along the Qinghai-Tibet Railway is mainly done manually. However, the harsh climate on the plateau affects the results greatly by lowering the observation frequency, so the manual monitoring can barely meet the observational demand. This research develops a system of automated monitoring of embankment deformation, and aims to address the problems caused by the plateau climate and the perma- frost conditions in the region. The equipment consists of a monitoring module, a data collection module, a transmission module, and a data processing module. The field experiments during this program indicate that （1） the combined auto- mated monitoring device overcame the problems associated with the complicated and tough plateau environment by means of wireless transmission and automatic analysis of the embankment settlement data; （2） the calibration of the combined settlement gauge at -20 ℃ was highly accurate, with an error rate always 〈0.5%; （3） the gauge calibration at high-temperature conditions was also highly accurate, with an error rate 〈0.5% even though the surface of the instrument reached more than 50 ℃; and （4） compared with the data manually taken, the data automatically acquired during field monitoring experiments demonstrated that the combined settlement gauge and the automated monitoring system could meet the requirements of the monitoring mission in permafrost regions along the Qinghai-Tibet Railway.
基金Supported by National Natural Science Foundation of China(Grant No.51275307)
文摘As a key to improve the performance of the interbay automated material handling system （AMHS） in 300 mm semiconductor wafer fabrication system, the real- time overhead hoist transport （OHT） dispatching problem has received much attention. This problem is first formu- lated as a special form of assignment problem and it is proved that more than one solution will be obtained by Hungarian algorithm simultaneously. Through proposing and strictly proving two propositions related to the char- acteristics of these solutions, a modified Hungarian algo- rithm is designed to distinguish these solutions. Finally, a new real-time OHT dispatching method is carefully designed by implementing the solution obtained by the modified Hungarian algorithm. The experimental results of discrete event simulations show that, compared with con- ventional Hungarian algorithm dispatching method, the proposed dispatching method that chooses the solution with the maximum variance respectively reduces on average 4 s of the average waiting time and average lead time of wafer lots, and its performance is rather stable in multiple dif- ferent scenarios of the interbay AMHS with different quantities of shortcuts. This research provides an efficient real-time OHT dispatching mechanism for the interbay AMHS with shortcuts and bypasses.
基金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.
