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

UptoLike

ВУЗ: 

ПГУ | Пенза

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

Рубрика: 

104
Выполнив сквозную нумерацию операторных вершин и учитывая
заданное условие объединения ветвей
321
в
kkk
SSSS
, получим
недетерминированную ПТП для всех частных событий, реализуемых в
управляющем автомате (табл. 4.7)
Таблица 4.7.
Шаг
алго-
ритма
Совокупность
Исходных событий
)(tR
i
Частный
входной
сигнал
)(
,
tX
ji
Событие
перехода
))(1(
jj
YtS
Примечание
1
xx
n
)(
22
yS
31
xxx
n
)(
11
yS
31
xxx
n
)(
3 e
yS
Для 1 –ой
ветви
n
x
)(
34
yS
Для 2 –ой
ветви
2
xx
n
)(
57
yS
1
0
S
2
xx
n
)(
66
yS
Для 3 –ей
ветви
2
1
S
1
)(
11
kk
yS
3
2
S
1
)(
11
kk
yS
3
x
)(
11
yS
4
3
S
3
x
)(
3 e
yS
Для 1 –ой
ветви
5
x
)(
45
yS
5
4
S
5
x
)(
22
kk
yS
6
5
S
1
)(
22
kk
yS
Для 2 –ой
ветви 
     Выполнив сквозную нумерацию операторных вершин и учитывая
заданное   условие     объединения            ветвей       S в  S k1 S k2 S k3 ,    получим
недетерминированную ПТП для всех частных событий, реализуемых в
управляющем автомате (табл. 4.7)
                                                                                  Таблица 4.7.
   Шаг     Совокупность        Частный               Событие              Примечание
  алго- Исходных событий       входной               перехода
  ритма                          сигнал            S j (t  1)(Y j )
               Ri (t )
                                 X i , j (t )
     1                 S0                  x n x1          S2 ( y2 )        Для 1 –ой
                                                                             ветви
                                          x n x1 x3         S1 ( y1 )
                                          x n x1 x3         S 3 ( ye )
                                                                            Для 2 –ой
                                            xn             S 4 ( y3 )
                                                                             ветви
                                           xn x2           S 7 ( y5 )       Для 3 –ей
                                                                             ветви
                                           xn x2           S 6 ( y6 )
     2                 S1                    1             S k1 ( y1k )     Для 1 –ой
                                                                             ветви
     3                 S2                    1             S k1 ( y1k )
     4                 S3                    x3             S1 ( y1 )
                                             x3             S 3 ( ye )
     5                 S4                   x5             S 5 ( y4 )       Для 2 –ой
                                                                             ветви
                                            x5            S k2 ( y k2 )
     6                 S5                    1            S k2 ( y k2 )




                                                                                           104

Страницы