Logical Simulation of an Automated Technological System of Operations

IF 0.4 Q4 ENGINEERING, MECHANICAL

Journal of Machinery Manufacture and Reliability Pub Date : 2024-12-21 DOI:10.1134/S1052618824701073

R. Yu. Nekrasov, S. Yu. Titskaya

引用次数: 0

Abstract

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.

Abstract Image

查看原文本刊更多论文

自动化操作技术系统的逻辑仿真

提出了用数学逻辑语言（谓词逻辑）来构造模型。提出了用于诊断过程的拟议模型的口头描述的例子。本文考虑了逻辑仿真在技术系统分析中的作用。除了该方法在自动化操作技术系统（ATSO）中的实际应用外，还考虑了该系统各组成部分之间的相互作用。

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

求助全文

约1分钟内获得全文求助全文

来源期刊

Journal of Machinery Manufacture and Reliability ENGINEERING, MECHANICAL-

CiteScore

0.80

自引率

33.30%

发文量

期刊介绍： 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.