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

UptoLike

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

118
S
0
x
n
S
1
0
S
p
0
S
m
0
S
k
0
x
0
F
J
(&,V)
Начальная часть
последовательной
компоненты
алгоритма
управления
Параллельная
компонента
алгоритма
управления
Заключительная
часть
последовательной
компоненты
алгоритма
управления
1
0
Рис. 5.1. Обобщенная структура ГСАП управляющего алгоритма
с параллельными ветвями
На рис. 5.1 введены следующие обозначения:
S
0
- начальное событие;
x
0
- сигнал приведения УА в начальное состояние;
x
n
- пусковой сигнал,
0
1
S
- первое событие начальной части последовательной компоненты
алгоритма управления;
событие,
0
p
S
- событие, определяющее начало распараллеливания алгоритмического
процесса;
0
m
S
- событие, свидетельствующее о выходе алгоритмического процесса за
вершину объединения параллельных ветвей (первое событие заключительной
части последовательной компоненты алгоритма управления);
0
k
S
- заключительное событие алгоритма управления.
Из графического представления управляющего алгоритма (рис. 5.1) следует,
что все частные S-события, представляющие управляющий алгоритм, в
явном виде разбиты на группы несовместимых событий. Поэтому структуру
УА можно представить в виде композиции из нескольких подавтоматов
(п/А), каждый из которых реализует одну из групп несовместимых событий.
                x0

                         S0

                     0   xn
                              1
                         S10                 Начальная часть
                                             последовательной
                                             компоненты
                         Sp0                 алгоритма
                                             управления
                                   F
                                             Параллельная
                                             компонента
                                             алгоритма
                                             управления
                                  J (&,V)

                         Sm0                 Заключительная
                                             часть
                                             последовательной
                                             компоненты
                         Sk0                 алгоритма
                                             управления
      Рис. 5.1. Обобщенная структура ГСАП управляющего алгоритма
                        с параллельными ветвями

На рис. 5.1 введены следующие обозначения:
S0 - начальное событие;
x0 - сигнал приведения УА в начальное состояние;
xn - пусковой сигнал,
S10 - первое событие начальной части последовательной компоненты
алгоритма управления;
событие,
S 0p - событие, определяющее начало распараллеливания алгоритмического
процесса;
S m0 - событие, свидетельствующее о выходе алгоритмического процесса за
вершину объединения параллельных ветвей (первое событие заключительной
части последовательной компоненты алгоритма управления);
S k0 - заключительное событие алгоритма управления.
Из графического представления управляющего алгоритма (рис. 5.1) следует,
что все частные S-события, представляющие управляющий алгоритм, в
явном виде разбиты на группы несовместимых событий. Поэтому структуру
УА можно представить в виде композиции из нескольких подавтоматов
(п/А), каждый из которых реализует одну из групп несовместимых событий.


                                                                       118