Научная статья на тему 'Обобщённые дискретные ортогональные синус-косинусные преобразования'

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

CC BY
265
128
i Надоели баннеры? Вы всегда можете отключить рекламу.
Журнал
Компьютерная оптика
Scopus
ВАК
RSCI
ESCI
Область наук
Ключевые слова
ОРТОГОНАЛЬНЫЕ ПРЕОБРАЗОВАНИЯ / СИНУС-КОСИНУСНОЕ ПРЕОБРАЗОВАНИЕ / БЫСТРЫЕ АЛГОРИТМЫ (БА) / ORTHOGONAL TRANSFORMS / SINE-COSINE TRANSFORM / FAST ALGORITHMS

Аннотация научной статьи по математике, автор научной работы — Каспарьян Михаил Суренович

Вводится обобщённое синус-косинусное преобразование (ОСКП). Получены аналитические условия ортогональности таких преобразований. Доказывается теорема, которая позволяет связать коэффициенты ОСКП в ортогональном случае. Рассматриваются быстрые алгоритмы вычисления ОСКП, и оценивается их сложность.

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

Похожие темы научных работ по математике , автор научной работы — Каспарьян Михаил Суренович

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

GENERALIZED DISCRETE ORTHOGONAL SINE-COSINE TRANSFORM

We introduce a generalized sine-cosine transform (GSCT). Analytical conditions of orthogonality of these transformations are derived. A theorem that allows one to find the relation between the GSCT coefficients in the orthogonal case is proven. Fast algorithms for computing the GSCT are considered and their complexity is analyzed.

Текст научной работы на тему «Обобщённые дискретные ортогональные синус-косинусные преобразования»

ОБОБЩЕННЫЕ ДИСКРЕТНЫЕ ОРТОГОНАЛЬНЫЕ СИНУС-КОСИНУСНЫЕ ПРЕОБРАЗОВАНИЯ

Каспарьян М. С.

Институт систем обработки изображений РАН, Самарский государственный аэрокосмический университет имени академика С.П. Королёва (национальный исследовательский университет) (СГАУ)

Аннотация

Вводится обобщённое синус-косинусное преобразование (ОСКП). Получены аналитические условия ортогональности таких преобразований. Доказывается теорема, которая позволяет связать коэффициенты ОСКП в ортогональном случае. Рассматриваются быстрые алгоритмы вычисления ОСКП, и оценивается их сложность.

Ключевые слова: ортогональные преобразования, синус-косинусное преобразование, быстрые алгоритмы (БА).

Введение

Вопросы обработки сигналов-изображений остаются в центре внимания различных специалистов. Изображения выступают и как результат, и как объект исследований в физике, космонавтике, метеорологии, криминалистике и многих других областях науки и техники. Кроме того, системы обработки изображений в настоящее время используются для решения многих прикладных задач.

Несмотря на то, что проблема синтеза дискретных ортогональных преобразований (ДОП) и их быстрых алгоритмов рассматривается уже давно и существует множество работ, посвящённых этой теме, нерешённые проблемы в теории дискретного спектрального анализа, синтеза ДОП и их БА остаются. Это связано с тем, что классы обрабатываемых сигналов довольно общие и спектр вычислительных средств достаточно широк, в силу чего асимптотически хороший алгоритм совершенно не обязательно является таковым же для данного значения ограничивающих параметров: длина преобразования, специфика обрабатываемого сигнала, специфика используемых вычислительных средств.

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

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

Ит (п) = А(т) соб ^~ао (т + а1)(п + а2)^ + +В( т) бш^ ~а0 (т + а1)(п + а2) |

(1)

где (а0, а1, а2) - параметры, которые являются рациональными числами, а А(т), В(т) - коэффициенты преобразования, которые могут быть как действительными, так и комплексными.

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

1) дискретное преобразование Фурье [2] при (2, 0, 0)

и , );

2) дискретное преобразование Хартли [3] при (2, 0, 0) и (1Д/Ж, );

3) дискретные косинусные преобразования [2, 4] при: а) (1,0,12) и (1(т),0), где

1( т) =

\\I-Jn , если т = 0, (У21N, если т ф 0;

б) (1,1/2,1/2) и (Т^,0); 4) дискретное синусное преобразование [2] при: (1, 1, 12) и (0,1(т)), где

1( т) =

