REPRESENTATION OF ALGORITHMS OF SYSTEM OF MANAGEMENT OF COMPLEX OBJECTS IN MATRICO-PREDICATE TYPE


UDC 681.58
DOI:10.26102/2310-6018/2020.28.1.014

V.S. Polyakov, O.A. Avdeyuk, V.Y. Naumov, I.Y. Koroleva, I.G. Lemeshkina


The article indicates that the construction of control systems for objects that carry out the process begins, as a rule, with the compilation of algorithms for their functioning. This process is often carried out by heuristic methods, complex algorithms are compiled in separate blocks, and then “stitched” into a single whole. Basically, the construction is carried out in the form of graph diagrams, is difficult to read and inconvenient to process. The quality of these algorithms depends entirely on the qualifications of the engineering staff, on the knowledge of the process technology, on knowledge of the theory and practice of solving the problem. This paper shows the possibility of constructing algorithms in matrix form, that is, allowing one to obtain a formalized description in a more convenient and compact form and giving a way to solve many non-standard situations in the process of algorithmization. The article considers the possibility of carrying out a number of operations on graph diagrams, which are hereinafter referred to as “operations of additional definition”, which allowed us to write the algorithm in the form of a dual graph and allow us to represent it in the form of modular blocks, as well as to consider the possibility of representing the algorithms in matrix-predicate and tabular predicate form. It is concluded that defining the algorithms of control systems for complex processes in a mathematical-predicate or tabular-predicate form makes it possible to use well-studied methods of graph theory, matrix theory, methods of predicate theory. In addition, it becomes possible to use set-theoretic and algebraic operations developed for graphs when working with algorithms.

Keywords: algorithm, matrix, incidentor, predicate, modular structure.

Full text:
PolyakovSoavtori_1_20_1.pdf