Научная статья на тему 'Анализ методов построения эффективных линейных локальных признаков цифровых сигналов и изображений'

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

CC BY
129
45
i Надоели баннеры? Вы всегда можете отключить рекламу.
Журнал
Компьютерная оптика
Scopus
ВАК
RSCI
ESCI
Область наук
Ключевые слова
ЦИФРОВЫЕ СИГНАЛЫ / ПОСТРОЕНИЕ ПРИЗНАКОВ / АЛГОРИТМЫ ОПТИМИЗАЦИИ / DIGITAL SIGNALS / FEATURES CONSTRUCTION / OPTIMIZATION ALGORITHMS

Аннотация научной статьи по математике, автор научной работы — Мясников Владислав Валерьевич, Баврина Алина Юрьевна, Титова Ольга Александровна

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

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

ANALYSIS OF METHODS FOR CONSTRUCTION OF EFFICIENT LINEAR LOCAL FEATURES FOR DIGITAL SIGNALS AND IMAGES DESCRIPTION

Analysis of several methods for the construction of efficient linear local features for digital signals and images description is given in the work. This analysis is carried out for the best method selection. As a linear local feature (LLF) of a digital signal a pare is considered which consists of a finite impulse response (FIR) and an algorithm for linear convolution computation of the signal with this FIR. Efficient LLF demonstrates optimal behavior, such as the algorithm has minimal computational complexity in some class and FIR of LLF is the best matched to a quality criterion of an applied task. For particular applied task the method for efficient LLF construction is specified by the formulation of LLF construction task and by the algorithm for its solution. Two formulations of efficient LLF construction task are considered in the current work: the particular and extended particular task formulations. Algorithms for exact solution of particular task and approximate solution of extended particular task were suggested in authors' previous works. The comparison of constructed LLF is carried out with the use of different criterions that characterize features properties.

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

АНАЛИЗ МЕТОДОВ ПОСТРОЕНИЯ ЭФФЕКТИВНЫХ ЛИНЕЙНЫХ ЛОКАЛЬНЫХ ПРИЗНАКОВ

ЦИФРОВЫХ СИГНАЛОВ И ИЗОБРАЖЕНИЙ

Мясников В.В., Баврина А.Ю., Титова О.А.

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

Аннотация

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

Ключевые слова: цифровые сигналы, построение признаков, алгоритмы оптимизации.

Введение

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

В работах Мясникова В.В. [2, 3] был предложен один из возможных подходов к построению одного важного для задач компьютерного зрения класса признаков - линейных локальных признаков (ЛЛП) цифровых сигналов и изображений. Под ЛЛП цифрового сигнала понимается пара, состоящая из конечной импульсной характеристики (КИХ ЛЛП) и алгоритма (вычисления признака) [2, 3]. Алгоритм вычисления ЛЛП реализует вычисление линейной свёртки анализируемого сигнала с КИХ ЛЛП. Эффективный ЛЛП должен обнаруживать оптимальное поведение в следующем смысле:

• алгоритм вычисления признака должен обладать наименьшей (в некотором классе) вычислительной сложностью;

• КИХ признака должна быть наилучшим образом согласована с критерием качества.

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

• признаками, оптимальными в смысле некоторого критерия качества, но не имеющими подходящего или быстрого алгоритма вычисления (например, признаки, полученные с использованием преобразования Карунена-Лоэва);

• признаками, полученными с использованием быстрых алгоритмов, но не имеющими отношения к содержательной постановке задачи, и соответствующим ей критериям качества (например, признаки, полученные с использованием алгоритма быстрого преобразования Фурье).

Цель настоящей работы - это анализ различных методов построения эффективных ЛЛП. Для конкретной прикладной задачи метод построения эффективных ЛЛП определяется как формулировкой задачи построения, так и алгоритмом её решения. В работе рассматриваются две формулировки задачи построения ЛЛП: частная и расширенная частная задачи построения эффективных ЛЛП. Разница указанных формулировок заключается в различных способах ограничения множества последовательностей отсчётов КИХ, среди которых ищутся претенденты на КИХ ЛЛП.