\1yfN, если т = N-1, (У 2/N, если т ф N -1;

(1, 1/2,1/2) и (0, Т^Ж) .

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

1. Обобщённое синус-косинусное преобразование

Базисные функции (1) можно привести к виду, более удобному для дальнейших рассуждений, выразив синус и косинус через сумму и разность экспонент

Ит (п) = Аехр| ~~~а(т + Ь)(п + с) | +

I -2га +В ехр | а (т

(т + Ь)(п + с) |

(2)

где А = (А-1В)/2 и В = А = (А +1В)/2 . Определение

Г ^-

Система функций {Нр} ^ называется ортогональной, если (Нр, Нд) = Сбр, где бкп - символ Кронекера,

г -> N -1

С ф 0. Если С = 1, то система функций {кр} орто-нормирована.

Так как произведение функций кр (п) к (п)

кр (п)К (п) = ААехР^N\-Па(Р-д) + са(Р-+

+ААехр| [па(р - q) + са(р- #)]) + +А2ехр| [па (р + q + 2Ь) + са (р + q + 2Ь + +А2ехр| -2Р- [па (р + q + 2Ь) + са (р + q + 2Ь)]

(3)

то, вводя обозначения X = ехрI 2р-[са (р - q + 2Ь)]

N

и У = ехрI -2р-[са(р + q + 2Ь)] ), преобразуем (3) к виду

N

2га

кр (п) к (п )=1А1 х ехр \^па (р- q) I+

+ |А|2 X ехр | па (р - q)| + +А2Уехр\2р-па(р + q + 2Ь)) +

N

+А2 У ехр I

па

(р + q + 2Ь)).

В этих обозначениях скалярное произведение примет вид

2га

Е кр (п) кq (п)=1 А1 х Е ехр па (р - q) I+

п=0

п=0

N

-1

+ 1 А|2 XЕехр\ -2р-па (р - q) | +

п=о I N

N -1

п=0 _N -1

2га

+А2УЕ ехрI-па (р + q + 2Ь) | +

N

(4)

+А2УЕехр| -2р-па(р + q + 2Ь) |.

Соотношение (4) позволяет получить условия ортогональности.

Теорема 1 (об ортогональности синус-косинусного преобразования) Пусть

кр (п) = А ехр \ ~~а (р + Ь)(п + с))) +

+А ехр | а (р + Ь) (п + с) НОД(N, а) = 1 и Ь е К, тогда система функций

{кр (п)} о ортогональна, если коэффициенты имеют

вид

—2 „ , у+ 2я 1 N А . Iе 2, Ь = —,—^т, с =---, при--- = ехр (уго),

4 (а -1) 2 2а А2 У ! 2аЬ Ч 2,

—2

5 / А

с =—, Ь =—, при 2аЬ е 2, 5, / е 2,— = -1, 21 2к А2

у+ 2/ ,1 ^ А2 , ,

с =-, приЬ = —, /е 2,--2 = ехр(уго).

4а 2 А2

Доказательство

Из выражения (4), с учётом обозначений и = р + q и V = р - q , получим

Е к (п) к (п) =

q '

N-1

= IАI XV ехр I-nav I +

11 п=0 Ч N

2га

,,,2- ^ I -2га + 1А XЕ ехр I-nav

п=0

N

^ (и)

(5)

N-1 12га +А2УЕ ехр | — па (и + 2Ь) I +

п=0 -1

+А^УЕехр I -^па (и + 2Ь)

п=0 I N

^ (и ) .

Найдём отдельно каждую суммы ^ и £2 в равенстве (5)

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

(V ) =

1 - ехр (2ап^)

, 2 ар-1 - ехр I-V

1 N

2ага ехр I-V

, |2 I Ч N

А X + А X 1

ехр (2aкiv)

V

N^12 (X + X), V = 0.

V ф 0,

(6)

^2 (и ) =

1 - ехр(2ага (и + 2Ь))

1 - ехр I -р- (и + 2Ь)

А2У + А У-

2ага, ,, ^

exР| (и + 2Ь)

ехр (ар- (и + 2Ь))

N(А2У + А2У), а (и + 2Ь)° 0 (шоаN).

,а ( и + 2Ь)ф 0 (шоа N),

(7)

N-1

п=0

