离散制造过程控制程序的自动生成和评估

[Proceedings] 1988 International Conference on Computer Integrated Manufacturing Pub Date : 1988-05-23 DOI:10.1109/CIM.1988.5396

Bruce H. Krogh, R. Willson, D. Pathak

{"title":"离散制造过程控制程序的自动生成和评估","authors":"Bruce H. Krogh, R. Willson, D. Pathak","doi":"10.1109/CIM.1988.5396","DOIUrl":null,"url":null,"abstract":"A set of software tools is described for specifying the control and process dynamics for discrete manufacturing systems. Specifications are entered and modified in a relational database using a formalism that naturally reflects the functional components of a discrete control system. A Petri-net model of the control and process logic is extracted automatically from the database, and various analysis tools are provided to investigate the consistency and viability of the specifications. The control logic is then translated into source code for the online control computer. The specification formalism and generated control software are illustrated using a simple die-stamping example. A real-time process simulator for program verification is also described.<<ETX>>","PeriodicalId":334994,"journal":{"name":"[Proceedings] 1988 International Conference on Computer Integrated Manufacturing","volume":"98 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1988-05-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"17","resultStr":"{\"title\":\"Automated generation and evaluation of control programs for discrete manufacturing processes\",\"authors\":\"Bruce H. Krogh, R. Willson, D. Pathak\",\"doi\":\"10.1109/CIM.1988.5396\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"A set of software tools is described for specifying the control and process dynamics for discrete manufacturing systems. Specifications are entered and modified in a relational database using a formalism that naturally reflects the functional components of a discrete control system. A Petri-net model of the control and process logic is extracted automatically from the database, and various analysis tools are provided to investigate the consistency and viability of the specifications. The control logic is then translated into source code for the online control computer. The specification formalism and generated control software are illustrated using a simple die-stamping example. A real-time process simulator for program verification is also described.<<ETX>>\",\"PeriodicalId\":334994,\"journal\":{\"name\":\"[Proceedings] 1988 International Conference on Computer Integrated Manufacturing\",\"volume\":\"98 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1988-05-23\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"17\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"[Proceedings] 1988 International Conference on Computer Integrated Manufacturing\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/CIM.1988.5396\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"[Proceedings] 1988 International Conference on Computer Integrated Manufacturing","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/CIM.1988.5396","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 17

摘要

描述了一套用于指定离散制造系统的控制和过程动力学的软件工具。在关系数据库中输入和修改规范，使用的形式自然地反映了离散控制系统的功能组件。从数据库中自动提取控制和过程逻辑的Petri-net模型，并提供各种分析工具来研究规范的一致性和可行性。然后将控制逻辑转换为在线控制计算机的源代码。通过一个简单的模具冲压实例说明了规范的形式和生成的控制软件。还描述了一个用于程序验证的实时过程模拟器

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

Automated generation and evaluation of control programs for discrete manufacturing processes

A set of software tools is described for specifying the control and process dynamics for discrete manufacturing systems. Specifications are entered and modified in a relational database using a formalism that naturally reflects the functional components of a discrete control system. A Petri-net model of the control and process logic is extracted automatically from the database, and various analysis tools are provided to investigate the consistency and viability of the specifications. The control logic is then translated into source code for the online control computer. The specification formalism and generated control software are illustrated using a simple die-stamping example. A real-time process simulator for program verification is also described.<>

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

[Proceedings] 1988 International Conference on Computer Integrated Manufacturing

自引率

0.00%

发文量