Синтез цепочек целей и действий

Формальная рекуррентная модель организации действий (и, следовательно, алгоритмов управления экспериментами) в многоуровневых системах представляет собой совокупность элементов множества , две алгебраические операции, и , и систему отношений эквивалентности действий по выполнению целевой задачисистемы. Такимобразом, для множества классов эквивалентности имеется множество операций над представителями классов:

Определение. Формула вычислительного эксперимента -го уровня детализации есть графическая запись соответствующей цепочки из .

Пусть некоторый - й класс эквивалентности на -м уровне иерархии является объединением классов эквивалентности нижнего уровня :

Тогда - й алгоритм управления экспериментом на -м уровне выразится как выполнение операции над представителями классов нижнего уровня иерархии:

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

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

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