Poliakov M. Set-theoretic models of functional structures of integrated and cognitive systems

Українська версія

Thesis for the degree of Doctor of Science (DSc)

State registration number

0521U101747

Applicant for

Specialization

  • 01.05.02 - Математичне моделювання та обчислювальні методи

09-09-2021

Specialized Academic Board

Д 08.084.01

National Metallurgical Academy Of Ukraine

Essay

The dissertation work is devoted to the actual scientific and technical problem of improving models of functional structures of systems for technical purposes. The analysis highlighted the insufficient interoperability of the models of their subsystems, the typification of the structures and the visibility of the known mathematical descriptions of the functional structures of integrated and cognitive systems due to the increase in the complexity of the objects of the systems and the requirements for the quality of their functioning. The set-theoretic models of functional structures of integrated systems are proposed, describing them as a hierarchical structure, some subsystems of which interact through common elements. New models of system elements – non-binary, semantic and hybrid finite state machines – were developed, which made it possible to increase the level of generalization of the model in relation to the operations of the processes of the system's activity, expand the knowledge base for making a control decision and reduce the time for creating a model. The set-theoretic models of typical functional structures of cognitive systems based on the pyramids of forms of knowledge and activity are proposed, which makes it possible to build models of systems for various purposes from unified elements and, on this basis, reduce the time of their creation. The properties of converters of forms of knowledge, the structure of the control levels of the system, parameters and methods of dynamic determination of the goals of the functioning of the system are determined; the principle of homogeneity of knowledge in the cognitive system is formulated. The formalism of the automaton complex of the activity subsystem is proposed, which takes into account the priorities of signals at the inputs of its automata. Using the proposed models of integrated systems, the system of a remote laboratory of digital systems was simulated. At the set-theoretical level, it is presented as a three-level structure of visual, virtual and control subsystems, which are developed using the proposed methods for the formation of added functionality and an interface for the perception of an experiment, which made it possible to transform the physical model of the research object into a cyber-physical one and, on this basis, to increase the variety of experiments on the existing one base of physical models. On the example of a power transformer, set-theoretic models of the functional structure and elements of the cognitive system for determining the resource of a complex technical object have been developed. This made it possible to expand the functionality of the system with respect to predicting an increase in the term of use of a technical object, to increase the accuracy of forecasting on this basis, and also to reduce the cost of creating a system by using a typical structure of systems and elements. Keywords: set-theoretic model, integrated and cognitive system, operating and control automata, notbinary and semantic finite state machine models, pyramids of knowledge and activity forms, knowledge converters, activity subsystem formalism, remote laboratory model, added functionality, cognitive system model for power transformer resource planning.

Files

Similar theses