ВУЗ:
Составители:
243
ременные обозначать
g
x
S. Спецификация их действительной роли входит
в определение системы с поведением, представляющей этот элемент, а
также в определение направленных соединений элементов.
Итак, порождающие системы с поведением, объединяемые в структу-
рированную систему, обычно должны рассматриваться как направленные
системы. Поскольку такой подход возможен всегда, мы определяем
},Nx)F,S,S{(FS
qGB
x
e
x
g
x
GB
∈=
)
(Г.21)
понимая, что при этом не требуется никакого содержательного оп-
ределения SF
GB
.
Под это определение подходит и особый (вырожденный) случай, ко-
гда ни одна из переменных из V не объявляется как входная.
x
S
g
и
x
S
е
—
это соответственно порождаемые и входные переменные элементов х:
g
x
S-
это множество переменных, введенных и рассмотренных в предыдущем
параграфе. В зависимости от того, какая из альтернатив выбрана, в это
множество входят входные или выходные переменные элемента. Как и в
предшествующем определении структурированной исходной системы,
предполагается, что переменные из всех этих трех множеств и все эле-
менты
q
Nx ∈ идентифицируются индексом b, определенным в уравнении
(Г.16). Для любого
q
Nx ∈ эти три множества образуют разбиение множе-
ства
x
S. Кроме того, для некоторого
q
Ny
∈
{0} переменные из множества
x
S
q
входят в соединения
y,x
C
)
, в то время как переменные из множества
e
x
S
входят только в соединения
x,y
C
)
, переменные из
g
x
S могут входить в со-
единения с любым направлением или вовсе не входить в соединения.
Будем структурированные системы вида (Г.18) или (Г.21) называть
соответственно структурированными системами с поведением основного и
порождающего типа. Понятно, что из структурированной системы с пове-
дением основного типа может быть выведено семейство структуриро-
ванных систем с поведением порождающего типа. Структурированные
системы этого семейства отличаются одна от другой:
1) разбиением S на
g
S и S
g
;
2) разбиением
g
S на )Nx(S
qg
x
∈
;
3) использованием переменных из множеств )Nx(S
qg
x
∈
.
Разбиение 1 определяется разными порядками порождения для пред-
сказания или восстановления. Разбиение 2 определяется перекрытиями пе-
ременных из множества S
g
с элементами структурированной системы. Го-
воря точнее, переменная из множества S
g
, входящая в один и только один
элемент, очевидно, должна порождаться этим элементом. С другой сторо-
ны, переменная, входящая в несколько элементов, может порождаться
любым из этих элементов, но только одним из них. Выбор этого элемента
обычно осуществляется исходя из порождающей нечеткости (чем меньше
ременные обозначать x S g . Спецификация их действительной роли входит
в определение системы с поведением, представляющей этот элемент, а
также в определение направленных соединений элементов.
Итак, порождающие системы с поведением, объединяемые в структу-
рированную систему, обычно должны рассматриваться как направленные
системы. Поскольку такой подход возможен всегда, мы определяем
)
SFGB = {( xS g ,x S e ,x FGB )x ∈ N q }, (Г.21)
понимая, что при этом не требуется никакого содержательного оп-
ределения SFGB.
Под это определение подходит и особый (вырожденный) случай, ко-
гда ни одна из переменных из V не объявляется как входная. xSg и xSе —
это соответственно порождаемые и входные переменные элементов х: x S g -
это множество переменных, введенных и рассмотренных в предыдущем
параграфе. В зависимости от того, какая из альтернатив выбрана, в это
множество входят входные или выходные переменные элемента. Как и в
предшествующем определении структурированной исходной системы,
предполагается, что переменные из всех этих трех множеств и все эле-
менты x ∈ N q идентифицируются индексом b, определенным в уравнении
(Г.16). Для любого x ∈ N q эти три множества образуют разбиение множе-
ства x S. Кроме того, для некоторого y ∈ N q {0} переменные из множества
x
)
Sq входят в соединения C x ,y , в то время как переменные из множества x S e
)
входят только в соединения C y ,x , переменные из x S g могут входить в со-
единения с любым направлением или вовсе не входить в соединения.
Будем структурированные системы вида (Г.18) или (Г.21) называть
соответственно структурированными системами с поведением основного и
порождающего типа. Понятно, что из структурированной системы с пове-
дением основного типа может быть выведено семейство структуриро-
ванных систем с поведением порождающего типа. Структурированные
системы этого семейства отличаются одна от другой:
1) разбиением S на S g и S g ;
2) разбиением S g на x S g ( x ∈ N q ) ;
3) использованием переменных из множеств x S g ( x ∈ N q ) .
Разбиение 1 определяется разными порядками порождения для пред-
сказания или восстановления. Разбиение 2 определяется перекрытиями пе-
ременных из множества Sg с элементами структурированной системы. Го-
воря точнее, переменная из множества Sg, входящая в один и только один
элемент, очевидно, должна порождаться этим элементом. С другой сторо-
ны, переменная, входящая в несколько элементов, может порождаться
любым из этих элементов, но только одним из них. Выбор этого элемента
обычно осуществляется исходя из порождающей нечеткости (чем меньше
243
Страницы
- « первая
- ‹ предыдущая
- …
- 241
- 242
- 243
- 244
- 245
- …
- следующая ›
- последняя »