В формулировке частной задачи построения эффективного ЛЛП множество конечных последовательностей (в общем случае мы рассматриваем последовательности над К, где К - некоторое коммутативное кольцо с единицей), среди которых ищется решение, ограничивается семейством НМС-после-довательностей (НМС - нормализованная с минимальной сложностью [2]), обозначаемым р(К, М, а) [2, 3]. Здесь М - длина последовательности (длина КИХ ЛЛП), К - порядок линейного рекуррентного соотношения (ЛРС) [4], которому удовлетворяет последовательность, а = (а1,...,аК)т - вектор коэффициентов ЛРС. В работе [2] была доказана конечность мощности конкретного множества р(К, М, а). В результате, решение частной задачи построения эффективного ЛЛП может быть получено перебором элементов множества р(К, М, а) и выбором той НМС-последовательности (и, соответственно, ЛЛП), кото-

рая наилучшим образом подходит к конкретной прикладной задаче. Соответствующий алгоритм был указан в работе [3].

В формулировке расширенной частной задачи построения эффективных ЛЛП фиксируются только ключевые параметры (К, М) семейства, определяющие сложность алгоритма вычисления признака. В результате решение ищется среди последовательностей, попадающих в следующее множество:

и Р(К,М, а).

— 1/К

аеК

В общем случае указанное множество не является конечным. Для практически важного случая, когда последовательности вещественны, для решения расширенной частной задачи приходится использовать приближенные численные алгоритмы. Три из них были предложены в предыдущих работах авторов [5, 6].

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

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

1. Задачи построения эффективных линейных локальных признаков

Пусть Я и N - множества вещественных и натуральных чисел. Рассмотрим следующий алгоритм линейной локальной фильтрации [2].

Алгоритм 1.

Вход: М«)}"-1; Выход: {у(п)}"М-1;

Шаг 1: предварительная обработка:

у (п) = X х (п - т) ф (т), п = 0,..., N -1;

тев

Шаг 2: окончательная обработка:

М

у(п) = Xаку (п — к) + у («), п = 0, ..., N — 1 .

к=1

В представленном алгоритме:

• значения отсчётов х(п) и у(п) для случая п < 0 полагаются равными нулю;

