V. Kotlyarov, Serhii Buryakovskiy, Kovalov Artem, Anna Tyshchenko
{"title":"可配置机电系统设计方法的验证","authors":"V. Kotlyarov, Serhii Buryakovskiy, Kovalov Artem, Anna Tyshchenko","doi":"10.1109/KhPIWeek57572.2022.9916380","DOIUrl":null,"url":null,"abstract":"The purpose of the study was to verify the previously created methodology for designing electromechanical systems. This methodology is based on SysML language and artificial intelligence tools such as conceptual graphs and Bayesian networks, and involves the construction of an information design model that contains knowledge about the requirements for the system being designed and a knowledge base of available technical solutions. Further, such an information model is used for automatic logical inference of technical solutions according to the requirements specified by the designer. The proposed methods and tools for design automation make it possible to trace the requirements for electromechanical systems at all stages of design, and evaluate the robustness of technical solutions to changes in these requirements. For quick and efficient implementation of the proposed methodology in the practice of industrial design, it must be verified by evaluating the degree of efficiency, completeness, consistency and feasibility of the synthesized design solutions, the convenience of using artificial intelligence tools in the course of solving typical industrial equipment design problems. For this purpose, a configurable laboratory stand was built, which is a physical model of a simple workcell of an industrial manufacturing system. The stand performs the typical functions of a workpieces sorter, has a modular design, and can include the implementation of specified functional requirements by various technical means. Thus, it is possible to obtain different configurations of the sorting device having differences in the sequence of operations and technical properties. To automate the design of these configurations using the CoGui software tool, an information model was created that compares the possible system requirements for the stand with suitable variants of technical solutions. This model is used to automatically obtain descriptions of stand configurations. The performance and other properties of the resulting configurations were then tested on the operating equipment of the stand.","PeriodicalId":197096,"journal":{"name":"2022 IEEE 3rd KhPI Week on Advanced Technology (KhPIWeek)","volume":"32 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2022-10-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"2","resultStr":"{\"title\":\"Verification of the design methodology for configurable electromechanical systems\",\"authors\":\"V. Kotlyarov, Serhii Buryakovskiy, Kovalov Artem, Anna Tyshchenko\",\"doi\":\"10.1109/KhPIWeek57572.2022.9916380\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"The purpose of the study was to verify the previously created methodology for designing electromechanical systems. This methodology is based on SysML language and artificial intelligence tools such as conceptual graphs and Bayesian networks, and involves the construction of an information design model that contains knowledge about the requirements for the system being designed and a knowledge base of available technical solutions. Further, such an information model is used for automatic logical inference of technical solutions according to the requirements specified by the designer. The proposed methods and tools for design automation make it possible to trace the requirements for electromechanical systems at all stages of design, and evaluate the robustness of technical solutions to changes in these requirements. For quick and efficient implementation of the proposed methodology in the practice of industrial design, it must be verified by evaluating the degree of efficiency, completeness, consistency and feasibility of the synthesized design solutions, the convenience of using artificial intelligence tools in the course of solving typical industrial equipment design problems. For this purpose, a configurable laboratory stand was built, which is a physical model of a simple workcell of an industrial manufacturing system. The stand performs the typical functions of a workpieces sorter, has a modular design, and can include the implementation of specified functional requirements by various technical means. Thus, it is possible to obtain different configurations of the sorting device having differences in the sequence of operations and technical properties. To automate the design of these configurations using the CoGui software tool, an information model was created that compares the possible system requirements for the stand with suitable variants of technical solutions. This model is used to automatically obtain descriptions of stand configurations. The performance and other properties of the resulting configurations were then tested on the operating equipment of the stand.\",\"PeriodicalId\":197096,\"journal\":{\"name\":\"2022 IEEE 3rd KhPI Week on Advanced Technology (KhPIWeek)\",\"volume\":\"32 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2022-10-03\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"2\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2022 IEEE 3rd KhPI Week on Advanced Technology (KhPIWeek)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/KhPIWeek57572.2022.9916380\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2022 IEEE 3rd KhPI Week on Advanced Technology (KhPIWeek)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/KhPIWeek57572.2022.9916380","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
Verification of the design methodology for configurable electromechanical systems
The purpose of the study was to verify the previously created methodology for designing electromechanical systems. This methodology is based on SysML language and artificial intelligence tools such as conceptual graphs and Bayesian networks, and involves the construction of an information design model that contains knowledge about the requirements for the system being designed and a knowledge base of available technical solutions. Further, such an information model is used for automatic logical inference of technical solutions according to the requirements specified by the designer. The proposed methods and tools for design automation make it possible to trace the requirements for electromechanical systems at all stages of design, and evaluate the robustness of technical solutions to changes in these requirements. For quick and efficient implementation of the proposed methodology in the practice of industrial design, it must be verified by evaluating the degree of efficiency, completeness, consistency and feasibility of the synthesized design solutions, the convenience of using artificial intelligence tools in the course of solving typical industrial equipment design problems. For this purpose, a configurable laboratory stand was built, which is a physical model of a simple workcell of an industrial manufacturing system. The stand performs the typical functions of a workpieces sorter, has a modular design, and can include the implementation of specified functional requirements by various technical means. Thus, it is possible to obtain different configurations of the sorting device having differences in the sequence of operations and technical properties. To automate the design of these configurations using the CoGui software tool, an information model was created that compares the possible system requirements for the stand with suitable variants of technical solutions. This model is used to automatically obtain descriptions of stand configurations. The performance and other properties of the resulting configurations were then tested on the operating equipment of the stand.