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

UptoLike

ВУЗ: 

ПГУ | Пенза

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

Рубрика: 

105
Продолжение таблицы 4.7
Шаг
алго-
ритма
Совокупность
Исходных событий
)(tR
i
Частный
входной
сигнал
)(
,
tx
ji
Событие
перехода
))(1(
jj
ytS
Примечание
4
x
)(
33
kk
yS
24
xx
)(
57
yS
7
7
S
24
xx
)(
66
yS
1
x
)(
66
yS
8
6
S
1
x
)(
33
kk
yS
Для 3 –ей
ветви
9
321
kkkB
SSSS
1
)(
8 k
yS
Выход за
соединитель
10
в
1
SS
k
1
)(
11
kk
yS
11
в
2
SS
k
1
)(
22
kk
yS
12
в
3
SS
k
1
)(
33
kk
yS
Сохранение
событий
321
,,
kkk
SSS
13
8
S
1
)(
00
yS
Возврат в
исходное событие
В таблице 4.7 строки с 1-ой по 8-ую представляют собой
детерминированные ПТП для трех параллельных ветвей, которые строятся
также как и ПТП для простых ГСА, строки с 10-ой по 12-ую в соответствии с
заданным типом соединителя формализуют условия сохранения событий
типа
i
k
S
(коррекция событий типа
i
k
S
), a строка 9-ая в соответствии с
заданным типом соединителя формализует выход алгоритмического
процесса за вершину объединения параллельных ветвей.
Недетерминированная скорректированная СКУ, соответствующая ПТП
(табл.4.7), будет иметь вид: 
                                                         Продолжение таблицы 4.7
  Шаг      Совокупность            Частный          Событие             Примечание
 алго-   Исходных событий          входной          перехода
 ритма                              сигнал        S j (t  1)( y j )
               Ri (t )
                                     xi, j (t )
    7               S7                 x4            S k3 ( y k3 )       Для 3 –ей
                                                                          ветви
                                      x4 x2           S 7 ( y5 )
                                      x 4 x2          S 6 ( y6 )
    8               S6                 x1             S 6 ( y6 )
                                        x1           S k3 ( y k3 )
    9       S B  S k1 S k2 S k3        1             S8 ( yk )         Выход за
                                                                       соединитель
   10             S k1 S в              1            S k1 ( y1k )      Сохранение
                                                                         событий
   11             S k2 S в              1            S k2 ( y k2 )
                                                                         S k1 , S k2 , S k3
   12             S k3 Sв               1            S k3 ( y k3 )
   13               S8                                                     Возврат в
                                        1             S 0 ( y0 )       исходное событие


      В таблице 4.7 строки с 1-ой по 8-ую представляют собой
детерминированные ПТП для трех параллельных ветвей, которые строятся
также как и ПТП для простых ГСА, строки с 10-ой по 12-ую в соответствии с
заданным типом соединителя формализуют условия сохранения событий
типа S ki (коррекция событий типа S ki ), a строка 9-ая в соответствии с
заданным типом соединителя формализует выход алгоритмического
процесса за вершину объединения параллельных ветвей.
      Недетерминированная скорректированная СКУ, соответствующая ПТП
(табл.4.7), будет иметь вид:




                                                                                              105

Страницы