Математические модели динамических изображений на базе гиперкомплексных алгебр Текст научной статьи по специальности «Математика»

УДК 519.2

МАТЕМАТИЧЕСКИЕ МОДЕЛИ ДИНАМИЧЕСКИХ ИЗОБРАЖЕНИЙ НА БАЗЕ ГИПЕРКОМПЛЕКСНЫХ АЛГЕБР

©2004 А Н. Леухин

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

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

Введение

Понятие изображения представляет собой сложный объект в силу ряда специфических информационных характеристик: информационной емкости, компактности, наглядности, внутренней структуры, отражающей логические и физические взаимосвязи окружающего мира, контекстной информации, статистических свойств и т.д. Такая сложность приводит к тому, что на сегодняшний день не существует единой точки зрения на теорию обработки и понимания изображений. Не имеется окончательной формулировки даже такого важнейшего первоначального понятия теории, как алгебра изображений [1-2].

На современном этапе для анализа изображений применяется огромное количество самых разнообразных по своей природе методов и подходов, среди которых не последнее место занимают эвристические и слабо проверенные методы, что неоднократно отмечалось рядом авторов, например работы [3-4]. В этой связи представляют интерес подходы, базирующиеся на строгих теоретических положениях, например, использующие аппарат теории сигналов, но применяющие упрощенные модели изображений объектов, не связанные со значительной потерей информации. Один из таких подходов заключается в отказе от обработки каждой точки изобра-

жения и переходе к обработке лишь его контуров.

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

В этом плане интерес представляют монографии [5-6] авторского коллектива под руководством проф. Фурмана Я.А., полностью посвященные вопросам контурного анализа и его применений к обработке сигналов и изображений. В работе [5] преимущественно рассмотрены вопросы обработки и понимания плоских изображений на основе анализа комплекснозначных контуров и пучков векторов, а в работе [6] рассмотрены вопросы анализа 3D-изображений на основе кватернионных сигналов. Данная работа посвящена вопросам формирования аналитической модели контурного сигнала пространственного изображения динамического объекта, меняющего свои координаты в пространстве с течением времени.

Рис. 1. Пример сформированного бинарного изображения

Модели контуров изображений

Модели плоских изображений

Модель контура плоского изображения удобно представить на примере бинарного изображения, формируемого на этапе обнаружения, где пиксел, принадлежащий области изображения объекта, кодируется единицей, а пиксел, принадлежащий фону, кодируется нулем. На рис. 1 представлен сформированный фрагмент бинарного изображения, а на рис.2 точками выделена соответствующая граница.

Для аналитического задания контура необходимо поставить в соответствие каждому граничному пикселю определенное число. Элементарный вектор (ЭВ) уп соединяет соседние граничные пиксели в направлении обхода; п - номер этого ЭВ, п = 0,1,...,k -1, N - количество ЭВ в контуре данного изображения (рис.3).

Таким образом, произвольный контур Г , состоящий из N ЭВ, задается в виде вектора-столбца размерности N

г = [уо; п; уъ...\ Ум-1 ]т (1)

В дальнейшем для удобства записи выражение (1 ) будем представлять как

г = {у{п ))о. n-1. Элементарные векторы являются первыми разностями функций, задающих линию контура. Если начало п -го ЭВ контура изображения находится в точке с ко-

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

ординатами (хп; уп ), а конец вектора в точке с координатами (хп+1; уп+1), то в комплек-

(хп; Уп), атами (х;

снозначном коде [5] ЭВ будет иметь вид:

Уп = (хп+1 - хп ) + ' • (Уп+1 - Уп ) • (2) Аналогичным образом можно получить аналитические модели плоских точечных изображений. На рис.4,а показана сцена, состоящая из N точечных объектов. Каждому точечному объекту соответствует один пиксел квадратной сетчатки оперативного запоминающего устройства. На рис.4,6 точечные образы в сцене описываются цепочкой ЭВ,

образующих контур г = {уп }о N-1, а на рис.1,б - пучком векторов в = {Рп }о N-1.

Модели пространственных изображений

В работе [6] предложена модель в виде кватернионного сигнала для описания 3D-

Рис.3. Задание контура элементарными векторами

а) б) в)

Рис.4. Формирование аналитического описания группового точечного объекта

изображений пространственных ГТО. Как и в случае плоских изображений, для аналитического описания пространственных изображений можно использовать как аналитическую модель кватернионного контура г , так и аналитическую модель пучка векторных кватернионов Q:

г=М п )и-1 =

