Reference for citation: Baranov А. Yu., Bulatov M. A., Semenov A. I., Sokolov B. V. Formalizing natural parallelism of management and information processes. Journal of Instrument Engineering. 2023. Vol. 66, N 6. P. 509—513 (in Russian). DOI: 10.17586/0021-3454-2023-66-6-509-513.

Abstract. In modern automated control systems for complex objects (ACS CO), the processes of obtaining, storing, processing and transmitting data, information and knowledge are closely intertwined with the processes of monitoring and managing these objects. At the same time, these processes can proceed both sequentially and in parallel, using various resources of the ACS CO. The analysis shows that within the framework of existing approaches, when describing the processes under consideration, the dynamic nature of the partial order that arises between them is not taken into account. Such a dynamically changing partial order in previous publications is proposed to be called the natural parallelism of the processes of functioning of the ACS CO. In these papers, it is shown that with automatic purposeful dynamic parallelization of processes, high efficiency is achieved in the use of the resulting models in the control of complex objects. The implemented parallelism is close to the natural parallelism of the simulated processes. At the same time, the execution of processes using dynamic parallelization is distinguished by the possibility of scaling to a different number of parallel interpreters (processors, parallel threads). In this article, a possible approach to formal description of the natural parallelism of management and information processes is proposed.

Keywords: monitoring and management processes, natural parallelism of management and information processes, logical-dynamic models of program control of complex objects

References:

1. Vykhovanets V.S., Yatsutko A.V. Herald of the Bauman Moscow State Technical University, 2013, no. 2(14), pp. 1–13. (in Russ.)
2. Kalyanov G.N. Herald of the Bauman Moscow State Technical University. Series Mechanical Engineering, 2012,
Special issue "Scientific schools of NUK RK MSTU: School of Professor V.V. Emelyanov", рр. 119–126. (in Russ.)
3. Vasil'ev S.N. Journal of Computer and Systems Sciences International, 2001, no. 1(40), pp. 1–18; no. 2(40), pp.
169–185.
4. Zhuk K.D., Timchenko A.A., Dolenko T.I. Issledovaniye struktur i modelirovaniye logiko-dinamicheskikh sistem (Research
of Structures and Modeling of Logical-Dynamic Systems), Kyiv, 1975. (in Russ.)
5. Zimin I.N., Ivanilov Yu.P. USSR Computational Mathematics and Mathematical Physics, 1971, no. 3, pp. 632–641.
(in Russ.)
6. Moiseev N.N. Matematicheskiye zadachi sistemnogo analiza (Mathematical Problems of System Analysis), Moscow,
1981, 488 р. (in Russ.)
7. Kalinin V.N., Sokolov B.V. Journal of Computer and System Sciences International, 1995, no. 1, pp. 149–156. (in
Russ.)
8. Sokolov B.V. Kompleksnoye planirovaniye operatsiy i upravleniye strukturami v ASU aktivnymi podvizhnymi
ob"yektami (Comprehensive Planning of Operations and Management of Structures in Automated Control Systems
for Active Mobile Objects), Moscow, 1992, 232 р. (in Russ.)
9. Sokolov B.V., Kalinin V.N. Automation and Remote Control, 1985, no. 5, pp. 106–114. (in Russ.)
10. Peterson J.L. Petri Net Theory and the Modeling of Systems, Prentice-Hall, Englewood Cliffs, New Jersey, 1981,
290 p.
11. Kotov V.E. Seti Petri (Petri Nets), Moscow, 1984, 160 р. (in Russ.)
12. Okhtilev M.Yu., Sokolov B.V., Yusupov R.M. Intellektual'nyye tekhnologii monitoringa i upravleniya strukturnoy
dinamikoy slozhnykh tekhnicheskikh ob"yektov (Intelligent Technologies for Monitoring and Controlling the Structural
Dynamics of Complex Technical Objects), Moscow, 2006, 410 р. (in Russ.)