12. Оптимальные и асимптотически оптимальные ансамбли дискретных сигнатур

12.1. Частотно-сдвинутые бинарные m-последовательности

12.2. Ансамбли последовательностей Голда

12.3. Множества Касами и их расширения

12.4. Ансамбли Камалетдинова

Известен единственный нетривиальный пример ансамбля сигнатур, корреляционный пик которого строго удовлетворяет границе Велча – ансамбль кубичных вычетов. Однако данный ансамбль представляет скорее теоретический, чем практический интерес, поскольку свидетельствует только об обоснованности представленной границы.

С другой стороны, список известных асимптотически оптимальных ансамблей достаточно представителен. Среди других он включает множество кодов, которое, в отличие многофазных кодов с идеальной ПАКФ, может иметь и практическую значимость. Одной из причин этому служит тот факт, что объем алфавита этих ансамблей фиксирован и не возрастает с увеличением длины N. Так например, существуют ансамбли с трехфазным алфавитом длины , состоящие из blank сигнатур и обладающие величиной корреляционного пика, стремящегося к границе Велча при blank

blank

Ниже ограничимся лишь кратким обсуждением тех из них, которые либо нашли широкое практическое применение, либо особо показательны на фоне остальных.

12.1. Частотно-сдвинутые бинарные m-последовательности

Возьмем бинарную blank m-последовательность blank периода blank и используем ее в качестве сигнатуры для первого пользователя. Сформируем остальные blank сигнатур посимвольным умножением blank на дискретные гармоники частот blank:

blank.

Тогда квадрат модуля периодической ВКФ k-й и l-й последовательностей

blank.

Рассмотрим вначале случай blank, т.е. blank. Тогда, если blank, то получаем основной лепесток АКФ k-й сигнатуры, т.е. blank. Если же blank, то сумма в выражении для ВКФ есть сумма всех корней из единицы степени N и, значит, равна нулю.

Пусть теперь blank. Тогда, согласно свойству сдвига и сложения m-последовательностей, blank для некоторого t, и квадрат модуля ВКФ

blank,

что оказывается blank-й компонентой энергетического ДПФ-спектра последовательности blank. Поскольку энергетический спектр последовательности blank есть ДПФ от ее периодической АКФ, а последняя равна –1 для любого ненулевого сдвига blank и blank при blank, то

blank.

Последняя сумма отличается от нуля и равна N только при blank, так что, сводя вместе все полученные результаты и переходя к нормированным корреляциям, имеем

blank

Отсюда видно, что корреляционный пик ансамбля

blank,

т.е. практически совпадает с границей Велча. Таким образом, рассматриваемый ансамбль является асимптотически оптимальным и эффективным образом реализует асинхронную схему CDMA.

Одним из его достоинств в сравнении с другими многофазными ансамблями является возможность генерирования сигнатур простым сдвигом несущей частоты. Действительно, сдвиг несущей blank на blank эквивалентен линейному приращению фазы между последовательными чипами на blank, что в точности совпадает с предписанием правила формирования ансамбля.

Очевидно, что осуществление сдвига частоты не составляет значительной проблемы для современной электроники. Блестящим подтверждением этому служит использование указанного ансамбля в российской глобальной навигационной системе космического базирования ГЛОНАСС, в которой для организации дальномерного канала пониженной точности применяются кодовые сигнатуры данного вида длины blank с длительностью чипа 2 мксек.

Хотя известно достаточно много и других многофазных минимаксных ансамблей, бинарные blank семейства традиционно считаются приоритетными в плане технологической привлекательности, поэтому остальная часть раздела посвящается некоторым важным примерам ансамблей бинарных сигнатур.

12.2. Ансамбли последовательностей Голда

Метод построения последовательностей Голда основывается на использовании бинарных blank последовательностей максимальной длины. Пусть имеется бинарная blank–последовательность blank длины blank. Путем децимации blank с индексом blank вида

blank

построим последовательность blank с таким же периодом blank. Децимация означает выбор каждого blank-го символа последовательности blank и запись выбранных символов друг за другом, так что blank. Сформируем ансамбль из K сигнатур следующим образом

blank

где blank. Выражая это словесно, строим blank сигнатур посимвольным перемножением blank на циклические копии blank, а в качестве еще двух сигнатур берем сами исходные blank-последовательности. В итоге имеем всего blank сигнатур. На практике традиционно бинарные blank blank-последовательности формируются сначала в алфавите blank, т.е. над полем blank с помощью РСЛОС, с последующим отображением элементов blank на вещественную пару blank. Поэтому удобна реализация правила конструирования ансамбля с помощью двух blank-разрядных РСЛОС, генерирующих blank предшественники blank и blank последовательностей blank и blank. Тогда, взамен умножения blank на blank, можно просуммировать предшественники по модулю 2 с последующим отображением результата на множество blank: blank. Следующий рисунок иллюстрирует практическое воплощение конструкции Голда в описанном варианте.

blank

