Исчисление технологических отображений судовых систем управления

Abstract

В работе рассматривается структурированная система отношений интегрированных отображений, их фрагментов, функционально самостоятельных блоков атомарных отображений и правил вывода. На выделенных уровнях иерархии сопоставлены элементы декомпозиции операций управления, а также расширенного представления основных составляющих отображения: состояния объекта управления, функционально ориентированных знаний, позволяющих обеспечить качество формируемых отображений для целей управления в сложных ситуациях. При определении формализмов в процедурах синтеза элементов верхних уровней использованы частичные алгебры.

У роботі розглядається структурована система відношень інтегрованих зображень, їх фрагментів, функціонально самостійних блоків атомарних відображень і правил виводу. На виділених рівнях ієрархії зіставлені елементи декомпозиції операцій керування, а також розширеного представлення основних складових відображення: стану об’єкта керування, функціонально орієнтованих знань, які дозволяють забезпечити якість відображень, що формуються, для цілей керування у складних ситуаціях. При визначенні формалізмів у процедурах синтезу елементів верхніх рівнів використані часткові алгебри.

In this work we take a look at the structured system of relationships of integrated images, their fragments, full functional blocks of atomic images and rules of output. On the exact layers of hierarchy, elements of control operations composition and also extension of the major properties such as the controlled subject condition for functionally oriented knowledge, that allow to supply the quality of formed images for the aims of control in complicated situations, are compared. Particular algebra was used to formalize the procedure for synthesis of higher layer elements.