УДК 621.317.75: 519.

ГРАНИЦЫ РАССТОЯНИЯ ХЕММИНГА СЕГМЕНТОВ ПРОИЗВОЛЬНОЙ

ДЛИНЫ НЕДВОИЧНЫХ М-ПОСЛЕДОВАТЕЛЬНОСТЕЙ
С ПРИВОДИМЫМ ХАРАКТЕРИСТИЧЕСКИМ МНОГОЧЛЕНОМ

© 2017 О. В. Иванцов1, П. В. Бочков2, Д. Е. Горохов3

1
канд. техн. наук,доцент
e-mail: iowwaa@mail.ru
2
канд. техн. наук,доцент
e-mail: boch_p@mail.ru
3
канд. техн. наук
e-mail: iowwaa@mail.ru

Академия Федеральной службы охраны Российской Федерации

В работе предложен новый подход к быстрому и сравнительно точному

определению границ расстояния Хемминга для сегментов произвольной длины
М-последовательности k-го порядка в GF(pk) с расширением p > 2, состоящей из (p–1)
подпоследовательностей, основанный на использовании гипотетических
подпоследовательностей, обладающих граничными свойствами и свойствами
«зеркальности» распределения веса сегментов линейной рекуррентной последовательности
на сферах шара Хемминга.
Ключевые слова: линейная рекуррентная последовательность, гипотетическая Мг-
последовательность, «зеркальность» распределения веса сегментов кода, границы
минимального кодового расстояния.

Широкое применение линейных рекуррентных последовательностей

максимального периода или их сегментов (отрезков) в задачах циклового фазирования,
циклического кодирования в процессе проектирования выявило необходимость
быстрого и простого вычисления минимального кодового расстояния сегментов
произвольной длины М-последовательности k-го порядка с расширением p>2.
Информационная часть кодового слова в таких кодах определяет начальную фазу
сегмента ЛРП [Иванцов 2017; Пат. РФ № 2553089 2013; Пат. РФ № 2580806 2014].
От значения минимального кодового расстояния зависит обоснованность выбора
размера избыточной части кодового слова, как дополнительного участка в сегменте М-
последовательности [Пат. РФ № 2568320 2014].
Задача по определению минимального кодового расстояния сегментов
произвольной длины двоичной (p=2) М-последовательности k-го порядка, где в
качестве характеристического многочлена использовался примитивный полином, была
решена на основе применения в вычислении двух гипотетических М-
последовательностей k-го порядка [Саитов, Иванцов 2014; Иванцов 2017].
М-последовательность k-го порядка с расширением p>2 с приводимым
(делимым) характеристическим многочленом состоит из (p–1) подпосле-
довательностей с одинаковой длиной z=(pk–1)/(p–1) и весом t= pk-1. Каждая из таких
подпоследовательностей состоит из одинакового количества серий разной длины,
состоящих в свою очередь из p различных единичных элементов. Недвоичная
последовательность максимального периода N = рk –1 порождается любым
примитивным многочленом Р(х) степени k. Каждый ненулевой элемент простого поля
GF(p) входит в М-последовательность рk–1 раз, а нулевой элемент входит (рk–1 –1) раз.
ТЕХНИЧЕСКИЕ НАУКИ

Для определения минимального кодового расстояния d сегментов произвольной

длины М-последовательности k-го порядка GF(pk) также были применены две
гипотетические подпоследовательности Мгп1 и Мгп2, обладающие граничными
свойствами как и Мг1 и Мг2 [Там же].
М-последовательность, состоящую из (p–1) гипотетических
подпоследовательностей Мгп1, можно представить в следующем виде:

S М = ( p − 1) ⋅ (a00 + a(1;1) + a(1;2 ) + ... + a(1; p −1) + a( 2 ;1) + ... + a( 2 ;( p −1) p ) + ... +
(1)
+ a( k −2 ;1) + ... + a( k −2 ;( p −1) p k −3 ) + a( k −1;1) + ... + a( k −1;( p −1) p k − 2 ) ), GF ( p k ),