= {У1 (п) I + у2 (п)j + Уз (п) к},

С = {4 ( П )}0, N-1 = = {41 (п) • 1 + 42 (п) •+ 4з (п) •k}, (3)

где п = 0,...,N -1; У1 (п), У2 (п), уз (п),

( 41 (п), 42 (п), 4з (п) ) - соответственно I -ая,

j -ая, к -ая компоненты п -го элементарного вектора в составе кватернионного контура (пучка). На рис.5 показан пример представления кватернионного контура г и пучка векторных кватернионов С.

Для математических моделей 3D-изоб-ражений точечных объектов достаточно лишь пучка векторных кватернионов С (рис.5).

Рис. 5. Задание кватернионных контуров и пучков

Однако в результате ряда преобразований над такими сигналами элементарные векторы в составе кватернионных пучков могут представлять собой полный кватернион с неравной нулю реальной частью. Поэтому в общем случае для аналитической модели 3D-изоб-ражений точечных объектов будем использовать полные кватернионы. Следовательно, контур пространственного изображения можно рассматривать, как элемент линейного

кватернионного пространства нN.

Модели динамических

пространственных изображений

Отметим, что рассмотренная выше математическая модель в виде пучка кватерни-онных ЭВ для описания 3.0-изображений пространственных ГТО использует информацию только о пространственных координатах точек х, У, Z в декартовой системе координат, где координате х соответствует I -ая компонента п -го ЭВ - 4^ (п), координате у соответствует j -ая компонента п -го ЭВ -42 (п), а координате z соответствует к -ая

компонента п -го ЭВ - 43 (п). Если положение каждой точки в пространстве-времени рассматривать, как некоторый вектор с координатами:

5 = с • t + X • х + У • .у + 7 • г, (4) где с - скорость света, t - время, х, У, 7 -координаты точки в трехмерном пространстве в декартовой системе координат; то получим математическую модель 3D-изображе-ния динамического пространственного изображения ГТО. При этом изображение форми-

руется при смене двух последовательных кадров в течение некоторого наблюдаемого интервала времени I = ¿1 - tо . В момент времени ¿о формируется аналитическое описание пространственного ГТО, представленного

пучком векторов О = {о(п)}о N-1. В момент

времени ¿1 формируется аналитическое описание пространственного ГТО, представленного сигнальным пучком векторов

О(с) = 0 (с)(п )}о, N-1. Причем за время г между двумя кадрами изображений пространственный ГТО перемещается вдоль оси р с некоторой постоянной скоростью 5 , и поворачивается вокруг оси р на угол ф (рис.6).

В работе [7] показано, что

£ 2 =(сг)2 - X2 - Y2 - 7 2.

(5)

- квадратичная форма специальной теории относительности, ассоциированная с алгеброй пространства-времени. Для рассмотрения алгебры пространства-времени выберем алгебру комплексных матриц специального вида, изоморфную алгебре бикватернионов [8].

Бикватернионы представляют собой систему гиперкомплексных чисел, состоящую из восьми компонент с базисными элементами 1, г, 7, k, d, Е, I, J, К . Произвольный биква-тернион можно представить в виде: о = а + Ь • г + с • 7 + d • k + А • Е + В • I + С • 7 + D • К . (6) Сложение и умножение двух бикватернионов производится покомпонентно. Умно-

жение бикватернионов полностью определяется таблицей умножения базисных элементов. Таблица умножения базисных элементов бикватернионов имеет вид:

X 1 г 7 к Е I 7 К

1 1 г 7 к Е I К

г г -1 к - 7 I -Е К - 7

7 7 - к -1 г -К -Е I

к к 7 -г -1 К -1 -Е

Е Е I К -1 -г - 7 - к

I I -Е К - 7 - г 1 -к 7

-К -Е I - 7 к 1 - г

К К 7 -1 -Е - к - 7 г 1

(7)

Рис.6. Аналитическая модель динамического 30-изображения группового точечного объекта

Бикватернионы обладают следующими свойствами: коммутативны по сложению, и не коммутативны по умножению; ассоциативны по сложению и по умножению; дистрибутивны.

Из выражения (6) следует, что бикватер-нион состоит из двух кватернионов: о = q + Е • д' = (а + Ы + с] + dk)+ Е(А + Вг + С'] + Dk), (8) где Е - мнимая единица удвоения кватернионов. Такое представление бикватерниона всегда возможно, и оно единственно. Произведение двух бикватернионов

