Разработка и отладка устройств дискретного управления. Хлуденев А.В. - 8 стр.

UptoLike

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

Таблица 1
x
2
x
1
A
i
00 01 10 11
A0 A0/0 0 0 A1/0 0 1 A0/0 0 0 A1/0 0 1
A1 A2/0 1 1 A2/0 1 1 A2/0 1 1 A2/0 1 1
A2 A0/0 0 0 A2/0 1 1 A0/0 0 0 A3/1 0 1
A3 A0/0 0 0 A3/1 0 1 A0/0 0 0 A2/0 1 1
Число внутренних состояний автомата N
s
= 4, тогда число разрядов кода
k = ent(log
4) =2.
2
Для кодирования состояний введем двоичные переменные q
1
q
0
. Общее
число разрядов во входных наборах и кодах внутренних состояний
N
in
= n + k = 2 + 2 = 4 < 8 ,
поэтому эту информацию можно представить однобайтовым входным словом
0 0 0 0 x
2
x
1
q
1
q
0
.
Число разрядов в кодах внутренних состояний и выходных наборах
N
out
= k + m = 2 + 3 = 5 < 8 ,
поэтому эту информацию также можно представить однобайтовым выходным
словом
0 0 0 y
3
y
2
y
1
q
1
q
0 .
Выполним кодирование состояний автомата (таблица 2) и составим
таблицу соответствия входных и выходных слов (таблица 3).
Таблица 2
Состояние
q
1
q
0
A0 00
A1 01
A2 10
A3 11
Исходный текст программы на языке ассемблера, в которой реализован
табличный метод, приведен в приложении А. Текст программы содержит
описания констант, портов ввода-вывода и алгоритма выполнения программы.
8
           Таблица 1
          Ai                               x2 x1
                 00                01           10         11
          A0 A0/0 0 0           A1/0 0 1     A0/0 0 0   A1/0 0 1
          A1 A2/0 1 1           A2/0 1 1     A2/0 1 1   A2/0 1 1
          A2 A0/0 0 0           A2/0 1 1     A0/0 0 0   A3/1 0 1
          A3 A0/0 0 0           A3/1 0 1     A0/0 0 0   A2/0 1 1

     Число внутренних состояний автомата Ns= 4, тогда число разрядов кода

     k = ent(log 2 4) =2.

     Для кодирования состояний введем двоичные переменные q1 q0. Общее
число разрядов во входных наборах и кодах внутренних состояний

     Nin = n + k = 2 + 2 = 4 < 8 ,

поэтому эту информацию можно представить однобайтовым входным словом

     0 0 0 0 x2 x1 q1 q0 .

     Число разрядов в кодах внутренних состояний и выходных наборах

     Nout = k + m = 2 + 3 = 5 < 8 ,

поэтому эту информацию также можно представить однобайтовым выходным
словом

     0 0 0 y3 y2 y1 q1 q0 .

     Выполним кодирование состояний автомата (таблица 2) и составим
таблицу соответствия входных и выходных слов (таблица 3).

                              Таблица 2
                              Состояние        q1 q0
                                  A0            00
                                  A1            01
                                  A2            10
                                  A3            11

     Исходный текст программы на языке ассемблера, в которой реализован
табличный метод, приведен в приложении А. Текст программы содержит
описания констант, портов ввода-вывода и алгоритма выполнения программы.

                                                                            8