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

UptoLike

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

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