{"title":"自动化操作技术系统的逻辑仿真","authors":"R. Yu. Nekrasov, S. Yu. Titskaya","doi":"10.1134/S1052618824701073","DOIUrl":null,"url":null,"abstract":"<p>It is proposed to use the language of mathematical logic (predicate logic) to construct models. Examples of the verbal descriptions of the proposed models for diagnostic processes are presented. In this paper the role played by logical simulation in the analysis of technological systems is considered. In addition to the practical application of this method for an automated technological system of operations (<i>ATSO</i>), the interactions between the components of this system are considered.</p>","PeriodicalId":642,"journal":{"name":"Journal of Machinery Manufacture and Reliability","volume":"53 1 supplement","pages":"S107 - S112"},"PeriodicalIF":0.4000,"publicationDate":"2024-12-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Logical Simulation of an Automated Technological System of Operations\",\"authors\":\"R. Yu. Nekrasov, S. Yu. Titskaya\",\"doi\":\"10.1134/S1052618824701073\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"<p>It is proposed to use the language of mathematical logic (predicate logic) to construct models. Examples of the verbal descriptions of the proposed models for diagnostic processes are presented. In this paper the role played by logical simulation in the analysis of technological systems is considered. In addition to the practical application of this method for an automated technological system of operations (<i>ATSO</i>), the interactions between the components of this system are considered.</p>\",\"PeriodicalId\":642,\"journal\":{\"name\":\"Journal of Machinery Manufacture and Reliability\",\"volume\":\"53 1 supplement\",\"pages\":\"S107 - S112\"},\"PeriodicalIF\":0.4000,\"publicationDate\":\"2024-12-21\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Journal of Machinery Manufacture and Reliability\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://link.springer.com/article/10.1134/S1052618824701073\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q4\",\"JCRName\":\"ENGINEERING, MECHANICAL\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Journal of Machinery Manufacture and Reliability","FirstCategoryId":"1085","ListUrlMain":"https://link.springer.com/article/10.1134/S1052618824701073","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q4","JCRName":"ENGINEERING, MECHANICAL","Score":null,"Total":0}
Logical Simulation of an Automated Technological System of Operations
It is proposed to use the language of mathematical logic (predicate logic) to construct models. Examples of the verbal descriptions of the proposed models for diagnostic processes are presented. In this paper the role played by logical simulation in the analysis of technological systems is considered. In addition to the practical application of this method for an automated technological system of operations (ATSO), the interactions between the components of this system are considered.
期刊介绍：
Journal of Machinery Manufacture and Reliability is devoted to advances in machine design; CAD/CAM; experimental mechanics of machines, machine life expectancy, and reliability studies; machine dynamics and kinematics; vibration, acoustics, and stress/strain; wear resistance engineering; real-time machine operation diagnostics; robotic systems; new materials and manufacturing processes, and other topics.
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
求助内容：
应助结果提醒方式：
扫码关注我们
