CC BY
89
УДК 621.391
ОБОБЩЕННОЕ ПРАВИЛО КОДИРОВАНИЯ ПЕРИОДИЧЕСКИХ ПОСЛЕДОВАТЕЛЬНОСТЕЙ
НАД РАСШИРЕННЫМИ ПОЛЯМИ ГАЛУА
М.В.Залешин, В.Е.Гантмахер
GENERALIZED CODING RULE OF PERIODIC SEQUENCES OVER EXTENDED GALOIS FIELDS
M.V.Zaleshin, V.E.Gantmakher
Институт электронных и информационных систем НовГУ, [email protected]
Построено обобщенное правило кодирования периодических последовательностей над полями Галуа произвольного расширения. В качестве базовой циклической структуры применяются M-последовательности. Полученное правило кодирования обладает высокой универсальностью, которая достигается широким выбором параметров, включая алфавит и период формируемых последовательностей.
Ключевые слова: обобщенное правило кодирования, расширенное поле Галуа, M-последовательность, периодическая последовательность
The generalized coding rule of periodic sequences over Galois fields of arbitrary extension is constructed. M-sequences are used as a basic cyclic structure. The obtained coding rule is highly multipurpose which is achieved by a wide variety of parameters including alphabet and period of generated sequences.
Keywords: generalized coding rule, extended Galois field, M-sequence, periodic sequence
1. Введение
Одно из главных направлений развития современных информационных технологий лежит в сфере широкополосных систем связи, локации, навигации, сотовых, волоконно-оптических, спутниковых и других информационных комплексов. Базовым элементом таких систем являются бинарные, двоичные, троичные, Р-ичные, многофазные и псевдослучайные периодические последовательности.
Вопросам формирования последовательностей и изучению их свойств посвящено большое количество фундаментальных исследований отечественных [14] и зарубежных [5-8] авторов. Регулярно проводится всемирный форум «Sequences and Their Applications».
Отметим некоторые известные семейства последовательностей:
— последовательности Ипатова [9]. Формируются над троичным алфавитом на основе M-последо-вательностей и обладают идеальной периодической автокорреляционной функцией (ПАКФ) с пик-фактором, близким к единице;
— семейства многофазных последовательностей. Например, последовательности Чу [10], Милев-ского [11], Ли [12] и Люка [13], которые имеют низкий уровень боковых лепестков ПАКФ. Также несколько новых правил кодирования многофазных последовательностей предложено в работах Кренгеля [14];
— последовательности Лежандра [15]. Определяются классами квадратичных вычетов над простыми полями Галуа и имеют одноуровневую ПАКФ со значением бокового лепестка, равным -1;
— в [16] разработаны алгоритмы формирования ансамблей квазиортогональных последовательностей с идеальной ПАКФ.
Несмотря на значительное число научных работ, объектом исследования которых выступают периодические последовательности, актуальной остается задача разработки обобщенных правил кодирования (ОПК). Такие правила кодирования позволяют строить универсальные устройства формирования больших массивов периодических последовательностей, отличающихся алфавитом, периодом, структурой, корреляционными и другими свойствами. Подобные устройства необходимы для многофункциональных адаптивных комплексов различного назначения. В теоретическом плане ОПК позволяют систематизировать известные семейства последовательностей с различными свойствами, что особенно важно при синтезе последовательностей с заданным набором свойств.
По способу формирования большинство последовательностей можно разделить на две группы. Первая группа последовательностей определяется над простыми полями Галуа, вторая — над расширенными. Для простых полей Галуа крайне результативными являются ОПК, основанные на классах степенных вычетов и цик-лотомических числах [17,18]. Однако в общем случае распространить это ОПК на расширенные поля Галуа не представляется возможным из-за сложности расчета соответствующих циклотомических чисел. С другой стороны, определение ОПК на основе циклической
структуры М-последовательностей над расширенными полями Галуа представляется исключительно актуальной задачей.
Таким образом, целью настоящей работы является построение ОПК периодических последовательностей над расширенными полями Галуа на основе М-последовательностей.
2. Общие положения
Пусть дано расширенное поле Галуа GF{ут),
где у = р" — характеристика поля, р — простое число, а 5 и т - натуральные числа. Выбор кратности расширения поля не ограничен.
Соответствующую М-последовательность периода L = цт -1 над GF{ут) обозначим {йп}. Выполним разложение {й^} на у двоичных последовательностей (ДП), поставив их в соответствие каждому элементу поля GF{у). Так, для последовательности, отвечающей элементу ц е GF{q), единица ставится на тех позициях п, для которых соответствующий элемент М-последовательности {й^} равен ц, и нуль в остальных случаях.
Пусть 6 — первообразный элемент поля GF{у). Любой ненулевой элемент этого поля выражается через первообразный как 6Г. Всего таких элементов Т = у -1. Каждому элементу 6Г поставим в соответствие ДП, как было описано выше:
х(г) = I1, если йп = 6;
п [0, в противном случае.
Индекс г принимает значения от нуля до Т -1. А период всех {хПг)} совпадает с периодом М-последовательности {йп}, т. е. равен L .
С другой стороны, для нулевого элемента поля GF{у) получаем:
11, если й = 0;
5п = 1 п
п [0, в противном случае.
По свойствам М-последовательностей [19] ДП {5п} имеет период к = ЦТ .
Определение 1. ДП {хПг)} и {5п} назовем структурными последовательностями (СП). Они отражают структуру М-последовательности.
В силу свойств расширенных полей Галуа [1,5,17] имеют место следующие свойства СП:
Свойство 1. Для произвольной СП {хПг)} справедливо равенство: х<(Т'_^кк = хП к).
Свойство 2. Для произвольной СП {хПг)}
спра-
(г-Т) (г)
ведливо равенство: хКп - ху .
3. Обобщенное правило кодирования
Построим ОПК, поставив в соответствие каждой СП некоторый символ. Для достижения большей универсальности используем комплексный алфавит.
у =у 2х(г) + ре.
1 п / 1 г п ' ~п
(1)
СП {хПг)}, отвечающей элементу 0г из GF(д), соответствует комплексный символ 2г. СП {|п}, которая определяется нулевым элементом GF(д), в соответствие ставится комплексное число Р . То есть (1) эквивалентно следующей формуле:
у = Я, если ап = 0г;
п [ Р, в противном случае.
На основе символов 2г сформируем последовательность { } периода р, который должен делить Т = д -1 без остатка.
Определение 2. Назовем {2} моделирующей
последовательностью (МП).
Чтобы расширить функциональные возможности формирования последовательностей, введем вспомогательный коэффициент а, являющийся в общем случае комплексным числом. Такой, что а = 1, а последовательность {хп}= (а0,а\...) имеет период, делящий h = L|T без остатка. Окончательно ОПК принимает вид:
ГТ -1 Л
у = апу = ап
пп
У
V г=0
2 Х(Г) +Р
= ап К, если ^ =0
(2)
Р, в противном случае.
Определение 3. Последовательность {уп}, формируемую с помощью ОПК (2), назовем обобщенной последовательностью (ОП).
Таким образом, ОПК (2) определяется следующими параметрами:
1) характеристикой и степенями расширения поля Галуа, над которым строится множество СП;
2) алфавитом. В общем случае ОПК определено над комплексным алфавитом, следовательно, допустимы любые его частные случаи. Это позволяет формировать большинство известных семейств последовательностей;
3) моделирующей последовательностью. Оказывает влияние на вид и свойства формируемой ОП;
4) коэффициентами а и Р. Параметр Р позволяет снизить уровень бокового лепестка периодической корреляционной функции, а а — изменить период формируемой ОП.
Оценим период ОП {уп}, определяемой ОПК (2). п
Теорема 1. Период ОП {уп}, которая соответствует МП } периода р, равен или делит рh без остатка.
Доказательство. Достаточно показать, что Уп+рИ = Уп. Поскольку уп = апуп, то необходимо установить истинность равенства аn+рhуn+рh = апуп . По
построению период последовательности {хп} делит
И без остатка. Следовательно, ап+рИ = ап По формуле (1) имеем:
Т-1
у \ 12 Х(г) +
1 п+рИ / : - 1
г п+рИ ' ^п+рИ '
г=0
СП {|п} имеет период И = L|T , следовательно, 5 ^ = 5 . Осталось показать, что
~п+рИ ~п '
У 2х(Г)И =У 2Х<Г). / / г п+рИ / , г п
г=0 г=0
По свойству 1 имеем:
Т-1 Т-1 Т -1
У х(г) = у х(г-р) = у 2
/ 1 г п+рИ / 1 г п / 1 I
X
г-р п
(г-р) =
г=0 г=0
Т -1-р -1
г=0
Т-1-р
= У 2х|>) = У 2х|>) + У 2х(У).
/ : V п / : V п / : V п
v=-р v=-р v=0
В первой сумме произведем замену п = Т + V и воспользуемся свойством 2, а также условием периодичности МП:
Т-1 Т-1
(п-Т) = у _ х(п)
Г Л --/ ¿г Л
п / 1 п п
п=Т-р п=Т-р
У 2Х1>) = У 2 ТХ(М-Т) = У
/ 1 V п / 1 п-Т п / 1 .....
х(г).
г п
V=-р
Тогда окончательно:
Т-1 Т-1 Т-1-р Т-1
У 2Х(г) , = У 2 Х(п) + У =У 2
/ : г п + РИ / : П п / : V п / : г
г = 0 п=Т-р V=0 г=0
То есть равенство уп+рИ = уп выполняется. Отсюда вытекает истинность уп+рИ = уп. Теорема доказана.
4. Апробация ОПК
Чтобы продемонстрировать универсальность ОПК (2), приведем несколько примеров. Покажем, что многие известные последовательности являются частным случаем ОП при конкретных значениях параметров ОПК.
Теорема 2. ОП, формируемая на основе расширенного поля Галуа GF(з2), вырожденной МП {2 }=(+) периода р = 1, коэффициентов а = 1 и Р = -1 над бинарным алфавитом, совпадает с бинарной последовательностью (БП) (+,-,+,+) (с точностью до эквивалентных преобразований, см. [20]), которая имеет идеальную ПАКФ.
Доказательство. М-последовательность {я?п}
над GF(з2) имеет период Ь = 8 и для примитивного многочлена f (х) = 2 + х + х2 принимает вид: (1,0,1,1,2,0,2,2). Поскольку первообразный элемент 0 поля GF(3) равен двум, то получаем следующее множество СП:
— элементу 00 = 1 отвечает {х^э)} = (1,0,1,1,0,0,0,0);
— элементу 01 = 2 отвечает {х^13} = (0,0,0,0,1,0,1,1);
— нулевому элементу поля GF(3) отвечает
и=(0,1,0,0).
п
Подстановка параметров в ОПК дает:
Н == 1п[+ Ё кг)}- и] = +{1,0,1,1,0,0,0,0)+
V г=0
+ {0,0,0,0,1,0,1,1) - {0,1,0,0) = {+,-,+,+,+,-,+,+) = {+,-,+,+) .
Что и требовалось показать.
Теорема 3. ОП, формируемые над расширенными полями Галуа GF{з3) и GF^[22 на основе
МП {рг }={+) периода р = 1 и коэффициентов а = 1 и р = -1, соответствуют БП {+,-,+,+,+) и {+,-,-,+,+,+,-,+,+,+,+,+,-) (или их равносильным преобразованиям, см. [21]), которые обладают одноуровневыми ПАКФ со значением бокового лепестка, равным единице.
Те же параметры ОПК используются выше при формировании БП {+,-,+,+). Доказательство заключается в простой подстановке значений параметров в ОПК и полностью аналогично доказательству теоремы 2.
Схожему набору параметров (МП {+), а = 1 и
Р = -1) над расширенным полем Галуа GF{2т) соответствует семейство БП с одноуровневой ПАКФ и боковым лепестком, равным -1.
Теорема 4. ОП, формируемые на основе расширенного поля Галуа GF{ут) с нечетной характеристикой и степенью расширения, МП {р }={+,-) периода р = 2, коэффициентов а = -1 и р = 0, эквивалентны ТП Ипатова [9] с идеальной ПАКФ.
Доказательство. Последовательности Ипато-ва определяются следующим правилом кодирования:
y = 1й
У n
cn =("1)И
1, если dn - квадратичный вычет; -1, если d - квадратичный невычет;
0, в противном случае.
Подстановка параметров, указанных в формулировке теоремы, в ОПК приводит к эквивалентной формуле. Теорема доказана.
Теорема 5. ОП, формируемые на основе расширенного поля Галуа GF{рт), где р — простое число; МП {р}= {бг} периода р = Т -1 = р - 2 и коэффициентов а = 1 и р = 0 , равносильны с точностью до циклического сдвига соответствующим М-последовательностям над GF {рт).
Доказательство этого утверждения вытекает из определения ОПК.
Теорема 6. ОП, формируемые над расширенным полем Галуа GF{рт), где р — простое число,
на
основе МП {zr }=<!exp
Г _ 0Л
2 т— Р
периода
р = Т -1 = р - 2 и коэффициентов а = 1 и р = 1, совпадают с некоторыми многофазными последовательностями Люка [13].
Доказательство. На основании формулы (2) правило кодирования принимает вид:
8Г
2т —, если d =Qr; p n
( d \ = expl 2m — I.
I Р J
1, в противном случае.
Сформированная последовательность {уп} относится к последовательностям Люка 1-го типа. Что и требовалось показать.
5. Заключение
Предложено обобщенное правило кодирования периодических последовательностей, которое позволяет формировать практически все известные семейства последовательностей над расширенными полями Галуа. Универсальность ОПК достигается широким выбором параметров:
— характеристикой, степенями и кратностью расширения поля Галуа;
— алфавитом;
— моделирующей последовательностью;
— периодом формируемых последовательностей.
Достоверность работы и практическая реализуемость ОПК проверены на компьютерной модели. Универсальность ОПК проиллюстрирована на многочисленных примерах.
1. Свердлик М.Б. Оптимальные дискретные сигналы. М.: Сов. радио, 1975. 200 с.
2. Тихонов В.И. Статистическая радиотехника. М.: Радио и связь, 1982. 624 с.
3. Тузов Г.И. Статистическая теория приема сложных сигналов. М.: Сов. радио, 1977. 400 с.
4. Ипатов В.П. Периодические дискретные сигналы с оптимальными корреляционными свойствами. М.: Радио и связь, 1992. 152 с.
5. Холл М. Комбинаторика. М.: Мир, 1970. 375 с.
6. Голомб С.У., Тейлор Х. Конструкции и свойства массивов Костата // ТИИ-ЭР. 1984. Т.72. №9. С.44-64.
7. Хаффмен Д. Синтез линейных цепей последовательного декодирования // Теория передачи сообщений. Изд-во иностранной литературы, 1957. 128 с.
8. Касами Т. и др. Теория кодирования. М.: Мир, 1978. 576 с.
9. Ипатов В.П. Широкополосные сигналы. N.Y.: Wiley, 2004. 373 c.
10. Chu D. Polyphase codes with good periodic correlation properties // IEEE Information Theory. 1972. V.18. №4. P.531-532.
11. Milewsky A. Periodic sequences with optimal properties for channel estimation and fast start-up equalization // IBM J. Res.Develop. 1983. V.27. №5. P.426-431.
12. Lee C.E. Perfect q-ary sequences from multiplicative characters over GF(p) // Electron. Lett. 1992. V.28. P.833-835.
13. Luke H.D. BTP-transform and perfect sequences with small phase alphabet // IEEE Transactions Aerosp. Syst. 1996. V.32. P.497-499.
14. Krengel E.I. Some constructions of almost-perfect, odd-perfect and perfect polyphase and almost-polyphase sequences // SETA. 2010. V.6338. P.387-398.
15. Кренгель Е.И. Новые идеальные 4- и 8-фазные последовательности с нулями // Радиотехника. 2007. №5. С.3-8.
16. Леухин А.Н., Тюкаев А.Ю., Парсаев Н.В., Корнилова Л.Г. Ансамбли квазиортогональных многофазных последовательностей с идеальной периодической автокорреляционной функцией // Известия вузов России. Радиоэлектроника. 2009. №6. С.36-43.
17. Гантмахер В.Е, Быстров Н.Е., Чеботарев Д.В. Шумопо-добные сигналы. СПб: НиТ, 2005. 396 c.
18. Едемский В.А, Гантмахер В.Е. Синтез двоичных и троичных последовательностей с заданными ограничениями на их характеристики. В.Новгород: НовГУ, 2009. 189 с.
19. Цирлер Н. Линейные возвратные последовательности // Кибернетический сборник. 1963. С.55-79.
20. Schmidt B. Cyclotomic integers and finite geometry // J. Am. Math. Soc. 1999. V.12. P.929-952.
21. Eliahou S., Kervaire M. Barker sequences and difference sets // L'Enseignement Math. 1992. V.38. P.345-382.
Bibliography (Transliterated)
1. Sverdlik M.B. Optimal'nye diskretnye signaly. M.: Sov. radio, 1975. 200 s.
2. Tikhonov V.I. Statisticheskaia radiotekhnika. M.: Radio i sviaz', 1982. 624 s.
3. Tuzov G.I. Statisticheskaia teoriia priema slozhnykh sig-nalov. M.: Sov. radio, 1977. 400 s.
4. Ipatov V.P. Periodicheskie diskretnye signaly s opti-mal'nymi korreliatsionnymi svoistvami. M.: Radio i sviaz', 1992. 152 s.
5. Kholl M. Kombinatorika. M.: Mir, 1970. 375 s.
6. Golomb S.U., Teilor Kh. Konstruktsii i svoistva massivov Kostata // TII-ER. 1984. T.72. №№9. S.44-64.
7. Khaffmen D. Sintez lineinykh tsepei posledovatel'nogo de-kodirovaniia // Teoriia peredachi soobshchenii. Izd-vo inostrannoi literatury, 1957. 128 s.
8. Kasami T. i dr. Teoriia kodirovaniia. M.: Mir, 1978. 576 s.
9. Ipatov V.P. Shirokopolosnye signaly. NY: Wiley, 2004. 373 s.
10. Chu D. Polyphase codes with good periodic correlation properties // IEEE Information Theory. 1972. V.18. №4. P.531-532.
11. Milewsky A. Periodic sequences with optimal properties for channel estimation and fast start-up equalization // IBM J. Res.Develop. 1983. V.27. №5. P.426-431.
12. Lee C.E. Perfect q-ary sequences from multiplicative characters over GF(p) // Electron. Lett. 1992. V.28. P.833-835.
13. Luke H.D. BTP-transform and perfect sequences with small phase alphabet // IEEE Transactions Aerosp. Syst. 1996. V.32. P.497-499.
14. Krengel E.I. Some constructions of almost-perfect, odd-perfect and perfect polyphase and almost-polyphase sequences // SETA. 2010. V.6338. P.387-398.
15. Krengel' E.I. Novye ideal'nye 4- i 8-faznye posledo-vatel'nosti s nuliami // Radiotekhnika. 2007. №5. S.3-8.
16. Leukhin A.N., Tiukaev A.Iu., Parsaev N.V., Kornilova L.G. Ansambli kvaziortogonal'nykh mnogofaznykh posle-dovatel'nostei s ideal'noi periodicheskoi avtokorreliatsionnoi funktsiei 11 Izvestiia vuzov Rossii. Radioelektronika. 2009. №6. S.36-43.
17. Gantmakher V.E, Bystrov N.E., Chebotarev D.V. Shumopo-dobnye signaly. SPb: NiT, 2005. 396 c.
18. Edemskii V.A, Gantmakher V.E. Sintez dvoichnykh i tro-ichnykh posledovatel'nostei s zadannymi ogranicheniiami na ikh kharakteristiki. V.Novgorod: NovGU, 2009. 189 s.
19. Tsirler N. Lineinye vozvratnye posledovatel'nosti // Kiber-neticheskii sbornik. 1963. S.55-79.
20. Schmidt B. Cyclotomic integers and finite geometry // J. Am. Math. Soc. 1999. V.12. P.929-952.
21. Eliahou S., Kervaire M. Barker sequences and difference sets // L'Enseignement Math. 1992. V.38. P.345-382.