Оценка корреляционного пика ансамбля Голда приводит к следующему результату

blank

Как видно, при любом нечетном значении памяти n ансамбли сигнатур Голда асимптотически blank близки к нижней границе Сидельникова, т.е. оптимальны, тогда как при четном n, не кратном четырем, их проигрыш в уровне blank по отношению к граничному составляет около 3 дБ. Следует отметить, что при blank ансамбль Голда также существует с тем же значением корреляционного пика, как и при blank, но с числом последовательностей на одну меньше.

Ансамбли Голда пользуются исключительной популярностью в современных CDMA системах. Достаточно сказать, что они используются в глобальной спутниковой навигационной системе GPS для разделения сигналов космических аппаратов, в 3G системе мобильной связи стандарта WCDMA для скремблирования CDMA кодов и т.п.

Пример 12.2.1. Построим последовательности Голда длины blank. Ансамбль столь малой длины практически бесполезен, однако помогает в иллюстрации идеи конструкции. Начнем с бинарной blank m-последовательности, впервые встретившейся в примере 8.3.1: blank. Индекс децимации blank удовлетворяет оговоренным условиям. В результате децимации имеем последовательность blank. Посимвольное суммирование blank и blank по модулю два дает последовательность blank, которая после отображения на алфавит blank превращается в первую последовательность Голда blank. Сдвиг blank вправо на одну позицию и сложение по модулю 2 с blank дает последовательность blank, которая после перехода к символам blank становится второй последовательностью Голда blank. Еще пять последовательностей Голда получаются в результате дальнейших сдвигов blank, сложения по модулю 2 с blank и изменения символов на blank. Совместно с blank и blank, преобразованными к алфавиту blank, имеем blank последовательностей всего. Проверка оптимальности корреляционного пика в этом простейшем случае не имеет особого смысла, поскольку заранее ясно, что при blank ненормированная периодическая корреляция (кроме основного лепестка АКФ) не может превзойти значения 5.

12.3. Множества Касами и их расширения

Конструкция Касами в принципиальном плане весьма близка к описанной выше конструкции Голда. Выполним децимацию бинарной blank m-последовательности blank четной памяти blank с индексом blank. Очевидно, это значение d не взаимно просто с периодом blank последовательности blank, так что полученная последовательность blank имеет период, являющийся делителем N. Можно показать, что если blank инициализирована так, что blank, то «короткая» последовательность blank окажется бинарной m-последовательностью периода blank.

blank

В данной схеме blank сигнатур Касами длины N образуются посимвольным перемножением исходной «длинной» m-последовательности blank с blank различными циклическими копиями blank, а еще одной сигнатурой служит сама длинная последовательность, так что:

blank

где blank. Таким образом, имеется всего blank таких сигнатур периода N. Разумеется, вновь умножение blank последовательностей blank, blank можно выполнить как сложение по модулю 2 их blank предшественников blank, blank, но в отличие от ансамбля Голда для формирования короткой последовательности blank требуется РСЛОС вдвое меньшей длины blank (см. рисунок на следующем слайде).

Ансамбль Касами также обладает минимаксными свойствами

blank.

Сравнение двух бинарных ансамблей показывает значительный (6 дБ) выигрыш множеств Касами в уровне корреляционного пика у ансамблей Голда той же длины в обмен на значительно меньшее (в blank раз) числа сигнатур K.

Следует отметить, что для бинарных сигнатур границы корреляционного пика можно несколько уточнить, учтя, что их ненормированные корреляции принимают только целочисленные значения. В результате выясняется, что как ансамбли Голда с нечетной памятью, так и ансамбли Касами строго (а не только асимптотически) оптимальны по уровню корреляционного пика среди всех бинарных сигнатурных ансамблей.

Пример 12.3.1. Построим ансамбль Касами длины blank blank. Начнем с бинарной blank m-последовательности blank длины blank на основе примитивного полинома blank с начальным состоянием РСЛОС blank. Имеем blank. Децимация этой последовательности с индексом blank дает m-последовательность периода три blank. Сумма по модулю 2 последовательности blank с тремя сдвинутыми копиями blank после перехода к алфавиту blank образует первые три сигнатуры Касами:

blank,

blank,

blank.

Четвертой служит blank после преобразования символов в blank: blank. Непосредственная проверка показывает, что все их ненормированные ВКФ, как и боковые лепестки ненормированных АКФ первых трех последовательностей, принимают лишь значения –5 и 3, так что blank.

