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

Автор(ы): Выхованец В. С., Крыжановская А. В.

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

Выпуск: 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
Обсудить статью в Интернет-конференции по проблемам управления

Просмотров: 3927; загрузок: 1327, за месяц: 15.

Назад