Заметим, что при V ф 0 сумма ^ всегда равна нулю, а при V = 0 X = X = 1, поэтому ^ примет вид

10, V Ф0.

s(V)=Lrí

2N\A\ , v = 0.

(8)

При исследовании выражения (7) для £2 (и) возможно различать три случая.

1. 2аЬ й Z, тогда £2 примет вид

S2 (u) =

1 - exp (2api (u + 2b)) 1 - exp|2api (u + 2b) Л

(A2Y +

( 2api , ,

_2_exP (u + 2b) +A Y--г

exp (api (u + 2b))

Теперь выполнение условия ортогональности равносильно выполнению условия S2 (u) = 0 .

, , 2 ^-eXP(2^(U +2Ь))

S2 (u ) = 0 ^ A2Y + A Y-1 ,--f = 0.

exp (2api (u + 2b))

т.к.

1 - exp (2api (u + 2b)) 1 - exp | —p (u + 2b)

Подставив Y, получим S2 (u ) = 0 ^

Ф 0.

^ A2 exp

+A exp

2acpi

N

-2acpi

(u+2b)j+

exp I ^^ (u + 2b) (u + 2b) | 1 N _Ij = 0 « (9)

^ A2 + A

N 4 'J exp(2api (u + 2b)) 2api

(u + 2b)(1 -2c) j

= 0.

2 exp(u + 2b)(1 -2c) exp (2api (2b))

Коэффициент А не должен зависеть от суммы номеров функций, а это равносильно тому, что

а (1 - 2с) = N ^ с =1 - — , где t е Z. ^ ' 2 2а

Подставим получившееся с в равенство (9)

A + A

-2 exp(2tpi (2b))

= 0 ^

exp (2 api (2b)) (10)

^ A2 exp (-2b (t - a) pi) + A2 exp (2b (t - a) pi) = 0.

Полагая, что -(A ¡A2) = exp(gpi), выражение (5) примет вид

exp(4b (a -1)pi) = exp(gpi). Выразим из (11) в явном виде b g+ 2g

b = -

(11)

(12)

4 (a -1) ' где g e Z.

2. Теперь рассмотрим случай, когда 2ab e Z и (A /A2) = -1, тогда S2 примет вид

|0, a ( и + 2b) ф 0(mod N),

S2 (И ) = "i N (A2Y + A2 Y), a (и + 2b)° 0 (mod N).

(13)

Тогда ортогональность системы {hp (n)} ^ равно-

сильна тому, что

п —2 —

А2У + А Т = 0.

Используя условие, что (А /А2) = -1 (14) преобразуем к виду

Т/Т = 1. Подставив 7 , получим 4аср/'

exp

N

-(u + 2b) j = 1

(14) равенство

(15)

(16)

Так как 2аЬ е Z, то будем представлять а в виде а = к • /, где к - такое число, что 2кЬ е Z. Существуют такие и , что к (и + 2Ь) = N, где t е Z. Подставляя а = к • I в (12) и зная, что к (и + 2Ь ) = N, выразим с в явном виде

с = я/2/, где 5 е Z. Так как 2кЬ е Z, то Ь выразим тоже в явном виде

Ь = — , где t е Z.

1 2

3. Ь = — и--- = ехр (ур/) ф 1.

2 А2 ^ у

Данный случай схож со случаем 2, но условие ортогональность функций здесь равносильно не выполнению равенства (16), а выполнению равенства

exp j 4a<cpi (u +1) j = exp (gpi)

(17)

Причём условие a (и + 2b)° 0 (mod N) выполняется только для и=^1. Поэтому выражение (13) примет вид exp(4acpi) = exp(gpi). (18)

Выразив c, получим

c = g+ 2t/4a . ■

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

Из доказательства теоремы видно, что нормирующий множитель для преобразований с базисными

функциями (2) равен N A2 .

х

С помощью теоремы 1 можно получить известные ортогональные преобразования, например, преобразование Хартли или преобразования Вонга [5].

Для преобразования Хартли, например, коэффициент а равен единице, я = / = 0, А = 1 + i.

Ниже представлены примеры новых ортогональных базисов, полученных с помощью теоремы 1.

Пример 1. Пусть

Б1П

hp (") = "/= p yJ2Ñ

л/3 f 18p

+—¡= cos I-

yflÑ { Ñ

18p

Ñ

p+2

p+2

n--

J_ 108

n--

108

ñ-i pJp=0

где НОД^,9) = 1, тогда система функций {кр} будет ортонормированной.

Пример 2 (косинусное преобразование). Пусть

. , , 42 f 2p f +1

hp (n) = —= cos I —I p + -

pK ' JÑ l Ñ ^ 2

1

n + -4

Г Т М-1

тогда система функций {кр} = будет ортонормиро-

ванной.

Пример 3 (синусное преобразование). Пусть

, ( ) V2 . f 18p f + 1

hp (n ) = ^= sin I-1 p +—

' 4Ñ l Ñ ^ 32

1

n — 9

где НОД^,9) = 1, тогда система функций {кр} будет ортонормированной.

ñ-1 pj'p=0

X(т) = Éх(n)hm (n) = Éx(n)

= AexpI Pk-(m + b) l^x(n)exp

Ñ J n=0

A exp

+B exp

2pk-,

Ñ

-2pk-

Ñ

(m + b)|n + - II +

2. Быстрые алгоритмы вычисления синус-косинусных преобразований

Для вычисления спектров ДОП с базисными функциями (2) можно использовать два подхода.

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

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

Пусть х(п) - Апериодическая последовательность, тогда её спектр:

1

(т + b) | n + —

~~~n (т + b) J + B expf ~~~ (m + b) jÉx (n) exp

-2pk-

-1

Ñ

'(m + b) | =

(19)

= A exp f Pk- (m + b) l X1 (m) + B exp | -pk- (m + b) | X2 (m).

N

Если представить Ь в виде частного p/q, то спектры X] и Х2 можно вычислить через обычное ДПФ длины Nq.

Пусть Мдпф(К) - мультипликативная сложность вычисления ДПФ длины К, Адпф(К) - аддитивная сложность вычисления ДПФ длины К, тогда мультипликативная и аддитивная сложности ОСКП будут равны

Mоскп (Ñ ) = 2MДПФ (Ñq) + 2Ñ,

Аосш (Ñ ) = 2Адпф (Ñq) + Ñ

(20)

соответственно.

Из равенств (19) видно, что сложность алгоритма зависит от конкретной реализации подсчёта ДПФ. Выбор конкретной реализации ДПФ зависит от N и от особенностей входной последовательности, которая может быть как комплексной, так и действительной. В главе 5 [8] собрано множество различных алгоритмов подсчёта ДПФ, там же приводятся оценки сложности этих алгоритмов.

Заключение

Полученные теоремы не покрывают множество возможных базисных функций синус-косинусных пре-

образований, но покрывают счётное количество базисных функций преобразования данного вида. Следует также отметить, что алгоритмы быстрого вычисления ОСКП хоть и являются быстрыми, но всё же, вероятно, существуют алгоритмы, которые позволяют вычислять ОСКП «быстрее». Например, как это делают для дискретного косинусного преобразования коротких длин [6], для быстрого вычисления которых используются особенности алгебраических характеристик значений базисных функций.

Благодарности

Работа выполнена при поддержке Российского фонда фундаментальных исследований (гранты 1201 -00822-а, 13-01 -97007-р_поволжье_а).

Литература

1. Распознавание, классификация, прогноз. Математические методы и их применение / С.С. Агаян, В.М. Антоненко, В.И. Васильев, А.В. Гончарский, Н.Г. Гуторова [и др.]; под ред. Ю.И. Журавлёва - Вып. 3. - М.: Наука, 1992. - 320 с.

2. Ахмед, Н. Ортогональные преобразования при обработке цифровых сигналов / Н. Ахмед, К.Р. Рао; под ред. И.Б. Фоменко; пер. с англ. - М.: Связь, 1980. - 248 с.

+

1

n=0

n=0

3. Ярославский, Л.П. Цифровая обработка сигналов в оптике и голографии. Введение в цифровую оптику / Л.П. Ярославский. - М.: Радио и связь, 1987. - 296 с.

4. Ярославский, Л.П. Введение в цифровую обработку изображений. - М.: Советское радио, 1979. - 312 с.

5. Wang, Z. Fast Algorithm for the discrete W transform and for the discrete Fourier transform // IEEE Transactions on Acoustics Speech and Signal Processing. - 1984. - Vol. 32. -P. 803-816.

6. Чернов, В.М. Арифметические методы синтеза быстрых алгоритмов дискретных ортогональных преобразований. - М.: Физматлит, 2007. - 264 с.

7. Чернов, В.М. Двумерные дискретные ортогональные преобразования с рекуррентным базисом // Научное приборостроение. - 1993. - Т. 3, № 1. - С. 110-115.

8. Методы компьютерной обработки изображений / М.В. Гашников, Н.И. Глумов, Н.Ю. Ильясова, В.В. Мясников, С.Б. Попов, В.В. Сергеев, В.А. Сойфер, А.Г. Храмов, А.В. Чернов, В.М. Чернов, М.А. Чичева, В.А. Фурсов; под ред. В.А. Сойфера. - 2-е изд., испр. - М.: Физматлит, 2003. - 784 с.

References

1. Pattern recognition, classification, forecasting. Mathematical methods and their application / S.S. Agayan, V.M. An-tonenko, V.I. Vasilyev, A.V. Goncharsky, N.G. Gutorova; ed. by Yu.I. Zhuravlev. - Vol. 3. - Мoscow: "Nauka" Publisher, 1992. - 320 p. - (In Russian).

2. Ahmed, N. Orthogonal Transforms for Digital Signal Processing / N. Ahmed, K.R. Rao. - Moscow: "Svyaz" Publisher, 1980. - 248 p. - (In Russian).

3. Yaroslavsky, L.P. Digital signal processing in optics and holography / L.P. Yaroslavsky. - Moscow: "Radio i svyaz" Publisher, 1987. - 296 p. - (In Russian).

4. Yaroslavsky, L.P. Introduction to digital image processing. / L.P. Yaroslavsky. - Moscow: "Sovetskoe Radio" Publisher, 1979. - 312 p. - (In Russian).

5. Wang, Z. Fast Algorithm for the discrete W transform and for the discrete Fourier transform // IEEE Transactions on Acoustics Speech and Signal Processing. - 1984. - Vol. 32. -P. 803-816.

6. Chernov, V.M. Arithmetical methods of synthesis of fast algorithms of Discrete orthogonal Transforms / V.M. Chernov. - Moscow: "Fizmatlit" Publisher, 2007. - 264 p. - (In Russian).

7. Chernov, V.M. Two-dimensional discrete orthogonal transformation with recurrent basis // Scientific instrumentation. -1993. - Vol. 3, N 1. - P. 110-115. - (In Russian).

8. Computer Image Processing, Part II: Methods and algorithms / A.V. Chernov, V.M. Chernov, M.A. Chicheva, V.A. Fursov, M.V. Gashnikov, N.I. Glumov, N.Yu. Ilyasova, A.G. Khra-mov, A.O. Korepanov, A.V. Kupriyanov, E.V. Myasnikov, V.V. Myasnikov, S.B. Popov, V.V. Sergeyev; ed. by V.A. Soifer. - VDM Verlag, 2009. - 584 p.

GENERALIZED DISCRETE ORTHOGONAL SINE-COSINE TRANSFORM

M.S. Kasparyan

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

Image Processing Systems Institute, Russian Academy of Sciences, Samara State Aerospace University

Abstract

We introduce a generalized sine-cosine transform (GSCT). Analytical conditions of orthogonality of these transformations are derived. A theorem that allows one to find the relation between the GSCT coefficients in the orthogonal case is proven. Fast algorithms for computing the GSCT are considered and their complexity is analyzed.

Key words: orthogonal transforms, sine-cosine transform, fast algorithms.

Сведения об авторе

Каспарьян Михаил Суренович, 1988 года рождения. В 2011 году с отличием окон-I чил Адыгейский государственный университет по специальности «Прикладная математика». В данный момент является аспирантом Самарского государственного аэрокосмического университета имени академика С.П. Королёва. Стажёр - исследователь Института систем обработки изображений РАН.

E-mail: kaspan>anm(a)gmaiI.com .

Mikhail Surenovich Kasparyan (b. 1988) graduated with honours (2011) from Adyghe State University, majoring in Applied Mathematics, postgraduate student of S. P. Korolyov Samara State Aerospace University (SSAU). Trainee researcher of the Image Processing Systems Institute _I of the RAS. Research interests are image processing, programming, applied mathematics.

Поступила в редакцию 11 ноября 2014 г.

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