• величины К е Н {ак (ак е К, аК Ф 0) и

{ф (т)}'М=0К—1 (ф (т) е К) определяют неоднородное линейное рекуррентное соотношение (ЛРС) вида

К

И (т) = X акИ (т — к) + ф(т), т = 0,1,...,

к=1

которому удовлетворяет последовательность отсчётов КИХ {И (т)}“—1. В этом ЛРС значения И (т) для случаев т < 0 и т > М должны удовлетворять условию И (т) = 0. Будем использовать терминологию, принятую в [4]: К - порядок ЛРС, а = (а1,а2,...,аК) - вектор коэффициентов ЛРС, а формируемая с использованием ЛРС последовательность - линейная рекуррентная последовательность (ЛРП);

• величина в определяется выражением: в = {т е {0, ..., М + К -1}: ф (т) Ф 0}. Вычислительная сложность алгоритма 1, определяемая числом арифметических операций сложения и умножения, требуемых на один отсчёт выходного сигнала, имеет вид:

/ .\ N - М +1 |_|

и (А)—N— = 1в1+К-Х“«, (1)

где |в| - мощность множества в, Хааи - относительная сложность операции сложения Хеш е Я [0,1].

В работе [2] показано, что для заданного порядка К ЛРС минимум вычислительной сложности (1) приведённого алгоритма достигается для подкласса последовательностей, вводимых определением 2.

Определение 1. ЛРП И(0),И(1), ... порядка К над К называется МС-последовательностью порядка К длины М над К, если выполняется:

(И (0) Ф 0) л (И (М -1) Ф 0) л л("т > МИ (т) = 0) л (| в| < К +1).

Определение 2. МС-последовательность порядка К длины М над К называется нормализованной МС-последовательностью (НМС-последовательно-стью) для в порядка К длины М , если И (0) = 1 и выполняется условие

X 2тI [ф (т) Ф 0] - 2м+к XI [ф(т) = 0] -

те в тев

1 г~ п (2)

—I [ф (М + К -1) = 1]® шп .

2 «»Ж

{Ф(“ )}тев

В выражении (2) величина I [...] - индикатор аргумента-выражения, принимающий значение 1, если выражение верно, и 0 - иначе.

Множество всех НМС-последоватльностей можно разбить на подмножества, называемые далее семействами, следующим образом.

Определение 3. (K,M,a)-семейством НМС-по-

следовательностей, обозначаемым p(K,M,а), называется множество НМС-последовательностей порядка K длины M , удовлетворяющих ЛРС с коэффициентами a (aK ф 0).

Краткие формулировки задач построения эффективных ЛЛП, точные определения для которых приведены в работах [2, 3, 5, 6], могут быть даны следующим образом. Пусть y: KM ® R - некоторая целевая функция, определяющая критерий качества КИХ ЛЛП для конкретной прикладной задачи.

Частная задача построения эффективного ЛЛП -это задача построения НМС-последовательности h(0),..., h(M-1) конкретного семейства p(K,M, a) с минимальным значением целевой функции: y(h (0),..., h (M -1)) ® min _ .

{h(m )}M=0eP(K ,M ,a)

Расширенная частная задача построения эффективного ЛЛП - это задача построения НМС-по-следовательности h (0), ..., h (M -1) из множества U ¿э(K,M, a) с минимальным значением целевой

— t/K

aeK

функции:

® min _ . (3)

{A(m))M-0 e U P(K,M,a)

aeK K

Алгоритм решения частной задачи построения эффективного ЛЛП, основанный на переборе элементов семейства ¿ö(K,M,a), указан в работах [2, 3]. Приближенные алгоритмы решения расширенной частной задачи, предложенные ранее в работах авторов [5, 6], кратко описаны ниже.

2. Алгоритмы решения расширенной частной задачи Расширенная частная задача построения (вещественнозначной) НМС-последовательности является оптимизационной задачей, в процессе решения которой необходимо определить:

• коэффициенты ЛРС a для НМС-последовательности (отсчётов КИХ ЛЛП), которые фиксируют её семейство p(K, M, a);

• собственно НМС-последовательность {h^)}^1 семейства p(K,M, a), минимизирующую значение целевой функции (3).

Вторая подзадача в этом списке - это частная задача построения эффективного ЛЛП, решение которой может быть точно найдено с помощью алгоритма решения частной задачи [2, 3]. Для решения пер-

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

• псевдоградиентный алгоритм [5],

• алгоритм имитации отжига [6],

• генетический алгоритм [6].

Эти алгоритмы исследуются в настоящей работе на предмет сравнения получаемого ими результата.

Заметим также, что при построении нескольких эффективных ЛЛП мы конструировали их последовательно, то есть путём последовательного присоединения одного нового ЛЛП к уже сконструированному множеству.

3. Экспериментальный анализ задач построения эффективных ЛЛП

Первым этапом анализа методов построения эффективных ЛЛП является определение (на качественном уровне) преимуществ решения расширенной частной задачи по отношению к решению частной задачи построения эффективных ЛЛП. Необходимость такого анализа следует из следующих установленных ранее фактов:

- частная задача построения эффективных ЛЛП всегда имеет единственное решение, которое может быть определено точно [2, 3];

- решение расширенной частной задачи для практически наиболее значимого случая работы с вещественными данными может быть не единственным. Более того, все предложенные алгоритмы [5,6] поиска этого решения являются квази-оптимальными (не гарантируют нахождения глобального оптимума).

Следствием указанных фактов на практике может оказаться «неожиданный» проигрыш в качестве ЛЛП, полученных в результате решения более сложной расширенной частной задачи, по сравнению с признаками, построенными как решение относительно простой частной задачи. «Неожиданность» заключа-

— *

ется в том, что множество р(К, М, а ), в котором ищется решение частной задачи построения эффективных ЛЛП, удовлетворяет условию:

р(к,м,а*) с и р(к,м,а).

— т/К

аеК

То есть, по сути, является подмножеством множества и Р(К,М, а), в котором ищется решение

аеК К

расширенной частной задачи.

Цель приводимых ниже экспериментальных исследований - это анализ изменений показателей качества ЛЛП, возникающих при переходе от решения частной задачи к решению расширенной частной задачи построения эффективных ЛЛП. При анализе этих изменений мы намеренно не использовали «лучший» из доступных алгоритмов (см. п. 2 и п. 4) решения расширенной частной задачи, поскольку

принципиальным являлось именно качественное (а не количественное) изменение.

Экспериментальное исследование выполнялось следующим образом. Проводилось построение T = 4 НМС-последовательностей {И, ° с параметрами

М = 21, К = 1, 2, 3, 4. Эти последовательности конструировались как решения, соответственно, частной и расширенной частной задач построения эффективных ЛЛП. В последнем случае решение было получено с использованием псевдоградиентного алгоритма (см. п. 2).

При задании целевых функций у: КМ ® Я , определяющих критерии качества ЛЛП, рассматривались две группы задач:

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

- построение набора последовательностей, который минимизирует выбранный функционал, и

- решение какой-либо практической подзадачи.

Для первой группы задач использовались следующие целевые функции, введённые в [1]:

• динамический диапазон КИХ {И, °, задавае-

мый величиной

J = max V | И(m) |

1 t=0,...,T-1^ '

m=0

число обусловленности матрицы [с]

корреляции набора КИХ: J2 = 11max | • 11 где 1

взаимной

- -Л,,- , |-1

2 V1 max 1 1 min 1

и 1min, соответственно, максимальное и минимальное по модулю собственные числа указанной матрицы, элементы матрицы вычисляются

1 M-1

согласно выражению: с. = — X h (m)hj (m);

’ M m= 0

коэффициент сопряжённости КИХ {ht }^Г01, вычисляемый по норме Гильберта-Шмидта [1]:

2

;XX

К, hq

Т(Т 1) t=° д=м^|"й,||-||h

Вид целевых функций для второй группы задач зависел от выбора конкретной подзадачи. Для исследования были выбраны две подзадачи:

1) обнаружение детерминированного объекта на фоне аддитивной помехи;

2) аппроксимация импульсной характеристики.

Для первой подзадачи производящий функционал имеет вид:

^ 4 =- «Я ,

где К - расстояние Махаланобиса [1] между откликами «фильтра-обнаружителя»

Т-1

И Ор т2) = X ЪА (т1) И (т2)

