УДК 004.932.4
ВЕРОЯТНОСТЬ СНОСА ОЦЕНОК ПАРАМЕТРОВ МЕЖКАДРОВЫХ ГЕОМЕТРИЧЕСКИХ ДЕФОРМАЦИЙ ИЗОБРАЖЕНИЙ ПРИ ПСЕВДОГРАДИЕНТНОМ ИЗМЕРЕНИИ
© 2014 А.Г. Ташлинский, И.В. Воронов
Ульяновский государственный технический университет
Поступила в редакцию 02.12.2014
В работе рассмотрена методика расчета вероятности сноса оценок параметров межкадровых деформаций, формируемых псевдоградиентными процедурами при оценивании одного и нескольких параметров.
Ключевые слова: цифровое изображение, межкадровые деформации, вероятность, снос, псевдоградиентная процедура
Под псевдоградиентным измерением вектора а неизвестных параметров в работе понимается использование для получения оценки а рекуррентной процедуры вида [1]:
а t+i _ а'
а, - Л,+iPt+i (Q(z,а,))
(1)
где р,+1^ а/ )) - псевдоградиент (111) целевой функции (ЦФ) Q, Z - наблюдаемые изображения, для которых требуется оценить параметры а; А/+1 - матрица усиления. В общем
р,+i (Q(z, а,))
Для вектора а = (а 1, а2ат ) параметров межкадровых геометрических деформаций изображений (МГДИ) соотношение (1) можно представить в виде:
а
,+1 = а, - л,+1ф,+1 (vq(z(1), z(2), а, ))=а,+Аа,+1
случае Pt+i VQvz' аи/ - это случайное направление в пространстве параметров, определяемое
значениями аt и номером итерации t. Это направление будет считаться ПГ ЦФ в точке а пространства параметров, если будет выполнено условие:
Ша)]г M{pQ(z, а))} > о,
то есть, если направление pQ(z, а)) в среднем составляет острый угол с направлением вектора градиента VQ(c) функционала Q(c) . Применение ПГ алгоритмов в современных системах весьма обоснованно их хорошими точностными характеристиками и устойчивостью к широкому классу помех наряду с вычислительной простотой и отсутствием требования к предварительной оценке параметров исследуемых изображений.
Ташлинский Александр Григорьевич, доктор технических наук, профессор, заведующий кафедрой радиотехники. E-mail: [email protected]. Воронов Илья Васильевич, аспирант
(2)
где Ф/+1 - некоторая векторная функция от градиента на / -й итерации; 7(1), Z(2) - наблюдаемые изображения. Для уменьшения вычислительных затрат в выражении (2) допустимо использование вместо 7(2), а ,) его усе- уе^аД
чение
где
7 _(7(1) р 7(1) 7(2) р 7(2) ) zt+l = р7 р7 двумерная ло-
кальная выборка ЦФ на ¿-й итерации. При выборе знаковой функции 8£ц(о) в качестве векторной функции от градиента ф получаем простые и хорошо сходящиеся алгоритмы релейного типа
[2, 3] Р/+1 = (У0(7 ,+1, а /)), где
х) = (зва(дсД...^^хт))Т .
Вероятность сноса оценок при измерении одного параметра. Асимптотические вероятностные свойства оценок, сформированных псевдоградиентными процедурами, хорошо изучены. Возможности же анализа вероятностных
свойств оценок а, при конечном числе итераций исследованы недостаточно. Объясняется это большим числом факторов, влиянием которых нельзя пренебречь. К таким факторам можно отнести характер плотности распределения вероятностей (ПРВ) и ковариационную функцию (КФ) изображений, мешающий шум, вид ЦФ Q,
выбор функции фг преобразования градиента и
матрицы усиления Л г, определяющей величину ¿-го шага, общее число итераций Т и начальное
приближение ао вектора а . Эти факторы можно условно разделить на две группы [4]. Первую группу сформируют факторы, которые заданы априорно и не зависят от вида ПГ процедуры. К ним относятся ПРВ и КФ изображений, мешающий шум, а также ЦФ оценивания q. Во вторую группу войдут факторы, на которые можно воздействовать при использовании ПГ процедур.
Сюда можно отнести вид функции фг, матрицу
усиления Лг, начальное приближение ао вектора а и число общее число итераций т. Большой набор влияющих факторов в обеих группах создает сложности анализа эффективности ПГ процедур при конечном числе итераций.
Учитывая то, что в (2) для получения текущей оценки аг,г+1 предполагается дискретное
изменение предыдущей оценки аг,г, в качестве величин, комплексно характеризующих влияние факторов первой группы, предлагается использовать вероятности изменения оценки исследуемых параметров на каждой итерации. Данные вероятности характеризуют переход состояния вектора а параметров из ¿-го состояния в (¿+1)-е состояние. При этом из-за дискретного изменения оценки а 1,г на (¿+1)-й итерации для ПГ процедуры возможны только три события:
- Изменение оценки направлено в сторону истинного значения параметра, тогда:
- Нулевое изменение оценки. Не происходит никакого изменения оценки, при этом Ааг,г = 0.
Вероятность такого события обозначим Р (¿г ).
8ед( ¿г г) = зед Ааг
эёК ¿г, г) = - эёп Аа
г+1
Вероятность такого события обозначим Р '(¿г ). При этом событии направление проекции псевдоградиента на ось параметров а г противоположно истинному направлению проекции градиента.
Очевидно, что вероятности Р+(¿г ), Р° ( ¿г ) и Р-( ¿г ) составляют полную группу событий:
Р+ (ё/ ) + Р- (¿г ) + Р0(вг ) = 1 Таким образом, при максимизации ЦФ ПГ
процедуры для случая ¿г,г > 0, Р+(¿г ) - это вероятность того, что на (¿+1)-й итерации проекция
псевдоградиента Рг на ось параметров аг будет отрицательной:
Р+ (¿г) = Рр <о}= 0 (г(1),г(2),аг,г-1 )>рг
—то
где (г(1), г(2), аи—1)) - ПРВ проекции Р на ось параметров а г. Для случая минимизации
ЦФ Р+(¿г ) - характеризует вероятность того, что на (¿+1)-й итерации проекция псевдоградиента Р на ось параметров аг окажется положительной: Вероятности Р+(¿г) и Р—(¿г) будем называть вероятностями сноса оценки (ВСО) а г
параметра аг .
Используя плотность распределения вероятности Р н(е ) = Р (¿г ),Р— (¿г ),Р0(¿г )} несложно получить явные выражения для ПРВ оценок параметров а . В частности, при оценивании параметров изображений для этого удается использовать свойство нормализуемости проекции градиента ЦФ на ось исследуемого параметра при объеме двумерной локальной выборки ЦФ больше двух [5]. В качестве примера на рис.
1 приведены графики функции Р+ (|¿г ) для параллельного сдвига при объеме локальной выборки ЦФ р=1, 3, 5, 10 и 20. Там же показаны экспериментальные результаты, полученные статистическим моделированием по 500 реализациям на имитированных гауссовских изображениях с аналогичными параметрами. Пример имитированного гауссовского изображения, используемого при моделировании, приведен на рис. 2. Анализ показывает хорошее соответствие теоретических и экспериментальных результатов при ^>3.
г,г+1
где ¿гг =аги аг,г, г = 1, т - рассогласование
истинного значения параметра аг и его оценки на ¿-й итерации. При этом направление проекции псевдоградиента на ось параметров аг совпадает с истинным направлением проекции градиента. Вероятность такого события обозначим
Р+ (¿г ) .
Изменение оценки имеет направление от истинного значения:
Рис. 1. Вероятность сноса оценки для параллельного сдвига
Рис. 2. Пример имитированного изображения
сочетании значений в может быть и меньше 0,5. Оценки некоторых отдельных параметров в ходе работы ПГ процедуры могут ухудшаться при улучшающихся оценках ЦФ. Пример такого случая приведен на рис. 3.
Полученная с помощью ПГ процедуры (2)
последовательность оценок а0,а 1,...,а,,...,аТ вектора параметров а, является ш-мерной марковской цепью. Для релейных алгоритмов элементы матрицы условных вероятностей переходов из состояния I в состояние £ легко могут быть выражены через переходные вероятности
Р+(), Р0() и РГ). В [6] получены выражения для одношаговых ПРВ переходов оценок. Однако при большой размерности вектора параметров а резко возрастает требование к вычислительным ресурсам. Основными факторами, определяющими требования к вычислительным затратам, являются число возможных значений оценки каждого параметра и размерность вектора оцениваемых параметров. Проанализируем возможности уменьшения объемов вычислений для данных факторов.
Вероятность сноса оценок при измерении набора параметров. Разобьем область определения возможных значений параметра
Рис. 3. Вероятность сноса оценки сдвига при оценивании двух параметров
Если оценки искомых параметров зависимы, например, при оценке сдвига к и угла поворота ф, то величина р+ (вн, вф ) при определенном
а i вектора а на подобласти ©¿д, к = 1, Ki , поставив в соответствие каждой ©¿,к фиксированное значение at£ е ©¿д . При этом ai внутри
каждой подобласти ©i ,к будем считать неизменным. Такой переход от непрерывной области определения П к дискретной позволяет апри-
m
орно выбрать размеры к К ^ К , кк = Z Ki, мат-
¿=1
рицы Пi (t) = ||к(г^к,j (t)|| одношаговых переходов, обеспечивающие реализуемость вычислений при заданном классе вычислительных средств.
Далее воспользуемся тем обстоятельством, что на t-й итерации из состояния ai, j оценки параметра ai вне зависимости от состояния других оценок, можно перейти только к состояниям
ai,k, где
к e{j + vi,t +1,j + vi,t,j,j " vi,t,j " vi,t "1}, vi,t = int(^i,t / Ai), Ai - шаг дискретизации области определения параметров аi. Вероятности указанных переходов определяются состоянием оценок других параметров и являются матричными функциями. Каждая подобласть © i,k,
I = 1, т, к = К1 , пространства оценок параметров имеет свои вероятности переходов. Суммируясь, они дают общую вероятность перехода
оценки ai из состояния ai,j в состояние
а
i,k .
Так для двух параметров а1 и а 2 общую веро-
ятность улучшения оценки можно выразить как:
а, = а,
1, j на t-м шаге
/ \
= 1 " Z P2k (t - 1)P~ j ,Л2к ) =
k=1
= Pi (t - 1)p j Л )
где P2k (t-1) = P(a2 = a2k ) , k = 1K2 -
вероят-
ность того, что на (^1)-й итерации величина аа
2
имеет значения а2к; biJ = _ а - погрешности оценки. Аналогичные соотношения возможно записать и для большего числа m параметров. Соответственно будет модифицирована матрица
одношаговых переходов П^ ) для параметра
т т
аI, размер которой сократится с £ К х £ К
I=1 I=1
до Ki х К1. Однако, указанное сокращение размерности достигается ценой потери информации о вероятности нахождения оценки вектора параметров а на ^й итерации в каждой из подобластей ®г-. Сохраняются только проекции этого пространственного распределения на оси параметров. Но этого достаточно для решения по-
ставленной задачи. Невозможно только однозначно восстановить распределение вероятностей в пространстве параметров.
Исследование выполнено при финансовой поддержке государственного задания Минобрнауки России № 2014/232 и гранта РФФИ № 15-41-02087.
СПИСОК ЛИТЕРАТУРЫ:
1. Цыпкин, Я.З. Информационная теория идентификации. - М.: Наука, Физматлит, 1995. 336 с.
2. Ташлинский, А.Г. Псевдоградиентное оценивание пространственных деформаций последовательности изображений // Наукоемкие технологии.2002. Т. 3, № 3. С. 32-43.
3. Tashlinskii, A.G. Computational expenditure reduction in pseudo-gradient image parameter estimation // Lecture Notes in Computer Science. 2003. Vol. 2658. P. 456-462.
4. Ташлинский, А.Г. Возможности сокращения вычислительных затрат при вероятностном моделировании процесса псевдоградиентного измерения параметров изображений / А.Г. Ташлинский, М.Ю. Самойлов, А.В. Кочкадаев // Вестник Ульяновского государственного технического университета. 2005. № 1 (29). С. 52-53.
5. Ташлинский, А.Г. Методика анализа погрешности псевдоградиентного измерения параметров многомерных процессов / А.Г. Ташлинский, В.О. Тихонов // Известия вузов. Радиоэлектроника. 2001. Т. 44, № 9. С. 75-80.
6. Ташлинский, А.Г. Методика анализа точности псевдоградиентного оценивания геометрических деформаций последовательности изображений / А.Г. Ташлинский, Г.Л. Минкина, Г.В. Дикарина, В.И. Си-ницын // Наукоемкие технологии. 2007. Т. 8, № 9. С. 14-23.
THE PROBABILITY OF SHIFTING THE PARAMETERS ESTIMATION OF IMAGES INTERFRAME GEOMETRICAL DEFORMATIONS AT PSEUDOGRADIENT MEASUREMENT
© 2014 A.G. Tashlinskiy, I.V. Voronov Ulyanovsk State Technical University
In work the method of calculation the probability of shifting the parameters estimation of images interframe deformations formed by pseudogradient procedures at estimation of one and several parameters is considered.
Key words: digital image, interframe deformations, probability, shifting, pseudo-gradient procedure
Alexander Tashlinskiy, Doctor of Technical Sciences, Professor, Head of the Radio Engineering Department. E-mail: [email protected] Iliya Voronov, Post-graduate Student