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

UptoLike

ВУЗ: 

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

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

Рубрика: 

195
Запись (3.56) означает, что для указанного случая множество
R
не
является пустым, что, в свою очередь, с использованием аппарата
селлерсовского дифференцирования может быть использовано при
проверке соответствующих булевых описаний ГДДС на корректность
их составления
. □
Примечание 3.6 (ПМ3.6). Следует заметить, что при конструи-
ровании эквивалентной гибридной ДДС нелинейной ДДС, построенной
как ЦКУ или ЦДУ (см. §2.2), множество (3.56) будет пустым, то
есть ∅=
R
, что приведет при выполнении рекуррентной процедуры
(3.48) – (3.53) и к пустому множеству
{
}
x
~
агрегированных перемен-
ных булевого описания эквивалентной гибридной ДДС. Очевидность
приведенных положений проистекает из того, что булевы функции
возбуждения информационных входов триггеров ЛДДС имеют вид по-
линомов Жегалкина, в которых отсутствуют термы, представляю-
щие собой конъюнкцию переменных ее состояния
. □
Примечание 3.7 (ПМ3.7). В силу нелинейности среды кодопреоб-
разования исходной НДДС, ее линейная версия в форме (3.38), (3.39)
не всегда характеризуется свойствами полной управляемости и на-
блюдаемости
. □
Выдвинутые положения параграфа позволяют сформировать
Алгоритм 3.5 (А3.5)
конструирования эквивалентного линейного
векторно-матричного представления НДДС
на основе принципа агрегирования переменных булевых описаний
9.
В соответствии с задачей кодопреобразования средствами НДДС
получить путем выполнения п.п.1–6 алгоритма
2.1 или алгорит-
ма
2.2 ее описание в форме системы булевых функций
µ
(2.12)
возбуждения информационных входов триггеров и выхода, ко-
торые представить в базисе Жегалкина.
10.
Выполнить рекуррентную процедуру (3.48) – (3.53) с целью
формирования составного вектора
x
ˆ
(3.46) состояния эквива-
лентной ЛДДС.
11.
Построить покоординатное представление переменных вектора
()
1kx
ˆ
+ состояния перехода эквивалентной ЛДДС.
12.
Опираясь на результаты п.3 алгоритма сформировать матричные
A
ˆ
,
HCB
ˆ
,
ˆ
,
ˆ
компоненты описания эквивалентной линейной ДДС.
■

Страницы