о(1) = д(1) + Eq'(1) , о(2) = д(2) + Ед(2), с

учетом записи (8), можно рассматривать следующим образом:

о(1) • о(2) = (д(1) + Ед (1)) • (д(2) + Ед (2)) = (д)

= (д(1) • д(2) - д'(1) • д'(2>) + Е(д'(1) • д(2) + д(1)- д'(2)), где произведения д(1)^ д(2), д' (1) д' (2) ,

д (1) • д(2), д(1) д (2) выполняются в соответствии с правилами умножения кватернионов.

Сопряжение бикватерниона образуется сменой знаков у компонент, в образовании мнимых единиц которых участвовали мнимые единицы:

о* = а - Ы • г - с • 7 - d • k - А • Е - В • I - С • 7 - D • К .(Ю) Скалярная часть бикватерниона:

оскал = а + А • Е . (11)

Векторная часть бикватерниона (бивектор):

о век = Ы • г + с • 7 + d • к + В • I + С • 7 + D • К . (12)

Любой бикватернион можно представить в виде суммы скалярной и векторной частей:

О = Оскал + овек.

(13)

Определим правый обратный бикватернион о _1 = Q + Ед' такой, что

оо-1 = (д + Ед')(д + EQ') = 1. (14)

Из выражения (9) следует, что для нахождения правого обратного бикватерниона требуется выполнение двух равенств:

| дQ - д'д= 1, Q + дд = о.

Тогда параметры обратного бикватерни-она имеют вид:

д = (д + д д V) , д=-д V дпри д * 0;

д = о, д = -(д') 1 и д = 0, д * 0.

(15)

где д_1 - обратный кватернион; д д _1д', д"Vд - произведения кватернионов.

Обратный кватернион (д + д д-1д) 1

существует в том и только в том случае, когда

д + д' д 1д' * 0

(16)

В случае не выполнения условия (16) обратного правого бикватерниона не существует. Определим общий вид бикватернио-на о, не имеющего правого обратного. Для этого требуется решить уравнение вида:

д + д д 1д' = 0.

(17)

Таким образом, из уравнения (17) следует, что бикватернионы, не имеющие правого обратного, можно получить из произвольного бикватерниона о = д + Ед} с д * 0, используя

оноль =(д + Ед')(1 + в • I + С • J + D • К), (18) где в2 + С2 + D2 = 1.

Бикватернионы, не имеющие правого обратного, обладают следующими свойствами:

оноль • оноль 0.

(оноль )2 -(онокль )2 = 0,

(19)

(20)

причем, бикватернион - делитель нуля оноль представляет собой нильпотенту если

(онолл )2 = 0, (21)

а бикватернион - делитель нуля оноль представляет собой идемпотенту если

(оскал )2 * 0.

(22)

Матричная интерпретация бикватернионов

Бикватернионы вида (6) можно задать квадратной комплексной матрицей четвертого порядка:

О

а - d • 7 -с - Ь • 7 D + Л • 7 В - С • 7

с - Ь • 7 а + d • 7 В + С • 7 - D + Л • 7

D + Л • 7 В - С • 7 а - d • 7 -с - Ь • 7

В + С • 7 - D + Л • 7 с - Ь • 7 а + d • 7

(23)

Матрицы Е, I, J, К, Е', I', J', К', соответ-с т вую щ и е б аз и с н ы м э л е м е н т ам 1,7, у, k, Е, I, J, К бикватерниона, выразим из базисных матриц четырехмерного векторного пространства-времени т, X, Y, Z :

т

Y =

"1 0 0 0 "0 0 0 -1"

0 1 0 0 0 0 -1 0

X =

0 0 -1 0 , 0 1 0 0

0 0 0 -1 1 0 0 0

"0 0 0 7 "0 0 -1 0"

0 0 -7 0 0 0 0 1

Z =

0 -7 0 0 , 1 0 0 0

7 0 0 0 0 -1 0 0

В результате получим

"1 0 0 0"

0 1 0 0

Е =

0 0 1 0 ,

0 0 0 1

. (24)

E' = T • X • Y • Z =

0 0 i 0

0 0 0 i i000

0 i 0 0

I = Y • Z

0 -i -i 0 00 00

J = Z • X =

K = X • Y =

I' = X • T

J' = Z • T

K' = X • T =

00 00 0 -i -i 0

0 -10 0

10 0 0

0 0 0 -1

0 0 1 0

-i 0 0 0

0 i 0 0

0 0 -i 0

0 0 0 i

0 0 0 1

0 0 1 0

0 1 0 0

10 0 0

0 0 0 -i

0 0 i 0

0 -i 0 0

i 0 0 0

0 0 1 0

0 0 0 -1

10 0 0

0 -1 0 0

(25)

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

S = {ct)• T + X • X + Y • Y + Z • Z =

ct 0 - Z - X + Y • i

0 ct - X - Y • i Z

Z X - Y • i - ct 0

X + Y • i - Z 0 - ct

,(26)

где матрицы т, X, Y, Z - базисные матрицы четырехмерного векторного пространства, определенные в соответствии с выражением (24).

Преобразование вида

S' = R • S • R

-1

(27)

является лоренцовым вращением пространства-времени. Здесь я - такой бикватерни-он в матричных обозначениях, что

R • R

-1

Е, Я-1 - обратный бикватернион. Далее запишем выражение для бикватер-нионов я и я-1. Сгруппируем слагаемые в составе матричного представления бикватер-ниона (23), выделив векторную часть: В = Ы • I + с • J + d • К + В • I'+ С • J'+ D • К' =

= -[(Ы • I + с • J + d • К)• Е ']• Е'+

+ (В • I'+ С • J'+ D • К ') = о • Е'+ о', (28) где о и о' - векторы пространства:

о =

0 0

-d -b - c • i

0 -d -b + c • i

0 -b - c • i d -b + c • i 0 0

d

0

0

(29)

0 0 D B - C • i

0 0 B + C • i -D

D B - C • i 0 0

B + C • i -D

0

(30)

В результате для бикватерниона r в матричных обозначениях каноническое разложение будет иметь вид:

R = (ch (0/2) • E + B • sh (0/2)) х X ( cos (р/2) • E + E '• B • sin (р/2)),

R

-1

( ch (02)• E - sh (02) • B)х

X (cos (р/2) • E - sin (р/2) • E '• B) . (31)

Лоренцовое вращение пространства-времени (27) можно интерпретировать как:

о

1) Вращение в трехмерном пространстве. К ним приходим в случае

в = 0, B = -A • I'- B • J'- C • K',

A2 + B2 + C2 = 1. (32) Тогда вращающий бикватернион r и обратный к нему бикватернион r-1 представляют собой кватернионы и имеют следующий вид:

R = cos (р/2) • E + sin (р/2) • (A • I + B • J + C • K)

R-1 = cos (р/2)- E - sin (р/2)-(A • I + B • J + C • K ),(33) р - угол поворота вокруг оси p , с координатами х = A , y = B, z = C .

Получаем обычные вращения в трехмерном пространстве.

2) Специальные преобразования Лоренца. К ним приходим в случае

р = 0, в = C • K', A = 0, B = 0, C = 1. (34) Тогда вращающий бикватернион R и обратный к нему бикватернион r -1 в матричных обозначениях будут иметь вид:

R = ch Í в) E + sh (в ) K',

R-1 = ch|в )• E-shI в1 K'

2

2

(35)

Выражение (37) представляет собой специальное преобразование Лоренца-Эйнштейна. При фиксированном параметре 0 из выражений (36) и (37) следует, что если

2 = с • t • & (0), X = Y = 0, то X' = Y' = г' = 0.

Это показывает, что преобразование состоит в равномерном и прямолинейном сдвиге выделенных координатных осей вдоль направления противоположного направлению оси 02 . При таком подходе, если обозначить

th (в) = -

c '

(38)

B2 + C2 + D2 = 1-

Если исходное положение точки в пространстве-времени задавать некоторым вектором £ = с • t + X • х + У • у + 2 • г , то в результате специальных преобразований Лоренца новое положение точки будет задаваться вектором £' = (с • t'+ X '• х + У '• у + 2 '• г), где:

X' = X, У' = У,

2' = 2 • сЬ(0)-с • t • sh(0), (36) с • t' = с • t '• сЬ (0)-2 • sh (0).

Перепишем два последних равенства выражения (36) в виде:

[2' = сЬ (0)^( 2 - с • t • Л (0)), t' = сЬ (0)^( t-(2/с) Л (0)). (37)

вытекает условие, что скорость движения — не может быть больше скорости света c .

3). Прямолинейное равноускоренное движение точки с вращением вокруг оси, задаваемой направлением движения (винтовое движение).

Рассмотрим вращающий бикватернион в случае, когда задающий его бивектор имеет следующий вид:

B = B • I'+ C • J'+ D • K',

(39)

где b , C, D - задают координаты оси p вдоль которой происходит движение и вращение точки. Тогда вращающий и обратный к нему бикватернионы имеют следующий вид:

R = [ch (в/2) • E + sh (в/2)^(B • I'+ C • J'+ D • K ')]х х [cos (р/2)^ E + sin (р/2)^( B • I + C • J + D • K)] =

= ch (в/2)• cos (р/2) • E + + ch (в/2) • sin (р/2) • (B • I + C • J + D • K) + + sh (в/2) • cos (р/2) • (B • I'+ C • J'+ D • K') -

- sh (в/2) • sin (р/2) • E', R-1 = ch (в/2) • cos (р/2) • E -

- ch (в/2) • sin (р/2) • (B • I + C • J + D • K) -

- sh (в/2) • cos (р/2) • (B • I'+ C • J'+ D • K')-

- sh (в/2) • sin (р/2) • E'. (40)

Рассмотренные выше виды преобразований пространства-времени: вращение, специальные преобразования Лоренца и винтовое движение можно выполнять и в виде про-

изведения бикватернионов вида:

о(^ = г • о • (41)

где г - вращающий бикватернион

г = cosfa/2^ ch(0/2) + + sin (ф/2) • ch(0/2) • (B • i + C • j + D • к) -- sh (0/ 2) • sin (ф/2)^ E + + cosfa/2) • sh(0/2) • (B • I + C • J + D • K), (42)

~ - "сопряженный" бикватернион к биква-терниону г по следующему правилу:

г = cosfa/2^ ch(02)-

- sin (ф/2)- ch (0/2)- (B • i + C • j + D • к) +

+ sh (0 2) • sin (ф/2)^ E +

+ cosfa/2) • sh(0/2) • (B • I + C • J + D • K), (43) о - бикватернион, соответствующий исходному вектору пространства-времени

S = c • t + X • x + Y • y + Z • z

о = [c • t 0 0 0 0 X Y Z ], (44)

о (c) - бикватернион, соответствующий

полученному в результате лоренцового вращения вектору пространства времени

S' = c • t'+X'•x + Y'• y + Z'•z

о(c) = [c • t' 0 0 0 0 X' Y' Z'], (45) B, C и d - координаты оси вращения - движения, такие , что b 2 + C2 + D2 = 1.

Отличие представления лоренцового вращения пространства-времени в виде (41) от матричного (27) заключается в том, что в выражении (41) вместо обратного бикватернио-

на г -1, как это было в матричном представлении ( r-1), используется "сопряженный" бикватернион (43). Это связано с тем, что представление вектора пространства-времени в матричном виде, отличается от матричного представления вектора пространства.

Пространства бикватернионных сигналов

Рассмотрим два бикватернионных сигнала O = {о(п)}0 n-1 и U = {u(n)}0 n-1, где

каждый бикватернионный ЭВ в общем виде соответствует выражению (6). Бикватернион-ный сигнал можно рассматривать как элемент

N -мерного линейного пространства oN .

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

ON линейное пространство бикватернион-ных сигналов, в котором умножение биква-

тернионного сигнала О = {о(п )}о, N-1 на скаляр о (при о е ON, о е О ), удовлетворяет следующим аксиомам:

а) О- о е О1^,

б) (О + и)• о = О^ о + и о,

в) О • (о1 + о2 ) = О • о1 + О • о2,

г) О • (о • о) = (О • о) • о,

д) О • 1 = О .

