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

UptoLike

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

133
.)()1()1(
,)1()1(
,)()1)(()1(
,)()1)(()1(
,)()1)(()1(
,)1)(()1(
,)()()1)(()1(
,)()()1)(()1(
,)1()1(
в
в
в
в
в
в
в
9099
988
3
471624720
3
0
3
77
3
47161620
3
0
3
66
2
5540
2
0
2
45
2
55454
2
54
33310
1
033310
1
0313
33310
1
010
1
0322
1
21
1
1
SSSxtStQ
SStStQ
SSxSxSxxSxSxStSStQ
SSxSxSxSxSxStSStQ
SSSxSSxStSStQ
SSSxSxStSStQ
xSxxSxSxSxxSxStSStQ
xSxxSxSxSxStSStQ
SSSStStQ
n
knk
knk
knk
kk
nn
nn
kk
(5.9)
В полученных уравнениях (5.9) СКУ для Q-событии выполним подстановку в
правую часть кодов для всех событий в соответствии с таблицами
кодирования. Тогда получим СКУ для Q-событий, в которых правая часть
будет зависеть от Q-событий. Далее для иллюстрации процедур будем
рассматривать все преобразования только для 1-го п/А. Для всех других п/А
все преобразования будут выполняться аналогично. Учитывая отмеченное,
получим для 1-го п/А СКУ для Q-событий:
.)()1(
,))(()1(
,)1(
321103213
33213103212
3213213211
в
QQQxSxQQQtQ
xQQQxxSxQQQtQ
SQQQQQQQQQtQ
n
n
(5.10)
в) Минимизацию систем уравнений типа (5.10) СКУ для Q-событий для всех
п/А с учетом неиспользованных кодовых групп.
Для 1-го п/А в результате минимизации получим следующую систему СКУ
для Q-событий.
.)()1(
),)(()1(
,)1(
3210213
3103213322
321321
в
QQxSxQQtQ
xxSxQQQxQQtQ
QQSQQQtQ
n
n
(5.11)
Так как в качестве элементарных автоматов приняты Д-триггеры, то система
уравнений (5.11) является функциями возбуждения элементов памяти, по
которой не трудно построить структурную схему для рабочего п/А,
реализующую его функции перехода.
 Q1 (t  1)  S k1 (t  1)  S1  S 2  S k1 S в ,
 Q2 (t  1)  ( S 2  S3 )(t  1)  S 01 ( xn S 0 ) x1  S 01 ( xn S 0 ) x1 x3  S 3 x3 ,
 Q3 (t  1)  ( S1  S3 )(t  1)  S 01 ( xn S 0 ) x1 x3  S 3 x3  S 01 ( xn S 0 ) x1 x3  S 3 x3 ,
 Q4 (t  1)  ( S 5  S k2 )(t  1)  S 4 x5  S 4 x5  S 5  S k2 S в ,
 Q5 (t  1)  (S 4  S k2 )(t  1)  S 02 ( xn S 0 )  S 4 x5  S 5  S k2 S в ,                        (5.9)
 Q6 (t  1)  (S 6  S k3 )(t  1)  S 03 ( xn S 0 ) x2  S 6 x1  S 6 x1  S 7 x 4  S k3 S в ,
 Q7 (t  1)  ( S 7  S k3 )(t  1)  S 03 ( xn S 0 ) x 2  S 7 x4 x 2  S 6 x1  S 7 x4  S k3 S в ,
 Q8 (t  1)  S8 (t  1)  S 9 S в ,
 Q9 (t  1)  S 9 (t  1)  ( xn S 0  S 9 ) S в .

В полученных уравнениях (5.9) СКУ для Q-событии выполним подстановку в
правую часть кодов для всех событий в соответствии с таблицами
кодирования. Тогда получим СКУ для Q-событий, в которых правая часть
будет зависеть от Q-событий. Далее для иллюстрации процедур будем
рассматривать все преобразования только для 1-го п/А. Для всех других п/А
все преобразования будут выполняться аналогично. Учитывая отмеченное,
получим для 1-го п/А СКУ для Q-событий:

                     Q1 (t  1)  Q1 Q2 Q3  Q1 Q2Q3  Q1Q2 Q3 S в ,
                     Q2 (t  1)  Q1 Q2 Q3 ( xn S 0 )( x1  x3 )  Q1 Q2 Q3 x3 ,                        (5.10)
                     Q3 (t  1)  Q1 Q2 Q3 ( xn S 0 ) x1  Q1 Q2Q3 .

в) Минимизацию систем уравнений типа (5.10) СКУ для Q-событий для всех
п/А с учетом неиспользованных кодовых групп.
Для 1-го п/А в результате минимизации получим следующую систему СКУ
для Q-событий.

                           Q1 (t  1)  Q2Q3  Q1S в  Q2 Q3 ,
                           Q2 (t  1)  Q2 Q3 x3  Q1 Q2 Q3 ( xn S 0 )( x1  x3 ),                      (5.11)
                           Q3 (t  1)  Q1 Q2 ( xn S 0 ) x1  Q2Q3 .

Так как в качестве элементарных автоматов приняты Д-триггеры, то система
уравнений (5.11) является функциями возбуждения элементов памяти, по
которой не трудно построить структурную схему для рабочего п/А,
реализующую его функции перехода.


                                                                                                                 133