Научная статья на тему 'Условия ортогональности обобщенных базисов Вейля-Гейзенберга для OFTDM сигналов'

Условия ортогональности обобщенных базисов Вейля-Гейзенберга для OFTDM сигналов Текст научной статьи по специальности «Математика»

CC BY
315
82
i Надоели баннеры? Вы всегда можете отключить рекламу.
Область наук
Ключевые слова
КРИТЕРИЙ НАЙКВИСТА / ОРТОГОНАЛИЗАЦИЯ / OFTDM

Аннотация научной статьи по математике, автор научной работы — Волчков В. П., Петров Д. А.

В статье рассматриваются технология передачи информации с ортогональным частотно-временным мультиплексированием (OFTDM). OFTDM сигнал формируется при помощи ортогонального обобщенного базиса Вейля-Гейзенберга, обладающего хорошей частотно-временной локализацией. Для этого базиса доказываются условия ортогональности, критерий и теорема Найквиста, которые гарантируют отсутствие межканальной и межсимвольной интерференции сигнала в гауссовских каналах. На основе этих критериев предложен вычислительно-эффективный метод ортогонализации на основе быстрого преобразования Фурье.

i Надоели баннеры? Вы всегда можете отключить рекламу.
iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.
i Надоели баннеры? Вы всегда можете отключить рекламу.

Текст научной работы на тему «Условия ортогональности обобщенных базисов Вейля-Гейзенберга для OFTDM сигналов»

УДК 519.6

УСЛОВИЯ ОРТОГОНАЛЬНОСТИ ОБОБЩЕННЫХ БАЗИСОВ ВЕЙЛЯ-ГЕЙЗЕНБЕРГА

ДЛЯ OFTDM СИГНАЛОВ

В. П. ВОЛЧКОВ 11 Д. А. ПЕТРОВ 2)

1) Московский технический университет связи и информатики

e-mail:

volchkovvalery@mail.ru

2) Московский государственный университет

им. М.В. Ломоносова

В статье рассматриваются технология передачи информации с ортогональным частотно-временным мультиплексированием

(OFTDM). OFTDM сигнал формируется при помощи ортогонального обобщенного базиса Вейля-Гейзенберга, обладающего хорошей частотно-временной локализацией. Для этого базиса доказываются условия ортогональности, критерий и теорема Найквиста, которые гарантируют отсутствие межканальной и межсимвольной интерференции сигнала в гауссовских каналах. На основе этих критериев предложен вычислительно-эффективный метод ортогонализации на основе быстрого преобразования Фурье.

Ключевые слова: OFTDM, критерий Найквиста, ортогонализация.

e-mail: dapetroff@gmail.com

В настоящее время одной из наиболее распространенных технологий, лежащих в основе передачи информации, как по проводным, так и по беспроводным каналам, является ортогональное частотное мультиплексирование (Orthogonal Frequency Division Multiplexing или OFDM). Структура и свойства OFDM сигнала определяются собственным конечномерным базисом, из которого он формируется, как некоторая линейная комбинация базисных функций. Коэффициенты линейной комбинации (модулирующие символы) могут быть вещественными или комплексными и определяются выбранным сигнальным созвездием (например, QAM, PSK, и др.).

Однако, прямоугольная форма формирующего импульса, характерная для классических OFDM систем [1, 2], не является оптимальной с точки зрения устойчивости к межканальной интерференции (МКИ). Поскольку в этом случае локализация формируемых на основе неё базисных функций в частотной области будет наихудшей. По этой же причине в таких OFDM системах уровень внеполосного излучения оказывается завышенным. Причем, природа межканальных помех такова, что их нельзя скомпенсировать или отфильтровать обычными методами цифровой обработки.

В литературе [3, 4] был предложен ряд подходов к подавлению МКИ. Однако, эти методы приводят либо к весьма значительной потере спектральной и энергетической эффективности, либо к нарушению ортогональности. Поэтому задача борьбы с межканальной интерференцией в мобильных OFDM системах является очень актуальной, и во многих случаях пока не находит удовлетворительного решения.

