Двоичные динамические системы дискретной автоматики. Мельников А.А - 174 стр.

UptoLike

ВУЗ: 

Университет ИТМО | Санкт-Петербург

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

Рубрика: 

160
защищенного кода, и получить кодовые вектора
ГДДС
x
ˆ
состояния
ГДДС.
4.
Модифицировать правила
λ
,
δ
(2.7) – (2.9) с учетом (3.4) в
форме
(
)
(
)
(
)
[
]
kukxkx
ГДДСГДДС
,
ˆ
ˆ
1
ˆ
:
ˆ
λλ
=+
(3.5)
и
() ()
[]
kxky
ГДДС
ˆ
ˆ
:
ˆ
δδ
=
(3.6)
при использовании автоматной логики Мура и
() () ()
[]
kukxky
ГДДС
,
ˆ
ˆ
:
ˆ
δδ
=
(3.7)
при использовании автоматной логики Мили.
5.
Выбрать тип триггера, реализующий компоненты вектора
ГДДС
x
ˆ
состояния ГДДС, и сконструировать функции
ГДДСi
x
ˆ
dim,1i,
ˆ
=
µ
возбуждения информационного входа
i
ν
триггеров в форме
() () () ()
[]
[]
() ()
[
]
ku,kx
ˆ
~
ku,kx
ˆ
ˆ
,kx
ˆˆ
kv
iГДДСiiГДДСiГДДСii
µλµ
==
(3.8)
6.
Проверить правильность функционирования полученной ГДДС
в соответствии с ее аналитическим описанием на множестве
полной мощности ее кодовых переходов. ■
Пример 3.1 (Пр3.1)
Рассматривается задача заполнения КПР конструированием гиб-
ридной версии устройства, функционирование которого описывается
диаграммой рисунок 3.2 переходов и выхода. При этом требуется
обеспечить выявление однократных сбоев в кодах вектора состояния
ГДДС
в форме их обнаружения.
Для решения поставленной задачи в силу
А3.2 осуществляем:
1.
Кодирование в силу (3.4) элементов алфавита
S
состояния
АА при образующем многочлене
(
)
1xxg
+
=
, полученным в
соответствии с п.1 алгоритма
1.11, дает кодовые вектора
ГДДС
x
ˆ
состояния ГДДС – представленные в таблице 3.1.

Страницы