首页 > 最新文献

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

英文 中文
Efficient Implementation of Task Automation to Support Multidisciplinary Engineering of CPS 有效实施任务自动化以支持CPS的多学科工程
Pub Date : 2018-08-01 DOI: 10.1109/COASE.2018.8560507
R. Maier, S. Unverdorben, M. Gepp
Developing cyber-physical systems (CPS) as well as cyber-physical production systems (CPPS), as a base for concepts like Industry 4.0 and smart factories, requires a close interaction between several engineering disciplines. However, efficient collaboration between the different technical disciplines and engineering tools remains a challenge. Especially the seamless and automated information exchange between tools is seen as one of the core problems to be solved on the way to Industry 4.0. Current state of the art approaches are relying on task automation functionalities embedded in single tools and on tool independent approaches that use physical addresses to handle data. The main challenge regarding these state of the art tools is that the needs of Industry 4.0 with respect to flexibility and efficiency can't be fulfilled. In order to overcome these challenges a new task automation approach is introduced. Compared to today's approaches this new approach supports logical addressing of data based on taxonomic ordering schemes, flexible usage of best fitting base techniques, predefined tool specific interface functions as well as self aware task execution. The new approach offers the advantage of exchanging data between tools, supporting dynamic workflows, automating tasks, and easily implementing extensions. Several tasks in the areas of data or document generation, mass data handling, seamless tool usage and automated decision making, have already been implemented and were proven to work.
开发网络物理系统(CPS)和网络物理生产系统(CPPS),作为工业4.0和智能工厂等概念的基础,需要多个工程学科之间的密切互动。然而,不同技术学科和工程工具之间的有效协作仍然是一个挑战。特别是工具之间的无缝自动化信息交换被视为工业4.0道路上需要解决的核心问题之一。当前最先进的方法依赖于嵌入在单个工具中的任务自动化功能,以及使用物理地址处理数据的工具独立方法。这些最先进的工具面临的主要挑战是,工业4.0在灵活性和效率方面的需求无法满足。为了克服这些挑战,提出了一种新的任务自动化方法。与目前的方法相比,这种新方法支持基于分类排序方案的数据逻辑寻址、最佳拟合基技术的灵活使用、预定义的工具特定接口函数以及自我感知的任务执行。新方法提供了在工具之间交换数据、支持动态工作流、自动化任务和轻松实现扩展的优势。在数据或文档生成、大量数据处理、无缝工具使用和自动化决策等领域的一些任务已经实现,并被证明是有效的。
{"title":"Efficient Implementation of Task Automation to Support Multidisciplinary Engineering of CPS","authors":"R. Maier, S. Unverdorben, M. Gepp","doi":"10.1109/COASE.2018.8560507","DOIUrl":"https://doi.org/10.1109/COASE.2018.8560507","url":null,"abstract":"Developing cyber-physical systems (CPS) as well as cyber-physical production systems (CPPS), as a base for concepts like Industry 4.0 and smart factories, requires a close interaction between several engineering disciplines. However, efficient collaboration between the different technical disciplines and engineering tools remains a challenge. Especially the seamless and automated information exchange between tools is seen as one of the core problems to be solved on the way to Industry 4.0. Current state of the art approaches are relying on task automation functionalities embedded in single tools and on tool independent approaches that use physical addresses to handle data. The main challenge regarding these state of the art tools is that the needs of Industry 4.0 with respect to flexibility and efficiency can't be fulfilled. In order to overcome these challenges a new task automation approach is introduced. Compared to today's approaches this new approach supports logical addressing of data based on taxonomic ordering schemes, flexible usage of best fitting base techniques, predefined tool specific interface functions as well as self aware task execution. The new approach offers the advantage of exchanging data between tools, supporting dynamic workflows, automating tasks, and easily implementing extensions. Several tasks in the areas of data or document generation, mass data handling, seamless tool usage and automated decision making, have already been implemented and were proven to work.","PeriodicalId":6518,"journal":{"name":"2018 IEEE 14th International Conference on Automation Science and Engineering (CASE)","volume":"15 1","pages":"1388-1393"},"PeriodicalIF":0.0,"publicationDate":"2018-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"81964639","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
Transients of Synchronous Serial Production Lines with Non-Exponential Reliability Machines 非指数可靠性同步串行生产线的瞬态
Pub Date : 2018-08-01 DOI: 10.1109/COASE.2018.8560592
Mengzhuo Yang, Liao Zhang, Peter O. Denno
While smart manufacturing is viewed as the future of manufacturing, core knowledge about manufacturing is still lacking in various areas and will continue to be one of the main challenges in research and development. In terms of manufacturing process flow, to be able to make justified production control decisions, it is necessary to be able to predict the system's performance and the effects of control actions on the part flow. This amounts to knowing the transient behavior of the production system. However, most of the available studies on production system transients assume Markov models, while the actual production practice often deviates from this assumption. Therefore, in this paper, we carry out preliminary investigation of the transient behavior of production systems with machines characterized by non-Markovian reliability models. Specifically, using discrete-event simulations, we study serial production lines with machines' up- and downtimes modeled by gamma random variables. System properties of several performance metrics during transients are then discussed based on numerical experiments and a Control Theory-based approach. We view this as a first step in understanding the transient behavior of production systems under more realistic mathematical models.
虽然智能制造被视为制造业的未来,但在各个领域仍缺乏有关制造的核心知识,并将继续成为研发的主要挑战之一。就制造工艺流程而言,为了能够做出合理的生产控制决策,有必要能够预测系统的性能和控制动作对零件流的影响。这相当于了解生产系统的瞬态行为。然而,现有的关于生产系统瞬态的研究大多采用马尔可夫模型,而实际生产实践往往偏离这一假设。因此,在本文中,我们对具有非马尔可夫可靠性模型的机器的生产系统的暂态行为进行了初步研究。具体来说,使用离散事件模拟,我们研究了用伽马随机变量建模的机器启动和停机时间的串行生产线。然后,基于数值实验和基于控制理论的方法,讨论了几种瞬态性能指标的系统特性。我们认为这是在更现实的数学模型下理解生产系统瞬态行为的第一步。
{"title":"Transients of Synchronous Serial Production Lines with Non-Exponential Reliability Machines","authors":"Mengzhuo Yang, Liao Zhang, Peter O. Denno","doi":"10.1109/COASE.2018.8560592","DOIUrl":"https://doi.org/10.1109/COASE.2018.8560592","url":null,"abstract":"While smart manufacturing is viewed as the future of manufacturing, core knowledge about manufacturing is still lacking in various areas and will continue to be one of the main challenges in research and development. In terms of manufacturing process flow, to be able to make justified production control decisions, it is necessary to be able to predict the system's performance and the effects of control actions on the part flow. This amounts to knowing the transient behavior of the production system. However, most of the available studies on production system transients assume Markov models, while the actual production practice often deviates from this assumption. Therefore, in this paper, we carry out preliminary investigation of the transient behavior of production systems with machines characterized by non-Markovian reliability models. Specifically, using discrete-event simulations, we study serial production lines with machines' up- and downtimes modeled by gamma random variables. System properties of several performance metrics during transients are then discussed based on numerical experiments and a Control Theory-based approach. We view this as a first step in understanding the transient behavior of production systems under more realistic mathematical models.","PeriodicalId":6518,"journal":{"name":"2018 IEEE 14th International Conference on Automation Science and Engineering (CASE)","volume":"2014 1","pages":"1507-1512"},"PeriodicalIF":0.0,"publicationDate":"2018-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"86485142","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}
引用次数: 3
Automatic Skill Matching for Production Machines 生产机器的自动技能匹配
Pub Date : 2018-08-01 DOI: 10.1109/COASE.2018.8560531
G. Quirós, András Varró, P. Eisen, F. Roelofs, P. Kob
We consider the problem of adding a new machine to an existing production line with minimum engineering effort and downtime (e.g. for plug-and-produce). The supervising system and the new machine have interfaces which are similar but not fully compatible with each other, so the interfaces and interaction logic between these systems must be modified and adapted to ensure functionality and exploit the full potential of the new machine. This adaptation is currently done by hand, where a number of parameters and synchronization steps need to be checked by the engineer. We present an approach for detecting incompatibilities between production machine interfaces automatically. To match the parameters requested by the supervising system with the capabilities provided by the machine, we employ an augmented unification method stemming from logic programming. To analyze the synchronization and termination properties of the interaction, we employ graph algorithms on the synchronous cross product of finite state automata. We developed a software prototype and used it to evaluate the approach with example models. Our approach has the potential to optimize the process of machine addition and replacement and minimize potential failure by applying a zero-engineering approach.
我们考虑的问题是在现有的生产线上增加一台新机器,同时减少工程工作量和停机时间(例如即插即用)。监控系统和新机器的接口相似,但彼此不完全兼容,因此必须修改和适应这些系统之间的接口和交互逻辑,以确保功能并充分发挥新机器的潜力。这种调整目前是手工完成的,其中许多参数和同步步骤需要由工程师检查。我们提出了一种自动检测生产机器接口之间不兼容的方法。为了使监控系统所要求的参数与机器所提供的能力相匹配,我们采用了一种源于逻辑编程的增强统一方法。为了分析相互作用的同步性和终止性,我们对有限状态自动机的同步叉积采用了图算法。我们开发了一个软件原型,并用实例模型来评估该方法。我们的方法具有优化机器添加和更换过程的潜力,并通过应用零工程方法将潜在故障降至最低。
{"title":"Automatic Skill Matching for Production Machines","authors":"G. Quirós, András Varró, P. Eisen, F. Roelofs, P. Kob","doi":"10.1109/COASE.2018.8560531","DOIUrl":"https://doi.org/10.1109/COASE.2018.8560531","url":null,"abstract":"We consider the problem of adding a new machine to an existing production line with minimum engineering effort and downtime (e.g. for plug-and-produce). The supervising system and the new machine have interfaces which are similar but not fully compatible with each other, so the interfaces and interaction logic between these systems must be modified and adapted to ensure functionality and exploit the full potential of the new machine. This adaptation is currently done by hand, where a number of parameters and synchronization steps need to be checked by the engineer. We present an approach for detecting incompatibilities between production machine interfaces automatically. To match the parameters requested by the supervising system with the capabilities provided by the machine, we employ an augmented unification method stemming from logic programming. To analyze the synchronization and termination properties of the interaction, we employ graph algorithms on the synchronous cross product of finite state automata. We developed a software prototype and used it to evaluate the approach with example models. Our approach has the potential to optimize the process of machine addition and replacement and minimize potential failure by applying a zero-engineering approach.","PeriodicalId":6518,"journal":{"name":"2018 IEEE 14th International Conference on Automation Science and Engineering (CASE)","volume":"8 1","pages":"534-539"},"PeriodicalIF":0.0,"publicationDate":"2018-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"88022821","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
Computation of Homography between a Spherical Image and a Perspective Image 球面图像与透视图像之间的单应性计算
Pub Date : 2018-08-01 DOI: 10.1109/COASE.2018.8560371
Shigang Li, Xiaowei Wang, T. Kosaki
While a spherical image has a full field of view with a low resolution with respect to observed scenes, a perspective image has a narrow field of view with a high resolution with respect to observed scenes. Therefore, a spherical image and a perspective image are complementary to each other for the field of view and resolution; a visual system consisting of a spherical image and a perspective image can not only observe the entire surrounding environment, but also focus on a specific object with high resolution. In this paper we investigate the computation of the homography between a spherical image and a perspective image. First, the conventional homography of perspective images is reformulated to the case associating a spherical image to a perspective image. Next, we explain how to carry out feature matching between a full-view image and a perspective image for the computation of the homography. Finally, the experimental results of two applications are given to show the effectiveness of our proposed method.
球面图像具有完整的视场,相对于观察到的场景分辨率较低,而透视图像具有狭窄的视场,相对于观察到的场景分辨率较高。因此,球面图像和透视图像在视场和分辨率上是互补的;由球面图像和透视图像组成的视觉系统不仅可以观察整个周围环境,还可以以高分辨率聚焦于特定物体。本文研究了球面像与透视像之间的单应性的计算。首先,将透视图像的传统单应性重新表述为将球面图像与透视图像相关联的情况。接下来,我们解释了如何在全视图图像和透视图像之间进行特征匹配以计算单应性。最后给出了两个应用的实验结果,验证了所提方法的有效性。
{"title":"Computation of Homography between a Spherical Image and a Perspective Image","authors":"Shigang Li, Xiaowei Wang, T. Kosaki","doi":"10.1109/COASE.2018.8560371","DOIUrl":"https://doi.org/10.1109/COASE.2018.8560371","url":null,"abstract":"While a spherical image has a full field of view with a low resolution with respect to observed scenes, a perspective image has a narrow field of view with a high resolution with respect to observed scenes. Therefore, a spherical image and a perspective image are complementary to each other for the field of view and resolution; a visual system consisting of a spherical image and a perspective image can not only observe the entire surrounding environment, but also focus on a specific object with high resolution. In this paper we investigate the computation of the homography between a spherical image and a perspective image. First, the conventional homography of perspective images is reformulated to the case associating a spherical image to a perspective image. Next, we explain how to carry out feature matching between a full-view image and a perspective image for the computation of the homography. Finally, the experimental results of two applications are given to show the effectiveness of our proposed method.","PeriodicalId":6518,"journal":{"name":"2018 IEEE 14th International Conference on Automation Science and Engineering (CASE)","volume":"2 1","pages":"439-444"},"PeriodicalIF":0.0,"publicationDate":"2018-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"85917917","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
Agent Design Patterns for Assistance Systems in Various Domains - a Survey 在不同领域的辅助系统的代理设计模式-调查
Pub Date : 2018-08-01 DOI: 10.1109/COASE.2018.8560391
Philipp Marks, Timo Müller, D. Vögeli, Tobias Jung, N. Jazdi, M. Weyrich
The paradigm of multi-agent systems is used in various application scenarios like manufacturing control or multi-agent assistance systems that aim at providing assistance to the user of the system in a specific task or situation. With an increasing number of applications of multi agent assistance systems in the industrial automation domain, the different architectures of these applications can be compared and differences and similarities can be identified. This paper presents the results of the literature review of 18 agent-based assistance systems from different domains. Within the reviewed architectures, seven different agent types could be identified. In a further step, design patterns based on the application domain and the level of automation have been identified and discussed. These design patterns can be used to facilitate the development of future multi agent assistance systems.
多智能体系统范例用于各种应用场景,如制造控制或多智能体辅助系统,旨在为系统用户在特定任务或情况下提供帮助。随着多智能体辅助系统在工业自动化领域的应用越来越多,可以对这些应用的不同架构进行比较,并识别其异同。本文介绍了来自不同领域的18个基于agent的辅助系统的文献综述结果。在审查的体系结构中,可以识别七种不同的代理类型。在进一步的步骤中,已经确定并讨论了基于应用程序领域和自动化级别的设计模式。这些设计模式可用于促进未来多智能体辅助系统的开发。
{"title":"Agent Design Patterns for Assistance Systems in Various Domains - a Survey","authors":"Philipp Marks, Timo Müller, D. Vögeli, Tobias Jung, N. Jazdi, M. Weyrich","doi":"10.1109/COASE.2018.8560391","DOIUrl":"https://doi.org/10.1109/COASE.2018.8560391","url":null,"abstract":"The paradigm of multi-agent systems is used in various application scenarios like manufacturing control or multi-agent assistance systems that aim at providing assistance to the user of the system in a specific task or situation. With an increasing number of applications of multi agent assistance systems in the industrial automation domain, the different architectures of these applications can be compared and differences and similarities can be identified. This paper presents the results of the literature review of 18 agent-based assistance systems from different domains. Within the reviewed architectures, seven different agent types could be identified. In a further step, design patterns based on the application domain and the level of automation have been identified and discussed. These design patterns can be used to facilitate the development of future multi agent assistance systems.","PeriodicalId":6518,"journal":{"name":"2018 IEEE 14th International Conference on Automation Science and Engineering (CASE)","volume":"43 1","pages":"168-173"},"PeriodicalIF":0.0,"publicationDate":"2018-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"87863486","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}
引用次数: 4
Data-driven Downtime Bottleneck Detection in Open Flow Lines 数据驱动的开放式管线停机瓶颈检测
Pub Date : 2018-08-01 DOI: 10.1109/COASE.2018.8560403
Mengyi Zhang, A. Matta
Bottleneck of a manufacturing system is the resource with the largest sensitivity on the overall throughput. The bottleneck detection is an important problem for manufacturing system improvement. This work proposes a Downtime Bottleneck (DT-BN) detection approach of open flow lines based on the Discrete Event Optimization (DEO) modeling framework using field data. The DEO model enables to identify the machine whose downtime has the largest sensitivity, without calculating the sensitivities of all the machines. The DEO model is a mathematical programming representation of integrated sample-path simulation-optimization problem, i.e., the structure of simulation model is embedded with the optimization problem. The Benders decomposition is applied, and a simulation based cut generation approach is used, which reduces the computational effort without any approximation. Numerical results have shown that the proposed approach performs both effectively and efficiently. Furthermore, the effectiveness can be further improved by gathering a larger set of data, as the convergence of this approach is both proved theoretically in previous research and validated numerically in this work.
制造系统的瓶颈是对整体吞吐量最敏感的资源。瓶颈检测是制造系统改进的一个重要问题。本文提出了一种基于现场数据的离散事件优化(DEO)建模框架的开放管线停机瓶颈(DT-BN)检测方法。DEO模型能够识别停机时间灵敏度最大的机器,而无需计算所有机器的灵敏度。DEO模型是集成样本路径仿真优化问题的数学规划表示,即仿真模型的结构嵌入了优化问题。采用Benders分解,并采用基于仿真的切割生成方法,减少了计算量,无需任何近似。数值结果表明,该方法是有效的、高效的。此外,通过收集更大的数据集,可以进一步提高有效性,因为该方法的收敛性在先前的研究中得到了理论证明,在本工作中得到了数值验证。
{"title":"Data-driven Downtime Bottleneck Detection in Open Flow Lines","authors":"Mengyi Zhang, A. Matta","doi":"10.1109/COASE.2018.8560403","DOIUrl":"https://doi.org/10.1109/COASE.2018.8560403","url":null,"abstract":"Bottleneck of a manufacturing system is the resource with the largest sensitivity on the overall throughput. The bottleneck detection is an important problem for manufacturing system improvement. This work proposes a Downtime Bottleneck (DT-BN) detection approach of open flow lines based on the Discrete Event Optimization (DEO) modeling framework using field data. The DEO model enables to identify the machine whose downtime has the largest sensitivity, without calculating the sensitivities of all the machines. The DEO model is a mathematical programming representation of integrated sample-path simulation-optimization problem, i.e., the structure of simulation model is embedded with the optimization problem. The Benders decomposition is applied, and a simulation based cut generation approach is used, which reduces the computational effort without any approximation. Numerical results have shown that the proposed approach performs both effectively and efficiently. Furthermore, the effectiveness can be further improved by gathering a larger set of data, as the convergence of this approach is both proved theoretically in previous research and validated numerically in this work.","PeriodicalId":6518,"journal":{"name":"2018 IEEE 14th International Conference on Automation Science and Engineering (CASE)","volume":"135 1","pages":"1513-1518"},"PeriodicalIF":0.0,"publicationDate":"2018-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"89016423","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}
引用次数: 3
From AutomationML to AutomationQL: A By-Example Query Language for CPPS Engineering Models 从AutomationML到AutomationQL: CPPS工程模型的实例查询语言
Pub Date : 2018-08-01 DOI: 10.1109/COASE.2018.8560448
M. Wimmer, Alexandra Mazak
Model-based engineering is an emerging paradigm to deal with the complexity of multi-disciplinary engineering in CPPS projects. In such projects, different kinds of models are created during the lifecycle of a production system. Automa-tionML is a promising standard to provide a unifying format to represent and connect the different engineering models. Dedicated tool support has been developed for AutomationML in the last years to create and evolve models. However, when it comes to querying AutomationML models, implementation-related query languages have to be currently used. These languages have a certain complexity as they are not directly based on the concepts of AutomationML but on the underlying technological concepts and encodings of AutomationML. This often hinders the formulation of automatically executable queries by domain experts. In this paper, we propose a dedicated query language for AutomationML called Automation Query Language (Au-tomationQL) which is directly derived from AutomationML. Using this query language, queries can be defined in a by-example manner which allows engineers to formulate queries in terms of AutomationML concepts instead of switching to an implementation-oriented query language. We illustrate how AutomationQL is defined, how queries can be formulated as well as how tool support is provided to automatically evaluate the queries and represent their results. Finally, we contrast our solution with existing query languages and derive a roadmap for future research on AutomationQL.
基于模型的工程是一种新兴的处理CPPS项目中多学科工程复杂性的范式。在这样的项目中,在生产系统的生命周期中会创建不同类型的模型。Automa-tionML是一种很有前途的标准,它提供了一种统一的格式来表示和连接不同的工程模型。在过去的几年中,已经为AutomationML开发了专门的工具支持来创建和发展模型。然而,在查询AutomationML模型时,必须当前使用与实现相关的查询语言。这些语言具有一定的复杂性,因为它们不是直接基于AutomationML的概念,而是基于AutomationML的底层技术概念和编码。这通常会妨碍领域专家制定自动执行的查询。在本文中,我们为AutomationML提出了一种专用的查询语言,称为自动化查询语言(Au-tomationQL),它直接派生自AutomationML。使用这种查询语言,可以按例定义查询,这允许工程师根据AutomationML概念制定查询,而不是切换到面向实现的查询语言。我们将说明如何定义AutomationQL,如何制定查询,以及如何提供工具支持来自动评估查询并表示其结果。最后,我们将我们的解决方案与现有的查询语言进行了对比,并为AutomationQL的未来研究制定了路线图。
{"title":"From AutomationML to AutomationQL: A By-Example Query Language for CPPS Engineering Models","authors":"M. Wimmer, Alexandra Mazak","doi":"10.1109/COASE.2018.8560448","DOIUrl":"https://doi.org/10.1109/COASE.2018.8560448","url":null,"abstract":"Model-based engineering is an emerging paradigm to deal with the complexity of multi-disciplinary engineering in CPPS projects. In such projects, different kinds of models are created during the lifecycle of a production system. Automa-tionML is a promising standard to provide a unifying format to represent and connect the different engineering models. Dedicated tool support has been developed for AutomationML in the last years to create and evolve models. However, when it comes to querying AutomationML models, implementation-related query languages have to be currently used. These languages have a certain complexity as they are not directly based on the concepts of AutomationML but on the underlying technological concepts and encodings of AutomationML. This often hinders the formulation of automatically executable queries by domain experts. In this paper, we propose a dedicated query language for AutomationML called Automation Query Language (Au-tomationQL) which is directly derived from AutomationML. Using this query language, queries can be defined in a by-example manner which allows engineers to formulate queries in terms of AutomationML concepts instead of switching to an implementation-oriented query language. We illustrate how AutomationQL is defined, how queries can be formulated as well as how tool support is provided to automatically evaluate the queries and represent their results. Finally, we contrast our solution with existing query languages and derive a roadmap for future research on AutomationQL.","PeriodicalId":6518,"journal":{"name":"2018 IEEE 14th International Conference on Automation Science and Engineering (CASE)","volume":"51 23","pages":"1394-1399"},"PeriodicalIF":0.0,"publicationDate":"2018-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"91437095","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}
引用次数: 10
Process simulation on single-board computers 在单板计算机上进行过程仿真
Pub Date : 2018-08-01 DOI: 10.1109/COASE.2018.8560426
Christian Harle, Mike Barth, A. Fay
Simulation is already an essential part for the engineering of automation systems. Upcoming use-cases like high-value optimization or new digital services in combination with predictive functionalities need simulation as part of the operating machine or plant. Current implementations use centralized cloud-based simulation architectures or integrate simulation workstations. This paper proposes a concept in combination with a prototypic implementation for the decentralized simulation of physical systems or processes in the field. The simulation models are executed on single-board computers (SBC) that are promising to form a new part of the machines automation systems. To evaluate the concept, state-of-the-art simulation benchmarks have been executed by the authors. The results show the positive capability of SBCs for real-time simulations within the machine.
仿真已经成为自动化系统工程的重要组成部分。即将到来的用例,如高价值优化或结合预测功能的新数字服务,需要作为操作机器或工厂的一部分进行模拟。当前的实现使用集中式的基于云的仿真架构或集成仿真工作站。本文提出了一个概念,并结合了一个原型实现,用于现场物理系统或过程的分散模拟。仿真模型在单板计算机(SBC)上执行,有望成为机器自动化系统的新组成部分。为了评估这个概念,作者已经执行了最先进的模拟基准测试。结果表明,sbc具有良好的实时仿真能力。
{"title":"Process simulation on single-board computers","authors":"Christian Harle, Mike Barth, A. Fay","doi":"10.1109/COASE.2018.8560426","DOIUrl":"https://doi.org/10.1109/COASE.2018.8560426","url":null,"abstract":"Simulation is already an essential part for the engineering of automation systems. Upcoming use-cases like high-value optimization or new digital services in combination with predictive functionalities need simulation as part of the operating machine or plant. Current implementations use centralized cloud-based simulation architectures or integrate simulation workstations. This paper proposes a concept in combination with a prototypic implementation for the decentralized simulation of physical systems or processes in the field. The simulation models are executed on single-board computers (SBC) that are promising to form a new part of the machines automation systems. To evaluate the concept, state-of-the-art simulation benchmarks have been executed by the authors. The results show the positive capability of SBCs for real-time simulations within the machine.","PeriodicalId":6518,"journal":{"name":"2018 IEEE 14th International Conference on Automation Science and Engineering (CASE)","volume":"1 1","pages":"1548-1555"},"PeriodicalIF":0.0,"publicationDate":"2018-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"88659169","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
Forest-based Tabu Search to the Split-delivery Capacitated Arc-routing Problem 分送有能力弧线路由问题的森林禁忌搜索
Pub Date : 2018-08-01 DOI: 10.1109/COASE.2018.8560443
Qidong Lai, Zizhen Zhang, Xin Jin, H. Qin
Arc-routing problems (ARPs) aim to determine the least-cost vehicle routes of a specified arc subset in a graph. The split-delivery capacitated arc-routing problem (SDCARP) generalizes conventional ARPs by allowing an arc to be serviced by more than one vehicle. Because of its great complexity, the existing approaches for solving SDCARP are scant and most of them are meta-heuristics. In this paper, we analyze the characteristics of SDCARP solution structures. Then we devise a forest-based tabu search algorithm, which involves several forest-based neighborhood operators, for seeking the optimal solution. By using our method, the search space can be significantly reduced. The computational results demonstrate that our approach outperforms previous methods and is able to improve several state-of-the-art solutions on SDCARP benchmark instances.
arc -routing problem (ARPs)的目标是确定图中指定的arc子集中成本最低的车辆路线。分送能力电弧路由问题(SDCARP)通过允许一个电弧由多个车辆服务来推广传统的ARPs。由于其非常复杂,现有的解决SDCARP的方法很少,而且大多数是元启发式方法。本文分析了SDCARP解决方案结构的特点。然后设计了一种基于森林的禁忌搜索算法,该算法涉及多个基于森林的邻域算子,以寻求最优解。通过使用我们的方法,可以显著减少搜索空间。计算结果表明,我们的方法优于以前的方法,并且能够在SDCARP基准实例上改进几种最先进的解决方案。
{"title":"Forest-based Tabu Search to the Split-delivery Capacitated Arc-routing Problem","authors":"Qidong Lai, Zizhen Zhang, Xin Jin, H. Qin","doi":"10.1109/COASE.2018.8560443","DOIUrl":"https://doi.org/10.1109/COASE.2018.8560443","url":null,"abstract":"Arc-routing problems (ARPs) aim to determine the least-cost vehicle routes of a specified arc subset in a graph. The split-delivery capacitated arc-routing problem (SDCARP) generalizes conventional ARPs by allowing an arc to be serviced by more than one vehicle. Because of its great complexity, the existing approaches for solving SDCARP are scant and most of them are meta-heuristics. In this paper, we analyze the characteristics of SDCARP solution structures. Then we devise a forest-based tabu search algorithm, which involves several forest-based neighborhood operators, for seeking the optimal solution. By using our method, the search space can be significantly reduced. The computational results demonstrate that our approach outperforms previous methods and is able to improve several state-of-the-art solutions on SDCARP benchmark instances.","PeriodicalId":6518,"journal":{"name":"2018 IEEE 14th International Conference on Automation Science and Engineering (CASE)","volume":"1 1","pages":"1237-1242"},"PeriodicalIF":0.0,"publicationDate":"2018-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"90176794","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
A New Calibration Method of Line Scan Camera for High-Precision Two-Dimensional Measurement 线扫描相机高精度二维测量标定新方法
Pub Date : 2018-08-01 DOI: 10.1109/COASE.2018.8560438
Jiabin Zhang, Zhengtao Zhang, Fei Shen, Feng Zhang, Hu Su
In this paper, a calibration method for line scan cameras with image distortion is proposed to perform high-precision planar measurement. The intrinsic parameter model is presented according to the imaging work principle of the line scan camera. Moreover, an improved camera model is proposed via integrating the perspective transformation with the extrinsic parameter model in the consideration of image distortion resulting from the non-parallelism of motion direction and object plane. On this basis, the parameters in above model are calibrated based on nonlinear damping least square method with a planar chessboard pattern. A set of measurement experiments are conducted and the results verify the effectiveness of proposed approaches.
本文提出了一种针对具有图像畸变的线扫描相机进行高精度平面测量的标定方法。根据线扫描相机成像工作原理,建立了其固有参数模型。此外,考虑到运动方向和物体平面不平行导致的图像畸变,将透视变换与外在参数模型相结合,提出了一种改进的摄像机模型。在此基础上,基于非线性阻尼最小二乘法,采用平面棋盘模式对模型参数进行标定。进行了一组测量实验,结果验证了所提方法的有效性。
{"title":"A New Calibration Method of Line Scan Camera for High-Precision Two-Dimensional Measurement","authors":"Jiabin Zhang, Zhengtao Zhang, Fei Shen, Feng Zhang, Hu Su","doi":"10.1109/COASE.2018.8560438","DOIUrl":"https://doi.org/10.1109/COASE.2018.8560438","url":null,"abstract":"In this paper, a calibration method for line scan cameras with image distortion is proposed to perform high-precision planar measurement. The intrinsic parameter model is presented according to the imaging work principle of the line scan camera. Moreover, an improved camera model is proposed via integrating the perspective transformation with the extrinsic parameter model in the consideration of image distortion resulting from the non-parallelism of motion direction and object plane. On this basis, the parameters in above model are calibrated based on nonlinear damping least square method with a planar chessboard pattern. A set of measurement experiments are conducted and the results verify the effectiveness of proposed approaches.","PeriodicalId":6518,"journal":{"name":"2018 IEEE 14th International Conference on Automation Science and Engineering (CASE)","volume":"86 1","pages":"678-683"},"PeriodicalIF":0.0,"publicationDate":"2018-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"82726435","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
期刊
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