где a00 – одна серия из k единичных элементов; a(1;…) – (р–1) серий из (k –1)
единичных элементов; a(2;…) – (р–1)p серий из (k –2) единичных элементов;
a(k–1;…) – (р–1)pk–2 одиночных серий.
Cегменты произвольной длины М-последовательности k-го порядка в этом
случае можно в общем виде выразить в виде суммы серий (2), состоящих из единичных
элементов, начиная с серии максимальной длины и далее по убыванию, помещающихся
на сегменте длиной n гипотетической Мгп1-подпоследовательности, определяющей
нижнюю границу dн.
Произвольная длина n сегмента гипотетической М-последовательности в общем
виде для конечного поля с расширением p можно выразить как

( p −1 ) p k −1
k −1 p k −i
n = ( p − 1) ⋅ (a00 + ∑ ∑ a ), ij GF(pk), (2)
i =1 j =1
где a00 – длина серии максимальной длины в подпоследовательности (a00=k); i–
номер вида серии в подпоследовательности; j – номер серии одного вида в
подпоследовательности; aij – длина i-ой серии j-м номером в подпоследовательности;
(p-1)pk-1/pk-i – количество серий одной длины в любой из (p–1) подпоследовательностей
М-последовательности k-го порядка GF(pk); 𝑘 – количество видов серий разной длины в
одной подпоследовательности М-последовательности k-го порядка.

В этом случае количество полных серий bn, состоящих из единичных элементов

разного вида, помещающихся на выбранной длине сегмента n М-последовательности
k-го порядка GF(pk), можно определить как

bn = p i −1 + j . (3)
Гипотетическая Мгп2 представляет собой последовательность, у которой серии
нулей и единиц расположены насколько возможно равномерно, так, что вес любого
сегмента длиной n такой последовательности пропорционален ( p − 1) p k −1 ⋅ p k −i n и
в
определяет верхнюю границу d .
После проведенного вычислительного эксперимента оказалось, что для
( p − γ − 1) ⋅ ( p k − 1) (2 p − 2γ − 1) ⋅ ( p k − 1)
сегментов длиной ≤n≤ , γ = ( p − 1), ( p − 2),...,2,1 на
p −1 2( p − 1)
М-последовательности k-го порядка с расширением p>2 нахождение границ dн и dв,
можно представить в виде выражений (4), (5) и (7). Выражения (5) и (7) представляют
собой системы, описывающие две арифметические прогрессии, и позволяют

Auditorium. Электронный научный журнал Курского государственного университета.

2017. № 4 (16)
 Иванцов О. В., Бочков П. В., Горохов Д. Е. Границы расстояния Хемминга
сегментов произвольной длины недвоичных М-последовательностей
с приводимым характеристическим многочленом

определить границы dн и dв, которые вмещают в себя нечетное или четное количество
серий.

pk −1 pk −1
Для ≤ n〈 + k , γ = ( p − 1), ( p − 2),...,2. ,γ=(p–1),(p–2),…,2.:
γ γ
( p − 1) ⋅ p k −1
d1н = d1в = , i = ( p − 1), ( p − 2),...,2. (4)
i

( p − γ − 1) ⋅ ( p k − 1) (2 p − 2γ − 1) ⋅ ( p k − 1)
Для +k ≤n≤ ,γ=(p–1),(p–2),…,2,1.:
p −1 2( p − 1)

⎧ k −1 p − 2 ⎛ bn − 1 ⎞ k − ( p −1)
⎪ p ∑ i +⎜ a0 + 2 d ⎟ − ϕ1 , a0 = 1, d = 3, b = 1,3,5,7,..., p ;
н ⎪ i =0 ⎝ ⎠
d1 ≥ ⎨ p −2
(5)
⎛ b
⎪ p k −1 i +⎜ a + n − 2 ⎞
∑ 0 d ⎟ − ϕ1 , a0 = 2, d = 3, b = 2,4,6,8,..., p k −( p −1) ,
⎪⎩ i =0 ⎝ 2 ⎠
где φ1 – поправочный коэффициент, учитывающий в составе сегмента длиной n
двоичные серии, если их количество превышает половину из всех имеющихся в любой
из подпоследовательностей Мгп1.

Поправочный коэффициент определяется по формуле

