ВУЗ:
Составители:
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
- …
- следующая ›
- последняя »