Скалярное произведение в пространстве ON при ортонормированном базисе имеет вид:

N-1

(O, U )=£ o(n)

n • V n

(46)

n=0

Евклидовую норму произвольного биква-тернионного сигнала О можно выразить, используя свойство скалярного произведения:

IOII ^(O, O) :

i

N-1 7

Ц o/ (n)2 .

(47)

n=0l=0

Для любых двух бикватернионных сигналов O и и справедливо неравенство Коши-Буняковского:

|(O, U)| 2 < ЮН2- IUI2. (48) Нормированное скалярное произведение зададим выражением:

cos ф =

(O, U )

(49)

||о|| • ||и|| •

В рассматриваемом евклидовом биква-тернионном пространстве qn со скалярным

произведением контуров пространственно-временных изображений (46) введем расстояние между двумя бикватернионными сигналами:

R = O - U .

(50)

Используя выражение (50) можно записать:

R2 = (O - U 2 =(O - U, O - U) =

= ||O||2 +|IUI2 - (O, u)-(u, o)

(51)

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

^О,О = о , ^О,и = %,О .

Евклидовое бикватернионное пространство N -ой размерности является полным.

Спектральный анализ бикватернионных сигналов

В работе [9] для спектрального и корреляционного анализа кватернионных сигналов предлагается использовать базисные функции неприводимых представлений ортогональной группы О(з), которые представляют собой сферические гармоники. Для спектрального анализа бикватернионных сигналов можно также использовать базисные функции неприводимых представлений ортогональной группы О(й). При использовании процедуры удвоения для формирования гиперкомплексной системы получим, что размерность пространства d - кратна степени 2

(для бикватернионов d = 23 = 8 ). При этом полярный вектор в гиперкомплексном пространстве, кроме d = 2, всегда содержит нечетное количество координат, так как нулевая компонента ЭВ - представляет собой скаляр, не имеющий отношения к пространственным координатам полярного вектора. Рассмотрим неприводимые представления

ортогональной группы О(й) только для не-

четных d < 8.

Правило построения неприводимых представлений ортогональной группы O(d ) имеет следующий вид: все допустимые схемы для заданного значения d определяются, полагая r = 0,1,2,... и отбирая неотрицательные числа Д, удовлетворяющие уравнению:

Д! + д2 + .. + M*v = r , (52)

где > д2 - .. - , причем некоторые из чисел Д могут быть нулями; d = 2v, если d четно, и d = 2v +1, если d нечетно.

При d = 3 : v = 1. Поэтому неприводимые представления группы O+(з) описываются одним значком д^ . Базисными функциями служат симметрические тензоры д^-го ранга с нулевым следом.

При d = 5: v = 2. Следовательно, неприводимые представления группы O + (5) характеризуются двумя целыми числами (д^д 2 ), причем д1 > д 2.

При d = 7 : v = 3 . Следовательно, неприводимые представления группы O+(7) характеризуются двумя целыми числами

(Д1Д2Д3 ), причем Д1 > Д2 > Д3.

Работа выполнена при финансовой поддержке гранта РФФИ №04-01-00243.

СПИСОК ЛИТЕРАТУРЫ

1. Журавлев Ю.И. Об алгебраическом подходе к решению задач распознавания и классификации // Проблемы кибернетики. Вып. 53. М.: Наука, 1978.

2. ГуревичИ.Б., ЖуравлевЮ.И., Сметанин Ю.Г. Алгебры изображений: исследовательские и прикладные задачи/ Труды IV конференции РОАИ. Новосибирск, 1998.

3. Snuder M.A. Comment on Ignorance, Myopia and Novelette in Computer Vision Systems/ / CVGIP: Image Understand. 1991. Vol.53. №1.

4. Jain R.C., Binford T.O. Revolutions and experimental computer vision// CVGIP: Image Understand. 1991. Vol.53. №1.

5. Фурман Я.А., Кревецкий А.В., Передреев А.К., Роженцов А.А., ХафизовР.Г., Егоши-на И.Л., Леухин А.Н. Введение в контурный анализ; приложения к обработке изображений и сигналов. М.: Физматлит, 2003.

6. Фурман Я.А., Кревецкий А.В., Роженцов А.А., Хафизов Р.Г., Леухин А.Н., Егошина И.Л. Комплекснозначные и гиперкомплексные системы в задачах обработки мно-

гомерных сигналов. М.: Физматлит, 2004.

7. Davenport C.M. Commutative Hyper Complex Calculus with Applications to Special Relativity. Knoxville, Tennesse, 1991.

8. Clifford W.K. Preliminary Sketch of Biquaternions. - Proc. London Math. Soc. Vol.4. 1873.

9. Leukhin A.N. Parameter Estimation of Quaternion Signal Rotation on the Base of Spherical Analysis // Pattern Recognition and Image Analysis. Vol.13. No.1. 2003.

MATHEMATICAL MODELS OF DYNAMIC IMAGES ON THE BASE OF HIPERCOMPLEX ALGEBRA

© 2004 A.N. Leukhin

Mari State Technical University

Images models of dynamic 3D grouped point objects on the maner of biquaternion vectors bunch are offered this paper. Linear space of biquaternion vectors bunch is considered. Scalar product and Euclidian space, and Hilbert space of contour signals of dynamic 3D-images are given. Biquaternion algebra isomorphism with special type complex matrixes of forth order is shown. Lorenz rotation in space-time are considered in biquaternion model. The basis functions for spectral analysis of biquaternion signals on

the base of non- brought representations of orthogonal group O(d) are designed.