⎧ 1,( p − 1) p k −1 / 2 p 2 − j2 〈0;
ϕ1 = ⎨ k −1 2
⎩0,( p − 1) p / 2 p − j2 ≥ 0, (6)
где j2 =0, 1, 2,…,(p–1)pk–1 /p2 – наибольший номер двоичной серии, вошедший
в состав сегмента длиной n гипотетической в любой из подпоследовательностей Мгп1.
Верхняя граница минимального кодового расстояния для сегмента произвольной
длины n гипотетической подпоследовательности Мгп2 определяется следующим
выражением:
⎧ k −1 p−2 ⎛ b −1 ⎡ 4 − bn ⎤ ⎞ k −( p −1)
⎪ p ∑ i +⎜⎜ a0 + n d + ceil ⎢ ⎥ ⎟⎟ − ϕ2 , a0 = 1, d = 3, b = 3,5,7,..., p ;
⎪ i = 0 ⎝ 2 ⎢ bn + 1 ⎥ ⎠
d1в ≤ ⎨ (7)
p −2
⎪ k −1 ⎛ bn − 2 ⎡ 3 − b ⎤
n ⎟
⎞ k −( p −1)
⎪ p ∑ i +⎜ a0 + 2 d + ceil ⎢ b + 1 ⎥ ⎟ + ϕ3 , a0 = 2, d = 3, b = 2,4,6,8,..., p ,
⎜
⎩ i = 0 ⎝ ⎢ n ⎥ ⎠

где ceil[·] – функция, возвращающая ближайшее число, большее или равное

значению аргумента; φ2 – поправочный коэффициент, учитывающий в составе сегмента
длиной n все двоичные серии, образуемые в подпоследовательности Мгп2; φ3 –
поправочный коэффициент, учитывающий в составе сегмента длиной n одну двоичную
серию Мгп2.

Коэффициенты φ2 и φ3 принимают значения ноль или единицу в соответствии с

выражениями (8) и (9):
ТЕХНИЧЕСКИЕ НАУКИ

⎧1, ( p − 1) p k −1 / p 2 = j2 ;
⎪
ϕ 2 = ⎨0, ( p − 1) p k −1 / p 2 ≠ j2 ;
(8)
⎪0, j = 0.
⎩ 2

⎧1, j = 1;
ϕ3 = ⎨ 2
(9)
⎩0, j2 ≠ 1,

где j2 =1,2,3,…, (p–1)pk–1/p2.

(2 p − 2γ − 1) ⋅ ( p k − 1)
Начиная с сегментов длиной n > , γ=(p–1),(p–2),…,2, 1,
2( p − 1)
вмещающих соответственно нечетное и четное количество серий, на участке любой из
(p–1) подпоследовательностей закон арифметической прогрессии по вычислению
границ dв и dн нарушается. Это объясняется наличием на каждом участке Мгп1-
последовательности одиночных серий из p различных единичных элементов, которые
составляют (pk–1–1)/( pk–1) часть ее длины.
Поэтому значения границ минимального кодового расстояния сегментов длиной
n, на которых наблюдается арифметическая прогрессия , в соответствии с выражениями
(4), (5) и (7) присвоены индексы d1н и d1в .
Решение задачи по определению минимального кодового расстояния сегментов,
длина которых превышает указанные значения длин сегментов М-последовательности,
строится на основе свойства зеркального распределения всего количества сегментов n
как кодовых слов с разным весом и длиной на сферах шара Хемминга.
Для доказательства данного утверждения проведем исследования по
распределению веса кодовых слов для сегментов М-последовательности различной
длины с использованием свойств шара Хемминга [Патент РФ № 2580806 2014].
Пример 1. Определим распределение веса кодовых слов при длине сегмента
n1=3, n2 = 6, n3=16, n4 = 19 на М-последовательности третьего порядка с P(x)=x3–x2–2.
Множество кодовых слов составит 33–1=26. При длине сегмента n1=3
формируется: 6 кодовых слова с весом t=1; 12 кодовых слов с t=2; 8 кодовых слова с
t=3. При длине сегмента n2=10 образуется множество кодовых слов, из которых восемь
с t=6; двенадцать с t=7; шесть с t =8. При длине сегментов n3=16 образуется
множество кодовых слов: шесть с t=10; двенадцать с t=11; восемь с t =12 и n4=23;
восемь с t=15; двенадцать с t=16; шесть с t =17.
Если полученные распределения кодовых слов с разным весом при длине
сегментов n1=4, n2=10 отобразить на сферах шара Хемминга, то их количество на
соответствующих весу сферах будут зеркальны по отношению к сфере tз1, занимающей
промежуточное положение между сферами с весом t=4 и t=5. Сегменты длиной n3=16 и
n4=23 будут зеркальны по отношению к сфере tз3, занимающее промежуточное
положение между сферами с весом t=13 и t=13. В свою очередь, распределения
кодовых слов с разным весом при длине сегментов n1=4, n2=10 и n3=16 и n4=23 будут
зеркальны по отношению к сфере tз2 =9 (рис.1).
Полное распределение сегментов различной длины М-последовательности
третьего порядка с P(x)=x3–x2–2 на сферах шара Хемминга, полученное методом
полного перебора, приведено в таблице 1. Очевидно, что на этих сферах распределение
весов кодовых слов, соответствующих сегментам длиной k ≥n≥ pk–k–1, будет
зеркальным по отношению к p зеркалам.

