THE FORMALIZATION OF THE ELECTRONIC DOCUMENT RAILWAY AUTOMATICS AND TELEMECHANICS ON THE BASIS OF SIMULATION MODELING
Keywords:
railway automatics and telemechanics, technical document management, formal methods and models, the joint algorithm, the synthesis of the combined algorithms, the introduction of additional attributive logical conditionsAbstract
The article presents the synthesis of a formalized view of the combined algorithms performing the similar technological functions in one member document in the sector of railway automatics and telemechanics, taking into account features of their structure. The method of combining algorithms is the introduction of additional attributive logical conditions. The model provides a reduction in the number of occurrences of the same type of operators, and logic elements in the algorithmic description of the process of technical documentation management
Downloads
Published
How to Cite
Issue
Section
License

This work is licensed under a Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License.