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.展开更多
BACKGROUND Spontaneous bacterial peritonitis(SBP)is one of the most important complications of patients with liver cirrhosis entailing high morbidity and mortality.Making an accurate early diagnosis of this infection ...BACKGROUND Spontaneous bacterial peritonitis(SBP)is one of the most important complications of patients with liver cirrhosis entailing high morbidity and mortality.Making an accurate early diagnosis of this infection is key in the outcome of these patients.The current definition of SBP is based on studies performed more than 40 years ago using a manual technique to count the number of polymorphs in ascitic fluid(AF).There is a lack of data comparing the traditional cell count method with a current automated cell counter.Moreover,current international guidelines do not mention the type of cell count method to be employed and around half of the centers still rely on the traditional manual method.AIM To compare the accuracy of polymorph count on AF to diagnose SBP between the traditional manual cell count method and a modern automated cell counter against SBP cases fulfilling gold standard criteria:Positive AF culture and signs/symptoms of peritonitis.METHODS Retrospective analysis including two cohorts:Cross-sectional(cohort 1)and case-control(cohort 2),of patients with decompensated cirrhosis and ascites.Both cell count methods were conducted simultaneously.Positive SBP cases had a pathogenic bacteria isolated on AF and signs/symptoms of peritonitis.RESULTS A total of 137 cases with 5 positive-SBP,and 85 cases with 33 positive-SBP were included in cohort 1 and 2,respectively.Positive-SBP cases had worse liver function in both cohorts.The automated method showed higher sensitivity than the manual cell count:80%vs 52%,P=0.02,in cohort 2.Both methods showed very good specificity(>95%).The best cutoff using the automated cell counter was polymorph≥0.2 cells×10^(9)/L(equivalent to 200 cells/mm^(3))in AF as it has the higher sensitivity keeping a good specificity.CONCLUSION The automated cell count method should be preferred over the manual method to diagnose SBP because of its higher sensitivity.SBP definition,using the automated method,as polymorph cell count≥0.2 cells×10^(9)/L in AF would need to be considered in patients admitted with decompensated cirrhosis.展开更多
It is now well known that levels of sperm disomy correlate to levels of infertility （as well as other factors）.The risk of perpetuating aneuploidy to the offspring of infertile males undergoing intracytoplasmic sper...It is now well known that levels of sperm disomy correlate to levels of infertility （as well as other factors）.The risk of perpetuating aneuploidy to the offspring of infertile males undergoing intracytoplasmic sperm injection （ICSI） has become a hotly debated issue in assisted reproduction;however,there remain barriers to the practical implementation of offering sperm disomy screening in a clinical setting. The major barrier is the operator time taken to analyze a statistically meaningful （sufficient） number of cells. The introduction of automated ＇spot counting＇software-hardware combinations presents a potential solution to this problem. In this preliminary validation study,we analyzed 10 patients,both manually and using a commercially available spot counter. Results show a statistically significant correlation between both approaches for scoring of sperm disomy,but no correlation is found when scoring for diploid sperm. The most likely explanation for the latter is an apparent overscoring of two closely associated sperm heads as a single diploid cell. These results,and similar further studies that will ensue,help to inform cost-benefit analyses that individual clinics need to carry out in order to decide whether to adopt sperm aneuploidy screening as a routine tool for the assessment of sperm from men requiring ICSI treatment.展开更多
It has been over 40 years since scientists and engineers attempted to automate optical microscope and scanning electron microscope (SEM) to measure the mineral liberation characteristics of ores in order to predict th...It has been over 40 years since scientists and engineers attempted to automate optical microscope and scanning electron microscope (SEM) to measure the mineral liberation characteristics of ores in order to predict their flotation responses. As early as 1963, the first optical instrument equipped with a video camera to analyse grain structure of a sample was produced by Metals Research Instrument Corporation (Image Analysis Company Ltd., 1970), which introduced Quantimet 720, a fully digital image analysis system, in 1969. Remarkably, Quantimet system is still widely used today.展开更多
This paper investigates control synthesis for motion planning under conditions of uncertainty,specifically in robot motion and environmental properties,which are modeled using a probabilistic labeled Markov decision p...This paper investigates control synthesis for motion planning under conditions of uncertainty,specifically in robot motion and environmental properties,which are modeled using a probabilistic labeled Markov decision process(PL-MDP).To address this,a model-free reinforcement learning(RL)approach is designed to produce a finite-memory control policy that meets complex tasks specified by linear temporal logic(LTL)formulas.Recognizing the presence of uncertainties and potentially conflicting objectives,this study centers on addressing infeasible LTL specifications.A relaxed LTL constraint enables the agent to adapt its motion plan,allowing for partial satisfaction by accounting for necessary task violations.Additionally,a new automaton structure is introduced to increase the density of accepting rewards,facilitating deterministic policy outcomes.The proposed RL framework is rigorously analyzed and prioritizes two key objectives:(1)satisfying the acceptance condition of the relaxed product MDP,and(2)minimizing long-term violation costs.Simulation and experimental results are presented to demonstrate the framework’s effectiveness and robustness.展开更多
Advanced DriverAssistance Systems(ADAS)technologies can assist drivers or be part of automatic driving systems to support the driving process and improve the level of safety and comfort on the road.Traffic Sign Recogn...Advanced DriverAssistance Systems(ADAS)technologies can assist drivers or be part of automatic driving systems to support the driving process and improve the level of safety and comfort on the road.Traffic Sign Recognition System(TSRS)is one of themost important components ofADAS.Among the challengeswith TSRS is being able to recognize road signs with the highest accuracy and the shortest processing time.Accordingly,this paper introduces a new real time methodology recognizing Speed Limit Signs based on a trio of developed modules.Firstly,the Speed Limit Detection(SLD)module uses the Haar Cascade technique to generate a new SL detector in order to localize SL signs within captured frames.Secondly,the Speed Limit Classification(SLC)module,featuring machine learning classifiers alongside a newly developed model called DeepSL,harnesses the power of a CNN architecture to extract intricate features from speed limit sign images,ensuring efficient and precise recognition.In addition,a new Speed Limit Classifiers Fusion(SLCF)module has been developed by combining trained ML classifiers and the DeepSL model by using the Dempster-Shafer theory of belief functions and ensemble learning’s voting technique.Through rigorous software and hardware validation processes,the proposedmethodology has achieved highly significant F1 scores of 99.98%and 99.96%for DS theory and the votingmethod,respectively.Furthermore,a prototype encompassing all components demonstrates outstanding reliability and efficacy,with processing times of 150 ms for the Raspberry Pi board and 81.5 ms for the Nano Jetson board,marking a significant advancement in TSRS technology.展开更多
Automated electrical equipment can be processed, researched and developed by computer, which can effectively improve the safety and stability of the equipment. However, the mechanical and electrical equipment system i...Automated electrical equipment can be processed, researched and developed by computer, which can effectively improve the safety and stability of the equipment. However, the mechanical and electrical equipment system is affected by various factors in the process of operation, and often fails, which seriously affects the normal production. On this basis, we have made an in-depth study of automation equipment failures and introduced the basic strategies and maintenance methods to prevent common failures, which are just references.展开更多
智能网联技术是未来智能交通系统的发展趋势,然而智能网联车辆(Connected and Automated Vehicle,CAV)与人工驾驶车辆(Human-Driven Vehicle,HDV)共同构成的新型混合交通流将长期存在。如何充分利用CAV的网联及可管控特性,实现交通运行...智能网联技术是未来智能交通系统的发展趋势,然而智能网联车辆(Connected and Automated Vehicle,CAV)与人工驾驶车辆(Human-Driven Vehicle,HDV)共同构成的新型混合交通流将长期存在。如何充分利用CAV的网联及可管控特性,实现交通运行优化和道路资源利用效率提升,是新型混合交通流亟待解决的重要问题。现有混合交通流专用车道管控研究侧重于不同交通需求和CAV渗透率下的路权分配,并未充分考虑CAV与交通管控系统的双向交互特性。针对上述不足,提出了“粒流协同专用车道”概念,简称粒流协同道。粒流协同道管控方法包括管控区域设置、车道设置以及粒流协同策略三部分。粒流协同策略的管控对象是CAV车流和CAV个体,旨在通过集中或分布式CAV管控实现道路管理优化。针对高速公路常规场景,设置单一管控区及粒流协同道,通过3组分布式CAV粒控策略,从CAV无协同换道、协同换道、专用道调速、全车道调速等4个方面实现了不同程度的管控,提升了车辆聚集性,仿真结果表明通行能力最高可提升17.0%。针对高速公路事故场景,设置调整、换道和恢复3个管控区,规定了各区粒流协同道的路权,通过分布式CAV流控的车头时距调整策略、集中式CAV粒控的车流均衡策略以及分布式CAV粒控的车道恢复策略实现了车道临时封闭情况下的交通协同管控,仿真结果表明通行能力最高可提升18.1%,车辆平均延误时间最高可减少336 s。研究结果表明:粒流协同道管控方法通过增强CAV车流与混合车流的物理耦合度,并借助针对不同交通场景的协同策略,能显著提升道路通行能力,同时有效优化交通运行状况。展开更多
基金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.
文摘BACKGROUND Spontaneous bacterial peritonitis(SBP)is one of the most important complications of patients with liver cirrhosis entailing high morbidity and mortality.Making an accurate early diagnosis of this infection is key in the outcome of these patients.The current definition of SBP is based on studies performed more than 40 years ago using a manual technique to count the number of polymorphs in ascitic fluid(AF).There is a lack of data comparing the traditional cell count method with a current automated cell counter.Moreover,current international guidelines do not mention the type of cell count method to be employed and around half of the centers still rely on the traditional manual method.AIM To compare the accuracy of polymorph count on AF to diagnose SBP between the traditional manual cell count method and a modern automated cell counter against SBP cases fulfilling gold standard criteria:Positive AF culture and signs/symptoms of peritonitis.METHODS Retrospective analysis including two cohorts:Cross-sectional(cohort 1)and case-control(cohort 2),of patients with decompensated cirrhosis and ascites.Both cell count methods were conducted simultaneously.Positive SBP cases had a pathogenic bacteria isolated on AF and signs/symptoms of peritonitis.RESULTS A total of 137 cases with 5 positive-SBP,and 85 cases with 33 positive-SBP were included in cohort 1 and 2,respectively.Positive-SBP cases had worse liver function in both cohorts.The automated method showed higher sensitivity than the manual cell count:80%vs 52%,P=0.02,in cohort 2.Both methods showed very good specificity(>95%).The best cutoff using the automated cell counter was polymorph≥0.2 cells×10^(9)/L(equivalent to 200 cells/mm^(3))in AF as it has the higher sensitivity keeping a good specificity.CONCLUSION The automated cell count method should be preferred over the manual method to diagnose SBP because of its higher sensitivity.SBP definition,using the automated method,as polymorph cell count≥0.2 cells×10^(9)/L in AF would need to be considered in patients admitted with decompensated cirrhosis.
文摘It is now well known that levels of sperm disomy correlate to levels of infertility （as well as other factors）.The risk of perpetuating aneuploidy to the offspring of infertile males undergoing intracytoplasmic sperm injection （ICSI） has become a hotly debated issue in assisted reproduction;however,there remain barriers to the practical implementation of offering sperm disomy screening in a clinical setting. The major barrier is the operator time taken to analyze a statistically meaningful （sufficient） number of cells. The introduction of automated ＇spot counting＇software-hardware combinations presents a potential solution to this problem. In this preliminary validation study,we analyzed 10 patients,both manually and using a commercially available spot counter. Results show a statistically significant correlation between both approaches for scoring of sperm disomy,but no correlation is found when scoring for diploid sperm. The most likely explanation for the latter is an apparent overscoring of two closely associated sperm heads as a single diploid cell. These results,and similar further studies that will ensue,help to inform cost-benefit analyses that individual clinics need to carry out in order to decide whether to adopt sperm aneuploidy screening as a routine tool for the assessment of sperm from men requiring ICSI treatment.
文摘It has been over 40 years since scientists and engineers attempted to automate optical microscope and scanning electron microscope (SEM) to measure the mineral liberation characteristics of ores in order to predict their flotation responses. As early as 1963, the first optical instrument equipped with a video camera to analyse grain structure of a sample was produced by Metals Research Instrument Corporation (Image Analysis Company Ltd., 1970), which introduced Quantimet 720, a fully digital image analysis system, in 1969. Remarkably, Quantimet system is still widely used today.
基金supported by the National Natural Science Foundation of China under Grant 62173314.
文摘This paper investigates control synthesis for motion planning under conditions of uncertainty,specifically in robot motion and environmental properties,which are modeled using a probabilistic labeled Markov decision process(PL-MDP).To address this,a model-free reinforcement learning(RL)approach is designed to produce a finite-memory control policy that meets complex tasks specified by linear temporal logic(LTL)formulas.Recognizing the presence of uncertainties and potentially conflicting objectives,this study centers on addressing infeasible LTL specifications.A relaxed LTL constraint enables the agent to adapt its motion plan,allowing for partial satisfaction by accounting for necessary task violations.Additionally,a new automaton structure is introduced to increase the density of accepting rewards,facilitating deterministic policy outcomes.The proposed RL framework is rigorously analyzed and prioritizes two key objectives:(1)satisfying the acceptance condition of the relaxed product MDP,and(2)minimizing long-term violation costs.Simulation and experimental results are presented to demonstrate the framework’s effectiveness and robustness.
文摘Advanced DriverAssistance Systems(ADAS)technologies can assist drivers or be part of automatic driving systems to support the driving process and improve the level of safety and comfort on the road.Traffic Sign Recognition System(TSRS)is one of themost important components ofADAS.Among the challengeswith TSRS is being able to recognize road signs with the highest accuracy and the shortest processing time.Accordingly,this paper introduces a new real time methodology recognizing Speed Limit Signs based on a trio of developed modules.Firstly,the Speed Limit Detection(SLD)module uses the Haar Cascade technique to generate a new SL detector in order to localize SL signs within captured frames.Secondly,the Speed Limit Classification(SLC)module,featuring machine learning classifiers alongside a newly developed model called DeepSL,harnesses the power of a CNN architecture to extract intricate features from speed limit sign images,ensuring efficient and precise recognition.In addition,a new Speed Limit Classifiers Fusion(SLCF)module has been developed by combining trained ML classifiers and the DeepSL model by using the Dempster-Shafer theory of belief functions and ensemble learning’s voting technique.Through rigorous software and hardware validation processes,the proposedmethodology has achieved highly significant F1 scores of 99.98%and 99.96%for DS theory and the votingmethod,respectively.Furthermore,a prototype encompassing all components demonstrates outstanding reliability and efficacy,with processing times of 150 ms for the Raspberry Pi board and 81.5 ms for the Nano Jetson board,marking a significant advancement in TSRS technology.
文摘Automated electrical equipment can be processed, researched and developed by computer, which can effectively improve the safety and stability of the equipment. However, the mechanical and electrical equipment system is affected by various factors in the process of operation, and often fails, which seriously affects the normal production. On this basis, we have made an in-depth study of automation equipment failures and introduced the basic strategies and maintenance methods to prevent common failures, which are just references.