Auditorium. Электронный научный журнал Курского государственного университета.

2017. № 4 (16)
 Иванцов О. В., Бочков П. В., Горохов Д. Е. Границы расстояния Хемминга
сегментов произвольной длины недвоичных М-последовательностей
с приводимым характеристическим многочленом

Из этого следует, что такой же зеркальностью будут обладать границы

минимального кодового расстояния сегментов произвольной длины М-
последовательности k-го порядка в конечном поле с расширением p и приводимым
характеристическим полиномом.

Рис.1. Пример распределения кодовых слов в шаре Хемминга по весу на множестве сегментов
n1=3, n2 =10, n3=16, n4 = 23 М-последовательности третьего порядка с P(x)=x3–x2–2

Полное распределение сегментов различной длины М-последовательности

третьего порядка с P(x)=x3–x2–2 на сферах шара Хемминга, полученное методом
полного перебора, приведено в таблице 1. Очевидно, что на этих сферах распределение
весов кодовых слов, соответствующих сегментам длиной k ≥n≥ pk–k–1, будет
зеркальным по отношению к p зеркалам.
Из этого следует, что такой же зеркальностью будут обладать границы
минимального кодового расстояния сегментов произвольной длины М-
последовательности k-го порядка в конечном поле с расширением p и входящие в ее
состав подпоследовательности.
Зная минимальные кодовые расстояния всей М-последовательности и сегмента
n, длина которого не превышает определенных выше значений из выражений (4, 6),
можно определить минимальное кодовое расстояние оставшегося участка.
Поэтому для сегментов n М-последовательности k-го порядка с расширением
(2 p − 2γ − 1) ⋅ ( p k − 1) pk −1
p>2 длиной ≤n≤ , где γ = ( p − 1), ( p − 2),...,2,1 , который делится
2( p − 1) γ
на два участка, и нахождение границ dн и dв сегментов n М-последовательности можно
представить в виде системы выражений, (10), (11) и (12), которые имеют
соответствующие индексы d 2н и d 2в .
ТЕХНИЧЕСКИЕ НАУКИ

Таблица 1

Сегмент n Распределение веса кодовых слов в зависимости от длины сегмента n

ЛРП на М-последовательности третьего порядка с P(x)=x3–x2–2
Вес, t
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18
Длина, n
3 6 12 8
4 2 6 14 4
5 4 8 12 2
6 8 6 12
7 12 6 8
8 2 12 8 4
9 4 14 6 2
10 8 12 6
11 12 12 2
12 18 8
13 26
14 8 18
15 2 12 12
16 6 12 8
17 2 6 14 4
18 4 8 12 2
19 8 6 12
20 12 6 8
21 2 12 8 4
22 4 14 6 2
23 8 12 6
24 12 12 2
25 18 8
26 26

k k
Для (2 p − 2γ − 1) ⋅ ( p − 1) ≤ n ≤ ( p − γ ) ⋅ ( p − 1) − ( p − 1)k + 1, γ = ( p − 1), ( p − 2),...,2,1. :
2( p − 1) p −1

⎧ k −1 p −1 ⎛ bn − 1 ⎞ ⎡ 2 − bn ⎤ k − ( p −1)
⎪ p ∑ i − k − ⎜ a0 + d ⎟ + ceil ⎢ ⎥ ,a0 = 2 ,d = 3,b = 1,3,5,..., p ;
⎪ i =1 ⎝ 2 ⎠ ⎣ 1 + bn ⎦
н
d2 ≥ ⎨ (10)
p −1
⎛ b ⎞
⎪ p k −1 i − k − a + n d + ceil ⎡ 3 − b n
⎤ k − ( p −1)
⎪ ∑ ⎜ 0 ⎟ ⎢ ⎥ ,a0 = 1,d = 3,b = 2 ,4 ,6 ,..., p .
⎩ i =1 ⎝ 2 ⎠ ⎣ 1 + bn ⎦

