Formalized Methods of Analysis and Synthesis of Electronic Document Management of Technical Documentation

Abstract

The article discussed the problem of the synthesis of algorithmic display of systems of railway automation and remote control based on the process of accounting and control of automation devices and telemechanics. This process is described using a formalized description language. Considering the verification of some properties of control algorithms and their transformation in order to optimize the structure of the process of accounting and control of automation and remote control devices, the language of logic circuits of algorithms was chosen. As a formalized language, logical schemes of algorithms were chosen. As a graphical representation of the process of accounting and control of automation and telemechanics devices, a graph-scheme of algorithms is used. The condition of functioning of process of the account and control of devices of automation and telemechanics is described by means of matrix schemes of algorithms. The proposed formal scheme of the process of accounting for and control of devices of automatics and telemechanics using the logical schemes of algorithms provides the formalisation of the procedure for the transition to automated technology. The formalized scheme makes it possible to conduct high-quality and accelerated operational research electronic document management of accounting and control of automation and telemechanics devices in automation and telemechanics system's in railway transport.