Книги / TURIN / ЛЕКЦПР~4

220

ПРИЛОЖЕНИЕ 4. ЭЛЕМЕНТАРНЫЕ АВТОМАТЫ ПАМЯТИ

НА ОСНОВЕ КОМБИНАЦИОННОГО АВТОМАТА И ЗАДЕРЖКИ

Последовательностный автомат может быть синтезирован как композиция комбинационного автомата, реализующего функции переходов  и выходов  и элементарных автоматов памяти [12], например, задержек на один такт (рис.П4.1).

Рис.П4.1. Задержка на один такт

Физически элементарный автомат памяти типа "задержка на один такт" реализуется линией задержки, которая может быть в виде специальных элементов - линий задержки или в виде соединения логических элементов, не инверсирующего сигнал, либо в частных случаях линией связи, поскольку передача сигнала по ней имеет некоторую конечную длительность, не превышающую длительность такта.

Рассмотрим синтез элементарных автомат памяти на основе задержек на один такт. Пусть требуется синтезировать автомат, выход которого устанавливается в состояние логической единицы при поступлении сигнала логической единицы на вход установки (обычно он обозначается S - "set") и хранящий это состояние до поступления сигнала логической единицы на вход сброса (обычно он обозначается R - "reset"). Таким образом, требуется создать автомат, имеющий два входа R и S и один выход, который обозначим Z (рис.П4.2). Иногда добавляют и инверсный выход .

Рис.П4.2. Элементарный автомат памяти

Ясно, что синтезируется последовательностный автомат, так как его выходной сигнал зависит от последовательности поступления сигналов на входы:

видно, что при одинаковых входных сигналах на входах SR, выходной сигнал может быть как 0, так и 1.

В таком случае опишем функционирование автомата первичной таблицей переходов-выходов (табл.П4.1).

Табл.П4.1

Первичная таблица переходов-выходов

N	RS				Z
	00	01	11	10
1	1	2	-	1	0
2	2	2	-	1	1

Итак, в исходном состоянии автомат находится в строке с номером 1, в клетке, соответствующей нулевому состоянию RS. При поступлении набора сигналов 01 (начинается установка) автомат начинает переходить в состояние 2 (возникает неустойчивый такт 2), затем происходит перемещение во вторую строку - в устойчивый такт, обведенный кружком, 2 , при этом на выходе возникает сигнал 1. При поступлении сигнала 10 в первой строке и сигналов 00,01 во второй строке состояние автомата не меняется.

Очевидно, что сокращение числа строк таблицы П4.1 невозможно, иначе мы имели бы комбинационный автомат (у которого одно состояние - одна строка).

Приступим к кодированию состояний. Оно в данном случае тривиально: исходное состояние сопоставим с состоянием 0 (1 строка), другое состояние сопоставим с 1.

Получим теперь таблицу переходов-выходов для автомата Мили (табл.П4.2) и автомата Мура (табл.П4.3).

Табл.П4.2

Таблица переходов-выходов

элементарного автомата памяти Мили

y(t)	RS
	00	01	11	10
0	0	1	3 -	2
1	4	5	7 -	6

Табл.П4.3

Таблица переходов-выходов

элементарного автомата памяти Мура

y(t)	RS				z(t)
	00	01	11	10
0	0 0	1 1	3 -	2 0	0
1	4 1	5 1	7 -	6 0	1
				y(t+1)

Таким образом, для автомата Мура (табл.П4.3) z(t)=y(t).

Построим автомат Мура. Получим функции переходов y(t+1) и выходов z(t):

Минимизируя y(t+1) по карте Карно, какой является табл.П4.3, получаем:

y(t+1)=S y(t).

Реализуем эту функцию в виде переключательной схемы (рис.П4.3).

Рис.П4.3. Переключательные схемы

элементарного автомата памяти Мура

На рис.П4.3 Y - хранитель состояния автомата (например, обмотка реле), обратная связь, указанная пунктиром реализует так называемую самоблокировку. Задержка на один такт осуществляется так: сначала срабатывает Y, затем замыкается его контакт y. Технически предполагается, что к моменту р_а замыкания S, y уже замкнут.

Построим схему на функциональных элементах в базисе И-НЕ:

y(t+1)==.

Таким образом, один элемент 2И-НЕ реализует функцию f₁=, второй - .

Соответствующая схема имеет вид рис.П4.4.

Рис.П4.4. Реализация элементарного автомата памяти

на функциональных элементах 2И-НЕ

Можно заметить, что выход второго элемента в цепи R при R=0 соответствует значению (t). Эту схему часто изображают в несколько другом виде, полагая, что задержка реализуется в линии связи (рис.П4.5).

Рис.П4.5. Элементарный автомат памяти

RS триггер

Это известная схема так называемого RS триггера.

Его условное графическое обозначение приведено на рис.П4.6.

Рис.П4.6. Условное графическое

обозначение RS триггера

Для описания работы элементарных автоматов памяти применяются таблицы возбуждения, указывающие условия перехода от текущего к последующему внутреннему состоянию. Такая таблица для RS триггера - табл.П4.4.

Табл.П4.4

Таблица возбуждения RS триггера

y(t)	y(t+1)
	0	1
0	0 ~	1 0
1	0 1	~ 0	S R

Аналогичная таблица и для такого элементарного автомата памяти как дистанционный переключатель, который имеет механическую обратную связь (механическую фиксацию состояния) и широко применяется в штатной технике - рис.П4.7.

Рис.П4.7. Условное графическое обозначение

дистанционного переключателя

Задержка на один такт может быть реализована и так называемым D триггером, устанавливающимся в состояние, определяемое его входом D по специальному разрешающему сигналу - синхроимпульсу. Это уже синхронный автомат в отличие от рассмотренных выше асинхронных (рис.П4.8, табл.П4.5).

D триггер без синхронизации - аналог обычного реле (рис.П4.9).

Рис.П4.8. Условное графическое обозначение

синхронного D триггера

Косая черта с наклоном вперед на входе синхронизации обозначает срабатывание по переднему фронту синхроимпульса.

Рис.П4.9. Условное графическое обозначение реле

и временная диаграмма работы

Табл.П4.5

Таблица возбуждения D триггера

y(t)	y(t+1)
	0	1
0	0	1
1	0	1	D(t)

Имеются и другие элементарные автоматы памяти, например, асинхронный RS триггер с инверсным управлением (рис.П4.10, табл.П4.6), синхронный JK триггер (рис.П4.11, табл.П4.7).

Рис.П4.10. Условное графическое обозначение

RS триггера с инверсным управлением

Табл.П4.6

Таблица возбуждения RS триггера

с инверсным управлением

y(t)	y(t+1)
	0	1
0	1 ~	0 1
1	1 0	~ 1	S R

Рис.П4.11. Условное графическое обозначение

синхронного JK триггера, срабатывающего

по заднему фронту импульса

Табл.П4.7

Таблица возбуждения синхронного JK триггера,

срабатывающего по заднему фронту импульса

y(t)	y(t+1)
	0	1
0	0 ~	1 ~
1	~ 1	~ 0	J K

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