Метасистемный подход в управлении: Монография. Миронов С.В - 240 стр.

следующим образом: для всякой соединяющей переменной соответст-
вующие ей данные должны быть одинаковыми во всех элементах, в ко-
торые входит эта переменная.
Формально, если
                                                 )
                           vi ∈ C x ,y (или vi ∈ C x ,y ),

    то xvi,w = yvi,w для всех w∈W , где xvi,w и yvi,w — подмножества данных,
соответствующих переменной v i в элементах х и y.
    Обычно предполагается, что структурированные системы данных ло-
кально согласованы. Однако если множества данных, связанных с разны-
ми элементами, собираются независимо друг от друга, например разны-
ми группами экспериментаторов, то полученные множества данных могут
и не удовлетворять требованию локальной согласованности данных. На-
рушение этого условия ведет к аналогичным противоречиям и на более вы-
соких эпистемологических уровнях, поэтому необходимо на некотором
этапе исследования разрешить их. Процедуры разрешения локальных про-
тиворечий до сих пор должным образом не разработаны. Представляется,
однако, что в общем случае более удобно и осмысленно противоречия
разрешаются на уровне структурированных порождающих систем (они вво-
дятся в разделе Г.4), а не на уровне структурированных систем данных. По-
этому задача разрешения локальных противоречий рассматривается именно
на уровне структурированных порождающих систем.

      Г.4 Структурированные системы с поведением
                                    У любой системы есть автор, и он пре-
                                    следует при изучении системы свои соб-
                                    ственные цели.
                                                В. фон Лукаду, К- Корнвакс

     Структурированные порождающие системы определяются
в столь же общем виде, как и другие типы структурированных систем.
Они    также    должны     удовлетворять      условиям   совместимости
и неизбыточности, как исходные структурированные системы. Они же
должны удовлетворять некоторым дополнительным требованиям относи-
тельно масок и функций поведения своих элементов. Тот факт, что
множество выборочных переменных порождающей системы в общем слу-
чае больше множества переменных соответствующей исходной системы или
системы данных, дает некоторые новые возможности для соединения порож-
дающих систем в структурированную систему.
     Пусть нужно соединить заданное множество систем с поведением в
структурированную систему. Для каждой рассматриваемой системы с пове-
дением, идентифицированной как элемент х ( x ∈ N q ) структурированной
системы, обозначим через xV и xS соответственно множество переменных ее
исходной системы и множество ее выборочных переменных. Пусть
240