Основы синтеза и диагностирования автоматов. Воронин В.В. - 209 стр.

UptoLike

ВУЗ: 

ТОГУ | Хабаровск

Составители: 

Рубрика: 

205
Кодированная таблица выходов (см. верхнюю правую часть
табл. 5.30) фактически является таблицей истинности функций w
1
.
Представим эту функцию в аналитическом виде, а именно: выпишем
по табл. 5.30 ее ДСНФ:
w
1
=
τ
1
τ
2
∨⎯τ
2
τ
1
=
τ
1.
(5.3)
Получим теперь функции возбуждения памяти
ϕ
1
и
ϕ
2
. Для это-
го посмотрим, например, что будет с автоматом, если он в текущем
такте, находясь в состоянии 01, воспринимает на своих входных ка-
налах сигнал 11. Под действием данного сигнала автомат А1 перей-
дёт из состояния 01 в состояние 10. Этот переход состоит из двух
переходов элементарных автоматов памяти. Первый
элемент П1 из
состояния 0 перейдёт в состояние 1, а П2 из 1 в 0. Переходы автома-
тов памяти происходят под действием сигналов, генерируемых
функциями возбуждения памяти (см. рис. 5.27).
Для определения того, что нужно по-
дать на вход автомата П1 чтобы перевести
его из 0 в 1, обратимся
к функции входов
автомата памяти (см. табл. 5.26). На вход
П1 нужно подать 1; аналогично, для пере-
хода П2 из 1 в 0 на его вход должен быть
подан сигнал 1, т.е. переход из 01 в 10
реализуется значениями функций возбуждения памяти 11. Занесём
этот результат в соответствующее
место таблицы истинности функ-
Таблица 5.31
00 01 11 10
00 00 01 11 10
01 00 10 11 01
10 01 00 10 11
11 01 11 00 00
w
1
КС2
Рис. 5.27
ϕ
1
ϕ
2
τ
1
τ
2
х
1
х
2
КС1
П
1
П
2
ϕ
1
=
ϕ
1
(
τ
1
,
τ
2
,x
1
,x
2
);
ϕ
2
=
ϕ
2
(
τ
1
,
τ
2
,x
1
,x
2
); (5.2)
w
1
=w
1
(
τ
1
,
τ
2
).

Страницы