Одним из основных методом борьбы с частотно-временным рассеянием сигнала является использование специальных ортогональных хорошо локализованных базисов, минимизирующих уровень взаимного влияния поднесущих каналов, как в частотной, так и во временной областях, но при этом не ухудшающих спектральную и энергетическую эффективность системы. Однако, теорема Балиан-Лоу (Balin-Low) [5] ограничивает возможность построения ортогональных плотно упакованных и хорошо локализованных базисов на основе сдвигов по времени и частоте единственного формирующего импульса. Другими словами, в этом случае невозможно построить ортогональный сигнальный базис с хорошей частотно-временной локализацией без потери спектральной эффективности. С другой стороны, ортогональность остается обязательным требованием, приводящим, в частности, к минимизации ошибок, обусловленных действием в канале аддитивного белого гауссовского шума. Альтерна-

тивной технологией, которая позволяет в значительной степени преодолеть указанные недостатки и получить наилучшее частотно-временное уплотнение базисных функция, является ортогональное частотно-временное мультиплексирование — OFTDM (Orthogonal Frequency Time Division Multiplexing) [2].

В OFTDM системах при построении ортогонального сигнального базиса вместо одного формирующего импульса используется несколько инициализирующих функций с хорошей частотно-временной локализацией. Эти функции отличаются друг от друга только фазами, а сам базис получается в результате их равномерных сдвигов по времени и частоте (обобщенный базис Вейля-Гейзенберега).

До последнего времени одной из основных проблем при применении на практике (в частности, в абонентских телекоммуникационных устройствах) таких базисов являлась сложность алгоритма их формирования. В статье выводятся упрощенные условия ортогональности обобщенных базисов Вейля-Гейзенберга для OFTDM сигналов, учитывающие свойства формирующего импульса. В теории связи эти условия часто называются критерием или теоремой Найквиста [1]. Данные критерии имеют важное теоретическое и прикладное значение, так как позволяют получить вычислительно эффективный алгоритм построения обобщенных ортогональных базисов Вейля-Гейзенберга с наилучшей частотно-временной локализацией. Таким образом, упрощается процедура синтеза базиса, что позволяет приблизиться к практической реализации OFTDM системы.

Передаваемый OFTDM сигнал s{t) в дискретном времени можно эквивалентно представить в виде:

M -\( L-1 L-1 Л

s[n]= ZI £ch /Ь[n]+ZcLi vlj[n]|,n 6 jn, (1)

k = 0 V I=0 I=0 )

2k M

2n

M

где cR l = Re(ak l), ck I = Im(ak l) — действительные и мнимые части комплексных информационных QAM символов ak l; s[n] = s{nT/M), g[n] = g{nT/M),

JN = {0,1, ...,N -1}, vkRl [n] и // l [n] — комплексные функции, полученные в результате равномерных сдвигов по времени и частоте двух классов инициализирующих функций: g[n]exp{/ ^Mka) и g[n + M/2]exp{/ ^Mka); M > 2 - количество поднесущих,

N = ML > M ; F = 1/T — расстояние между поднесущими, T — символьный временной период; а 6 R = {- да , да) — фазовый параметр; {a)N = {a)modN — значение числа a по модулю n. Система базисных функций B[JN ]= Rl [n] /I ,l [n]} ортонормирована на дискретном интервале JN в смысле вещественного скалярного произведения

N - 1

