首页 > 最新文献

2018 IEEE 14th International Conference on Automation Science and Engineering (CASE)最新文献

英文 中文
Automated Electric-Field-Based Nanowire Characterization, Manipulation, and Assembly 自动化电场纳米线表征,操作和组装
Pub Date : 2018-12-04 DOI: 10.1109/COASE.2018.8560698
Kaiyan Yu, J. Yi, J. Shan
We present an integrated, electric-field-based method for Automated Characterization, Manipulation, and Assembly of Nanowires (ACMAN) into nanodevices by selectable electrical conductivities with precisely controlled positions and orientations. We combine electrophoresis-based motion-control, planning and manipulation strategies and contactless and solution-based electro-orientation spectroscopy (EOS) to simultaneously characterize and manipulate multiple individual nanowires. The ACMAN is a complete automated and online process to form functional nanodevice with desired electrical properties. We validate the ACMAN design by assembling field-effect transistors (FETs) with silicon nanowires of selected electrical conductivities. The results confirm the high performance of the FET by the ACMAN process.
我们提出了一种集成的、基于电场的方法,通过可选择的电导率和精确控制的位置和方向,将纳米线(ACMAN)自动表征、操纵和组装成纳米器件。我们结合了基于电泳的运动控制,规划和操作策略以及非接触式和基于溶液的电取向光谱(EOS)来同时表征和操作多个单独的纳米线。ACMAN是一个完整的自动化和在线过程,形成具有所需电性能的功能性纳米器件。我们通过将场效应晶体管(fet)与选定电导率的硅纳米线组装在一起来验证ACMAN设计。实验结果证实了ACMAN工艺所制备的场效应管的高性能。
{"title":"Automated Electric-Field-Based Nanowire Characterization, Manipulation, and Assembly","authors":"Kaiyan Yu, J. Yi, J. Shan","doi":"10.1109/COASE.2018.8560698","DOIUrl":"https://doi.org/10.1109/COASE.2018.8560698","url":null,"abstract":"We present an integrated, electric-field-based method for Automated Characterization, Manipulation, and Assembly of Nanowires (ACMAN) into nanodevices by selectable electrical conductivities with precisely controlled positions and orientations. We combine electrophoresis-based motion-control, planning and manipulation strategies and contactless and solution-based electro-orientation spectroscopy (EOS) to simultaneously characterize and manipulate multiple individual nanowires. The ACMAN is a complete automated and online process to form functional nanodevice with desired electrical properties. We validate the ACMAN design by assembling field-effect transistors (FETs) with silicon nanowires of selected electrical conductivities. The results confirm the high performance of the FET by the ACMAN process.","PeriodicalId":6518,"journal":{"name":"2018 IEEE 14th International Conference on Automation Science and Engineering (CASE)","volume":"22 1","pages":"1612-1617"},"PeriodicalIF":0.0,"publicationDate":"2018-12-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"72968053","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}
引用次数: 5
A Grouping Genetic Algorithm for the Intercell Scheduling Problem 细胞间调度问题的分组遗传算法
Pub Date : 2018-08-01 DOI: 10.1109/COASE.2018.8560518
Shuai Wang, Shaofeng Du, Tao Ma, Dongni Li
To solve intercell scheduling problem in industrial environments, heuristic rules are becoming popular due to the simplicity and efficiency. Grouping decisions in decision blocks is an efficient way to make the use of heuristic rules. A decision block generation algorithm based on grouping genetic algorithm (DBGA) is proposed in this paper. In DBGA, both the size and the constitution of each decision block are evolved together. Non-sequential entities are grouped into decision blocks and rules are assigned to decision blocks simultaneously. Comparative experiments are conducted with different structures of decision blocks. The results verify the effectiveness of DBGA.
为了解决工业环境下的小区间调度问题,启发式规则以其简单、高效的特点得到了广泛的应用。在决策块中分组决策是一种有效地利用启发式规则的方法。提出了一种基于分组遗传算法(DBGA)的决策块生成算法。在DBGA中,每个决策块的大小和组成都是一起进化的。将非顺序实体分组到决策块中,同时将规则分配到决策块中。对不同结构的决策块进行了对比实验。实验结果验证了DBGA算法的有效性。
{"title":"A Grouping Genetic Algorithm for the Intercell Scheduling Problem","authors":"Shuai Wang, Shaofeng Du, Tao Ma, Dongni Li","doi":"10.1109/COASE.2018.8560518","DOIUrl":"https://doi.org/10.1109/COASE.2018.8560518","url":null,"abstract":"To solve intercell scheduling problem in industrial environments, heuristic rules are becoming popular due to the simplicity and efficiency. Grouping decisions in decision blocks is an efficient way to make the use of heuristic rules. A decision block generation algorithm based on grouping genetic algorithm (DBGA) is proposed in this paper. In DBGA, both the size and the constitution of each decision block are evolved together. Non-sequential entities are grouped into decision blocks and rules are assigned to decision blocks simultaneously. Comparative experiments are conducted with different structures of decision blocks. The results verify the effectiveness of DBGA.","PeriodicalId":6518,"journal":{"name":"2018 IEEE 14th International Conference on Automation Science and Engineering (CASE)","volume":"50 1","pages":"956-961"},"PeriodicalIF":0.0,"publicationDate":"2018-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"73433787","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}
引用次数: 0
Digital Twin for Legacy Systems: Simulation Model Testing and Validation 遗留系统的数字孪生:仿真模型测试和验证
Pub Date : 2018-08-01 DOI: 10.1109/COASE.2018.8560338
Adnan Khan, M. Dahl, P. Falkman, Martin Fabian
In this paper, an approach to incorporate a digital twin for legacy production systems is presented. Hardware-in-the-loop setups are routinely used by manufacturing companies to carry out virtual commissioning. However, manufacturing companies having online legacy production systems are still struggling to incorporate a digital twin due to the absence of verified and validated simulation models. Companies that use virtual commissioning as a part of their engineering tool chain, usually perform offline verification of the simulation model. This approach is typically based on visual inspection and is a tedious task as each aspect of the model has to be visually validated. For legacy systems, only assessing the behavior visually in the absence of updated documents can result in an incorrect simulation model, i.e. simulating incorrect behavior with respect to the specification. Due to this, such simulation models cannot be incorporated in the engineering tool chain, as the simulated results can lead to improper decisions and can even cause equipment damage. This paper presents a platform and an approach, based on model-based testing, that is a first step for manufacturing companies to incorporate a validated simulation model for existing online production systems that will serve as a digital twin.
在本文中,提出了一种为遗留生产系统合并数字孪生的方法。制造公司通常使用硬件在环设置来进行虚拟调试。然而,由于缺乏经过验证和验证的仿真模型,拥有在线传统生产系统的制造公司仍在努力整合数字孪生。将虚拟调试作为其工程工具链的一部分的公司通常会对仿真模型进行离线验证。这种方法通常基于视觉检查,并且是一项乏味的任务,因为模型的每个方面都必须进行视觉验证。对于遗留系统,仅在没有更新文档的情况下可视化地评估行为可能会导致不正确的模拟模型,即根据规范模拟不正确的行为。因此,此类仿真模型无法纳入工程工具链,因为仿真结果可能导致决策不当,甚至可能导致设备损坏。本文提出了一个基于模型测试的平台和方法,这是制造公司为现有在线生产系统整合经过验证的仿真模型的第一步,该模型将作为数字孪生。
{"title":"Digital Twin for Legacy Systems: Simulation Model Testing and Validation","authors":"Adnan Khan, M. Dahl, P. Falkman, Martin Fabian","doi":"10.1109/COASE.2018.8560338","DOIUrl":"https://doi.org/10.1109/COASE.2018.8560338","url":null,"abstract":"In this paper, an approach to incorporate a digital twin for legacy production systems is presented. Hardware-in-the-loop setups are routinely used by manufacturing companies to carry out virtual commissioning. However, manufacturing companies having online legacy production systems are still struggling to incorporate a digital twin due to the absence of verified and validated simulation models. Companies that use virtual commissioning as a part of their engineering tool chain, usually perform offline verification of the simulation model. This approach is typically based on visual inspection and is a tedious task as each aspect of the model has to be visually validated. For legacy systems, only assessing the behavior visually in the absence of updated documents can result in an incorrect simulation model, i.e. simulating incorrect behavior with respect to the specification. Due to this, such simulation models cannot be incorporated in the engineering tool chain, as the simulated results can lead to improper decisions and can even cause equipment damage. This paper presents a platform and an approach, based on model-based testing, that is a first step for manufacturing companies to incorporate a validated simulation model for existing online production systems that will serve as a digital twin.","PeriodicalId":6518,"journal":{"name":"2018 IEEE 14th International Conference on Automation Science and Engineering (CASE)","volume":"124 1","pages":"421-426"},"PeriodicalIF":0.0,"publicationDate":"2018-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"73769448","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}
引用次数: 35
Overbooking for Specialty Clinics with Patient No-Shows: A Queueing Approach 病人未到的专科诊所超额预约:排队方法
Pub Date : 2018-08-01 DOI: 10.1109/COASE.2018.8560573
Zhenghao Fan, Xiaolei Xie, Reynerio Sanchez, Xiang Zhong
Specialty clinics typically have a critical issue with patient adherence to their appointments, and suffer a huge backlog of patients who need to be seen. The goal of this study is to enhance care providers' productivity and patient access to care through effective clinic appointment scheduling. We introduce a novel discrete-time bulk service queue to model the backlog dynamics, and consider different overbooking strategies to reduce backlog at a minimum risk of working overtime. The modeling framework provides a tool for scheduling template design, and the insights obtained from the models can support clinic operation decision-making, ultimately improving the operational efficiency of clinics, and patient outcomes and satisfaction.
专科诊所通常有一个严重的问题,那就是病人要遵守他们的预约,而且需要看病的病人积压得很严重。本研究的目的是透过有效的门诊预约安排,提高医护人员的工作效率和病人获得护理的机会。我们引入了一种新的离散时间批量服务队列模型,对积压动态建模,并考虑了不同的超预定策略,在最小的加班风险下减少积压。该建模框架为调度模板设计提供了工具,通过模型获得的见解可以支持诊所的运营决策,最终提高诊所的运营效率,提高患者的治疗效果和满意度。
{"title":"Overbooking for Specialty Clinics with Patient No-Shows: A Queueing Approach","authors":"Zhenghao Fan, Xiaolei Xie, Reynerio Sanchez, Xiang Zhong","doi":"10.1109/COASE.2018.8560573","DOIUrl":"https://doi.org/10.1109/COASE.2018.8560573","url":null,"abstract":"Specialty clinics typically have a critical issue with patient adherence to their appointments, and suffer a huge backlog of patients who need to be seen. The goal of this study is to enhance care providers' productivity and patient access to care through effective clinic appointment scheduling. We introduce a novel discrete-time bulk service queue to model the backlog dynamics, and consider different overbooking strategies to reduce backlog at a minimum risk of working overtime. The modeling framework provides a tool for scheduling template design, and the insights obtained from the models can support clinic operation decision-making, ultimately improving the operational efficiency of clinics, and patient outcomes and satisfaction.","PeriodicalId":6518,"journal":{"name":"2018 IEEE 14th International Conference on Automation Science and Engineering (CASE)","volume":"68 1","pages":"396-401"},"PeriodicalIF":0.0,"publicationDate":"2018-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"74618402","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}
引用次数: 1
Solving Unequal-Area Facility Layout Problems with Orbits in Fully Automatic System 求解全自动化系统中带轨道的不等面积设施布局问题
Pub Date : 2018-08-01 DOI: 10.1109/COASE.2018.8560565
Xin-gang Hao, Mingyao Qi
The facility layout problem (FLP) has attracted much attention with abundant research on it. This paper studies the facility layout problem under a new industrial background. As increasing factories produce in full-automation, like chip production companies, which need orbits transmit materials, therefore, we consider a layout scheme that the facility is divided into several columns by vertical orbits, and in each column, there are several horizontal orbits with machines along both sides of them. We consider heterogeneous unequal-area machines, each type with more than one, to minimize the total theoretical material transmission distances. This study proposes a mixed integer linear programming (MILP) model to determine the locations of orbits, layouts of facilities as well as the material transmission routes which could lead to a global optimal solution. Through designed experiments, the results show how the parameter setting can affect the performance of the solution.
设施布局问题引起了人们的广泛关注,并进行了大量的研究。本文研究了新工业背景下的设施布局问题。随着越来越多的工厂实现全自动化生产,如芯片生产公司,需要轨道传输材料,因此,我们考虑一种布局方案,即通过垂直轨道将设施分成几列,每列中有几个水平轨道,两侧都有机器。我们考虑异质非等面积机器,每一种机器都有一个以上,以最小化总理论材料传输距离。本文提出了一种混合整数线性规划(MILP)模型,用于确定轨道位置、设施布局以及材料传输路径,从而导致全局最优解。通过设计实验,结果表明了参数设置对溶液性能的影响。
{"title":"Solving Unequal-Area Facility Layout Problems with Orbits in Fully Automatic System","authors":"Xin-gang Hao, Mingyao Qi","doi":"10.1109/COASE.2018.8560565","DOIUrl":"https://doi.org/10.1109/COASE.2018.8560565","url":null,"abstract":"The facility layout problem (FLP) has attracted much attention with abundant research on it. This paper studies the facility layout problem under a new industrial background. As increasing factories produce in full-automation, like chip production companies, which need orbits transmit materials, therefore, we consider a layout scheme that the facility is divided into several columns by vertical orbits, and in each column, there are several horizontal orbits with machines along both sides of them. We consider heterogeneous unequal-area machines, each type with more than one, to minimize the total theoretical material transmission distances. This study proposes a mixed integer linear programming (MILP) model to determine the locations of orbits, layouts of facilities as well as the material transmission routes which could lead to a global optimal solution. Through designed experiments, the results show how the parameter setting can affect the performance of the solution.","PeriodicalId":6518,"journal":{"name":"2018 IEEE 14th International Conference on Automation Science and Engineering (CASE)","volume":"47 1","pages":"1183-1188"},"PeriodicalIF":0.0,"publicationDate":"2018-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"78757432","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}
引用次数: 1
Hybrid Sensor-Based and Frontier-Based Exploration Algorithm for Autonomous Transport Vehicle Map Generation 基于传感器和边界的自动运输车辆地图生成混合探索算法
Pub Date : 2018-08-01 DOI: 10.1109/COASE.2018.8560488
K. Hidaka, N. Kameyama
In this paper, we present a method of effectively creating environment maps on an auto-transport system in logistics and industrial site management applications, e.g., an automobile assembly plant. The key objective of the study is creating a map effectively. Simultaneous Localization and Mapping (SLAM) is established as a general map-generating method. The map is, however, created with ad hoc and manual. Thus, an exploration method in an unknown environment for autonomously generating a map has been studied for decades. The main method is frontier-based exploration. This method presents a problem for an efficient mapping method in a wide environment, and for accuracy of the map depending on the local area. In the backgrounds, an autonomous exploration algorithm using only infrared sensor and odometer information from a robot is proposed as a sensor-based exploration approach without using map information. The proposed method requires only a depth sensor and camera on a robot. Next, we propose a hybrid exploration to decrease unavailable areas in frontier-based exploration. To perform our proposed method, an environment map is created by a mobile robot, and the effectiveness of the hybrid exploration method is demonstrated.
在本文中,我们提出了一种在物流和工业现场管理应用中有效地在汽车运输系统上创建环境地图的方法,例如汽车装配厂。该研究的关键目标是有效地创建地图。同时定位与制图(SLAM)是一种通用的地图生成方法。然而,该映射是通过特别和手动创建的。因此,在未知环境中自主生成地图的探索方法已经被研究了几十年。主要方法是基于边界的勘探。该方法提出了一个问题,即如何在大范围环境下有效地绘制地图,以及地图的局部精度。在此背景下,提出了一种仅使用红外传感器和机器人里程表信息的自主探测算法,作为一种不使用地图信息的基于传感器的探测方法。该方法只需要在机器人上安装深度传感器和摄像头。接下来,我们提出了一种混合勘探方法,以减少基于边界的勘探中不可用的区域。为了实现本文提出的方法,利用移动机器人创建环境地图,验证了混合勘探方法的有效性。
{"title":"Hybrid Sensor-Based and Frontier-Based Exploration Algorithm for Autonomous Transport Vehicle Map Generation","authors":"K. Hidaka, N. Kameyama","doi":"10.1109/COASE.2018.8560488","DOIUrl":"https://doi.org/10.1109/COASE.2018.8560488","url":null,"abstract":"In this paper, we present a method of effectively creating environment maps on an auto-transport system in logistics and industrial site management applications, e.g., an automobile assembly plant. The key objective of the study is creating a map effectively. Simultaneous Localization and Mapping (SLAM) is established as a general map-generating method. The map is, however, created with ad hoc and manual. Thus, an exploration method in an unknown environment for autonomously generating a map has been studied for decades. The main method is frontier-based exploration. This method presents a problem for an efficient mapping method in a wide environment, and for accuracy of the map depending on the local area. In the backgrounds, an autonomous exploration algorithm using only infrared sensor and odometer information from a robot is proposed as a sensor-based exploration approach without using map information. The proposed method requires only a depth sensor and camera on a robot. Next, we propose a hybrid exploration to decrease unavailable areas in frontier-based exploration. To perform our proposed method, an environment map is created by a mobile robot, and the effectiveness of the hybrid exploration method is demonstrated.","PeriodicalId":6518,"journal":{"name":"2018 IEEE 14th International Conference on Automation Science and Engineering (CASE)","volume":"1 1","pages":"994-999"},"PeriodicalIF":0.0,"publicationDate":"2018-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"74943974","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
Factorial Kernel Dynamic Policy Programming for Vinyl Acetate Monomer Plant Model Control 醋酸乙烯单体工厂模型控制的析因核动态策略规划
Pub Date : 2018-08-01 DOI: 10.1109/COASE.2018.8560593
Yunduan Cui, Lingwei Zhu, Morihiro Fujisaki, H. Kanokogi, Takamitsu Matsubara
This research focuses on applying reinforcement learning towards chemical plant control problems in order to optimize production while maintaining plant stability without requiring knowledge of the plant models. Since a typical chemical plant has a large number of sensors and actuators, the control problem of such a plant can be formulated as a Markov decision process involving high-dimensional state and a huge number of actions that might be difficult to solve by previous methods due to computational complexity and sample insufficiency. To overcome these issues, we propose a new reinforcement learning method, Factorial Kernel Dynamic Policy Programming, that employs 1) a factorial policy model and 2) a factor-wise kernel-based smooth policy update by regularization with the Kullback-Leibler divergence between the current and updated policies. To validate its effectiveness, FKDPP is evaluated via the Vinyl Acetate Monomer plant (VAM) model, a popular benchmark chemical plant control problem. Compared with previous methods that cannot directly process a huge number of actions, our proposed method leverages the same number of training samples and achieves a better control strategy for VAM yield, quality, and plant stability.
本研究的重点是将强化学习应用于化工厂控制问题,以便在不需要了解工厂模型的情况下,在保持工厂稳定性的同时优化生产。由于典型的化工厂具有大量的传感器和执行器,因此化工厂的控制问题可以表示为一个涉及高维状态和大量动作的马尔可夫决策过程,而以往的方法由于计算复杂性和样本不足而难以解决。为了克服这些问题,我们提出了一种新的强化学习方法,析因核动态策略规划,它采用1)析因策略模型和2)基于析因核的平滑策略更新,通过正则化当前和更新策略之间的Kullback-Leibler散度。为了验证其有效性,通过醋酸乙烯单体工厂(VAM)模型(一个流行的基准化工厂控制问题)对FKDPP进行了评估。与以往不能直接处理大量动作的方法相比,我们提出的方法利用相同数量的训练样本,实现了更好的VAM产量、质量和工厂稳定性控制策略。
{"title":"Factorial Kernel Dynamic Policy Programming for Vinyl Acetate Monomer Plant Model Control","authors":"Yunduan Cui, Lingwei Zhu, Morihiro Fujisaki, H. Kanokogi, Takamitsu Matsubara","doi":"10.1109/COASE.2018.8560593","DOIUrl":"https://doi.org/10.1109/COASE.2018.8560593","url":null,"abstract":"This research focuses on applying reinforcement learning towards chemical plant control problems in order to optimize production while maintaining plant stability without requiring knowledge of the plant models. Since a typical chemical plant has a large number of sensors and actuators, the control problem of such a plant can be formulated as a Markov decision process involving high-dimensional state and a huge number of actions that might be difficult to solve by previous methods due to computational complexity and sample insufficiency. To overcome these issues, we propose a new reinforcement learning method, Factorial Kernel Dynamic Policy Programming, that employs 1) a factorial policy model and 2) a factor-wise kernel-based smooth policy update by regularization with the Kullback-Leibler divergence between the current and updated policies. To validate its effectiveness, FKDPP is evaluated via the Vinyl Acetate Monomer plant (VAM) model, a popular benchmark chemical plant control problem. Compared with previous methods that cannot directly process a huge number of actions, our proposed method leverages the same number of training samples and achieves a better control strategy for VAM yield, quality, and plant stability.","PeriodicalId":6518,"journal":{"name":"2018 IEEE 14th International Conference on Automation Science and Engineering (CASE)","volume":"59 1","pages":"304-309"},"PeriodicalIF":0.0,"publicationDate":"2018-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"84227829","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}
引用次数: 14
Resolving Inconsistencies Optimally in the Model-Based Development of Production Systems 在基于模型的生产系统开发中最优地解决不一致性
Pub Date : 2018-08-01 DOI: 10.1109/COASE.2018.8560400
M. Zou, Bo Lu, B. Vogel‐Heuser
During the collaborative development of production systems, models are used to represent different views on the systems. These models are heterogeneous in forms but dependent in contents. Inconsistencies among them should be properly handled in an early time. An automated process is favored due to high efficiency and low error proneness when compared to the conventional manual fixing. In this study, an approach for knowledge-based automatically resolving inconsistencies (KARI) is proposed to resolve inconsistencies across development models. The approach can resolve several different inconsistencies simultaneously without causing new inconsistencies. At the same time, changes required to resolve inconsistencies can be minimized. The feasibility of this approach is proved by selected industrial cases in the simulation.
在生产系统的协同开发过程中,模型被用来表示对系统的不同看法。这些模型在形式上是异质的,但在内容上是相互依赖的。两者之间的不一致应及早处理。与传统的人工固定相比,自动化过程由于效率高、出错率低而受到青睐。在本研究中,提出了一种基于知识的自动解决不一致性(KARI)的方法来解决开发模型之间的不一致性。该方法可以同时解决几个不同的不一致,而不会引起新的不一致。同时,解决不一致所需的更改可以最小化。通过选取工业实例进行仿真,验证了该方法的可行性。
{"title":"Resolving Inconsistencies Optimally in the Model-Based Development of Production Systems","authors":"M. Zou, Bo Lu, B. Vogel‐Heuser","doi":"10.1109/COASE.2018.8560400","DOIUrl":"https://doi.org/10.1109/COASE.2018.8560400","url":null,"abstract":"During the collaborative development of production systems, models are used to represent different views on the systems. These models are heterogeneous in forms but dependent in contents. Inconsistencies among them should be properly handled in an early time. An automated process is favored due to high efficiency and low error proneness when compared to the conventional manual fixing. In this study, an approach for knowledge-based automatically resolving inconsistencies (KARI) is proposed to resolve inconsistencies across development models. The approach can resolve several different inconsistencies simultaneously without causing new inconsistencies. At the same time, changes required to resolve inconsistencies can be minimized. The feasibility of this approach is proved by selected industrial cases in the simulation.","PeriodicalId":6518,"journal":{"name":"2018 IEEE 14th International Conference on Automation Science and Engineering (CASE)","volume":"26 1","pages":"1064-1070"},"PeriodicalIF":0.0,"publicationDate":"2018-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"85931634","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}
引用次数: 7
Uniform Parallel Machine Scheduling with Dedicated Machines, Job Splitting and Setup Resources 具有专用机器、作业分割和设置资源的统一并行机器调度
Pub Date : 2018-08-01 DOI: 10.1109/COASE.2018.8560409
Hyun-Jung Kim, Jun-Ho Lee
This paper examines a uniform parallel machine scheduling problem in which jobs can be split arbitrary into multiple sections and such job sections can be processed on a set of dedicated machines simultaneously. Once a job type is changed, a setup performed by an operator is required. The setup time is sequence-independent, and the number of setup operators is limited. Machines conduct the same operation but have different speeds. The objective is to minimize the maximum completion time. This problem is motivated from real-life applications that manufacture automotive pistons in Korea. We propose efficient heuristic algorithms for this problem and show experimentally that the performance of the algorithms is good enough to be used in practice.
研究了一种可将作业任意分割成多个工段,且这些工段可在一组专用机器上同时处理的统一并行机器调度问题。一旦作业类型发生变化,就需要操作员进行设置。设置时间与序列无关,并且设置操作符的数量是有限的。机器进行相同的操作,但速度不同。目标是最小化最大完成时间。这是因为在国内生产汽车活塞的实际应用。针对这一问题,我们提出了有效的启发式算法,并通过实验证明算法的性能足够好,可以在实际中使用。
{"title":"Uniform Parallel Machine Scheduling with Dedicated Machines, Job Splitting and Setup Resources","authors":"Hyun-Jung Kim, Jun-Ho Lee","doi":"10.1109/COASE.2018.8560409","DOIUrl":"https://doi.org/10.1109/COASE.2018.8560409","url":null,"abstract":"This paper examines a uniform parallel machine scheduling problem in which jobs can be split arbitrary into multiple sections and such job sections can be processed on a set of dedicated machines simultaneously. Once a job type is changed, a setup performed by an operator is required. The setup time is sequence-independent, and the number of setup operators is limited. Machines conduct the same operation but have different speeds. The objective is to minimize the maximum completion time. This problem is motivated from real-life applications that manufacture automotive pistons in Korea. We propose efficient heuristic algorithms for this problem and show experimentally that the performance of the algorithms is good enough to be used in practice.","PeriodicalId":6518,"journal":{"name":"2018 IEEE 14th International Conference on Automation Science and Engineering (CASE)","volume":"54 1","pages":"661-663"},"PeriodicalIF":0.0,"publicationDate":"2018-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"78299565","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}
引用次数: 16
Modelling consistency rules within production system engeering 在生产系统工程中建模一致性规则
Pub Date : 2018-08-01 DOI: 10.1109/COASE.2018.8560537
A. Lüder, J. Pauly, M. Wimmer
The engineering of control systems is an essential part within the engineering of production systems cumulating various predecessor engineering activities. Therefore a high data quality of the predecessor activities has to be ensured especially avoiding inconsistencies between provided sets of engineering data. Within this paper, a methodology is sketched applicable to model engineering discipline crossing consistency rules to enable an automatic evaluation for consistency management. It is based on the use of AutomationML as production system modelling language but can be generalized to further modelling means.
控制系统工程是生产系统工程的一个重要组成部分,积累了各种先前的工程活动。因此,必须确保前期活动的高数据质量,特别是避免所提供的工程数据集之间的不一致。本文提出了一种适用于模型工程学科跨一致性规则的方法,以实现一致性管理的自动评估。它基于使用AutomationML作为生产系统建模语言,但可以推广到进一步的建模方法。
{"title":"Modelling consistency rules within production system engeering","authors":"A. Lüder, J. Pauly, M. Wimmer","doi":"10.1109/COASE.2018.8560537","DOIUrl":"https://doi.org/10.1109/COASE.2018.8560537","url":null,"abstract":"The engineering of control systems is an essential part within the engineering of production systems cumulating various predecessor engineering activities. Therefore a high data quality of the predecessor activities has to be ensured especially avoiding inconsistencies between provided sets of engineering data. Within this paper, a methodology is sketched applicable to model engineering discipline crossing consistency rules to enable an automatic evaluation for consistency management. It is based on the use of AutomationML as production system modelling language but can be generalized to further modelling means.","PeriodicalId":6518,"journal":{"name":"2018 IEEE 14th International Conference on Automation Science and Engineering (CASE)","volume":"23 1","pages":"664-667"},"PeriodicalIF":0.0,"publicationDate":"2018-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"78537737","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}
引用次数: 8
期刊
2018 IEEE 14th International Conference on Automation Science and Engineering (CASE)
全部 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