ВУЗ:
Составители:
346
систем, одинаковые идентификаторы. Соответствующая маска используется в
обеих системах, входящих в одну метасистему.
Функции поведения (порождающие функции) являются детерминирован-
ными, т. е. порождающие переменные в обеих системах с поведением являются
функциями порождающих и входных выборочных переменных. Эти функции
приведены на рисунке Д.6,б. Функции поведения для первой метасистемы
обозначены
GBGB
f,f
1211
, а для второй метасистемы -
GBGB
f,f
2221
.
В обеих метасистемах используются процедуры замены одного типа: если
все входные и порождающие переменные имеют состояние 0, то первая систе-
ма с поведением заменяется второй;
s
1
s
2
s
4
s
5
s
5
0 0 0 0 0
0 0 1 1 0
0 1 0 1 0
0 1 1 0 1
1 0 0 1 0
1 0 1 0 1
1 1 0 0 1
1 1 1 1 1
s
2
s
3
s
5
s
6
s
6
0 0 0 1 1
0 0 1 0 1
0 1 0 0 1
0 1 1 1 1
1 0 0 0 0
1 0 1 1 1
1 1 0 1 1
1 1 1 0 0
β
(f)(f
GBGB
α
α
1211
)(f)(f
GBGB
β
β
2221
в)
1
MF
GB
1
MF
GB
a)
s
6
s
5
s
4
1
4
5
2
ρ = -1 0
v
1
v
2
=
1
M
2
5
6
3
ρ = -1 0
v
2
v
3
=
2
M
б)
систем, одинаковые идентификаторы. Соответствующая маска используется в обеих системах, входящих в одну метасистему. Функции поведения (порождающие функции) являются детерминирован- ными, т. е. порождающие переменные в обеих системах с поведением являются функциями порождающих и входных выборочных переменных. Эти функции приведены на рисунке Д.6,б. Функции поведения для первой метасистемы обозначены 11 f GB ,12 f GB , а для второй метасистемы - 21 f GB ,22 f GB . В обеих метасистемах используются процедуры замены одного типа: если все входные и порождающие переменные имеют состояние 0, то первая систе- ма с поведением заменяется второй; 11 f GB ( α ) 12 f GB ( α ρ = -1 0 s4 v1 1 4 s1 s2 s4 s5 s5 1 v2 =M 0 0 0 0 0 2 5 1 0 0 1 1 0 MFGB 0 1 0 1 0 0 1 1 0 1 1 0 0 1 0 1 0 1 0 1 s5 1 1 0 0 1 1 1 1 1 1 21 f GB ( β ) 22 f GB ( β ) 1 s2 s3 s5 s6 s6 MFGB ρ = -1 0 β 0 0 0 1 1 v2 0 0 1 0 1 2 5 s6 =2M 0 1 0 0 1 v3 3 6 0 1 1 1 1 1 0 0 0 0 1 0 1 1 1 a) б) 1 1 0 1 1 1 1 1 0 0 в) 346
Страницы
- « первая
- ‹ предыдущая
- …
- 344
- 345
- 346
- 347
- 348
- …
- следующая ›
- последняя »