|
|
004.942
ПОЛЯКОВ, Михайло Олексійович.
Теоретико-множинні моделі функціональних структур інтегрованих і когнітивних систем [Текст] : автореферат дис. ... д. т. н. : 01.05.02 / М. О. ПОЛЯКОВ ; Національна металургійна академія України, 2021УДК:
Анотація: Дисертаційна робота висвітвлює актуальну науково-технічну проблему вдосконалення моделей структур систем технічного призначення. Аналіз висвітлив недостатні інтероперабельность їх підсистем, уніфікованість структур, наочність відомих математичних описів функціональних структур інтегрованих та когнітивних систем унаслідок підвищення складності об'єктів систем та вимог до якості їх функціонування.Запропоновано теоретико-множинні моделі функціональних структур інтегрованих систем, що описують їх як ієрархічну структуру, деякі підсистеми якої взаємодіють через спільні елементи. Розроблено нові моделі елементів системи — небінарних, семантичних і гібридних скінченних автоматів, що дозволило збільшити рівень узагальнення моделі відносно операцій процесів діяльності системи, розширити базу знань для прийняття керувального рішення та скоротити час створення моделі.Запропоновано теоретико-множинні моделі типових функціональних структур когнітивних систем на базі пірамід форм знань та діяльності, що дозволяє будувати моделі систем різного призначення з уніфікованих елементів та зменшити на цій основі терміни їх створення . Визначені властивості конверторів форм знань, структура рівнів керування системи, параметри та методика динамічного визначення цілей функціонування системи, сформульовано принцип однорідності знань у когнітивній системі. Запропоновано формалізм автоматного комплексу підсистеми діяльності, який врахує пріоритети сигналів на входах її автоматів.З використанням запропонованих моделей інтегрованих систем була промодельована система віддаленої лабораторії цифрових систем. На теоретико-множинному рівні вона подана як трирівнева структура візуальних, віртуальних і керувальних підсистем, які розроблені з використанням запропонованих методів формування добавленої функціональності й інтерфейсу для сприйняття експерименту, що дозволило перетворити фізичну модель кінцевого об'єкта в кіберфізичну зі збільшеним різноманіттям експериментів на існуючій базі фізичних моделей.На прикладі силового трансформатора розроблені теоретико-множинні моделі функціональної структури й елементів когнітивної системи визначення ресурсу складного технічного об'єкта. Це дозволило розширити функціональні можливості системи щодо прогнозування збільшення терміну використання технічного об'єкту, підвищити на цій основі точність прогнозування та зменшити витрати на створення системи за рахунок використання типової структури систем і елементів.Ключові слова: теоретико-множинна модель, інтегрована та когнітивна система, операційний і керувальний автомат, небінарна та семантична модель скінченного автомата, піраміди форм знань і діяльності, конвертори знань, формалізм підсистеми діяльності, модель віддаленої лабораторії, додана функціональність, моделі когнітивної системи планування ресурсу целюлозної ізоляції потужного трансформатора.. 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.
Дод. точки доступу:
Poliakov Mykhailo ; Національна металургійна академія України
|
|