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

UptoLike

98
рактеристический полином
(
)
(
)
AI
+
=
λ
λ
detD принадлежат показате-
лю
12
n
=
µ
.
Наложим на неравенства (1.212), определяющие возможные по
длине
T
циклы на множестве ненулевых состояний
x
~
мощности
[]
12N
~
x
~
n
== , неравенства, оценивающие возможные показатели
µ
,
которым могут принадлежать
(
)
nn
×
-матрица состояния ЛДДС и ее
характеристический полином
(
)
λ
D
12n
n
µ
. (1.213)
В результате этого наложения, а также с использованием положений
У1.39 и У1.40 можно предложить следующий алгоритм анализа струк-
туры замкнутых циклов линейных ДДС (1.186), (1.187), которому при-
дадим номер 1.10.
Алгоритм 1.10 (А1.10)
6.
Построить векторно-матричное представление линейной двоич-
ной динамической системы в форме (1.183), (1.184).
7.
Перейти от представления ЛДДС (1.183), (1.184) к ее представ-
лению в форме (1.186), (1.187), положив в (1.183), (1.184)
()
0ku = .
8.
Вычислить характеристический полином
(
)
λ
D
матрицы A со-
стояния ЛДДС в силу соотношения
(
)
(
)
AI +
=
λ
λ
detD .
9.
Определить показатель
µ
которому принадлежит характеристи-
ческий полином
()
λ
D и матрица A состояния ЛДДС с исполь-
зованием таблиц полиномов, принадлежащих конкретному
µ
или возведением матрицы
A в степень над полем Галуа
(
)
2GF
до момента выполнения равенства
A
=
µ
.
10.
Проанализировать полученное значение
µ
: если 12
n
=
µ
, то
осуществить переход к п.11 алгоритма, в противном случаек
п.6 алгоритма.
11.
Найти корни характеристического полинома
(
)
λ
D , после чего
его записать в форме
() ()
(
)
=
+=
χ
λλλ
1j
jn
1gD , (1.214)
где
()
λ
g неприводимый модулярный многочлен,
χ
nnnn1n
1jj21
<
<
<
<
<
<
=
+
Κ
Κ
(1.215)
() ()
=
+==
χ
λλ
1j
j
ngdegnDdeg
(1.216)