⎧ k −1 p −1 ⎛ bn − 1 ⎞ ⎡ 2 − bn ⎤ k − ( p −1)
⎪ p ∑ i − k − ⎜ a0 + d ⎟ + ceil ⎢ ⎥ + ϕ 2 , a0 = 2 , d = 3,b = 1,3,5,..., p ;
⎪ i 1 ⎝ 2 ⎠ ⎣ 1 + bn ⎦
d 2в ≥ ⎨
=
(11)
p −1
⎪ p k −1 i − k − bn d + ceil ⎡ 3 − bn ⎤ , d = 3,b = 2 ,4 ,6 ,..., p k − ( p −1) .
⎪ ∑ 2
⎢ ⎥
⎩ i =1 ⎣ 1 + bn ⎦

pk −1 pk −1
Для − ( p − 1) k + 2 ≤ n ≤ , γ = ( p − 1), ( p − 2),...,2,1. :
γ γ

Auditorium. Электронный научный журнал Курского государственного университета.

2017. № 4 (16)
 Иванцов О. В., Бочков П. В., Горохов Д. Е. Границы расстояния Хемминга
сегментов произвольной длины недвоичных М-последовательностей
с приводимым характеристическим многочленом

( p − 1) ⋅ p k −1 ⎛ p k − 1 ⎞
d 2н = d 2в = − ⎜⎜ − n ⎟⎟, i = ( p − 1), ( p − 2),...,2,1. (12)
i ⎝ i ⎠

Особенность нахождения d 2н и d 2в сегментов длиной

pk − 1 pk − 1
− ( p − 1)k 〈 n ≤ , γ = ( p − 1), ( p − 2),...,2,1 определяется прямой
γ γ
зависимостью отсутствия количества мест в этих сегментах для единичных элементов,
если их количество не превышает (p–1)k, которые встречаются в каждой из (p–1)
подпоследовательностей M-последовательности k-го порядка с расширением p>2.
Для получения всех значений, составляющих границы минимального кодового
расстояния сегментов произвольной длины М-последовательности k-го порядка в
конечном поле с расширением p, необходимо определить полное множество
приводимых полиномов, которое определяется функцией Эйлера.
Число недвоичных М-последовательностей z с периодом N=рk–1 определяется
функцией Эйлера и равно φ(рk–1)/k.
В примере 1 количество недвоичных М-последовательностей z третьего порядка
с расширением поля p=3, не переводимых друг в друга путем сдвига, вычисляется
следующим образом:

ϕ( p k − 1) ϕ(26) ϕ(2) ⋅ ϕ(13) (2 − 1) ⋅ (13 − 1)

z= = = = = 4.
k 3 3 3

Действительно, таких приводимых полиномов можно сформировать четыре

вида: P1(x)=x3–x2–2, P2(x)=x3–x–2, P3(x)=x3–x2–2x–2, P4(x)=x3–2x2–x–2.
Определим точность вычисления границ минимального кодового расстояния по
полученным выражениям на примере 2 и сравним со значениями, полученными
эмпирическим способом.
Пример 2. Вычислим границы минимального кодового расстояния сегментов
произвольной длины n М-последовательности четвертого порядка с расширением поля
p=3 на основе приводимых полиномов Pz(x).
Решение:
1. Длина М-последовательности в этом случае Nм=pk–1=34–1=80. Количество
подпоследовательностей h=(р–1)=2, тогда длина каждой подпоследовательности будет
составлять Nп=( pk–1)/(р–1)=40.
Минимальное кодовое расстояние М-последовательности dм=(p–1)pk–1=54.
Минимальное кодовое расстояние сегментов длиной, равной длине
k
подпоследовательности dп=(p–1)p –1/(p–1)=27.
В каждой подпоследовательности длиной Nп=40 формируется в соответствии
с выражением (1) одинаковое количество различных серий единичных элементов:
1 серия из 4 элементов; 2 серии из 3 элементов; 6 серий из 2 элементов и 18 серий
из 1 элемента.
Соответственно количество серий, попадающих на произвольно выбранный
участок сегмента n Мгп1-последовательности, может содержать в соответствии
с выражением (3) четное или нечетное количество серий, например, b4=1; b7=2; b10=3;
b12=4; b14=5; b16=6; b18=7; b20=8 и т. д.
2. Вычислим участки сегментов длиной n для аналитических выражений (4–12)
по определению границ минимального кодового расстояния:
ТЕХНИЧЕСКИЕ НАУКИ