•, ' = 0

на двумерные сигналы «фон» и «объект» ({Ь I ¡]=0_Т-1 - коэффициенты представления фильтра). Двумерный сигнал «фона» задается как белый шум с дисперсией Можно показать, что величина 04 рассчитывается в соответствии с выражением:

J4 = - max

{b‘j } i, i=0,T-1

X_( h (m1, m2) • f K, m2))

m, ,m2 =0,M-1

X_______h2(m„ m2)

m-1 ,m2 =0,M -1

2

где двумерный сигнал объекта /(т1, т2) задаётся в виде изображения (рис. 1), зашумленного белым шумом.

Рис. 1. Изображение «объекта» в задаче обнаружения Для второй подзадачи функционал имеет вид:

( (( Л2 ! Г 1Л2 Л

J5 = X

- X bijhi (m1) hj (m2)

V ' ,j=0

w

-0.011 ^ щ-

Здесь е ^ у - заданная импульс-

ная характеристика в виде двумерной разделимой «гауссоиды», [•] - обозначение целой части числа.

Заметим, что все целевые функции были подобраны таким образом, чтобы их меньшему значению соответствовало «лучшее» качество признаков.

Результаты проведенных экспериментальных исследований приведены в табл. 1. Как видно, ни одно решение расширенной частной задачи не оказалось хуже (в количественном выражении - больше), чем решение частной задачи.

Таблица 1. Показатели качества ЛЛП для различных задач построения

J K 2KT частная расшир.

Jl 1 8 1,00 0,42

2 16 0,96 0,22

3 24 0,64 0,15

4 32 0,46 0,12

J2 1 8 15,00 9,34

2 16 14,62 5,88

3 24 12,01 5,03

4 32 7,12 5,01

J3 1 8 1,00 0,42

2 16 0,96 0,22

3 24 0,64 0,15

4 32 0,46 0,12

J4 1 8 -0,88 -0,90

2 16 -0,89 -0,92

3 24 -0,89 -0,94

4 32 -0,91 -0,95

J5 1 8 0,270 0,104

2 16 0,262 0,009

3 24 0,234 0,005

4 32 0,233 0,002

0.011 m

+ 1 m.

e

M-1

4. Экспериментальное сравнение алгоритмов решения расширенной частной задачи построения эффективных ЛЛП

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

Экспериментальное исследование выполнялось следующим образом. Проводилось построение Т = 4 НМС-последовательностей {И, }=-° с параметрами М = 21 , К = 2, 3, 4, 5 . Эти последовательности конструировались как решения расширенной частной задачи построения эффективных ЛЛП. Искомые решения находились указанными выше алгоритмами. Каждый из алгоритмов искал решение по Ь = 10 раз. Таким образом, показатель качества решения каждого из алгоритмов Jl имел две характеристики -

среднее Jm

1 ь-1

=Ь х ^

Ь 1=0

и среднеквадратическое зна-

п )2 , характеризующее

1 Ь-1

чение JMSR = 4 1'Г X ^1 - Jm

V Ь I=0

степень «разброса» в качестве решения.

Как показатель качества (целевая функция) в исследовании выступала величина, интегрально характеризующая степень коррелированности последовательностей {И, }Т=(°, задающих КИХ ЛЛП, и точность представления с их помощью заданного набора сигналов {Х1 }=0 (конечных последовательностей длины М над Я):

J.

XI ¿Х

_ _=0___________

’ 1-1

XII х,||:

-+(1 -а)

Т - 2 Т-1

Т (Т -1) X =+1

*

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

И И

здесь

АХ. (т) = X (т) - X Ь,И, (т), т = 0,М -1 - аб-

}Т=-01,

солютная ошибка представления последовательности Х1 с помощью НМС-последовательностей {И, }Т

{Ь }Т=<° - коэффициенты представления. В экспериментах использовались следующие значения параметров: I = 50 , а= 0,5 . Исходные сигналы {Х1 }=0

представляли собой реализации дискретного стационарного случайного процесса с автокорреляционной функцией ВХ (т) = БХрт где БХ = 1, р = 0,9.

Заметим также, что в экспериментах рассматривались два случая решения указанной задачи:

- случай отсутствия ограничений на искомый вектор параметров ЛРС а , а также

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

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

Значение критерия J6 для Т = 4 последовательностей, соответствующих разложению Карунена-Ло-эва, составило J6 = 0,099. При этом вычислительная сложность расчета ЛЛП (при использовании прямого алгоритма вычисления линейной свёртки), составляет МТ = 84 операции на отсчёт выходного сигнала в отличие от 2КТ операций, необходимых для вычисления эффективных ЛЛП.

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

Таблица 2. Значения показателя качества J6 линейных локальных признаков, конструируемых с использованием различных алгоритмов

Т-1

2

2

0

К 2КТ Алгоритм Без ограничений Ограничения на устойчивость

^теап •^МЖ ^теап •^МЖ

2 16 генетический отжига псевдо градиентный 0,265 0,466 0,325 0,0668 0,2214 0,0590 0,274 0,230 0,0378 0,0548

3 24 генетический отжига псевдо градиентный 0,137 0,219 0,264 0,0113 0,0581 0,0549 0,219 0,245 0,0478 0,0679

4 32 генетический отжига псевдо градиентный 0,124 0,183 0,160 0,0042 0,0524 0,0169 0,143 0,162 0,0103 0,0330

5 40 генетический отжига псевдо градиентный 0,117 0,161 0,139 0,0041 0,0453 0,0142 0,133 0,172 0,0165 0,0626

На основании представленных результатов исследований можно сделать следующие выводы:

• наилучшее среднее качество ЛЛП позволяет получить метод, использующий генетический алгоритм;

• практически для всех задач генетический алгоритм даёт наименьший разброс величины качества;

• наихудшие показатели демонстрирует алгоритм имитации отжига;

• генетический алгоритм и алгоритм имитации отжига имеют преимущество перед псевдоградиент-ным в плане возможного учёта дополнительных ограничений задачи, выражаемых, например, в виде ограничений на значения вектора ЛРС а ;

• высокие качественные показатели ЛЛП достигаются уже при малом значении величины К и, как следствие, при малой вычислительной сложности алгоритмов расчёта ЛЛП.

5. Выводы и рекомендации

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

- конструирование эффективного ЛЛП следует производить путём решения расширенной частной задачи;

- поиск решения расширенной частной задачи (как с ограничениями, так и без них) рекомендуется производить с использованием генетического алгоритма поиска, предложенного в [6].

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

Благодарности Работа выполнена при финансовой поддержке

РФФИ, проект № 09-01-00434-а, Программы фундаментальных исследований Президиума РАН

«Фундаментальные проблемы информатики и информационных технологий», проект 2.12.

Литература

1. Computer Image Processing, Part II: Methods and algorithms / Edited by Victor A. Soifer. - VDM Verlag, 2009.

- 584 p.

2. Мясников, В.В. Эффективные линейные локальные признаки цифровых сигналов и изображений // Компьютерная оптика, 2007. - № 31. - С. 58-76. - ISSN 0134-2452.

3. Myasnikov, V. Efficient Features for Local Linear Description of Signals and Images / Vladislav Myasnikov // Proc. 9th Int. Conf. on Pattern Recognition and Image Analysis: New Information technologies, Nizhniy Novgorod, RF, 2008. - Vol. 2. - P. 77-80.

4. Lidl, R. Finite Fields (Second edition) / Rudolf Lidl, Harald Niederreiter. - Cambridge University Press, 1997. -755 p.

5. Титова, О.А Псевдоградиентный алгоритм построения эффективных линейных локальных признаков / О.А. Титова, В.В. Мясников // Тезисы Всероссийской конференции ММРО-14, Суздаль, 2009. - С. 272-275.

6. Баврина, А.Ю. Построение линейных локальных признаков с использованием алгоритмов глобальной оптимизации / А.Ю. Баврина, В.В. Мясников // Тезисы Всероссийской конференции ММРО-14, Суздаль, 2009. -С. 219-222.

References

1. Computer Image Processing, Part II: Methods and algorithms / Edited by Victor A. Soifer. - VDM Verlag, 2009.

- 584 p.

2. Myasnikov, V.V. Efficient Linear Local Features of the Digital Signals and Images // Computer optics, 2007. -V. 31. - P. 58-76. - ISSN 0134-2452. - (in Russian).

3. Myasnikov, V. Efficient Features for Local Linear Description of Signals and Images / Vladislav Myasnikov // Proc. 9th Int. Conf. on Pattern Recognition and Image Analysis: New Information technologies, Nizhniy Novgorod, RF, 2008. - Vol. 2. - P. 77-80.

4. Lidl, R. Finite Fields (Second edition) / Rudolf Lidl, Harald Niederreiter. - Cambridge University Press, 1997. -755 p.

5. Titova, O.A Pseudogradient algorithm for efficient linear local features construction / O.A. Titova, V. V. Myasnikov // Proc. All-Russian Conf. MMPR-14, Suzdal, RF, 2009. -P. 272-275. - (in Russian).

6. Bavrina, AYu. Construction of efficient linear local features with the use of global optimization algorithms / A.Yu Bavrina, V.V. Myasnikov // Proc. All-Russian Conf. MMPR-14, Suzdal, RF, 2009. - P. 219-222. - (in Russian).

ANALYSIS OF METHODS FOR CONSTRUCTION OF EFFICIENT LINEAR LOCAL FEATURES FOR

DIGITAL SIGNALS AND IMAGES DESCRIPTION

V.V. Myasnikov1'2, A.Y. Bavrina1,2, O.A. Titova1,2 1 Image Processing Systems Institute of the RAS,

2 S.P. Korolyov Samara State Aerospace University

Abstract

Analysis of several methods for the construction of efficient linear local features for digital signals and images description is given in the work. This analysis is carried out for the best method selection. As a linear local feature (LLF) of a digital signal a pare is considered which consists of a finite impulse response (FIR) and an algorithm for linear convolution computation of the signal with this FIR. Efficient LLF demonstrates optimal behavior, such as the algorithm has minimal computational complexity in some class and FIR of LLF is the best matched to a quality criterion of an applied task. For particular applied task the method for efficient LLF construction is specified by the formulation of LLF construction task and by the algorithm for its solution. Two formulations of efficient LLF construction task are considered in the current work: the particular and extended particular task formulations. Algorithms for exact solution of particular task and approximate solution of extended particular task were suggested in authors’ previous works. The comparison of constructed LLF is carried out with the use of different criterions that characterize features properties.

Key words: digital signals, features construction, optimization algorithms.

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

Мясников Владислав Валерьевич, 1971 года рождения. В 1994 году закончил Самарский государственный аэрокосмический университет (СГ АУ). В 1995 году поступил в аспирантуру СГ АУ, в 1998 году защитил диссертацию на степень кандидата технических наук, а в 2008 - диссертацию на степень доктора физико-математических наук. В настоящее время работает ведущим научным сотрудником в Учреждении Российской Академии Наук Институте систем обработки изображений РАН и, одновременно, доцентом кафедры геоинформатики и информационной безопасности СГАУ. Круг научных интересов включает цифровую обработку сигналов и изображений, геоинформатику, нейронные сети, компьютерное зрение, распознавание образов и искусственный интеллект. Имеет более 80 публикаций, в том числе 39 статей и одну монографию (в соавторстве). Член Российской ассоциации распознавания образов и анализа изображений.

E-mail: vmyas@smr.ru.

Vladislav Valerievich Myasnikov (1971 b.), graduated (1994) from the S.P. Korolyov Samara State Aerospace University (SSAU). He received his PhD in Technical sciences (2002) and DrSc degree in Physics & Maths (2008). At present he is a leading researcher at the Image Processing Systems Institute of the Russian Academy of Sciences, and ), holding a part-time position of Associate Professor at SSAU’s Geoinformatics and Information Security sub-department. The area of interests includes digital signals and image processing, geoinformatics, neural networks, computer vision, pattern recognition and artificial intelligence. He’s list of publications contains more than 80 scientific papers, including 39 articles and 1 monograph. He is a member of Russian Association of Pattern Recognition and Image Analysis.

Баврина Алина Юрьевна, 1980 года рождения. В 2003 г. закончила Самарский государственный аэрокосмический университет (СГАУ). В 2006 г. защитила диссертацию на степень кандидата технических наук. В настоящее время работает научным сотрудником в Учреждении Российской Академии Наук Институте систем обработки изображений РАН и по совместительству ассистентом кафедры геоинформатики и информационной безопасности СГАУ. Круг научных интересов включает цифровую обработку сигналов и изображений, геоинформатику, распознавание образов. Имеет 25 публикаций, из них 7 статей. Является членом Российской ассоциации распознавания образов и анализа изображений.

E-mail: alina@smr.ru.

Bavrina Alina Yurievna (1980 b.). graduated from the S.P. Korolyov Samara State Aerospace University (SSAU) at 2003, received her PhD in Technical sciences at 2006. At present she is a researcher at the Image Processing Systems Institute of the Russian Academy of Sciences, and ), holding a part-time position of assitant at SSAU’s Geoinformatics and Information Security sub-department. The area of interests includes digital signals and image processing, geoinformatics, pattern recognition. She is co-author of 25 scientific papers, including 7 articles. She is a member of Russian Association of Pattern Recognition and Image Analysis.

Титова Ольга Александровна, 1980 года рождения. В 2003 г. закончила Самарский государственный аэрокосмический университет (СГАУ). В настоящее время работает ассистентом кафедры геоинформатики и информационной безопасности СГАУ и по совместительству младшим научным сотрудником в Учреждении Российской Академии Наук Институте систем обработки изображений РАН. Круг научных интересов включает цифровую обработку сигналов и изображений, геоинформатику, распознавание образов. Имеет 23 публикации, из них 7 статей. Является членом Российской ассоциации распознавания образов и анализа изображений.

E-mail: olti@smr.ru.

Titova Olga Aleksandrovna (1980 b.), graduated from the S.P. Korolyov Samara State Aerospace University (SSAU) at 2003. At present she is an assitant at SSAU’s Geoinformatics and Information Security sub-department, holding a part-time position of junior researcher at the Image Processing Systems Institute of the Russian Academy of Sciences. The area of interests includes digital signals and image processing, geoinformatics, pattern recognition. She is co-author of 23 scientific papers, including 7 articles. She is a member of Russian Association of Pattern Recognition and Image Analysis.

Поступила в редакцию 18 августа 2010 г.

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