(x [n ] y [n = Re {(x [n ] y [n J}) (x [n ] y [n ^= £ x [n ] y * [n ] .

n = 0

Важно упростить условия ортогональности базиса bJn ] и привести их к виду, удобному для использования на практике.

Пусть OFTDM сигнал s[n] передается по гауссовскому каналу с идеальной частотной характеристикой, а его выход описывается уравнением:

r[n] = s[n]+w[n] w[n]~ N{0, a2w), (4)

v R,i [n ]= g [{n - lM )n ]exP I j M k {n - а/2 )|, (2)

/k ,l[n ]=- jg[{n+M /2 - im )n ]exp fj ~~ k {n - «2)\ (3)

где м\п\ — белый гауссовский шум с нулевым математическим ожиданием и дисперсией о2к. Оптимальный прием такого сигнала обеспечивается схемой, состоящей из согласованного фильтра с импульсной характеристикой ИСф [п] = я * [(- п ] и оператора взятия реальной части комплексного числа Яе(). Выход данной схемы описывается уравнением:

у[п] = К.е(г[п]® ксф[п]) = Яе[ £ г[т] 5 * [(т - п ^ ]|,

\ т=0 у

где ® означает циклическую свертку двух функций.

Отсюда видно, что в момент времени п = 0 на выходе оптимального приемника формируется реальная часть корреляционной суммы:

у[0] = Яе((г,я)) = Яе[п]5*[пЦ = Яе(г[п]®я*[(-п)^] ) .

Учитывая вид ОРТОМ сигнала (1), после преобразований получим:

М-1 1-1

у [°]=£ Ё (с",,у"+ск,1Ук,1) , (5)

к=0 I=0

У", = Яе[£г [п] ¥ % [п]1 = Яе(г [п] ® ¥ % [(-п)N ] |п=м ) >

V п=0 у

у, , = Яе [ £г [ п] ¥ *к, I[ п]1 = Яе (г [ п] ® ¥ *к, 0 [(-п) N] |п=м).

V п=0 у

реальные части выходов фильтров, согласованных с базисными функциями (2) и (3) соответственно (СФБИ фильтров).

Таким образом, оптимальный прием ОРТОМ сигнала может быть осуществлен при помощи банка из 2М СФБИ фильтров, реальные выходы которых замеряются в моменты времени, кратные М .

Условия накладываемые на структуру сигнала я[п] в гауссовском канале, при которых на выходе оптимального приемника (5) отсутствуют МСИ и МКИ, принято называть критерием Найквиста.

Очевидно, что сложность структуры OFTDM сигналов не позволяет воспользоваться напрямую критерием Найквиста, сформулированным для модели посимвольной передачи [6]. Однако критерий может быть расширен и на такие сигналы.

Нетрудно убедиться, что в случае модели канала (4) межсимвольная и межка-нальная интерференция будут отсутствовать, если выполнены условия ортогональности для обобщенного базиса Вейля-Гейзенберга, т.е.

И ¥", г [4 Ь = 5кк к Л г, ¥ [п] ¥к', Г[п ] Ь = 0 , ¥ I [п] ¥к', г[п]) Ь = ¿к, к ¿, г. (6)

Действительно, если условия (6) выполнены, то при г[п] = я[п] (отсутствии

шума) сигнал на выходе оптимального приемника (5) не содержит интерференционных составляющих и равен:

М-1 Ь-1 . . , .

у[0]= ££ (с", ) +(ск,, )2 = Е,

к=0 I=0

где Е — энергия OFTDM сигнала. Таким образом, условия (6) описывают критерий Найквиста для OFTDM сигнала.

Воспользовавшись свойствами скалярного произведения, нетрудно доказать следующую лемму, позволяющую записать критерий в более компактном виде:

Лемма 1. Необходимыми и достаточными условиями ортогональности базиса В[л ] являются равенства:

й И<с И) = *кА.о> (7)

¥кЛп¥0,0 1п}/к ~"к,0",,0

¥" [п] ¥0,0[п]я = 0, Vk е Jм, V/ е JL. (8)

Если учесть конкретный вид базисных функций (2), (з), то лемма 1 позволяет сформулировать критерий Найквиста в следующей форме:

Критерий Найквиста (для OFTDM сигнала). Необходимым и достаточным условием отсутствия МСИ и МКИ в канале (4) с ОРТОМ сигналом является условие ортогональности базиса ], которое сводится к выполнению следующих равенств:

Яе (Ё 8 [(п - /М ^ ]еХР (/ 2Л/М к (п - а/2 ^ * [п ^ = 5к,05/,0 , V к е -1М , V1 е JL , (9)

Яе[X ё [(п - м )н ]ехР (/ 2п/м к(п - а/2))я * (п + М/2^

+

. -'ы

п=0 ]

\

= 0. (10)

Рассмотрим частный случай, когда ё[п] является сопряженной N -симметричной функцией:

ё [П] = ё * [(-П)N ] . (11)

Как было показано в работе [7], этому типу симметрии соответствует оптимальное значение фазового параметра а = М/2 , позволяющее получить наилучшую частотно-временную локализацию ортогонального базиса (5), (6). Причем, отклонение от оптимально выбранного значения а приводит как к ухудшению локализации базисных функций, так и к потере симметрии [8].

При указанных выше условиях равенство (10) выполняется автоматически, а равенство (9) преобразуется к виду

ы-1 [ 2Гт]

Р(1,к) = Хё[п]ё[(п-М)ы]ехр 7^7^ = ^Ао, ^ є Зм/, V/ є Л. (12)

п=0

V М/2,

',0е7к,0 5 __7

/2

Определим импульс Найквиста для OFTDM сигнала выражением

В (Т,° ) = X ё [п ] ё * [(п + Т ) N ] ЄХР [ - 7 ^ЫГип ] , Т,° Є 3 N ' (13)

п = 0

В отличие от обычного импульса Найквиста [1], функция В(г,о) зависит от двух переменных (времени и частоты) и совпадает по смыслу с дискретной функцией неопределенности

B(т, и) = (ё0 [п ш\[(п + , (т + о^ ^, г, о е ^

базового импульса 8о [и, т ]= § [и ]ехр ( ] -2^ тп п, т е JN.

Из (12) и (13) следует, что

В(М/да) = р(/, к) = 5/,05к,0, (14)

т.е. импульс Найквиста равен нулю во всех точках (г, о) частотно-временной плоскости, кратных М и 2L, соответственно, исключая точку (г, о) = (0,0), где он отличен от нуля.

Таким образом, при а = М/ 2 и выполнении условия сопряженной N -симметрии (11) критерий Найквиста для ОРТОМ сигнала упрощается и справедлива следующая теорема.

Теорема Найквиста (для ОРТОМ сигналов). Если формирующий импульс 8[п] базиса OFTDM сигнала обладает свойством сопряженной N -симметрии (11), а фазовый параметр выбран оптимально (а = М/ 2), то необходимым и достаточным условием отсутствия МСИ и МКИ в канале (4) является равенство (14), которое во временной области эквивалентно условию

[(n- rM/2)w \[(n- rM/2 -M )w]= Mvn e J

(15)

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

а в частотной области - условию

где

M — 1

X G [(p - kL )n ]G * [(p - kL - 2Ll )n ] = MS¡,o, Vp e Jw, (16)

k=0

G[p]=X g [n]exp(- j 2n/N pn) - дискретное преобразование Фурье функции g[n].

p=0

Доказательство. Введем функцию f [n] = g[(n - IM)N ]g[(n + M^) ляется симметричной на интервале n e [0; IM -M/2], т.е.

. Она яв-

f! \iM - M2 - n

= g

- M/ -

n

N

g [lM - n]N = g

n +

My

N

g [n - lM]n = f [n] ’

а также на интервале n e [lM - M/ 2 +1; N - 1] , т.к. для любых p e [l; N -1 - lM + M^

f [N - p ] = g [(N - p - lM )N ]g [(N - p + M/2 ^ = g [(p + lM - M/2 + M/2 )N g [(p + lM - M^ - lM )N ] = fl

p+

im - M

На этих же интервалах функция sin(2/Mk(n-Г2)) является антисимметрич-

ной:

sin(%k(lM -M/2 -n -M^)) = sin(2^Mk(-n -Ш/4)) = -sin(%k(n -M4)),

sin (2n/Mk (lM - M/2+p- M4 ))=sin (%k (p+M4 ))=- sin (2rMk (N - p- M4)) •

Поэтому условие (8) ортогональности базиса k, которое можно записать в виде

Re jzj fi[n ] exp Vj Mk (n - 2 )^}=-x fil [n ] sin ( Mk (n - M/)

-IT fil [- ] sin I Mr k (n - M 4

x fil [n ] sin (Mk (n -

n = lM -M/2 + 1 V M

M

= 0,

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

Отсюда непосредственно следует, что необходимым и достаточным условием ортогональности базиса В[л ] является только условие (7).

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

/2' [п] = 8[(п - /М ^ Ы(п^]. (17)

Она является N -периодической и симметричной на интервале п е [0; /М], т.к.

/2 [/М - п] = 8 [(-п + /М)N ] 8 [(-п)N ] = 8 [(п - /М)N ] 8 [п] = /12 [п] , (1 8)

а также на интервале п е [/М +1; N - 1] , т.к. для любого р е [1; N - /М -1]

/2 [Р + /М ] = 8 [(Р + /М )N ]8[(Р ^] = 8[(- Р - /М )N]8[(- Р ^] = /2[N - Р\ (19)

Причем, на этих же интервалах симметричность функции cos(2^Mk (п - М^)) зависит от четности к :

с°42^М к (/М - п - МА ))=с°42^Мк (п - МА)+лк )=(- 1)к с°42/Мк (п - М41 (%к(/М+р -М/41 с°42^Мк^- р -М/4)+лк)=(- 1)к с°42/Мк^- р -М/4^

cos1

N

Условие (7), которое можно записать в виде

Re jZ /2' [n]exp | j Mk(n - a!2^} = Z f2 [n]cos |Mtk(n - M/4

= Zf2[n] cosf 77 k (n - M/4)']+ /2'[n] cosf 77 k (n - M4 )'] = 5,.o5k.o.

n=0 VM ) n=Ml+1 VM )

выполняется автоматически для нечетных k, т.к. обе суммы в левой части равенства, очевидно, обращаются в о.

Остается рассмотреть случай, когда k является четным, т.е. k = 2m, m е JM/ .

/>

Дискретное преобразование Фурье функции /2l [n] имеет вид

n-1 f 2t Л

[v] = Z f2 [n] exp| - j — vn L v е JN , (20)

n=0 V N )

следовательно

N-1 f 2_ Л

F2 [2 Lm ]= Z f2l [n ] eXP I - j — 2Lmn I- (21)

n=0 V N )

Учитывая свойства симметрии (18) и (19) функции / [п] можно показать, что:

Г1! Г

Действительно,

F [- 2 Lm] = F2l [2 Lm] (22)

n-1 f Л

F2 [- 2 Lm ]= Z f2l [n ] eXP |^- j N (- 2 Lm )n ) =

Z-^ [lM - n] expf j 27 2Lmn V Z Л [N - n + lM] expf j 27 2Lmn'] =

n=0 V N ) n=lM+1 V N )

lM

n ’= 0

= z /2 [n ’] exp I - j 27 2 Lmn 'I exp I j 27 2 LmlM

n I exp I - j------2 Lmn I exp I j------2 LmlM I +

+ Z л1 [n,,]exp I- j272Lmn" 1 expfj272Lm (m + n)! =

n "= im +1 V N ) V N )

N-1 f 27 Л

= Z f2l [n] exp| - j ^7 2Lmn I = F1[2Lm]

n=0 V N )

где была использована замена переменных: ri = lM - n, n" = N - n + lM . Для четных k = 2m левая часть условия (7) принимает вид

Re jz [n ] exp |j Mr2m (n - M4))} =(- 1)m Z [n ] cos |Mr2mn | =

= (_1)^ Iz1 /2 [n ] exp f j 27 2 mn 1 + Z1 f2 [n ] exp f- j 27 2 mn || =

2 V V m ) V m

\m

= (-1)-(^[2Lm ]+ V/[- 2Lm ])

Учёт равенства (22) приводит к следующему условию ортогональности базиса

B[JN ], являющегося аналогом соотношения (7):

N

l

^2 [2Lm] = [- 2Lm] = 5/,05т,0 , Vm е -1м/2 ; V/ е JL . (23)

Принимая во внимание вид функции / [п] (17) и соотношение (21) для ее преобразования Фурье, получим из равенства (23) следующую форму необходимого и достаточно условия ортогональности базиса Вейля-Гейзенберга:

Z g [n ]g [(n - lM )N ]exp - j = 51,05m ,0, V m е JM/_ , V l е JL - (24)

n = 0 V M /2 °

-x L '

/2

Докажем сначала необходимость условия (15) во временной области.

Учитывая выражение (20) для дискретного преобразования Фурье функции

/2 [и], она может быть представлена в виде

/2[и]=N £ р2 Иехр(7 Nп

Поэтому, для любого r G J2L

fi[«- rM/2]= Nz [v]exp ^jnin - r^2^^■

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

Произведем в последнем выражении суммирование по r от 0 до 2L -1 и учтем явный вид функции fi [n] (17)

Z f2l [n - rM/i]= Z S[in - r M2I Ь[in - rMA - lMI

r=0 r=0

= N Iexp (j it vn) F= [v ]l'exp (j fLr i- v )|.

Заметим, что

1 2L1 / i / t \\ Г1, при v кратных 2L

—Z exp v' 2T2 L r i- v ^=1n :

2Lr~0 L [ 0, для остальных v

2L-1

а так как v g Jn , то можно заключить, что Z exp i j ТLri- v)) отлична от о и равня-

r=0

ется 2L только при v = 2Lm, m g JM/, поэтому

/2

2Z *[in - r M/i)N t [in - r M/i- lM )N ]= M Z exp fj Mrmn 1 F2l [2Lm ] (25)

Очевидно, что в случае, когда выполняется условие (23), выполняется и равенство (15), которое является необходимым для ортогональности базиса Вейля-Гейзенберга.

Для доказательства достаточности этого условия, заметим, что если оно выполнено, то из соотношения (25) следует:

m/г -1 (

-2- Z exp I j ТТ Wn I F 20 [2 Lw ] = 1, V W G J M

M m = 0 V M

■2l[2Lm^^^ ,..^,m/

/2

F2l[2Lm]= 0, Vl g {1,2,...,L -1}, Vm g Jm

Причем, последнее равенство выполняется только в том случае, когда

F2 [2Lm]= ^m,0 , VW G JM/ ,

/2

следовательно, полностью выполняется необходимое и достаточное условие ортогональности базиса в виде (23).

Для доказательства необходимости и достаточности условия ортогональности

(16) в частотной области, отметим, что условие (24) можно записать в виде

, . *

£ 8[п][ 8 Кп - 1М )н ]ехР ^7 N21тп П = 8!,о8т,0, VI е JL, Vт е Jм^. Применив равенство Парсеваля, получим

£ О [К ] О * [(к - 2 Ьп )Щ ]ехр 7 2.— 1К ^ о8 т ,0, (26)

где О[к] - дискретное преобразование Фурье функции 8 [и].

Левую часть условия (26) представим в виде разложение в ряд Фурье некото-

M-1

рой L -периодической функции Гт [p]=X G[(p + kL)N G * [(p + kL - 2Lm)N J p e Jl ,

к=0

поэтому

X eXP (^- j ljt Pl ^ m [P ]= 8‘ ’0S m .0-Очевидно, что при m ^ 0 это равенство выполняется только в том случае, если Гт [Р]= 0. Vp e Jl , а при m = 0, если Tm [p] = yL. Vp e Jl . Таким образом, условие

Г m [ p ]= 1 5l ,0. V p e J,

I 4 ’0’ " ^ £

представляет собой необходимое и достаточное условие ортогональности базиса

в[Л- ].

Если учесть вид функции Гт [р] и ее I -периодичность, то мы получим искомый вид условия ортогональности (10) в частотной области для любых р е JN . Теорема полностью доказана.

Форма базиса Вейля-Гейзенберега в[л ] фактически определяется инициализирующей функцией g [п], поэтому можно упростить алгоритм его синтеза, получив специальные критерии ортогональности, аналогичные (15), в виде условий на эту функцию. Для этого введем базис Винера:

Определение 1 [9]. Совокупность функций /0,линейного подпространства V ^ СN (СN — пространство ^-периодических комплексных функций целочисленного аргумента) называется базисом Винера подпространства V, если для нее справедлив дискретно-периодический аналог теоремы Винера: функции

^[- ]}=д образуют базис пространства V в том и только том случае, когда

К-0

J - 1

g e CN и представима в виде g = X akfk , где все ак отличны от нуля.

к=0

Таким образом, существование базиса Винера необходимо и достаточно для существования функции g, чей вектор сдвигов

g [п]=№1 g [n-NlJ ^ 1-> g [(п - (1-^ ]т

является базисом подпространства V .

Определение 2. Преобразование, позволяющее перейти от вектора сдвигов к ортогональному базису Винера, называется преобразованием Винера и может быть записано в виде:

К [п]= Л£g [(п - г % 11 ]ехР (Щ~гк )■ (27)

Обратное преобразование Винера определим следующим образом:

§ [п ]= Мъ [п ] ■ (28)

2 1 к = 0

Используя (15) и вид преобразования Винера (27), можно показать, что необходимым и достаточным условием ортонормированности обобщенного базиса Вейля-Гейзенберга В[Л ] (а следовательно, отсутствия МКИ и МСИ) во временной области является следующее равенство

[п]2 + К'? [п]2 = 4М ■ (29)

Этот критерий позволяет сформировать эффективную процедуру ортогонали-

зации.

Действительно, возьмем некоторую функцию §0 [п] п е JN, являющуюся сопряженной N -симметричной. Для получения хорошей локализации ортогонального базиса в качестве §0 [п] следует выбрать функцию Гаусса.

Построим базис Винера в следующем виде:

К"'2[п]= , Т‘1"], ,2 , (30)

У М 2 [п ] + М К кМ-1[п ]

где ц м/2 ] = ^ g о [(и _ r M/2)w ]exp

^ [п ] = V g „ 1(п _ r м /С) jexp | f rk

Нетрудно проверить, что при непосредственной подстановке выражения (30) в критерий ортогональности (29) мы получим равенство. Отсюда следует, что базис Вейля-Гейзенберга В[Л ], построенный на основе функции g [п], получаемой обратным преобразованием Винера из базиса кМ^ 2 [п], является ортогональным.

Заметим, что получение элементов базиса Винера (27) на основе функции §0 [п] фактически представляет собой дискретное преобразование Фурье (ДПФ), для

реализации которого разработаны специальные быстрые алгоритмы.

Таким образом, теорема Найквиста является не только удобной формой представления условий отсутствия МКИ и МСИ OFTDM сигналов, но является важным шагом в формировании вычислительно эффективного алгоритма синтеза сигнального базиса, обладающего высоким уровнем частотно-временной локализации.

Литература

1. Прокис, Дж. Цифровая связь [Текст]: пер. с англ. / Дж. Прокис; Под ред. Д.Д. Клов-ского. - Москва: Радио и связь, 2000.

2. Волчков, В. П. Сигнальные базисы с хорошей частотно-временной локализацией [Текст] / В. П. Волчков / / Журнал «Электросвязь». - 2007. - №2. - С. 21-25.

3. Haas, R. A time-frequency well-localized pulse for multiple carrier transmission [Текст] / R. Haas, J.C. Belfiore // Wireless Personal Communications. - 1997. - vol. 5. - pp. 1-18.

4. Muschallik, C. Improving an OFDM reception using an adaptive Nyquist windowing [Текст] // IEEE Transactions on Consumer Electronics. - 1996. - vol. 42. - no. 3. - pp. 259 - 269.

5. Mallet, S. A Wavelet Tour of Signal Processing [Текст]: Second Edition / S. Mallet. -Academic Press. - 1999.

6. Волчков, В.П., Петров Д.А. Обобщенная теорема Найквиста для OFTDM сигналов [Текст]/ В.П. Волчков, Д.А. Петров // Сборник докладов. Всероссийский научно-технический семинар «Системы синхронизации формирования и обработки сигналов для связи и вещания». - 2009. - Воронеж. - С. 28-32.

7. Волчков, В.П. Оптимизация ортогонального базиса Вейля-Гейзенберга для цифровых систем связи, использующих принцип OFDM/OQAM передачи [Текст] / В.П. Волчков, Д.А. Петров // Научные ведомости БелГУ. Серия «История. Политология. Экономика. Информатика». - 2009. - №1(56). - Вып. 9/1. - С.102-110.

8. Volchkov, V.P. Orthogonal Well-Localized Weyl-Heisenberg Basis Construction and Optimization for Multicarrier Digital Communication Systems [Электронный ресурс] / V.P. Volchkov, D. A. Petrov // International Conference on Ultra Modern Telecommunications (ICUMT 2009). -Oct 12-14, 2009. - St. Petersburgh, Russia. - ISBN: 978-1-4244-3941-6. - IEEE Catalog Number: CFP0963G-CDR (http://ieeexplore.ieee.org)

9. Петухов А.П. Периодические дискретные всплески [Текст] / А.П. Петухов // Алгебра и анализ. - 1996. - Вып. 8. - №3. - С. 151-183.

GENERALIZED WEYL-HEYSENBEG BASES ORTHOGONALITY CONDITIONS

FOR OFTDM SYGNALS

V. P. VOLCHKOV 1)

D. A. PETROV 2)

1) Moscow technical university of telecommunications and informatics

e-mail:

volchkovvalery@mail.ru

2) M. V. Lomonosov Moscow state university

Article considers information transmission technology with orthogonal time-frequency multiplexing (OFTDM). OFTDM signal is formed by generalized well-localized Weyl-Heisenberg basis. Special orthogonality conditions are derived for this basis in the form of Nyquist criterion and theorem. These conditions grantee the absence of intercarrier and intersymbol interference in Gaussian channels. In addition they allow to formulate computationally efficient orthogonalization algorithm on the base of fast Fourier transform.

Key words: OFTDM, Nyquist theorem, orthogonalization.

e-mail: dapetroff@gmail.com

i Надоели баннеры? Вы всегда можете отключить рекламу.