а) для сегментов длиной 40≤n<44, используя выражение (4), получим

н ( p − 1) ⋅ p k −1 (3 − 1)34−1
в
d =d =
1 1 = = 27; (13)
i 2

б) для сегментов длиной 4≤n≤20 и 40≤n≤60, подставив исходные значения в

выражения (5–9), вычислим границы минимального кодового расстояния (табл. 2).

⎧ 3 1 ⎛ bn − 1 ⎞
⎪3 ∑ i +⎜ a0 + 2 d ⎟ − ϕ1 , a0 = 1, d = 3, b = 1, 3, 5, 7;
⎪ i =0 ⎝ ⎠
d1н ≥ ⎨ 1 (14)
⎪33 i +⎛⎜ a + bn − 2 d ⎞⎟ − ϕ , a = 2, d = 3, b = 2, 4, 6, 8,
⎪⎩ ∑
i =0 ⎝
0
2 ⎠
1 0

⎧ 1, (3 − j2 )〈0;
где ϕ1 = ⎨ , j2 =0, 1, 2, 3, 4, 5.
⎩0, (3 − j2 ) ≥ 0.

⎧ 3 1 ⎛ b −1 ⎡ 4 − bn ⎤ ⎞
⎪3 ∑ i +⎜⎜ a0 + n d + ceil ⎢ ⎥ ⎟⎟, a0 = 1, d = 3, b = 3, 5, 7;
⎪ i = 0 ⎝ 2 b
⎢ n ⎥⎠+ 1
d1в ≤ ⎨ (15)
⎪ 3 1 ⎛⎜ bn − 2 ⎡ 3 − bn ⎤ ⎞
⎪3 ∑ i + ⎜ a0 + d + ceil ⎢ ⎥ ⎟⎟ + ϕ3 , a0 = 2, d = 3, b = 2, 4, 6, 8,
⎩ i = 0 ⎝ 2 b +
⎢ n ⎥⎠ 1

⎧1, j2 = 1;
где ϕ 2 = 0; ϕ3 = ⎨
⎩0, j2 ≠ 1.

Таблица 2

bn 1 2 3 4 5 6 7 8 27+2 27+3 27+4 27+5 27+6 27+7 27+8

n 4 7 10 12 14 16 18 20 47 50 52 54 56 58 60
d нэ 1 2 4 5 7 8 9 10 29 31 32 34 35 36 37
d на 1 2 4 5 7 8 9 10 29 31 32 34 35 36 37
d вэ 1 3 5 6 7 8 10 11 30 31 33 34 36 37 38
d ва 1 3 5 6 7 8 10 11 30 31 33 34 36 37 38

в) для сегментов длиной 20≤n≤33 и 60≤n≤73, подставив исходные значения в

выражения (10) и (11), вычислим границы минимального кодового расстояния
(табл. 3).

⎧ 3 2 ⎛ bn − 1 ⎞ ⎡ 2 − bn ⎤
⎪3 ∑ i − 4 − ⎜ a0 + d ⎟ + ceil ⎢ ⎥, a0 = 2, d = 3, b = 1, 3, 5, 7;
⎪ i =1 ⎝ 2 ⎠ ⎣ 1 + bn ⎦
d 2н ≥ ⎨ (16)
⎪33 i − 4 − ⎛ a + bn d ⎞ + ceil ⎡ 3 − bn ⎤, a = 1, d = 3, b = 2, 4, 6, 8.
2

⎪ ∑ ⎜ 0
2 ⎠
⎟ ⎢ ⎥ 0
⎩ i =1 ⎝ ⎣ 1 + bn ⎦

Auditorium. Электронный научный журнал Курского государственного университета.

2017. № 4 (16)
 Иванцов О. В., Бочков П. В., Горохов Д. Е. Границы расстояния Хемминга
сегментов произвольной длины недвоичных М-последовательностей
с приводимым характеристическим многочленом

