Синтез управляющего автомата модели LEGO транспортной тележки и моделирование ее движенияРефераты >> Технология >> Синтез управляющего автомата модели LEGO транспортной тележки и моделирование ее движения
5.5 Как видно, состояния S0, S1, S2 явно эквивалентны, причём для каждого из выходов X. Представляется возможным эти эквивалентные состояния обозначить одним состоянием S0 – состояние управления тележкой. В этом случае, состояние блокировки S3 удобно переобозначить как S1 – состояние блокировки автомата. В результате получаем модель несократимого автомата Милли.
Таблица 5.4 – Таблицы переходов и выходов несократимого автомата
|
Код Si |
Для X0 |
Для X1 |
Для X2 | |||||||||
|
y |
y |
y | ||||||||||
|
0 |
1 |
2 |
3 |
0 |
1 |
2 |
3 |
0 |
1 |
2 |
3 | |
|
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
5.6 Учитывая, что код состояния полученной модели описывается одноразрядным сигналом S, а также учитывая кодировку входных сигналов Y (табл. 5.1), составим таблицу истинности комбинационной схемы автомата, непосредственно по таблице 5.4 и введя обозначения: S[j] — текущий сигнал состояния, S[j+1] — сигнал состояний на следующем такте автомата.
Судя по таблице 5.5, минимизации поддаётся только функция переходов 
. Минимизируем её методом карт Карно (см. рис. 5.1).
Таблица 5.5 – Таблица истинности комбинационной схемы автомата
|
S[j] |
0 |
0 |
0 |
0 |
1 |
1 |
1 |
1 |
|
Y0 |
0 |
0 |
1 |
1 |
0 |
0 |
1 |
1 |
|
Y1 |
0 |
1 |
0 |
1 |
0 |
1 |
0 |
1 |
|
S[j+1] |
0 |
0 |
0 |
1 |
1 |
1 |
1 |
1 |
|
X0 |
1 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
|
X1 |
0 |
0 |
1 |
0 |
0 |
0 |
0 |
0 |
|
X2 |
0 |
1 |
0 |
0 |
0 |
0 |
0 |
0 |
 |
5.7 Теперь можно записать логические выражения для комбинационной схемы автомата.
Функция переходов:
. (5.1)
Функции выходов в СДНФ по таблице истинности:
. (5.2)
Для удобства реализации комбинационной схемы представим рассматриваемые функции в базисе “ИЛИ-НЕ”:
. (5.3)
