Недетерминированные автоматы в проектировании систем параллельной обработки. Вашкевич Н.П. - 111 стр.

UptoLike

ВУЗ: 

ПГУ | Пенза

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

Рубрика: 

111
Продолжение таблицы 4.8
Шаг
алго-
рит-
ма
Сочетание частных
исходных событий
полное событие
))((
mm
Yta
Сочетание
частных входных
сигналов на
переходе
))(,( taaX
sm
Сочетание
частных событий
в момент
времени (t+1)
)1(
ta
s
1
x
12
6
21
/ aSSS
kk
25
)(
6
4
1
24
75
1
yyya
SSS
1
x
8
321
/ aSSS
kkk
26
)(
25
8
k
ya
S
1
0
0
/ aS
Как видно из ПТП (табл. 4.8) каждое состояние детерминированного
автомата, кроме начального и заключительного, представлено
совокупностью из трех событий, каждое из которых реализуется одной из
параллельных ветвей алгоритма управления.
Искомая детерминированная СКУ управляющего автомата Мура,
полученная на основании ПТП (табл. 4.8), представлена системой уравнений
(4.70):
,)1(
0250
0
0
n
xaaxt
y
a
,)1(
210
1
532
xxxat
y
y
y
a
n
,)1(
210
2
632
xxxat
y
y
y
a
n
,)1(
3210
3
531
xxxxat
y
y
y
a
n
,)1(
3210
4
631
xxxxat
y
y
y
a
n
,)1(
3210
5
53
xxxxat
y
y
y
a
n
e
,)1(
3210
6
63
xxxxat
y
y
y
a
n
e
,)()()1(
51425431
7
3
4
1
xxaaxxaat
yyy
a
kk
),()(
)()()()1(
16
15
7
1
24
22
21
11
4201910951425431
8
321
aaaxaaaa
xaaaaxxaaxxaat
y
y
y
a
kkk
,)()1(
54231
9
5
4
1
xxxaat
yyy
a
k
(4.70)
,)()()1(
422019109254231
10
5
21
xxaaaaaxxxaat
yyy
a
kk
,)()()1(
514254231
11
64
1
xxaaxxxaat
yyy
a
k
                                                             Продолжение таблицы 4.8
Шаг           Сочетание частных                   Сочетание          Сочетание
алго-         исходных событий                частных входных частных событий
рит-           полное событие                    сигналов на          в момент
 ма               a m (t )(Ym )                   переходе          времени (t+1)
                                                 X (a m , a s )(t )      a s (t  1)
  25                  S1 S5 S 7                        x1            S k1 S k2 S 6 / a12
                   a24 ( y1 y 4 y 6 )                  x1            S k1 S k2 S k3 / a8
  26                      S8                                                S 0 / a0
                                                       1
                      a25 ( y k )

        Как видно из ПТП (табл. 4.8) каждое состояние детерминированного
автомата,         кроме        начального     и        заключительного,        представлено
совокупностью из трех событий, каждое из которых реализуется одной из
параллельных ветвей алгоритма управления.
        Искомая детерминированная СКУ управляющего автомата Мура,
полученная на основании ПТП (табл. 4.8), представлена системой уравнений
(4.70):
  y
a0 0 (t  1)  x0  a25  a0 xn ,
  y y y
a1 2 3 5 (t  1)  a0 xn x1 x2 ,
  yyy
a 2 2 3 6 (t  1)  a0 xn x1 x2 ,
  yy y
a3 1 3 5 (t  1)  a0 xn x1 x2 x3 ,
  yy y
a 4 1 3 6 (t  1)  a0 xn x1 x2 x3 ,
  y y y
a5 e 3 5 (t  1)  a0 xn x1 x2 x3 ,
  y y y
a6 e 3 6 (t  1)  a0 xn x1 x2 x3 ,
  y1 y y 3
a7 k 4 k (t  1)  (a1  a3 ) x4 x5  (a2  a4 ) x1 x5 ,
  y1 y 2 y 3
a8 k k k (t  1)  (a1  a3 ) x4 x5  (a 2  a 4 ) x1 x5  (a9  a10  a19  a20 ) x4 
 (a11  a21  a 22  a 24 ) x1  (a7  a15  a16 ),
  y1 y y
a9 k 4 5 (t  1)  (a1  a3 ) x2 x4 x5 ,                                      (4.70)
  y1 y 2 y
a10k k 5 (t  1)  (a1  a3 ) x2 x4 x5  (a2  a9  a10  a19  a20 ) x2 x4 ,
  y1 y y
a11k 4 6 (t  1)  (a1  a3 ) x2 x4 x5  (a2  a4 ) x1 x5 ,




                                                                                           111

Страницы