⎧ 3 2 ⎛ bn − 1 ⎞ ⎡ 2 − bn ⎤
⎪3 ∑ i − 4 − ⎜ a0 + d ⎟ + ceil ⎢ ⎥ , a0 = 2 , d = 3, b = 1, 3, 5, 7;
в ⎪ i =1 ⎝ 2 ⎠ ⎣ 1 + bn ⎦ 2
d2 ≥ ⎨ (17)
⎪ 3 2 bn ⎡ 3 − bn ⎤
⎪3 ∑ i − 4 − 2 d + ceil ⎢ 1 + b ⎥, d = 3, b = 2, 4, 6, 8.
⎩ i =1 ⎣ n ⎦

Таблица 3

bn 27–8 27–7 27–6 27–5 27–4 27–3 54–8 54–7 54–6 54–5 54–4 54–3 54–2
n 20 22 24 26 28 30 60 62 64 66 68 70 73
d нэ 10 12 13 15 16 18 37 39 41 42 43 45 47
d на 10 12 13 15 16 18 37 39 41 42 43 45 47
d вэ 11 12 14 15 17 18 38 39 41 42 44 45 48
d ва 11 12 14 15 17 18 38 39 41 42 44 45 48

г) для сегментов длиной 34≤n≤40 и 74≤n ≤80, подставив исходные значения в

выражение (12), вычислим границы минимального кодового расстояния (табл. 4).

2 ⋅ 33 ⎛ 34 − 1 ⎞
d 2н = d 2в = − ⎜⎜ − n ⎟⎟, i = 2,1. (18)
i ⎝ i ⎠
Таблица 4

n 3 3 3 3 3 3 4 7 7 7 7 7 7 8
4 5 6 7 8 9 0 4 5 6 7 8 9 0
d 2 2 2 2 2 2 2 4 4 5 5 5 5 5
э 1 2 3 4 5 6 7 8 9 0 1 2 3 4
d 2 2 2 2 2 2 2 4 4 5 5 5 5 5
а 1 2 3 4 5 6 7 8 9 0 1 2 3 4

3. Количество недвоичных М-последовательностей z четвертого порядка с

расширением поля p=3, не переводимых друг в друга путем сдвига, вычисляется
следующим образом:

ϕ( p k − 1 ) ϕ( 80 ) ϕ( 16 ) ⋅ ϕ( 5 ) 6 ⋅ ( 5 − 1 )
z= = = = = 6.
k 4 4 4
Действительно, таких приводимых полиномов можно сформировать шесть
видов: P1(x)=x4–2x–1, P2(x)=x4–2x3–1, P3(x)=x4–x–2, P4(x)=x4–x3– x2 –2x–1, P5(x)=x4–2x3–
x2 –x–1, P6(x)= x4–x3–x2–2x–1.
4. Сравним значения минимальных кодовых расстояний, полученных
аналитическим путем и экспериментальным методом (табл. 2–4).
Экспериментальный метод основан на выделении экстремальных (граничных)
значений минимального кодового расстояния сегментов одной длины на всех
М-последовательностях, полученных на основе полного перебора, с использованием
шести приводимых полиномов.
На рисунке 2 изображены границы dв и dн сегментов произвольной длины
М-последовательности четвертого порядка с расширением поля p=3 на основе
использования приводимых полиномов Pz(x), полученных аналитически и
экспериментально.
ТЕХНИЧЕСКИЕ НАУКИ

Точками перегиба на сплошных линиях обозначены нижняя и верхняя границы:

∆нэ =𝑑эн − 𝑑эв и ∆вэ = 𝑑эв − 𝑑эн соответственно, полученные экспериментально. Точками
на перегибах на пунктирных линиях обозначены значения ∆ва! = 𝑑а" в
− 𝑑эн , ∆ва" = 𝑑а"
в
−
н н н в н н в
𝑑э , ∆а1 = 𝑑а1 − 𝑑э , ∆а2 = 𝑑а2 − 𝑑э , полученные с использованием значений
минимального кодового расстояния, определенных аналитическим путем по
приведенным выше выражениям (13–18).
Таким образом, решена задача аналитического получения граничных значений
минимального кодового расстояния для сегментов произвольной длины
М-последовательности k-го порядка с произвольным расширением поля p>2 и
приводимым (делимым) характеристическим многочленом, который может быть
получен из любого примитивного полинома.

∆эв, ∆эн, ∆а1в,

∆а1н, ∆а2в,∆а2н.

