УПРАВЛЕНИЕ БОЛЬШИМИ СИСТЕМАМИ
на главную написать письмо карта сайта

Совмещенные сети управления и данных


Название статьи:  Совмещенные сети управления и данных
Выпуск: 58
Год: 2015
Библиография: Выхованец В. С., Крыжановская А. В. Совмещенные сети управления и данных / Управление большими системами. Выпуск 58. М.: ИПУ РАН, 2015. С.41-66.
Дата опубликования: 30.11.2015
Ключевые слова: моделирование процессов, динамическое управление процессами, совмещенные сети управления и данных, алгоритмические модели, теория типов, неразрешимые проблемы, универсальная алгоритмическая модель со строгой типизацией данных.
Аннотация: Рассмотрено динамическое управление процессами на основе использования совмещённых сетей управления и данных. Благодаря заданию на диаграмме процесса потока данных и потока управления появляется возможность автоматической генерации управляющей программы процесса. Для спецификации типов данных в совмещенной сети управления и данных разработана теория типов, позволяющая представлять данные в виде вложенных друг в друга именованных списков. Показано, что совмещенная сеть управления и данных является универсальной алгоритмической моделью со строгой типизацией данных. Доказано, что синтез такой сети по описанию выполняемого ею преобразования типов данных является алгоритмически неразрешимой проблемой. Использование совмещенных сетей управления и данных позволяет повысить качество управления технологическими, производственными и организационными процессами на предприятиях.


Author(s): Vykhovanets V., Kryzhanovskaya A.
Article title: Combined networks of control and data
Issue: 58
Year: 2015
Keywords: process modeling, dynamic control of processes, combined net-works of control and data, algorithmic models, theory of types, unresolved problems, universal algorithmic model of strong typing data.
Abstract: An approach is considered to dynamic process management based on the use of combined networks of control and data. Drawing a data flow and a control flow in a joint process diagram allows automatically generating the executable code for process control. A theory of types is developed to care for data types. The data are stored in the form of nested named lists. A combined network of control and data is shown to be a universal algorithmic model with strong data typing. Synthesis of a network for the given transfor-mation of data types is proved to be an algorithmically unsolvable problem. The use of combined networks of control and data can improve the quality of control in technological, manufacturing and organizational processes.


в формате PDF
Обсудить статью в Интернет-конференции по проблемам управления

Просмотров: 1281; загрузок: 513, за месяц: 3.

Назад

ИПУ РАН © 2007. Все права защищены