Сравнительно малое число сигнатур в обсуждаемом множестве придает особую важность найденному Б. Ж. Камалетдиновым элегантному методу почти двукратного расширения ансамбля Касами без ухудшения корреляционного пика. Пусть n кратно 4: blank, где r – целое, так что blank. При такой длине blank в дополнение к множеству Касами существует и другой бинарный ансамбль того же объема blank, называемый ансамблем бент-последовательностей и обладающий тем же минимаксным свойством blank. В самых общих чертах построение бент-последовательностей вновь состоит в посимвольном перемножении двух исходных последовательностей: «длинной» m-последовательности периода blank и некоторой специальной последовательности, базирующейся на так называемой бент-функции. Детали такой конструкции достаточно замысловаты и здесь не обсуждаются, однако принципиальным является то, что нормированная ВКФ любой бент-последовательности с любой из первых blank последовательностей Касами по абсолютной величине не превосходит корреляционного пика ансамблей Касами и бент-последовательностей. В итоге можно составить ансамбль, включающий blank последовательностей Касами и blank бент-последовательностей и обладающий прежним значением корреляционного пика blank. Полученный таким образом ансамбль уникален в том смысле, что среди всех известных бинарных ансамблей с корреляционным пиком blank только он содержит наибольшее число сигнатур blank.

12.4. Ансамбли Камалетдинова

Известны и другие бинарные минимаксные ансамбли, нередко отличающиеся от рассмотренных лишь тонкой структурой последовательностей, но не значениями длины N, объема K и корреляционного максимума blank. На этом фоне заслуживают особого интереса ансамбли, открытые Б. Ж. Камалетдиновым и существующие для длин, отличных от длин ансамблей Голда и Касами.

Чтобы нагляднее описать идею, остановимся на несколько суженной версии конструкций Камалетдинова, что, однако, не сопряжено с какими-либо изъятиями в части охватываемых длин или достижимых параметров. В первой схеме Камалетдинова возьмем простое нечетное blank вида blank и расширим определение двузначного характера blank из раздела 8.4 на нулевой элемент blank, положив blank (blank приведет к тому же конечному результату). Отождествим номер blank символа в последовательности с элементом поля blank, оперируя с ним по модулю p, и образуем blank p-ичных последовательностей blank над blank (т.е. с элементами из этого поля) по правилу:

blank

где вся арифметика соответствует правиламblank, blank – примитивный элемент blank и blank. Можно заметить, что каждая последовательность образована суммированием последовательностей с взаимно простыми периодами p и p–1 blank и, следовательно, ее период blank. Отобразим теперь данные последовательности на бинарный алфавит blank, используя введенное расширение двузначного характера

blank.

Полученный таким образом ансамбль бинарных сигнатур имеет параметры

blank.

Длину N можно сделать достаточно большой выбором blank blank, имея blank и blank, что после сравнения с границей свидетельствует об оптимальности (по меньшей мере, асимптотической) ансамбля по уровню корреляционного пика.

Пример 12.4.1. Пусть blank. Прямая проверка подтверждает, что элемент blank примитивен в blank. Тогда последовательности blank и blank вида blank и blank соответственно обе имеют период blank. Комбинирование их по модулю 7 с последовательностью blank периода 7, предписываемое (7.57), дает blank семеричных последовательностей периода blank. Первая из них, например, blank blank. Замена семеричных элементов их расширенными характерами согласно правилу blank и blank преобразует последовательности в 8 бинарных сигнатур, например, blank blank.

Вторая схема Камалетдинова использует как основу p-ичную blank линейную последовательность blank, полученную децимацией с индексом blank сдвигов blank p-ичной m-последовательности blank памяти blank, т.е. длины blank. Поскольку d делит blank, то последовательность blank имеет период blank. Теперь построим blank последовательностей над blank

blank

и отобразим их на бинарный алфавит blank, используя введенное расширение двузначного характера. В результате получим ансамбль бинарных сигнатур с параметрами

blank.

Вновь при больших длинах blank отношение blank и blank, подтверждая оптимальность (по меньшей мере, асимптотическую) и этого ансамбля.

Пример 12.4.1. В данном случае отсутствует запрет на blank и blank-ичная m-последовательность blank памяти blank и длины blank может быть сформирована с помощью примитивного полинома над blank второй степени blank, или, эквивалентно, с помощью рекурсии blank. При начальном состоянии РСЛОС blank последовательность blank. Децимация ее сдвигов с индексом blank, дает две последовательности периода 4: blank и blank. После посимвольного сложения с последовательностью blank получатся blank последовательностей периода blank: blank и blank. Последний шаг, состоящий в замене их элементов расширенными характерами blank, blank, приведет к ансамблю Камалетдинова из двух бинарных последовательностей длины blank: blank и blank. Найти их АКФ и ВКФ можно вручную, убедившись в итоге в справедливости равенства blank.

Подпись: Ансамбль Длина Объем Квадрат максимума корреляции Голд Касами Объединение Касами и бентпоследовательностей Камалетдинов 1 Камалетдинов 2

Резюмируем итоги предпринятого анализа в форме таблицы, представляющей длину (с перечислением всех длин существующих ансамблей в диапазоне blank), число сигнатур и квадрат максимума корреляции бинарных сигнатурных ансамблей. Таблица весьма выразительно демонстрирует весомость конструкций Камалетдинова: в оговоренном интервале они добавляют 11 новых длин к тем восьми, для которых существуют ансамбли Голда и Касами.

To top