Автор работы: Пользователь скрыл имя, 04 Марта 2014 в 14:40, курсовая работа
Анализ технического задания
Формализация описания конечного автомата (граф автомата, таблицы переходов и выходов)
Минимизация памяти абстрактного автомата
Выбор способа противогоночного кодирования
Противогоночное кодирование состояний автомата
Формирование функций выходов и функций возбуждения памяти автомата
Минимизация функций выходов и функций возбуждения памяти автомата, отображение результатов на картах Карно.
Составление логической схемы устройства
Выбор метода обеспечения контролепригодности и преобразование схемы устройства
Выбор элементной базы
Преобразование схемы устройства с учетом выбранной элементной базы
Разработка принципиальной схемы устройства
Расчет основных параметров устройства (время переключения, потребляемая мощность, время наработки на отказ)
Моделирование работы устройства или составление временной диаграммы его работы, анализ правильности функционирования
Оценка степени выполнения задания
Сначала проведем сокращение пар переходов. Предположим, что все пары вида (qα, qβ), (qγ, qδ), развязаны, тогда автоматически оказываются развязанными многие пары переходов. Исключим их из таблицы и получим сокращенную таблицу пар переходов, подлежащих развязыванию:
M0 (по X0) |
M1 (по X1) |
M2 (по X2) |
M3 (по X3) |
(q2,q3), (q4,q0) |
(q1,q2), (q3,q0) |
(q0,q1), (q2,q3) |
(q0,q5), (q1,q2) |
(q2,q3), (q5,q6) |
(q1,q2), (q4,q0) |
(q0,q1), (q4,q4) |
(q0,q5), (q3,q4) |
(q4,q0), (q5,q6) |
(q1,q2), (q5,q5) |
(q0,q1), (q5,q6) |
(q0,q5), (q6,q7) |
(q4,q0), (q7,q3) |
(q1,q2), (q6,q7) |
(q0,q1), (q7,q3) |
(q1,q2), (q3,q4) |
(q5,q6), (q7,q3) |
(q3,q0), (q5,q5) |
(q3,q4), (q5,q5) | |
(q3,q0), (q6,q7) |
(q3,q4), (q6,q7) | ||
(q4,q0), (q6,q7) |
Развязывание пар переходов M0:
τ1 |
τ2 | |
q0 |
1 |
0 |
q1 |
- |
- |
q2 |
0 |
- |
q3 |
0 |
- |
q4 |
1 |
0 |
q5 |
1 |
1 |
q6 |
1 |
1 |
q7 |
0 |
- |
q2 |
q3 |
q5 |
q6 | |
τ1 |
0 |
0 |
1 |
1 |
q4 |
q0 |
q5 |
q6 | |
τ2 |
0 |
0 |
1 |
1 |
q2 |
q3 |
q4 |
q0 | |
τ1 |
0 |
0 |
1 |
1 |
q5 |
q6 |
q7 |
q3 | |
τ1 |
1 |
1 |
0 |
0 |
q4 |
q0 |
q7 |
q3 | |
τ1 |
1 |
1 |
0 |
0 |
Развязывание пар переходов M1:
τ1 |
τ2 |
τ3 | |
q0 |
1 |
0 |
- |
q1 |
0 |
1 |
0 |
q2 |
0 |
1 |
0 |
q3 |
0 |
0 |
- |
q4 |
1 |
0 |
- |
q5 |
1 |
1 |
- |
q6 |
1 |
1 |
1 |
q7 |
0 |
1 |
1 |
q1 |
q2 |
q4 |
q0 | |
τ1 |
0 |
0 |
1 |
1 |
q1 |
q2 |
q5 |
q5 | |
τ2 |
0 |
0 |
1 |
1 |
q1 |
q2 |
q3 |
q0 | |
τ2 |
1 |
1 |
0 |
0 |
q3 |
q0 |
q5 |
q5 | |
τ2 |
0 |
0 |
1 |
1 |
q1 |
q2 |
q6 |
q7 | |
τ3 |
0 |
0 |
1 |
1 |
q3 |
q0 |
q6 |
q7 | |
τ2 |
0 |
0 |
1 |
1 |
q4 |
q0 |
q6 |
q7 | |
τ2 |
0 |
0 |
1 |
1 |
Развязывание пар переходов M2:
τ1 |
τ2 |
τ3 |
τ4 | |
q0 |
1 |
0 |
0 |
0 |
q1 |
0 |
1 |
0 |
0 |
q2 |
0 |
1 |
0 |
1 |
q3 |
0 |
0 |
1 |
1 |
q4 |
1 |
0 |
1 |
- |
q5 |
1 |
1 |
1 |
- |
q6 |
1 |
1 |
1 |
- |
q7 |
0 |
1 |
1 |
- |
q0 |
q1 |
q4 |
q4 | |
τ3 |
0 |
0 |
1 |
1 |
q0 |
q1 |
q2 |
q3 | |
τ4 |
0 |
0 |
1 |
1 |
q0 |
q1 |
q7 |
q3 | |
τ3 |
1 |
1 |
0 |
0 |
q0 |
q1 |
q5 |
q6 | |
τ3 |
0 |
0 |
1 |
1 |
Развязывание пар переходов M3:
τ1 |
τ2 |
τ3 |
τ4 | |
q0 |
1 |
0 |
0 |
0 |
q1 |
0 |
1 |
0 |
0 |
q2 |
0 |
1 |
0 |
1 |
q3 |
0 |
0 |
1 |
1 |
q4 |
1 |
0 |
1 |
1 |
q5 |
1 |
1 |
1 |
0 |
q6 |
1 |
1 |
1 |
1 |
q7 |
0 |
1 |
1 |
1 |
q0 |
q5 |
q3 |
q4 | |
τ4 |
0 |
0 |
1 |
1 |
q0 |
q5 |
q6 |
q7 | |
τ4 |
0 |
0 |
1 |
1 |
q0 |
q5 |
q1 |
q2 | |
τ1 |
1 |
1 |
0 |
0 |
q3 |
q4 |
q5 |
q5 | |
τ2 |
0 |
0 |
1 |
1 |
q1 |
q2 |
q3 |
q4 | |
τ2 |
1 |
1 |
0 |
0 |
q3 |
q4 |
q6 |
q7 | |
τ2 |
0 |
0 |
1 |
1 |
Таким образом все пары переходов развязаны. Поскольку число состояний равно восьми и для их представления требуется три элемента памяти, а в результате противогоночного кодирования получен автомат с четырьмя элементами, необходимо минимизировать число элементов памяти.
Исключаем переменную τ1и развязываем неразвязанные пары:
q2 |
q3 |
q5 |
q6 | |
τ5 |
0 |
0 |
1 |
1 |
q4 |
q0 |
q7 |
q3 | |
τ5 |
1 |
1 |
0 |
0 |