- •Министерство общего и профессионального образования
- •1. Общие сведения об автоматах
- •1.1. Основные определения. Обозначения. Изображения
- •Способы описания и построения автоматов
- •1.3. Об операциях над автоматами, о законах и тождествах алгебры автоматов
- •1.4. Цифровые автоматы 1-го и 2-го рода, автоматы Мили и Мура
- •1.5. Классификация автоматов
- •1.6. Свойства и характеристики автоматов
- •Автоматы, выполняющие роль "0" и
- •1.8. Равенство, равносильность, эквивалентность, изоморфизм
- •1.9. Автоматные грамотность и культура
- •1.10. Значение теории автоматов в науке, технике и обществе
- •1.11. Краткая историческая справка о зарождении и развитии автоматов. Виды теорий автоматов
- •2. Способы задания (описания) цифровых автоматов
- •2.1. Начальные языки
- •2.1.1. Графическая схема алгоритма
- •2.1.2. Матричная схема алгоритма
- •2.1.3. Функциональная микропрограмма
- •2.1.4. Система формул переходов
- •2.2. Автоматные языки
- •2.2.1. Таблицы переходов, выходов
- •2.2.2. Матрицы переходов, выходов
- •2.2.3. Графы автоматов
- •3. Операции над цифровыми автоматами
- •3.1. Операции декомпозиции
- •3.1.1.Разбиение. Покрытие
- •3.1.2. Проверка разбиения, покрытия
- •3.2. Операции композиции
- •3.2.1. Последовательное соединение
- •3.2.2. Параллельное соединение
- •3.2.3. Соединение с обратной связью
- •3.3.Алгебраические операции
- •3.3.1.Объединение частей автомата
- •3.3.2. Настраиваемое объединение
- •3.3.3. Пересечение автоматов
- •3.3.4. Вычитание
- •3.3.5. Симметрическая разность
- •3.3.6. Дополнение
- •3.4.1.Проверка отношения
- •3.4.2. Проверка равенства
- •3.5. Операции упрощения цифрового автомата
- •3.5.1. Упрощение автомата за счет упрощения алгоритма
- •3.5.2. Упрощение цифрового автомата за счет тождеств
- •4. Законы и тождества алгебры автоматов
- •4.2. Тождества
- •5. Вопросы синтеза и анализа логических схем
- •5.1. Синтез логических схем
- •5.1.1. Синтез схем с одним выходом с оптимальным доопределением
- •Даются как без инверсии, так и с инверсией. Количество входов при этом удваивается. Однако число входов указывается без удвоения. Рассматриваемый дешифратор – это дешифратор на 4 входа, хотя их – 8.
- •5.1.3. Синтез схем с двумя выходами с сильной степенью связи
- •5.2. Анализ логических схем
- •5.2.1. Анализ логических схем с одним выходом
- •5.2.2. Анализ логических схем с двумя выходами
- •6.2. Операционные автоматы
- •6.3. Управляющие автоматы
- •6.3.1. Управляющие автоматы с жесткой логикой
- •6.3.2. Управляющие автоматы с программируемой логикой
- •6.4. Синтез управляющего автомата с жёсткой логикой
- •6.4.1. Этапы синтеза
- •6.4.1.1. Задание условий работы автомата
- •6.4.1.2. Отметки граф – схемы алгоритма
- •6.4.1.3. Графы автоматов
- •6.4.1.4. Cинтез запоминающей части
- •6.4.1.5. Синтез выходной части
- •6.4.1.6. Синтез входной части
- •7. Контроль и диагностирование работы цифровых автоматов
- •7.1. Контроль логических операций
- •7.2. Контроль арифметических операций
- •7.3. Контроль и диагностирование передач информации
- •8. Программное обеспечение преобразования цифровых автоматов
- •8.1. Подпрограммы алгебраических операций
- •8.1.1. Подпрограмма настраиваемого объединения
- •8.1.2. Подпрограмма операции пересечения
- •8.1.3. Подпрограмма операции вычитания
- •8.1.4. Подпрограмма операции симметрической разности
- •8.1.5. Подпрограмма операции дополнения
- •8.2. Подпрограммы операций проверки отношения
- •8.2.1.Подпрограмма проверки отношения
- •8.2.2. Подпрограмма проверки равенства
- •8.3.7. Подпрограмма 'закачки' мсар1 в неоднородную мса
- •Заключение
- •Приложение 1. Подпрограммы реализации операций
- •Приложение 2. Контрольные вопросы курса
- •Содержание
- •Александр Васильевич Триханов
- •Учебное пособие
Даются как без инверсии, так и с инверсией. Количество входов при этом удваивается. Однако число входов указывается без удвоения. Рассматриваемый дешифратор – это дешифратор на 4 входа, хотя их – 8.
Без учёта общих частей (видно, что они применительно к х1х2 и х3х4
имеются) стоимость любого канала ci =4 (в общем случае, стоимостьравнa
n). Известно, что число каналов у дешифратора равно 2 n (при n=2 число каналов будет равно 24). Общая стоимость всех каналов cисх составит 2n* n. При n =4 c4 = 64, а при n =10 c10 = 10240 (много).
Учёт общих частей позволяет резко снизить общую стоимость. Общие части можно обозначить так:
_ _ _ _
e0=х1х2 , f0=x3x4 ,
_ _
e1=x1x2, f1=x3x4 ,
_ _
e2=x1x2, f2=x3x4 ,
e3=x1x2, f3=x3x4.
Получились выражения для двух дешифраторов на 2 входа (n/2 входа ) со стоимостями:
ce2=2*22=8, cf2=2*22=8,
общая стоимость составляет:
cef2=16.
В общем случае получаются стоимости :
cen/2=n/2*2n/2, cfn/2=n/2*2n/2, cefn/2=n*2n/2.
При n=4 cef2=4*22=16, при n=10 cef5=10*25=320.
Если n не делится на 2, то тогда
ce(n-1)/2 = (n-1)/2) *2 (n-1)/2, cf(n+1)/2 = (n+1)/2) *2 (n+1)/2 и
cef = (n-1)/2 2(n-1)/2 + (n+1)/2 2(n+1)/2.
Рассмотренные дешифраторы составляют первую ступень итогового дешифратора, для второй (выходной) ступени выражения будут равны:
y0=e0f0, y4=e1f0, y8=e2f0, y12=e3f0,
y1=e0f1, y5=e1f1, y9=e2f1, y13=e3f1,
y2=e0f2, y6=e1f2, y10=e2f2, y14=e3f2,
y3=e0f3, y7=e1f3, y11=e2f3, y15=e3f3.
Стоимость любого выражения второй ступени в любом случае составляет 2.
Таким образом, общая стоимость выходной ступени составляет:
при n=4 cвых4=24*2=32, при n=10 cвых10=210*2=2048.
Итоговые стоимости дешифратора равны:
cn=n*2n/2+2*2n; cn=(n-1)/22(n-1)/2+(n+1)/22(n+1)/2+2*2n;
c4=4*22+2*24=16+32=48; c10=10*25+2*210=320+2048=2368.
Видно, что при учёте общих частей импликант удаётся достичь существенного снижения стоимости схемы. С увеличением числа входов снижение стоимости становится более существенным.
5.1.3. Синтез схем с двумя выходами с сильной степенью связи
Условно можно рассмотреть три степени связи: отсутствие связи, слабую связь и сильную связь.
Оказывается, эти три степени связи можно иметь в виду при синтезе любой схемы с несколькими выходами. Если, например, нет никаких сведений о связи между выходами, то синтез логической схемы можно провести как для схемы с отсутствием связи между выходами.
При работе со схемой должны появиться сведения о связи, которая фактически всегда есть. Именно такой подход и применяется.
В качестве примера пусть будут заданы две функции, представленные в табл. 39. Как видно, в качестве обозначений выходов (функций) выбраны обозначения 1и2. Фактические обозначения каждый исполнитель может выбрать самостоятельно.
Таблица имеет дополнительные столбцы, используемые при синтезе.
По табл. 39 получаются следующие выражения:
![]()
![]()
Таблица 39
|
|
|
|
1 |
2 |
m |
s |
2*=1 |
2 |
2** |
|
0 |
0 0 |
0 1 |
0 1 |
0 1 |
0 1 |
0 1 |
1 0 |
0 1 |
0 0 |
|
0 0 |
1 1 |
0 1 |
1 1 |
0 0 |
1 1 |
0 0 |
0 0 |
0 0 |
0 0 |
|
1 1 |
0 0 |
0 1 |
0 1 |
1 0 |
1 1 |
0 0 |
1 0 |
1 0 |
1 0 |
|
1 1 |
1 1 |
0 1 |
0 0 |
1 1 |
1 1 |
0 0 |
1 1 |
1 1 |
1 1 |
Стоимость каждого выражения составляет 19. Общая стоимость равна 38. Так дело обстоит без установления связей.
Оказывается, у этих выходов имеются общие инверторы. Выражения эк-
вивалентны по сложности, инверторы можно оставить в канале 1, тогда
стоимость второго канала окажется равной только 16. Итоговая стоимость составит 35. Такой подход можно представить как учет слабой связи.
При любом синтезе требуется минимизация (рис.27 и 28). Стоимости 1-
го и 2-го каналов составляют 8 и 12 соответственно. Общая стоимость равна 20. Если учесть общие инверторы, то стоимость второго канала будет равна
1
0,
общая - 18. Если инверторы приписать
второму каналу, тогда стоимость первого
канала уменьшится до 6, стоимость второго
канала возрастет до 12.
Рис. 27 Рис. 28
Для другой схемы ситуация может быть иной.
В табл. 39 видна сильная связь: выражение 2 на шести строках является
инверсией выражения 1. Если реализовать канал для 1, то с помощью ин-
вертора можно получить выражение, почти эквивалентное 2, как и наоборот тоже справедливо.
Возникает проблема выбора основного выражения. Естественно, что за основу следует взять более дешевое (1):
![]()
тогда
2*=1.
В таблице имеется столбец для этого
выражения. Правее его скопирован столбец
для 2
для упрощения сравнения. Из этих соседних
столбцов хорошо видно, что выражения
на двух наборах дают разные результаты.
На нулевом наборе вместо нуля получается
1, а на соседнем наборе вместо 1 получается
0. Требуется за счет вспомогательных
функций m и s, зависящих от переменных
выражение 2*
изменить, чтобы получить выражение,
соответствующее 2.
Делается это последовательно. Вначале следует учесть преобразование 1 в 0. Это преобразование возможно за счет множителя m, равного нулю только для нужного (нулевого) набора, что зафиксировано в табл. 39. В результате этого преобразования 2**=2*m=1m. Очевидно, что
![]()
Видно, что осталось еще расхождение при наборе 001. Преобразование 0
в 1 возможно за счет слагаемого s, равного 1 на указанном наборе (зафикси-
ровано
в табл. 39), следовательно,
+x1x2x3.
Итак, синтез следует вести по выражениям
![]()
+
x1x2x3.
Инверторы переменных, как и раньше, приписываются выражению 1. Для реализации выражения 2 требуется добавить инвертор для 1, конъюнктор и дизъюнктор на три переменные, конъюнктор и дизъюнктор на две переменные. Добавочная стоимость составляет 11, что следует писать как +11. Суммарная стоимость оказывается равной 19. Как видно, попытка использовать сильную связь к эффекту для заданного варианта не привела.
Синтезированную схему требуется изобразить, наиболее дешевый канал разместить сверху, другой снизу.По схеме еще раз можно определить стои-мости каналов, итоговую стоимость.
Рекомендуется сведения о стоимостях свести в отдельную таблицу (табл. 40).
Таблица 40
|
i |
Без минимизации |
С минимизацией |
Слабая связь |
Сильная связь |
|
1 2 |
19 19 |
8 12 |
8 10 |
8 +11 |
|
ИТОГО |
38 |
20 |
18 |
19 |

0