首页 > 最新文献

2011 IEEE International Conference on Automation Science and Engineering最新文献

英文 中文
Appointment scheduling of oncology outpatients 肿瘤科门诊预约安排
Pub Date : 2011-10-13 DOI: 10.1109/CASE.2011.6042417
Abdellah Sadki, Xiaolan Xie, F. Chauvin
This paper addresses the problem of appointment scheduling of patients of an oncology outpatient unit. Each patient is first seen by his oncologist, and then the drug is prepared and injected to the patient. Two major resources including oncologists for consultation and beds for injection are considered. Idle times of oncologists are not allowed. The problem consists in scheduling the appointment time of each patient and the starting time of the injection in order to minimize the total weighted cost incurred by patient waiting times and the makespan. A Lagrangian relaxation-based heuristic and a local optimization heuristic are proposed. Numerical results show that the Lagrangian relaxation-based heuristic always outperforms the local optimization heuristic.
本文讨论了肿瘤门诊病人的预约调度问题。每个病人首先由他的肿瘤科医生看病,然后药物被准备好并注射到病人体内。两种主要资源包括会诊肿瘤科医生和注射床位。肿瘤医生不允许有空闲时间。该问题包括如何安排每位患者的预约时间和注射开始时间,以使患者等待时间和完工时间所产生的总加权成本最小。提出了一种基于拉格朗日松弛的启发式算法和一种局部优化启发式算法。数值结果表明,基于拉格朗日松弛的启发式算法总是优于局部优化启发式算法。
{"title":"Appointment scheduling of oncology outpatients","authors":"Abdellah Sadki, Xiaolan Xie, F. Chauvin","doi":"10.1109/CASE.2011.6042417","DOIUrl":"https://doi.org/10.1109/CASE.2011.6042417","url":null,"abstract":"This paper addresses the problem of appointment scheduling of patients of an oncology outpatient unit. Each patient is first seen by his oncologist, and then the drug is prepared and injected to the patient. Two major resources including oncologists for consultation and beds for injection are considered. Idle times of oncologists are not allowed. The problem consists in scheduling the appointment time of each patient and the starting time of the injection in order to minimize the total weighted cost incurred by patient waiting times and the makespan. A Lagrangian relaxation-based heuristic and a local optimization heuristic are proposed. Numerical results show that the Lagrangian relaxation-based heuristic always outperforms the local optimization heuristic.","PeriodicalId":236208,"journal":{"name":"2011 IEEE International Conference on Automation Science and Engineering","volume":"261 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-10-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122288595","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 32
Feedback control of machine startup for energy-efficient manufacturing in Bernoulli serial lines 伯努利系列生产线节能制造中机器启动的反馈控制
Pub Date : 2011-10-13 DOI: 10.1109/CASE.2011.6042495
Guorong Chen, L. Zhang, J. Arinez, S. Biller
Effective control of production operations is considered as one of the most economical methods to improve energy efficiency in manufacturing systems. This paper investigates energy consumption reduction in Bernoulli serial lines with buffer stripping, i.e., with the buffers that must be depleted at the end of each shift. This buffer depletion activity is widely used in automotive paint shops and other production systems with perishable products to avoid quality deterioration. Clearly, to reduce energy consumption in such systems, the startup schedule of the machines downstream of the depleted buffers should be controlled properly at the beginning of each shift. In this paper, using transient analysis of the systems at hand, performance evaluation formulas are derived and system-theoretic properties are analyzed. In addition, effective controllers for machine startup schedule are proposed. The efficacy and practical implications of these controllers are demonstrated using numerical investigation. Finally, insights for obtaining the optimal controllers are provided.
生产操作的有效控制被认为是提高制造系统能源效率的最经济的方法之一。本文研究了伯努利串行线中缓冲剥离的能耗降低,即在每个班次结束时必须耗尽的缓冲区。这种缓冲消耗活动广泛应用于汽车油漆车间和其他易腐烂产品的生产系统,以避免质量恶化。显然,为了减少这种系统的能耗,在每班开始时,应该适当地控制耗尽缓冲区下游机器的启动时间表。本文通过对现有系统的暂态分析,推导了性能评价公式,分析了系统的理论特性。此外,还提出了有效的机器启动调度控制器。通过数值研究证明了这些控制器的有效性和实际意义。最后,给出了获取最优控制器的一些见解。
{"title":"Feedback control of machine startup for energy-efficient manufacturing in Bernoulli serial lines","authors":"Guorong Chen, L. Zhang, J. Arinez, S. Biller","doi":"10.1109/CASE.2011.6042495","DOIUrl":"https://doi.org/10.1109/CASE.2011.6042495","url":null,"abstract":"Effective control of production operations is considered as one of the most economical methods to improve energy efficiency in manufacturing systems. This paper investigates energy consumption reduction in Bernoulli serial lines with buffer stripping, i.e., with the buffers that must be depleted at the end of each shift. This buffer depletion activity is widely used in automotive paint shops and other production systems with perishable products to avoid quality deterioration. Clearly, to reduce energy consumption in such systems, the startup schedule of the machines downstream of the depleted buffers should be controlled properly at the beginning of each shift. In this paper, using transient analysis of the systems at hand, performance evaluation formulas are derived and system-theoretic properties are analyzed. In addition, effective controllers for machine startup schedule are proposed. The efficacy and practical implications of these controllers are demonstrated using numerical investigation. Finally, insights for obtaining the optimal controllers are provided.","PeriodicalId":236208,"journal":{"name":"2011 IEEE International Conference on Automation Science and Engineering","volume":"76 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-10-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114220854","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 21
Modeling and analysis of dual-arm cluster tools for wafer fabrication with revisiting 基于重访的双臂集束工具建模与分析
Pub Date : 2011-10-13 DOI: 10.1109/CASE.2011.6042403
Yan Qiao, N. Wu, Mengchu Zhou
Some wafer fabrication processes are repeated processes, e.g. atomic layer deposition (ALD) process. For such processes, the wafers need to visit some processing modules for a number of times, which complicates the cycle time analysis. This paper studies the cycle time analysis problem for such processes. With a Petri net model, it is found that such processes contain local cycles involving only the revisiting PMs and global cycles involving both revisiting and non-revisiting PMs. The process switches between these two types of cycles such that the process never reaches a steady state. Based on this finding, the mechanism underlying such processes is revealed and analytical expressions are given for the calculation of their cycle time. Illustrative examples are presented to show the application of the proposed approach.
一些晶圆制造工艺是重复工艺,如原子层沉积(ALD)工艺。对于这种工艺,晶圆需要多次访问某些加工模块,这使得周期时间分析变得复杂。本文研究了这类过程的周期时间分析问题。利用Petri网模型,发现该过程包含只涉及重访pm的局部周期和涉及重访pm和非重访pm的全局周期。过程在这两种类型的循环之间切换,因此过程永远不会达到稳定状态。基于这一发现,揭示了这一过程的机制,并给出了计算其循环时间的解析表达式。举例说明了该方法的应用。
{"title":"Modeling and analysis of dual-arm cluster tools for wafer fabrication with revisiting","authors":"Yan Qiao, N. Wu, Mengchu Zhou","doi":"10.1109/CASE.2011.6042403","DOIUrl":"https://doi.org/10.1109/CASE.2011.6042403","url":null,"abstract":"Some wafer fabrication processes are repeated processes, e.g. atomic layer deposition (ALD) process. For such processes, the wafers need to visit some processing modules for a number of times, which complicates the cycle time analysis. This paper studies the cycle time analysis problem for such processes. With a Petri net model, it is found that such processes contain local cycles involving only the revisiting PMs and global cycles involving both revisiting and non-revisiting PMs. The process switches between these two types of cycles such that the process never reaches a steady state. Based on this finding, the mechanism underlying such processes is revealed and analytical expressions are given for the calculation of their cycle time. Illustrative examples are presented to show the application of the proposed approach.","PeriodicalId":236208,"journal":{"name":"2011 IEEE International Conference on Automation Science and Engineering","volume":"37 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-10-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121199675","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 6
A GERT-based analytical method for remanufacturing process routing 基于gert的再制造工艺路径分析方法
Pub Date : 2011-10-13 DOI: 10.1109/CASE.2011.6042398
C. Li, Ying Tang, Chengchuan Li
This paper presents a GERT (Graphical Evaluation and Review Technique)-based analytical method for uncertainty management of remanufacturing. Four GERT-based stochastic remanufacturing process routing (RPR) models are first proposed. A remanufacturing system that consists of various process flows is then analyzed, where the probability of and the time associated with individual process are estimated. Finally, the method is demonstrated through the remanufacturing of used lathe spindles, and validated by Arena simulation.
提出了一种基于GERT (Graphical Evaluation and Review Technique)的再制造不确定性管理分析方法。首先提出了四种基于随机再制造过程路由的随机再制造过程路由模型。然后对由各种工艺流程组成的再制造系统进行了分析,其中估计了与单个工艺相关的概率和时间。最后,以旧车床主轴再制造为例对该方法进行了验证,并通过Arena仿真进行了验证。
{"title":"A GERT-based analytical method for remanufacturing process routing","authors":"C. Li, Ying Tang, Chengchuan Li","doi":"10.1109/CASE.2011.6042398","DOIUrl":"https://doi.org/10.1109/CASE.2011.6042398","url":null,"abstract":"This paper presents a GERT (Graphical Evaluation and Review Technique)-based analytical method for uncertainty management of remanufacturing. Four GERT-based stochastic remanufacturing process routing (RPR) models are first proposed. A remanufacturing system that consists of various process flows is then analyzed, where the probability of and the time associated with individual process are estimated. Finally, the method is demonstrated through the remanufacturing of used lathe spindles, and validated by Arena simulation.","PeriodicalId":236208,"journal":{"name":"2011 IEEE International Conference on Automation Science and Engineering","volume":"19 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-10-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125263688","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 18
Building energy doctors: SPC and Kalman filter-based fault detection 建筑能源医生:基于SPC和卡尔曼滤波的故障检测
Pub Date : 2011-10-13 DOI: 10.1109/CASE.2011.6042429
B. Sun, P. Luh, Zheng O’Neill, Fangting Song
Buildings worldwide account for nearly 40% of global energy consumption. The biggest energy consumer in buildings is the Heating, Ventilation and Air Conditioning (HVAC) systems. HVAC also ranks top in terms of number of complaints by tenants. Maintaining HVAC systems in good conditions through early fault detection is thus a critical issue. The problem, however, is difficult since HVAC systems are large in scale, consisting of many coupling subsystems, building and equipment dependent, and operating under uncertain conditions. In this paper, a model-based and data-driven method is presented for robust system-level fault detection with potential for large-scale implementation. It is a synergistic integration of (1) Statistical Process Control (SPC) for measuring and analyzing variations; (2) Kalman filtering based on gray-box models to provide predictions and determine SPC control limits; and (3) system analysis for analyzing fault propagation. The method has been tested against a simulation model of a 420-meter-high building. It detects both sudden faults and gradual degradation, and differentiates faults within a subsystem or propagated from elsewhere. Furthermore, the method is simple and generic, and should have good replicability and scalability.
世界各地的建筑占全球能源消耗的近40%。建筑中最大的能源消耗者是供暖、通风和空调(HVAC)系统。暖通空调在租户投诉数量方面也排名第一。因此,通过早期故障检测来保持暖通空调系统处于良好状态是一个关键问题。然而,由于暖通空调系统规模大,由许多耦合子系统组成,依赖于建筑和设备,并且在不确定的条件下运行,因此问题很困难。本文提出了一种基于模型和数据驱动的鲁棒系统级故障检测方法,具有大规模实现的潜力。它是(1)用于测量和分析变化的统计过程控制(SPC)的协同集成;(2)基于灰盒模型的卡尔曼滤波提供预测并确定SPC控制限;(3)系统分析,分析故障传播。该方法已经在一个420米高的建筑物的模拟模型上进行了测试。它既能检测突发故障,也能检测逐渐退化,并能区分子系统内的故障或从其他地方传播过来的故障。此外,该方法简单通用,具有良好的可复制性和可扩展性。
{"title":"Building energy doctors: SPC and Kalman filter-based fault detection","authors":"B. Sun, P. Luh, Zheng O’Neill, Fangting Song","doi":"10.1109/CASE.2011.6042429","DOIUrl":"https://doi.org/10.1109/CASE.2011.6042429","url":null,"abstract":"Buildings worldwide account for nearly 40% of global energy consumption. The biggest energy consumer in buildings is the Heating, Ventilation and Air Conditioning (HVAC) systems. HVAC also ranks top in terms of number of complaints by tenants. Maintaining HVAC systems in good conditions through early fault detection is thus a critical issue. The problem, however, is difficult since HVAC systems are large in scale, consisting of many coupling subsystems, building and equipment dependent, and operating under uncertain conditions. In this paper, a model-based and data-driven method is presented for robust system-level fault detection with potential for large-scale implementation. It is a synergistic integration of (1) Statistical Process Control (SPC) for measuring and analyzing variations; (2) Kalman filtering based on gray-box models to provide predictions and determine SPC control limits; and (3) system analysis for analyzing fault propagation. The method has been tested against a simulation model of a 420-meter-high building. It detects both sudden faults and gradual degradation, and differentiates faults within a subsystem or propagated from elsewhere. Furthermore, the method is simple and generic, and should have good replicability and scalability.","PeriodicalId":236208,"journal":{"name":"2011 IEEE International Conference on Automation Science and Engineering","volume":"48 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-10-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128132130","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 13
Recuperated energy savings potential and approaches in industrial robotics 工业机器人的再生能源节约潜力和方法
Pub Date : 2011-10-13 DOI: 10.1109/CASE.2011.6042435
D. Meike, L. Ribickis
This paper presents the experimental and simulation results of industrial robot's recuperated energy saving approaches. Two complementary alternatives- a capacitive energy buffer on the robot's DC-bus is evaluated and a novel approach, the robot EnergyTeam has been proposed. The principle of robot EnergyTeam is the DC-bus merging among various number of industrial robot power controllers thus enabling a controlled energy flow among the robots that decelerate and, therefore, recuperate the energy and those that simultaneously require a peak power supply for the acceleration. Cost efficiency is estimated considering the characteristics in robotics of real production in the automobile industry.
本文给出了工业机器人再生节能方法的实验与仿真结果。评估了两种互补方案——机器人直流总线上的电容式能量缓冲器,并提出了一种新颖的方法——机器人能量团队。机器人EnergyTeam的原理是在多个工业机器人电源控制器之间合并直流总线,从而在减速并因此恢复能量的机器人和同时需要峰值电源以加速的机器人之间实现可控的能量流。考虑机器人在汽车工业实际生产中的特点,对机器人的成本效率进行了估算。
{"title":"Recuperated energy savings potential and approaches in industrial robotics","authors":"D. Meike, L. Ribickis","doi":"10.1109/CASE.2011.6042435","DOIUrl":"https://doi.org/10.1109/CASE.2011.6042435","url":null,"abstract":"This paper presents the experimental and simulation results of industrial robot's recuperated energy saving approaches. Two complementary alternatives- a capacitive energy buffer on the robot's DC-bus is evaluated and a novel approach, the robot EnergyTeam has been proposed. The principle of robot EnergyTeam is the DC-bus merging among various number of industrial robot power controllers thus enabling a controlled energy flow among the robots that decelerate and, therefore, recuperate the energy and those that simultaneously require a peak power supply for the acceleration. Cost efficiency is estimated considering the characteristics in robotics of real production in the automobile industry.","PeriodicalId":236208,"journal":{"name":"2011 IEEE International Conference on Automation Science and Engineering","volume":"12 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-10-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114748945","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 33
Automation of assembly and packaging at the micro/nano-scale 微/纳米级的装配和包装自动化
Pub Date : 2011-10-13 DOI: 10.1109/CASE.2011.6042531
M. Rakotondrabe, Y. Haddab, C. Clévy, P. Lutz
This paper provides a general overview of the material covered in the fullday workshop with the same title devoted to the field of automation in microassembly and packaging at the micro/nanoscale.
本文提供了全天研讨会中所涵盖的材料的总体概述,该研讨会致力于微/纳米尺度上的微组装和封装自动化领域。
{"title":"Automation of assembly and packaging at the micro/nano-scale","authors":"M. Rakotondrabe, Y. Haddab, C. Clévy, P. Lutz","doi":"10.1109/CASE.2011.6042531","DOIUrl":"https://doi.org/10.1109/CASE.2011.6042531","url":null,"abstract":"This paper provides a general overview of the material covered in the fullday workshop with the same title devoted to the field of automation in microassembly and packaging at the micro/nanoscale.","PeriodicalId":236208,"journal":{"name":"2011 IEEE International Conference on Automation Science and Engineering","volume":"48 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-10-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115396526","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 2
Long-term operational experience with a robot cell production system controlled by low carbon-footprint Senju (thousand-handed) Kannon Model robots and an approach to improving operating efficiency 通过低碳足迹Senju(千手)kanno模型机器人控制的机器人细胞生产系统的长期操作经验和提高操作效率的方法
Pub Date : 2011-10-13 DOI: 10.1109/CASE.2011.6042406
H. Yonezawa, Hamada Koichi, Manabu Zennami, Katsuhisa Ida, N. Higuchi, Yoshihito Sugano, M. Yamada, Toshihiro Fujita
In an effort to optimize our production system, in 2000 we introduced a robot cell production system controlled by low carbon-footprint Senju (thousand-handed) Kannon Model robots on our manufacturing line. Since then, over a period of 11 years, we have successfully produced more than 52 million product units, using this cell production system. During this period, we have made many improvements to the system, such shortening the takt time in the production process. Then, in a new quest for improvement, we focused our attention on the production system's operating conditions. More specifically, we have carried out research and development studies on the prospect of minimizing production systemdowntime, to improve our operating efficiency, and on running the production system non-stop for long periods of time.
为了优化我们的生产系统,2000年,我们在生产线上引入了由低碳足迹Senju(千手)kanno模型机器人控制的机器人单元生产系统。从那时起,在11年的时间里,我们已经成功地生产了超过5200万个产品单位,使用这种细胞生产系统。在此期间,我们对系统进行了许多改进,缩短了生产过程中的节拍时间。然后,为了改进,我们把注意力集中在生产系统的运行条件上。更具体地说,我们已经进行了研究和开发研究,以最大限度地减少生产系统的停机时间,以提高我们的运营效率,以及长时间不间断运行生产系统。
{"title":"Long-term operational experience with a robot cell production system controlled by low carbon-footprint Senju (thousand-handed) Kannon Model robots and an approach to improving operating efficiency","authors":"H. Yonezawa, Hamada Koichi, Manabu Zennami, Katsuhisa Ida, N. Higuchi, Yoshihito Sugano, M. Yamada, Toshihiro Fujita","doi":"10.1109/CASE.2011.6042406","DOIUrl":"https://doi.org/10.1109/CASE.2011.6042406","url":null,"abstract":"In an effort to optimize our production system, in 2000 we introduced a robot cell production system controlled by low carbon-footprint Senju (thousand-handed) Kannon Model robots on our manufacturing line. Since then, over a period of 11 years, we have successfully produced more than 52 million product units, using this cell production system. During this period, we have made many improvements to the system, such shortening the takt time in the production process. Then, in a new quest for improvement, we focused our attention on the production system's operating conditions. More specifically, we have carried out research and development studies on the prospect of minimizing production systemdowntime, to improve our operating efficiency, and on running the production system non-stop for long periods of time.","PeriodicalId":236208,"journal":{"name":"2011 IEEE International Conference on Automation Science and Engineering","volume":"39 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-10-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123534806","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 6
Towards an automated verification process for industrial safety applications 迈向工业安全应用的自动化验证过程
Pub Date : 2011-10-13 DOI: 10.1109/CASE.2011.6042451
K. Thramboulidis, Doaa Soliman, Georg Frey
Legacy systems that do not conform to the norms and regulations imposed by recent safety standards have to be upgraded to meet safety requirements. In this paper, we describe a methodology to upgrade legacy industrial applications based on the IEC61131 function block model without the need to redesign the whole application. We then describe an approach for automating the verification process of safety applications that is based on the use of the UPPAAL simulation and verification platform for embedded real-time systems. The meta-models of the source and target domains are presented and a transformation process of the PLCopen XML design specification to UPPAAL XML specification is described. A laboratory system is used as a case study to demonstrate the applicability of the proposed process.
不符合最新安全标准的规范和规定的遗留系统必须进行升级以满足安全要求。在本文中,我们描述了一种基于IEC61131功能块模型升级传统工业应用的方法,而无需重新设计整个应用。然后,我们描述了一种基于嵌入式实时系统UPPAAL仿真和验证平台的安全应用程序自动化验证过程的方法。给出了源域和目标域的元模型,并描述了PLCopen XML设计规范到UPPAAL XML设计规范的转换过程。一个实验室系统被用作案例研究,以证明所提出的过程的适用性。
{"title":"Towards an automated verification process for industrial safety applications","authors":"K. Thramboulidis, Doaa Soliman, Georg Frey","doi":"10.1109/CASE.2011.6042451","DOIUrl":"https://doi.org/10.1109/CASE.2011.6042451","url":null,"abstract":"Legacy systems that do not conform to the norms and regulations imposed by recent safety standards have to be upgraded to meet safety requirements. In this paper, we describe a methodology to upgrade legacy industrial applications based on the IEC61131 function block model without the need to redesign the whole application. We then describe an approach for automating the verification process of safety applications that is based on the use of the UPPAAL simulation and verification platform for embedded real-time systems. The meta-models of the source and target domains are presented and a transformation process of the PLCopen XML design specification to UPPAAL XML specification is described. A laboratory system is used as a case study to demonstrate the applicability of the proposed process.","PeriodicalId":236208,"journal":{"name":"2011 IEEE International Conference on Automation Science and Engineering","volume":"15 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-10-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116217801","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 6
An efficient metaheuristic for multi-dimensional multi-container packing 多维多容器包装的一种高效元启发式算法
Pub Date : 2011-10-13 DOI: 10.1109/CASE.2011.6042476
G. Perboli, T. Crainic, R. Tadei
In this paper, we introduce GASP - Greedy Adaptive Search Procedure, a metaheuristic able to efficiently address two and three-dimensional multiple container packing problems. GASP combines the simplicity of greedy algorithms with learning mechanisms aimed to guide the overall method towards good solutions. Extensive experiments indicate that GASP attains near-optimal solutions in very short computational times, and improves state-of-the-art results in comparable computational times.
本文介绍了一种能够有效解决二维和三维多容器包装问题的元启发式算法GASP -贪心自适应搜索算法。GASP将贪心算法的简单性与学习机制相结合,旨在指导整个方法获得良好的解决方案。大量的实验表明,GASP在很短的计算时间内获得了接近最优的解决方案,并在可比的计算时间内改进了最先进的结果。
{"title":"An efficient metaheuristic for multi-dimensional multi-container packing","authors":"G. Perboli, T. Crainic, R. Tadei","doi":"10.1109/CASE.2011.6042476","DOIUrl":"https://doi.org/10.1109/CASE.2011.6042476","url":null,"abstract":"In this paper, we introduce GASP - Greedy Adaptive Search Procedure, a metaheuristic able to efficiently address two and three-dimensional multiple container packing problems. GASP combines the simplicity of greedy algorithms with learning mechanisms aimed to guide the overall method towards good solutions. Extensive experiments indicate that GASP attains near-optimal solutions in very short computational times, and improves state-of-the-art results in comparable computational times.","PeriodicalId":236208,"journal":{"name":"2011 IEEE International Conference on Automation Science and Engineering","volume":"25 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-10-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121380311","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 29
期刊
2011 IEEE International Conference on Automation Science and Engineering
全部 Acc. Chem. Res. ACS Applied Bio Materials ACS Appl. Electron. Mater. ACS Appl. Energy Mater. ACS Appl. Mater. Interfaces ACS Appl. Nano Mater. ACS Appl. Polym. Mater. ACS BIOMATER-SCI ENG ACS Catal. ACS Cent. Sci. ACS Chem. Biol. ACS Chemical Health & Safety ACS Chem. Neurosci. ACS Comb. Sci. ACS Earth Space Chem. ACS Energy Lett. ACS Infect. Dis. ACS Macro Lett. ACS Mater. Lett. ACS Med. Chem. Lett. ACS Nano ACS Omega ACS Photonics ACS Sens. ACS Sustainable Chem. Eng. ACS Synth. Biol. Anal. Chem. BIOCHEMISTRY-US Bioconjugate Chem. BIOMACROMOLECULES Chem. Res. Toxicol. Chem. Rev. Chem. Mater. CRYST GROWTH DES ENERG FUEL Environ. Sci. Technol. Environ. Sci. Technol. Lett. Eur. J. Inorg. Chem. IND ENG CHEM RES Inorg. Chem. J. Agric. Food. Chem. J. Chem. Eng. Data J. Chem. Educ. J. Chem. Inf. Model. J. Chem. Theory Comput. J. Med. Chem. J. Nat. Prod. J PROTEOME RES J. Am. Chem. Soc. LANGMUIR MACROMOLECULES Mol. Pharmaceutics Nano Lett. Org. Lett. ORG PROCESS RES DEV ORGANOMETALLICS J. Org. Chem. J. Phys. Chem. J. Phys. Chem. A J. Phys. Chem. B J. Phys. Chem. C J. Phys. Chem. Lett. Analyst Anal. Methods Biomater. Sci. Catal. Sci. Technol. Chem. Commun. Chem. Soc. Rev. CHEM EDUC RES PRACT CRYSTENGCOMM Dalton Trans. Energy Environ. Sci. ENVIRON SCI-NANO ENVIRON SCI-PROC IMP ENVIRON SCI-WAT RES Faraday Discuss. Food Funct. Green Chem. Inorg. Chem. Front. Integr. Biol. J. Anal. At. Spectrom. J. Mater. Chem. A J. Mater. Chem. B J. Mater. Chem. C Lab Chip Mater. Chem. Front. Mater. Horiz. MEDCHEMCOMM Metallomics Mol. Biosyst. Mol. Syst. Des. Eng. Nanoscale Nanoscale Horiz. Nat. Prod. Rep. New J. Chem. Org. Biomol. Chem. Org. Chem. Front. PHOTOCH PHOTOBIO SCI PCCP Polym. Chem.
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1