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

UptoLike

Составители: 

282
Рисунок Г.19 – Упрощенная схема ре- Рисунок Г.20 – Решетка (&
4
/i, )
шетки (&
4
/i, ), полностью показан-
ной на рисунке Г.18
На рисунке Г.20 изображена решетка (&
4
/i, ), являющаяся подрешеткой
(
G
4
/i, ). Число около каждой схемы указывает на число различных С-
структур, входящих в перестановочный класс эквивалентности, показанный
на этой схеме; числа, помещенные около дуг, указывают на число непосред-
ственных уточнений С-структуры из данного перестановочного класса экви-
валентности в другой класс. Как уже объяснялось выше, эта решетка изо-
морфна решеткам, определенным на
R
4
/i, P
4
/i и (&
4
/i).
В то время как полные решетки (&
n
, ) представляют основу для ло-
кального уровня вычислений в задаче реконструкции, решетки (&
n
, ) и их
изоморфизмы являются основой для глобальных вычислений. Для работы на
глобальном уровне вычислений необходима процедура, порождающая для
любой заданной С-структуры C
k
&
n
(n
N) все непосредственные уточнения
в решетке (&
n
, ). Ниже приводится одна такая процедура, использую-
щая представление С-структур в виде графов.
Рисунок Г.19 – Упрощенная схема ре-      Рисунок Г.20 – Решетка (&4/i, ≤ )
шетки (& 4 / i , ≤), полностью показан-
ной на рисунке Г.18
     На рисунке Г.20 изображена решетка (&4/i, ≤), являющаяся подрешеткой
(G4/i, ≤). Число около каждой схемы указывает на число различных С-
структур, входящих в перестановочный класс эквивалентности, показанный
на этой схеме; числа, помещенные около дуг, указывают на число непосред-
ственных уточнений С-структуры из данного перестановочного класса экви-
валентности в другой класс. Как уже объяснялось выше, эта решетка изо-
морфна решеткам, определенным на R4/i, P4/i и (&4/i).
     В то время как полные решетки (&n, ≤) представляют основу для ло-
кального уровня вычислений в задаче реконструкции, решетки (&n, ≤) и их
изоморфизмы являются основой для глобальных вычислений. Для работы на
глобальном уровне вычислений необходима процедура, порождающая для
любой заданной С-структуры Ck∈ &n (n∈ N) все непосредственные уточнения
в решетке (&n, ≤). Ниже приводится одна такая процедура, использую-
щая представление С-структур в виде графов.



282