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

UptoLike

189
а булевы функции возбуждения информационных входов тригге-
ров, реализующих сепаратную (избыточную) часть
G
~
x
вектора
x
ˆ
состояния ГДДС, с учетом проверочных равенств
2343
xxxm = ,
1232
xxxm
=
,
1341
xxxm
=
,
получаемых из выбранной образующей матрицы
4,7
G
, дает
2343m
ˆ
µ
µ
µ
µ
=
,
1232m
ˆ
µ
µ
µ
µ
= ,
1341m
ˆ
µ
µ
µ
µ
= ;
и булева функция выхода
432143214321432143214321
xxxxxxxxxxxxxxxxxxxxxxxxy = .
Полученное аналитическое описание ГДДС является достаточным
для построения схемотехнической реализации ГДДС.
Следует заметить, что процедура конструирования ГДДС гаранти-
рованной информационной надежности с рациональным использова-
нием ресурса помехозащиты в форме
А3.4 обнаружила сокращение ис-
пользованного ресурса помехозащиты. Без учета степени востребован-
ности условию
7
сб
101P
×< удовлетворяет код
(
)
4,11 . Этот эффект бу-
дет проявляться особенно заметно с ростом числа состояний ГДДС,
обнаруживая преимущества в схемотехнической реализации перед ши-
роко используемыми методами, такими, как «двойная память» [8].
3.4. Построение эквивалентного линейного
векторно-матричного представления НДДС
на основе принципа агрегирования
переменных булевых описаний
Цель настоящего параграфарешить задачу расширения модель-
ного ряда гибридных ДДС построением эквивалентного линейного
векторно-матричного представления НДДС. Решение этой задачи по-
зволит конструировать ГДДС не как гибридную версию соответст-
вующей НДДС в рамках тех же нелинейных представлений, а уже как
гибридную версию этой ДДС в классе линейных моделей. В
свою оче-
редь это даст возможность использовать большой потенциал линейных
векторно-матричных описаний для исследования ГДДС, который с по-
зиции отношения «входсостояниевыход» соответствующего модель-
ного представления ДДС позволит, например, исследовать вопросы