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

                   V = ∪ xV = { v i | i ∈ N |V | };            (Г.15)
                       x∈ N q



                   S = ∪ x S = { s k | k ∈ N |S | ;             (Г.16)
                       x∈ N q


Понятно, что
                V ⊆ S и xV ⊆ x S для всех x ∈ N q               (Г.17)

  Для нейтрального варианта SF B структурированная система с
поведением теперь может быть определена так:
                               SFB ={(xS, xFB) | x ∈ N q }. (Г.18)

    Чтобы однозначно идентифицировать элементы х множествами xS, пред-
положим, что выборочные переменные из всех множеств xS ( x ∈ N q ) иден-
тифицируются тем же индексом k, что используется для идентификации пе-
ременных во всем множестве S [уравнение (Г.16)]. Соединения Сх,у элемен-
тов x , y ∈ N q структурированной системы SFB определяются теперь как пере-
сечения множеств выборочных переменных
                                        Cx,y = xS ∩ yS.              (Г.19)
      В представлении (Г.18), которое не содержит никаких ограничений на
порядок порождения и на результирующее разбиение переменных из множеств
x
 S ( x ∈ N q ) и S на порождающие и порождаемые переменные, обычно требу-
ется, чтобы для всех пар элементов x , y ∈ N q выполнялось только одно до-
полнительное условие, а именно следующее уравнение:
                            [ xf ↓ x S ∩ y S ] = [ yf B ↓ x S ∩ y S   (Г.20)
Это условие обеспечивает то, что проекции функций поведения fB,, уfB для
                                                                    x

любой пары элементов из SFB равны относительно их общих переменных (со-
единяющих переменных). По существу, это требование сводится к требованию,
чтобы переменные из разных элементов, считающихся (определяемых) одина-
ковыми, были действительно равны независимо от элементов, в которые они
входят. Будем это требование называть локальной согласованностью по-
ведения.
     Как уже говорилось, системы с поведением xFB,, являющиеся элементами
SFB, на практике часто определяются на локально несогласованных множест-
вах данных и, следовательно, не удовлетворяют требованию локальной согла-
сованности поведения. Для работы с такими структурированными системами в
различных проблемных контекстах, нужно сначала разрешить эти несогласо-
ванности (смотри раздел Г.11). В остальных разделах этой главы считает-
ся, что структурированные системы с поведением локально согласованы.
     После определения порядка порождения для структурированной сис-
темы с поведением SFB множество выборочных переменных S и SFB разбива-
ется на порождающие и порождаемые переменные, соответственно обозна-

241