- •5.2 Методы проектирования нелинейных аппаратных средств (конечных автоматов) терминальных пунктов тм–протоколов
- •5.2.1 Канонический алгоритм синтеза конечных автоматов (нддс). Автоматные логики Мура и Мили
- •Алгоритм 5.14
- •Алгоритм 5.15
- •Алгоритм 5.16
- •Алгоритм 5.17
- •Алгоритм 5.18
- •5.2.3Триггеры: функции перехода и функции возбуждения входов триггеров
- •5.2.4 Реализация рекуррентных устройств помехозащитного кодирования и декодирования в логике произвольных триггеров
- •Алгоритм 5.19
- •Алгоритм 5.20
- •Алгоритм 5.21
- •Алгоритм 5.22
- •5.2.5 Синтез конечных автоматов на основе граф – схем алгоритмов функционирования устройств дискретной автоматики
- •Алгоритм 5.23
5.2.3Триггеры: функции перехода и функции возбуждения входов триггеров
Предыдущий параграф был посвящен проблемам построения аналитического описания комбинационной схемы конечного автомата (НДДС), настоящий параграф посвящен проблемам описания функционирования второго базового компонента КА – блока памяти, который над двоичным полем строится на триггерах. Начнем изучение этой проблемы с определения.
Определение 5.22. Триггеромназывается конечный автоматпервого порядка, абстрактным аналогом которого является абстрактный автомат слогикой Мура, аналитически описываемый двумя функциями:
– функцией перехода
;
(5.180)
– функцией возбуждения информационного (ых) входа триггера
.
(5.181)
В выражениях (5.180),(5.181)
–
соответственно исходное состояние
триггера и состояние перехода,
–
соответственно сигнал на информационном(ых)
входе и сигнал на синхровходе триггера.
■
Триггеры различаются по:
– по виду функций
перехода и
возбуждения информационного (ых) входа
триггера: если эти функции линейные, то
триггеры именуютсялинейными, если
эти функции нелинейные, то триггеры
именуютсянелинейными;
– по присутствию в функционировании
триггера синхросигнала: если
,
то триггер именуетсясинхронным,
если
,
то триггер именуетсяасинхронным;
– по числу информационных входов: если информационный вход один, то триггер именуется одновходовым, если информационных входов два, то триггер именуетсядвухвходовым.
В схемотехнике современных устройств
дискретной автоматики и техники
преобразования кодов и кодовых
последовательностей выделяют четыре
базовых типа триггеров:
линейный
синхронный одновходовый триггер,
именуемый
триггером
;
линейный
асинхронный одновходовый триггер,
именуемый
триггером;
нелинейный
синхронный двухвходовый триггер,
именуемый
триггером
;
нелинейный асинхронный двухвходовый
триггер, именуемый
триггером.
В таблицах 5.22а и 5.22б приведены основные пользовательские характеристики перечисленных базовых триггеров в виде графического изображения, таблиц перехода, аналитического представления функций перехода и возбуждения информационных входов триггеров.
Таблица 5.22а
|
Линейные триггеры современной схемотехники | ||||||
|
|
| |||||
|
|
| |||||
|
Таблицы
истинности функций
| ||||||
|
|
|
|
|
|
|
|
|
0 |
0 |
0 |
0 |
0 |
0 |
0 |
|
1 |
1 | |||||
|
1 |
0 |
0 |
1 |
1 | ||
|
1 |
1 | |||||
|
1 |
0 |
0 |
0 |
1 |
0 |
1 |
|
1 |
0 | |||||
|
1 |
0 |
1 |
1 |
0 | ||
|
1 |
1 | |||||
|
Аналитическое представление функций
| ||||||
|
|
| |||||
|
Аналитическое
представление функций
| ||||||
|
|
| |||||
Таблица 5.22б
|
Нелинейные триггеры современной схемотехники | ||||||||||||
|
|
| |||||||||||
|
|
| |||||||||||
|
Таблицы
истинности функций
| ||||||||||||
|
|
|
|
|
|
|
|
|
| ||||
|
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 | ||||
|
1 |
1 |
1 |
1 | |||||||||
|
0 |
1 |
0 |
0 |
0 |
1 |
0 |
0 | |||||
|
1 |
0 |
1 |
1 | |||||||||
|
1 |
0 |
0 |
1 |
1 |
0 |
0 |
0 | |||||
|
1 |
1 |
1 |
1 | |||||||||
|
1 |
1 |
0 |
|
1 |
1 |
0 |
0 | |||||
|
1 |
|
1 |
1 | |||||||||
|
Комбинация входных сигналов, выделенная заливкой является запрещенной, схемотехническими средствами она должна не допускаться. |
1 |
0 |
0 |
0 |
0 | |||||||
|
1 |
1 | |||||||||||
|
0 |
1 |
0 |
0 | |||||||||
|
1 |
0 | |||||||||||
|
1 |
0 |
0 |
1 | |||||||||
|
1 |
1 | |||||||||||
|
1 |
1 |
0 |
1 | |||||||||
|
1 |
0 | |||||||||||
|
Аналитическое
представление функций
| ||||||||||||
|
|
| |||||||||||
|
Таблицы
истинности функций
| ||||||||||||
|
|
|
|
|
|
|
|
|
| ||||
|
|
|
|
|
|
|
|
|
| ||||
|
|
|
|
|
|
|
|
| |||||
|
|
|
|
|
|
|
|
| |||||
|
|
|
|
|
|
|
|
| |||||
|
Аналитическое
представление функций
| ||||||||||||
|
|
| |||||||||||
Анализ таблицы 5.22а показывает, что
и
триггеры
действительно линейные, так как их
функции перехода обнаруживают, что
состояние перехода
линейно связано с исходным состоянием
и с сигналом на информационном входе
этих триггеров. Более того, обнаруживается,
что
триггер,
представляет собой
триггер,
охваченный единичной обратной связью
так, что если
триггер
описывается передаточной функцией
,
то
триггер
–
.
Анализ таблицы 5.22б показывает, что
и
триггеры
действительно нелинейные, так как их
функции перехода обнаруживают, что
состояние перехода
нелинейно связано с исходным состоянием
и с сигналами на информационных входах
этих триггеров.
Анализ таблиц 5.22а и 5.22б показывает, что
все асинхронные триггеры (
и
типов)
могут быть поставлены в режим синхронных,
если информационные входы этих триггеров
возбуждать сигналами вида
и
,формируемых
с помощью двухвходовых конъюнкторов.
Анализ таблиц 5.22а и 5.22б обнаруживает, что путем наложения таблицы истинности функции перехода одного триггера на таблицу истинности функции перехода другого триггера можно выявить возможность реализации одного триггера средствами другого. Таких «реализационных пар» достаточно, приведем примеры некоторых из них.
Так
триггерможет быть реализован средствами:
триггера,
охваченного с помощью сумматора по
единичной обратной связью, то есть с
помощью сигнала
;
триггера,
который с помощью сигналов
;
триггера
с помощью сигналов
.
В свою очередь
триггерможет быть реализован средствами:
триггера,
охваченного с помощью сумматора по
единичной обратной связью, то есть с
помощью сигнала
;
триггера
с помощью сигналов
;
триггера,
который с помощью сигналов
ставится в режим
триггера,
с последующим охватом с помощью сумматора
по
единичной обратной связью, то есть с
помощью сигналов
;
триггера
с помощью сигналов
.
Примечание 5.5.Нетрудно видеть, что устройства дискретной автоматики и техники преобразования кодов и кодовых последовательностей, спроектированные на основе модельных представлений в форме линейных двоичных динамических систем, в силу приведенных реализационных представлений могут быть построены с использованием как линейных, так и нелинейных триггеров.

