CC BY
31
АНАЛИЗ И СИНТЕЗ СЛОЖНЫХ СИСТЕМ
УДК [517.938 + 519.713/.718]: 621.398
АНАЛИЗ СТРУКТУРЫ ПРОСТРАНСТВА СОСТОЯНИЙ ЛИНЕЙНЫХ ДВОИЧНЫХ ДИНАМИЧЕСКИХ СИСТЕМ НА ОСНОВЕ ИХ РЕКУРРЕНТНОГО МОДЕЛЬНОГО ПРЕДСТАВЛЕНИЯ
А.В. Ушаков, Е.С. Яицкая
Рассматриваются проблемы, связанные со спецификой структуры пространства состояний линейных двоичных динамических систем (ЛДДС), характеризующихся наличием неподвижных состояний и замкнутых циклов при отсутствии и наличии экзогенной задающей последовательности на входе ЛДДС. Показывается, что решаемая задача связана с особенностью структуры алгебраического спектра собственных значений матрицы состояния ЛДДС, особенностями структуры геометрического спектра собственных векторов той же матрицы и в значительной степени зависит от показателя ц, которому принадлежит эта матрица. Предлагается алгоритм анализа структуры пространства состояний ЛДДС. Приводится пример.
Ключевые слова: двоичная динамическая система, структура пространства состояния, собственный вектор, принадлежность показателю, неподвижные состояния, замкнутые циклы.
Введение
Класс линейных динамических систем как объект научных исследований появился в последней четверти прошлого века благодаря работам [1, 2]. Авторы указанных работ называли линейные динамические системы линейными последовательностными машинами (ЛПМ), потому что они возникли из задач преобразования временных последовательностей с дискретным временем над конечными полями Галуа GF(p)={0,1,...{p-1)} с произвольной характеристикой (модулем) p и модулярной арифметикой по mod (p). Достаточно быстро в силу наибольшей практической применимости выделился класс ЛПМ с характеристикой p = 2, который стал именоваться линейными двоичными динамическими системами (ЛДДС).
В это же время завершалось формирование такой системной парадигмы, как аппарат пространства состояний (АПС), опирающийся на возможности векторно-матричного формализма линейной алгебры, который разрабатывался в основном для систем над бесконечным полем с непрерывным и дискретным временем. Возможности указанного формализма АПС не могли быть не замечены специалистами по ЛДДС. Без сомнения, перенос положений АПС на класс ЛДДС имеет свою специфику, которая определяется в основном конечностью числа возможных состояний.
В этой связи становится достаточно логичной постановка задачи анализа структуры пространства состояний ЛДДС на основе их рекуррентного модельного представления [1-5]
x ( k + 1)= A x ( k)+ B u ( k), x (0), (1)
где x,u - соответственно вектор состояния и вектор входной последовательности размерности dim (x) = m, dim (u ) = r с элементами; A - (m x m) матрица состояния; B - (m x r) матрица входа. Элементы векторов и матриц принадлежат двоичному полю Галуа GF (p) = {0,1}. Исследования, результаты которых приводятся ниже, выполнены для случая r = 1, т.е. матрица B представляет собой m -мерный вектор-столбец.
Следует ожидать, что структура пространства состояний автономной ЛДДС, т.е. ЛДДС (1) при u (к)= 0, определяется свойствами матрицы A состояния системы, а структура ЛДДС при u (к0 определяется свойствами пары матриц (A, B).
Предпринятые исследования начнем с рассмотрения базовых свойств квадратных матриц над двоичным полем Галуа.
Базовые свойства квадратных (m x m) матриц над двоичным полем Галуа
Свойство 1 (С.1). (Теорема Гамильтона-Кэли). Произвольная квадратная (m x m)- матрица A над простым полем Галуа GF(p) при p = 2 обладает тем свойством, что обнуляет свой характеристический модулярный многочлен (ХММ) так, что выполняется равенство
det( XI + A)=A =a0Am +alAm-1 + ... + am-1A + amI = O . □
Доказательство утверждения строится по той же схеме, что и теорема Гамильтона-Кэли над бесконечным полем [3].
4
Свойство 2 (С.2). Будем говорить, что квадратная (m х да) - матрица A с элементами из GF( 2) обладает свойством нильпотентности индекса v , если она удовлетворяет условию
Av = O, □
при этом 1 < v < m .
Свойство 3 (С.3). Будем говорить, что квадратная (m х m) - матрица A с элементами из GF( 2) обладает свойством принадлежности показателю ц, если она удовлетворяет условию
Ац = I. □ (2)
Примечание 1 (П.1). Нетрудно видеть, что в силу правил модулярной двоичной арифметики соотношение (4) имеет эквивалентное представление
Ац +1 = O . (3)
Для целей дальнейших исследований сформулируем следующее утверждение. Утверждение 1 (У.1). Для того чтобы матрица А обладала свойством принадлежности показателю ц достаточно, чтобы ее ХММ d(x) = det (X I + А) входил в разложение двучлена Хц +1. □
Доказательство. Предположим, что D( X) входит в разложение двучлена Хц +1, тогда становится справедливым представление
Хц +1 = q(x)d(x). (4)
Построим на скалярном соотношении (4) матричное соотношение, заменив скаляр X матрицей А . Тогда будем иметь
Ац +1 = б(А^(А).
Нетрудно видеть, что в соответствии с теоремой Гамильтона-Кэли D^) = 0, а, следовательно, выполняется соотношение (3). ■
Примечание 2 (П.2). Из доказанного утверждения следует, что ц является наименьшей степенью
двучлена вида Хц +1, который характеризуется делимостью без остатка на ХММ
• i X^ +1 0 I
ц = minj цj : rest d(x) = 0 | , при этом показатель ц удовлетворяет неравенству ц >m .
Постановка задачи анализа структуры пространства состояния ЛДДС с различными показателями ц принадлежности их матриц состояния
Структура пространства состояний ЛДДС определяется наличием неподвижных состояний, замкнутых циклов, возвратных состояний и состояний, из которых под действием входной последовательности ЛДДС переходит в нулевое состояние.
Неподвижные состояния линейных ДДС
Определение 1 (О.1). Состояние x(к)автономной ЛДДС (АЛДДС), т.е. ЛДДС (1) при u(к)= 0 , называется неподвижным, если оно удовлетворяет равенству
x(к +1) = Ах(к)= x(к), Vк . □ (5)
Примечание 3 (П.3). АЛДДС при любой (m х m) реализации матрицы А имеет в качестве неподвижного состояния нулевое х (к) = 0 .
Примечание 4 (П.4). Все ненулевые состояния АЛДДС оказываются неподвижными, если ее матрица состояния является единичной (А = I).
Утверждение 2 (У.2). Неподвижным состоянием АЛДДС является собственный вектор матрицы А , соответствующий собственному значению X = 1 . □
Доказательство утверждения строится на определении понятия собственного вектора [6], в силу которого выполняется соотношение А | = X X=11 = |.
Если х(к) выбран в форме х(к) = , тогда для АЛДДС получим цепочку равенств х (к + 1)= Ах (к)Х(кЦ= А | = | = х(к). □
Рассмотрим теперь структуру неподвижных состояний ЛДДС (1) для случая u ( к) ^ 0 (u ( к)= 1).
Определение 2 (О.2). Состояние x (k) ЛДДС (1) для случая u (k) = 1 называется неподвижным, если оно удовлетворяет равенству
x (k + l)= А x (k)+ В = x(k), Vk . □
Примечание 5 (П.5). Нулевое состояние x (k) = 0 не принадлежит множеству неподвижных состояний ЛДДС при u (k)= 1, так как система (1) при x(k)= 0 и u (k) = 1 переходит в состояние
x (k + l)= В, Vk.
Утверждение 3 (У.3). Неподвижное состояние ЛДДС (1) при u (k) = 1 задается выражением x (к) = (I + А)"1 В , (6)
если матрица (I + А) обратима. □
Доказательство утверждения строится на подстановке x (k +1) = x ( k) и u (k)= 1 в (1), в результате чего получаем
(I + А) (к) = В. (7)
Если матрица (I + А) обратима, то выполняется (6). ■
Примечание 6 (П.6). При обратимости матрицы (I + А) неподвижное состояние, определенное
соотношением (6), представляет собой линейную комбинацию столбцов матрицы (I + А) 1 . Матрица (I + А) есть матричная функция f (А) от матрицы А , по свойству которой [6] ее спектр ст{ I + А } собственных значений равен ст{ + А }= { X = 1 + X,.; i = 1, m }, а потому ее обратимость возможна при условии
Х,.= 1 + X,. Ф 0, i = 17от . (8)
Условие (8) выполняется тогда, когда матрица А является нильпотентной с любым индексом V нильпотентности или обладает неприводимым характеристическим многочленом [1-3]. При этом в случае, когда матрица А ЛДДС (1) такова, что ее характеристический полином имеет четное число ненулевых элементов, включая единичный свободный член, то такая система при и (k) = 1 не имеет ненулевого неподвижного состояния.
Определим теперь состояния х (k), из которых возможен переход в нулевое состояние х(к + 1) = 0. При и (к) = 0 нулевое состояние х(к) = 0 является неподвижным, поэтому переход в него возможен только из него. При и (k)= 1 состояние х( k), из которого возможен переход в нулевое состояние х(к +1) = 0, в силу (1) определяется выражением х (k) = А"1В .
Замкнутые циклы линейных ДДС
Вынесенную в название данного параграфа проблему, как и при исследовании неподвижных состояний, будем решать с использованием модельных представлений ЛДДС отдельно для каждого из случаев: и (к) = 0 и и (к )= 1.
Введем понятие замкнутый цикл в структуре пространства состояний линейной ДДС с помощью следующего определения.
Определение 3 (О.3). Пусть множество X мощности [х]= N = 2т состояний линейной ДДС (5),
тогда подмножество X множества X, содержащее Т состояний, на котором выполняется соотношение
х( k)=x(k + T), (9)
называется замкнутым циклом длиной Т . □
Примечание 7 (П.7). Нетрудно видеть, что условие (9), по существу, содержит определение понятия возвратных состояний, множество которых мощности Т образует замкнутый цикл той же длины.
Рассмотрим структуру возвратных состояний, образующих цикл некоторой длины Т = Т (и), при двух возможных значениях и (k). Нетрудно видеть, что при и (k) = 0 множество возвратных состояний замкнутого цикла длиной Т (9) состоит из состояний, определяемых в силу соотношений { х(к); х( k + l)= Ах( k); х(к + 2)= Ах( k + l) = А2х( k),
..., х(к + Т "1)= АТ"1х( k)}. При и(к )= 1 возвратные состояния задаются системой соотношений
{ х(к); х(к +1) = Ах(к) + В; х(к + 2) = Ах( к +1)+В = А 2 х( к)+ АВ + В,...
...,х(к + Т " 1) = АТ"1х(к) + АТ"2В +... + АВ + В }.
Рассмотрим факторы, определяющие длину Т замкнутых циклов на множестве состояний ЛДДС при и( к) = 0 . С этой целью соотношение (9) запишем в форме
х( к) = АТх( к). (12)
Сформулируем следующее утверждение.
Утверждение 4 (У.4). При х(к0 соотношение (12) выполняется в случаях, когда матрица А принадлежит показателю ц = Т. □
Доказательство справедливости первой части утверждения строится на определении показателя ц, которому принадлежит матрица А , в соответствии с которым выполняется матричное равенство (2), подстановка ц = Т делает справедливым (12). Доказательство справедливости второй части утверждения строится на определении собственного вектора с учетом специфики простого поля Галуа ОЕ(р) при р = 2 . ■ Очевидно, что длина Т замкнутых циклов при и( к) = 0 и и (к) = 1 удовлетворяет неравенствам
1 < Т < 2т -1. (13)
Очевидно, что в структуре пространства (т х т) матрицы А состояний ЛДДС (5) имеется цикл длины Т = 1, когда х( к) является собственным вектором матрицы А . Иначе говоря, ненулевое неподвижное состояние образует цикл длиной Т = 1. Максимальная длина Т = 2т -1 имеет место, когда (т х т) матрица А и ее характеристический многочлен б( X) = det( X I + А) принадлежат показателю
ц = 2т-1.
Наложим на неравенства (13), определяющие возможные по длине Т циклы на множестве ненулевых состояний ~ мощности [ ~]= N = 2т -1, неравенства, оценивающие возможные показатели ц, которым могут принадлежать (т х т) матрица состояний ЛДДС и ее характеристический многочлен в( X)
т <ц< 2т-1.
Рассмотрим теперь структуру замкнутых циклов линейной ДДС при и( к)= 1. Описание ЛДДС для этого случая задается представлениями (1), в которых следует положить и( к) = 1 так, что получим: х(к + 1)= Ах(к)+В ; х(о). (14)
Следует заметить, что введенное с помощью О.3 определение замкнутого цикла длиной Т сохраняется, однако структура этих циклов не только зависит от показателя ц, которому принадлежит матрица А , структуры собственных векторов (| ^ ] степенных матричных функций /(А) = АТ от (т х т)
матрицы А состояний ЛДДС, но и от матрицы В . Последняя может принадлежать пространству столбцов матрицы А , т.е. ее образу
В с ^ А ,
тогда пара матриц (А, В) оказывается неполностью управляемой, простейшим случаем такой ситуации является случай, когда матрица В является собственным вектором матрицы А . В этой связи сформулируем утверждение.
Утверждение 5 (У.5). Если матрица В векторно-матричного описания ЛДДС является собственным вектором матрицы А , то ЛДДС с такой парой матриц (А, В) не является полностью управляемой, при этом размерность подпространства управляемости равна единице. □
Доказательство. Тот факт, что матрица В есть собственный вектор матрицы А состояний ЛДДС над простым полем Галуа ОЕ(2), позволяет записать А В = В .
Составим матрицу управляемости пары (А, В)
Wy (А, В ) = [В А В А2 В ... Ат-1 В ] . (15)
Для элементов Wу (А, В) можно записать А В = В ; А2 В = А В = В,..., Ат-1 В = а( Ат-2 в)= ... = В .
Подстановка полученных матричных равенств в (15) дает для матрицы управляемости
rankWу (А, В)=гапк [В В В ... В] = гапк В = 1 <т . ■
Составим следующий алгоритм анализа структуры замкнутых циклов линейных ДДС с системной матрицей А , имеющей своим характеристическим модулярным многочленом б( X) = det( XI + А) неприводимый многочлен степени т.
Алгоритм 1 (А.1)
1. Построить векторно-матричное представление линейной двоичной динамической системы в рекуррентной форме (1).
2. Перейти от представления ЛДДС (1) к ее представлению в форме (5), положив в (1) и(к)= 0 .
3. Вычислить характеристический многочлен D(x) матрицы А состояний ЛДДС в силу соотношения ^^ det( XI + А).
4. Определить показатель ц, которому принадлежит характеристический многочлен D(x) и матрица А состояний ЛДДС, с использованием таблиц многочленов, принадлежащих конкретному ц, или возведением матрицы А в степень над полем Галуа ОЕ(2) до момента выполнения равенства (2).
5. Проанализировать полученное значение ц по соотношению
2т -1 = тцц + гЕ ,
из которого определить т^ - число циклов длины Т = ц и г^ - суммарную длину циклов, длительности 1 < Тг < г^ .
6. Определить состав и последовательность изменения состояний в замкнутых циклах длиной Т = ц, порожденных фактом принадлежности матрицы А состояний ЛДДС показателю ц, используя представление циклов в форме (10), в котором за исходное состояние х( к) цикла взять любое состояние множества X.
7. Сформировать структуру замкнутых циклов и неподвижных состояний линейной ДДС (5) (при и(к)= 0 ) п.п. 5, 6, дополнив их нулевым неподвижным состоянием.
8. Перейти от представления ЛДДС (1) к ее представлению в форме (14), положив в (1) и( к) = 1.
9. Определить неподвижное состояние х( к): х( к +1) = х( к), используя соотношение (6) или (7).
10. Определить состав и последовательность изменения состояний в замкнутых циклах длиной Т = ц, порожденных фактом принадлежности матрицы А состояний ЛДДС показателю ц, используя представление циклов в форме (11), в котором за исходное состояние х( к) цикла взять любое состояние множества X.
11. Сформировать структуру замкнутых циклов и неподвижных состояний линейной ДДС (14) (при и(к )= 1) п. 10, дополнив их неподвижным состоянием п. 9. ■
Пример анализа структуры пространства состояний ЛДДС, представленной ее неподвижными
состояниями и замкнутыми циклами
В качестве примера рассматриваются ЛДДС с матрицами А состояний размерности
(т хт)= (3 х 3). Структура пространства изучается на реализациях пар матриц (А, В), в которых матрицы А обладают характеристическими многочленами D( X), принадлежащими классу неприводимых
степени deg{D( X)} =т , а множество ненулевых матриц В характеризуется мощностью [в]= 2т -1.
Исследования начнем со случая, когда ХММ матрицы А имеет вид D( X) = X3 + X +1. Тогда, следуя алгоритму А.1:
1. выполним п.п. 1-2, в результате чего ЛДДС будет иметь матрицу А состояний, заданной во фробе-ниусовой форме так, что она получает представление "0 1 0"
А
0 0 1 1 1 0
4. путем вычисления степенной матричной функции /(а) = А1 установим, что при 1 = 7 выполняется
равенство А1 = I, на основании чего становится справедливым соотношение ц = 7, где ц - показатель, которому принадлежит матрица А ;
5. анализируя значение ц, обнаружим справедливость разложения мощности 2т -1 множества ненулевых состояний в форме 2т -1 = 7 = 1-7 + 0, что свидетельствует о наличии в структуре пространства матрицы А состояний ЛДДС одного замкнутого цикла длиной Т = ц = 7 ;
6. определим состав и последовательность смены состояний ЛДДС в замкнутом цикле длины Т = ц = 7, порожденного фактом принадлежности матрицы А показателю ц = 7. В качестве стартового состояния примем состояние, характеризующееся минимальным кодовым расстоянием с нулевым состоянием ЛДДС, не входящим в состав цикла х(к)= [0 0 1]Т . Если воспользоваться (10), то получим замкнутый цикл, характеризующийся составом и последовательностью
7. получим полную структуру замкнутых циклов и неподвижных состояний при и( к) = 0 (рис. 1);
_ 0
(0 1 0)
(1 0 1) 0
(01Т)
(ГЦ)
(к )= (I + А)"1 Б
Рис. 1. Структура замкнутых циклов и неподвижных состояний ЛДДС при и( к)= 0
8. для рассмотрения ЛДДС вида (14) для матрицы Б входа положим Б = [0 0 1]Т ;
9. для поиска неподвижного состояния х( к): х( к +1) = х( к) используем соотношение (6) и получим
"0 1 1"
1 1 1 1 0 1
10. определим состав и последовательность смены состояний ЛДДС в замкнутом цикле длины Т = ц = 7 , порожденной фактом принадлежности матрицы А показателю ц = 7 . В качестве стартового состояния одного из циклов примем состояние, отличное от состояния п. 9 примера, например, нулевое состояние ЛДДС х(к)= [0 0 0]Т . Если воспользоваться (11), то получим замкнутый цикл, характеризующийся составом и последовательностью
"0" "1"
0 = 1
1 1
0
"0" "0" "0" "1" "1" "0" 1
0 , 0 , 1 , 1 , 0 , 1 , 0
0 1 1 0 1 0 0
Воспользуемся алгоритмом А.1 для всех пар матриц (А, Б), оговоренных в преамбуле примера. Полученные результаты сведены в таблицу. Для компактности записи в таблице использованы представления матриц, циклов, последовательностей в виде их десятичных эквивалентов, причем величина периодичности представлена скобочной записью с указанием длительности периода в виде нижнего индекса у правой скобки.
Матрица A
Показатель ц
u( к ) = 0 u( к )= 1 T , Матрица B
0 1 2 3 4 5 6 7
(7) (6) (1) (3) (4) (5) (2)
t) £ £ t)
6, 2), 1), 5), 6), 2), 7), 3),
in ,,1 on vo
in on vo <N ■-I
on ,6, ,2, ,7, ,1, ,3, ,5,
5, on ,,7 ,,5 ,,6 ,,2 ,,1
2, ,1, ,2, ,3, ,4, ,5, ,6, ,7,
(0, (0, (0, (0, (0, (0, (0,
1(
(7) (1) (6) 3) (4) (2) 5)
£ ti t) £
2, ^Г 1), 1), 2), 6), 7), 3),
\D ,,5 ,,5 ,,1 <N
in on <N in VO
6, ,5, ,2, ,2, ,6, ,3, ,1, ,4,
7, ,,2 ,,5 ,,7 ,,3 ,,1
оп~ ,1, on ,3, ,4, ,5, ,6, ,7,
- (0, (0, (0, (0, (0, (0, (0,
(
[2, 1, 6]
[2, 1, 5]
7
7
Таблица. Структура циклов и неподвижных состояний всех возможных вариантов реализаций пар (A,b) матриц, задающих соответствующие ЛДДС при размерности вектора состояния dimx = 3
Анализ структуры состояний ЛДДС, из которых под действием u( к) = 1 возможен переход
в нулевое состояние
Проблема вычисления состояний, из которых ЛДДС переходит в нулевое состояние x( к +1) = 0, сводится к решению уравнения (14) при нулевой левой части. Тогда искомый x( к) при x^ + 1)^ 0 и u( к) = 1 определяется выражением
x( к)= A-1B . (16)
Если рассмотреть ЛДДС с парой матриц (A, в), где матрица A задается в форме п. 1 примера, а матрица B - в форме п. 8 примера, то состояние x( к), удовлетворяющее условию (16), получает представление
x^)= [1 0 0f .
Заключение
Предложенная в работе алгоритмическая среда анализа структуры пространства состояний ЛДДС делает алгебраически прозрачным процесс преобразования двоичных кодов [1-3], что особенно важно при решении задач помехозащитного преобразования этих кодов. Становится наглядной необходимость выбора неприводимых многочленов в качестве образующих многочленов помехозащищенного кода с максимальным значением ц их принадлежности.
Литература
1. Фараджев Р.Г. Линейные последовательностью машины. - М.: Советское радио, 1975. - 248 с.
2. Гилл А. Линейные последовательностные машины. - М.: Наука, 1974. - 288 с.
3. Мельников А.А., Ушаков А.В. Двоичные динамические системы дискретной автоматики / Под ред. А.В. Ушакова. - СПб: СПбГУ ИТМО, 2005. - 214 с.
4. Ушаков А.В., Яицкая Е.С. Рекуррентное систематическое помехозащитное преобразование кодов: возможности аппарата линейных двоичных динамических систем // Изв. вузов. Приборостроение. -2011. - № 3. - С. 17-25.
5. Ушаков А.В., Яицкая Е.С. Динамическое наблюдение нелинейных двоичных динамических систем // Научно-технический вестник СПбГУ ИТМО. - 2010. - № 4. - С. 38-44.
6. Гантмахер Ф.Р. Теория матриц. - 5-е изд. - М.: Физматлит, 2004. - 560 с.
Ушаков Анатолий Владимирович - Санкт-Петербургский государственный университет информационных
технологий, механики и оптики, доктор технических наук, профессор, [email protected]
Яицкая Елена Сергеевна - Санкт-Петербургский государственный университет информационных
технологий, механики и оптики, аспирант, [email protected]
