Задача планирования. 
Интеллектуальная моделирующая система "Miracle"

Для обеспечения эффективного управления моделью (или моделируемым объектом) на каждом шаге работы системы производится планирование, с учетом текущего состояния системы. Цель планирования в системе — это нахождение оптимального плана достижения целевого состояния, а в частности — нахождения необходимого подмножества применимых правил управления на очередном шаге. Для управления множеством генерируемых вариантов используется механизм ограничений на совместное применение правил управления. Таким образом, определяется множество возможных управляющих воздействий, то есть вариантов управлений. Алгоритм планирования сводится к алгоритму поиска оптимального состояния в дереве возможных состояний предметной области, получающихся в результате применения различных управляющих воздействий.

Реализация на суперкомпьютере

В процессе реализации системы «Miracle» остро встала проблема недостатка вычислительных мощностей для реализации задач моделирования и управления сложными техническими объектами, которые порождают большие по объёму и сложности модели. В связи с этим была разработана параллельная версия системы. В качестве платформы была выбрана кластерная архитектура, а в качестве средства разработки — Т-система [4], разработанная в исследовательском центре мультипроцессорных систем ИПС РАН в сотрудничестве с другими организациями, и предназначенная для автоматического динамического распараллеливания программ, написанных на традиционных языках программирования (новая версия Т-системы, получившая название OpenTS — Т-система с открытой архитектурой, была создана в период 2003;2005 гг в рамках проекта «СКИФ» [5]).

Основной упор был сделан на параллельную реализацию механизма планирования, как наиболее ресурсоемкого компонента системы. Распараллеливание вычислений осуществлено на этапе, когда планировщик строит дерево всевозможных продолжений развития ситуации, возникающих после применения различных множеств правил управления, соответствующих возможному варианту управления. Параллельный алгоритм планирования, реализованный посредством средств T-системы для параллельного поиска, использует для построения и анализа дерева состояний рекурсию.