2
∆а1в ∆а2в ∆а1в ∆а2в
1
n
0 4 7 10 12 14 16
18 20 22 24 26 28 30 32 34 36 38 40 42 44 46 48 50 52 54 56 58 60 62 64 66 68 70 72 74 76 78 80
-1
∆а1н ∆а2н ∆а1н ∆а2н
-2

∆эв. ∆а1в, ∆а2в.

∆эн. ∆а1н, ∆а2н.

Рис. 2. Границы минимального кодового расстояния сегментов М-последовательности четвертого

порядка с расширением поля p=3 на основе приводимых полиномов Pz(x)

Исследование верхних и нижних границ минимального кодового расстояния

сегментов М-последовательности показало, что при расширении поля полученные
значения этих границ отличаются не больше чем на единицу, и то лишь в некоторых
точках (рис. 2). При дальнейшем расширении поля таких точек становится меньше.
Такое поведение границ объясняется более пропорциональным распределением
минимального кодового расстояния между подпоследовательностями, из которых
состоит М-последовательность.
Таким образом, чем больше подпоследовательностей в составе
М-последовательности и меньше ее порядок, тем равномернее распределяется ее вес.
Это позволяет уменьшить количество вычислений за счет определения значений
минимального кодового расстояния только для одной из границ, чтобы иметь
представление об исправляющей способности кода на основе сегментов недвоичной
М-последовательности с приводимым полиномом.
Полученные аналитические выражения для некоторых блоковых длин сегментов
М-последовательности k-го порядка с расширением поля p>2 и приводимым
характеристическим многочленом, составляющих целую сумму серий из единичных
элементов, точно определяют нижние и верхние границы минимального кодового
расстояния (рис. 2). Эти значения могут использоваться как ориентировочные для
остальных длин сегментов М-последовательности, занимающих промежуточное

Auditorium. Электронный научный журнал Курского государственного университета.

2017. № 4 (16)
 Иванцов О. В., Бочков П. В., Горохов Д. Е. Границы расстояния Хемминга
сегментов произвольной длины недвоичных М-последовательностей
с приводимым характеристическим многочленом

значение. При этом по сравнению с традиционно используемым машинным способом

полного перебора применение полученных аналитических выражений позволяет
существенно упростить вычислительный процесс.

Библиографический список

Иванцов О.В. Границы минимального кодового расстояния для блоковой длины

сегмента двоичного кода превышающей половину длины М-последовательности /
О.В. Иванцов, В.М. Радыгин, П.В. Бочков // Известия Юго-Западного государственного
университета. Серия «Управление, вычислительная техника, информатика,
медицинское приборостроение». Курск: Изд-во ФГБОУ ВО «ЮЗГУ». 2017. Вып. № 1
(22). Т. 7. С. 6–14.
Пат. РФ № 2553089 (RU 2553089 C2), (51) МПК Н04L 7/02 (2006.01).
Устройство синхронизации рекуррентной последовательностью с функцией выделения
зачетных импульсов в скользящем окне / О.В. Иванцов, Д.Е. Горохов, О.В. Романюк,
Н.В. Богринцев, Я.Ю. Стрелков; заявл. 22.04.2013; опубл. 10.06.2015, Бюл.№ 16.
Пат. РФ № 2580806 (RU 2580806 C2), (51) МПК Н04W 8/20 (2009.01).
Устройство синхронизации на основе комбинированного применения двойственного
базиса GF(2k) и выделения скользящего окна с ошибками / О.В. Иванцов, Д.Е. Горохов,
Н.В. Богринцев, И.А. Селихов, Ю.Е. Тарасов; заявл. 19.05.2014; опубл. 10.04.2016,
Бюл.№ 10.
Пат. РФ № 2568320 (RU 2568320 C1), (51) МПК Н03М 13/01 (2006.01), H04L
7/00 (2006.01). Способ кодирования информации отрезками линейных рекуррентных
последовательностей / О.В. Иванцов, Д.Е. Горохов, В.М. Радыгин, Д.В. Татаринов,
А.В. Анисимов; заявл. 19.05.2014; опубл. 20.11.2015, Бюл.№ 32.
Саитов И.А., Иванцов О.В. Границы минимального кодового расстояния для
некоторой блоковой длины сегмента двоичного кода линейной рекуррентной
последовательности // Труды СПИИРАН – Санкт-Петербургского института
информатики и автоматизации Российской академии наук (науч. журнал). СПб.:
ФГБУН «СПИИРАН», 2014. Вып. 4(35). С. 15–32.