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

UptoLike

ВУЗ: 

ПГУ | Пенза

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

Рубрика: 

103
простоты примера начальная и конечная последовательные части алгоритма
управления включают только по одной операторной вершине.
. 4.6.     
и конъюнктивным соединителем,
n
x
- пусковой сигнал
В соответствии с заданными условиями выхода алгоритмического
процесса за вершину объединения в исходную ГСАП вводятся
промежуточные вершины
1
k
S
,
2
k
S
,
3
k
S
и соответствующие им события,
отмеченные сигналами
1
k
y
,
2
k
y
,
3
k
y
, которые свидетельствуют об окончании
алгоритмических процессов в соответствующих параллельных ветвях.
Вводится также в первой ветви пустая операторная вершина в петлю из
логического условия
3
x
, отмеченную пустым выходным сигналом
e
y
.
S
0
(y
0
)
x
0
0
0
F
1
x
0
x
1
y
3
x
2
y
x
3
y
2
x
5
y
5
y
6
y
1
y
4
x
4
x
1
S
k
(y
)
S
(y
)
S
(y
k
)
y
J(&)
3
2
7
6
1
5
8
1
1
1
1
1
1
0
0
0
0
0
4
простоты примера начальная и конечная последовательные части алгоритма
управления включают только по одной операторной вершине.
                                                                      x0
                                             0
                                                 S0(y0)



                                         0
                                                   xn

                                                       1


                                                   F

                                             4
                        0                                                       0
                                x1                 y3                      x2
3
    ye                           1                                          1
                            2                                     7                 6
                   x3           y2                 x5       0              y5             y6
           0
                    1                               1
               1                             5
                   y1                              y4                      x4   0         x1     0

                                                                            1              1


                            S1 k(yk 1)       S2k (yk 2)           S3k (yk3)




                                                           J(&)

                                             8
                                                   yk


                                                                                        . 4.6.
          и конъюнктивным соединителем, x n - пусковой сигнал
     В соответствии с заданными условиями выхода алгоритмического
процесса за вершину объединения в исходную ГСАП вводятся
промежуточные вершины S 1k , S k2 , S k3 и соответствующие им события,
отмеченные сигналами y1k , y k2 , y k3 , которые свидетельствуют об окончании
алгоритмических процессов в соответствующих параллельных ветвях.
Вводится также в первой ветви пустая операторная вершина в петлю из
логического условия x3 , отмеченную пустым выходным сигналом y e .



                                                                                                 103

Страницы