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


јвтор:  ¬ыхованец ¬. —.,  рыжановска€ ј. ¬.
Ќазвание:  —овмещенные сети управлени€ и данных
¬ыпуск:  58
–убрика:  —истемный анализ
√од:  2015
Ѕиблиографи€:  ¬ыхованец ¬. —.,  рыжановска€ ј. ¬. —овмещенные сети управлени€ и данных / ”правление большими системами. ¬ыпуск 58. ћ.: »ѕ” –јЌ, 2015. —.41-66.
 лючевые слова:  моделирование процессов, динамическое управление процессами, совмещенные сети управлени€ и данных, алгоритмические модели, теори€ типов, неразрешимые проблемы, универсальна€ алгоритмическа€ модель со строгой типизацией данных.
 лючевые слова (англ.):  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.
јннотаци€:  –ассмотрено динамическое управление процессами на основе использовани€ совмещЄнных сетей управлени€ и данных. Ѕлагодар€ заданию на диаграмме процесса потока данных и потока управлени€ по€вл€етс€ возможность автоматической генерации управл€ющей программы процесса. ƒл€ спецификации типов данных в совмещенной сети управлени€ и данных разработана теори€ типов, позвол€юща€ представл€ть данные в виде вложенных друг в друга именованных списков. ѕоказано, что совмещенна€ сеть управлени€ и данных €вл€етс€ универсальной алгоритмической моделью со строгой типизацией данных. ƒоказано, что синтез такой сети по описанию выполн€емого ею преобразовани€ типов данных €вл€етс€ алгоритмически неразрешимой проблемой. »спользование совмещенных сетей управлени€ и данных позвол€ет повысить качество управлени€ технологическими, производственными и организационными процессами на предпри€ти€х.
јннотаци€ (англ.):  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
ќбсудить статью в »нтернет-конференции по проблемам управлени€

ѕросмотров: 1454, загрузок: 543, за мес€ц: 10.

Ќазад

»ѕ” –јЌ © 2007. ¬се права защищены