пользуют для распаковки функции создания процесса-отладчика, которые не могут быть проэмулирова-ны. Такие упаковщики требуют отдельного подхода и добавления в универсальный распаковщик отдельных функций.
Режим ядра
Рис. 4. Схема перехвата и обработки системных вызовов универсальным распаковщиком
3. Заключение
Рассмотрен новый метод распаковки вредоносного кода программ в памяти, основанный на универсальном методе низкоуровневого перехвата и фильтрации системных вызовов программы драйвером распаковщика. Вредоносная программа запускается в строго контролируемом окружении на реальном процессоре. Такой подход позволяет увеличить количество обнаружения вредоносных программ и увеличить скорость работы антивируса.
Литература: 1. Технология ThreatSense http://
www.esetnod32.ru/products/threatsense.php. 2. Крис Кас-перски. Обманчивый антивирус. http://www.interface.ru/ home.asp?artId=5389. 3. Вирусов становится все больше. Эвристический анализатор http://www.cnews.ru/reviews/ free/security2006/articles/evolution3/ 4. Peid - http:// peid.has.it/ 5. Шрайбер С. Недокументированные возможности Windows 2000. Библиотека программиста (+CD). СПб.: Питер, 2002. 544 с.
Поступила в редколлегию 18.10.2007
Рецензент: д-р техн. наук, проф. Дрозд А.В.
Айрапетян Роберт Артемович, аспирант кафедры системного программного обеспечения. Научные интересы: защита программного обеспечения. Адрес: Украина, 65010, Одесса, пр. Адмиральский, 35\3, кв. 32, тел. 80506484838. Robert.Ayrapetyan@comodo.com
УДК 681.3.07
ВЕРИФИКАЦИЯ ПОДПИСИ НА ОСНОВЕ ИНВАРИАНТОВ ПРЕОБРАЗОВАНИЯ РАДОНА
ГОРОХОВАТСКИЙ А.В._______________________
Предлагается метод идентификации изображений статических подписей с использованием функций-проекций, построенных на основе применения преобразования Радона. Верификация осуществляется посредством вычисления инвариантных признаков, которые формируются с использованием одномерных моментов. Процедура сравнения признаков основана на оценках математического ожидания и дисперсии. Проведенные эксперименты подтверждают эффективность применения подхода для верификации и распознавания подписей.
1. Введение
Распознавание или идентификация объектов - одна из наиболее актуальных задач в современных интеллектуальных системах компьютерного зрения [1]. Качественное компьютерное решение проблемы распознавания таких практически важных изображений, как отпечатки пальцев, иероглифы, человеческие лица, подписи и т.п. не получено до сих пор.
Задача верификации сводится к отнесению изображения анализируемой подписи к одному из двух классов: истинной или поддельной [4,7]. Более общая задача распознавания состоит в различении подписей разных авторов между собой с учетом анализа их истинности.
Преобразование Радона (ПР) наряду с преобразованиями Фурье, Хафа и другими является эффективным инструментом построения информативных признаков изображения, пригодных для распознавания [2-4]. Радоновский образ описывает изображение с помощью множества функций одномерных проекций, использование лишь отдельных из них позволяет обеспечить функционирование разрабатываемых систем в реальном времени [2,3]. В то же время интегральные свойства ПР делают его устойчивым к действию различного рода помех.
В работе [4] для построения системы признаков при верификации подписей применены моментные инварианты непосредственно к двумерному сигналу, полученному после осуществления ПР. Анализ влияния геометрических преобразований исходного изображения на сформированный сигнал при этом не осуществляется. Кроме того, не задействованы важные возможности представления ПР в виде одномерных функций, что можно использовать для реализации эффективных вычислительных процедур.
Цель работы - построение, моделирование и исследование метода верификации подписей с использованием признаков ПР, построенных на одномерном представлении.
Задачи исследования - изучение особенностей и оценка свойств построенных инвариантных признаков в условиях геометрических искажений изображения, применение этих признаков для разных способов принятия решения об истинности подписи.
РИ, 2007, № 4
95
2. Преобразование Радона и инвариантные признаки
ПР представляет собой интеграл от функции яркости B(x,y) в виде [2]:
R(p,9) = j j B(x,y)5(p-xcos9-ysin9)dxdy (1)
где 5(.) - дельта-функция, определяющая принадлежность точек изображения прямой с параметрами (p, 9 ), вдоль которой осуществляется интегрирование. Здесь p є P - расстояние от начала координат до линии интегрирования;9 є© - угол между прямой интегрирования и осью абсцисс; P, © - области значений переменных p, 9 . Вычисление интеграла (1) производится в пределах поля изображения.
Другая, эквивалентная (1), запись ПР выглядит как
R(p,9) = j B(pcos9- ssin9,psin9 + scos 9)ds, (2)
—X
где s - ось, вдоль которой осуществляется интегрирование.
В результате функции B(x, y) ставится в соответствие образ R(p,9), представляющий собой пространство проекций, определяемых параметрами (p, 9 ). Для существования образа, как и для большинства других задач анализа изображений, необходима интегрируемость функции B(x, y) .
Дискретное ПР можно представить в виде лучевой суммы [7]:
J-1
R(pr,9t) = 2 B(pr cos9t -sj sin9t,pr sin9t + sj cos9t) j=0
где 9t =9q +tA9, pr=p0 +rAp, sj = s0 +jAs; 9q,p0,sq -начальные значения, а A9, Ap, As - шаги дискретизации переменных.
Построение инвариантов будем осуществлять с позиции теории моментов [ 1 ], применяя её к одномерным функциям проекций. Запишем выражения для классических и центральных моментов p,k функций,
полученных на основе ПР:
шк = J R(p, 9)pkdp цк = J R(p,9)(p - —)kdp
P ’ p шо
где к = 0,1,2,....
Инвариантами к преобразованиям смещений и масштаба изображения будут следующие функции от переменной 9 [2]:
J (R(p,6))k +1(p-m1)kdp
У k( Є) = P
шо
(Р0>
к +1
(3)
Признаки, инвариантные к преобразованиям поворотов и смещений, имеют вид [2]:
Xk =Ц R(p, 0)(p - —)kdpd0
е P ш0
Для наиболее общих преобразований метрической группы (масштабирование, поворот, смещение) инварианты получаются путем интегрирования функций
Yk по пространству © и имеют вид [3]:
Rm(p, 6)
N-1
Z WmjBj j=0
Pk =ІУ ПЄМЄ
0
(4)
где wmj - весовой коэффициент системной матрицы, определяющий связь между j -м пикселем изображения и каждой ориентацией ш прямой интегрирования; вектор Rш имеет размерность p х© и соответствует области параметров; вектор B j обозначает сигнал изображения размером N2 в одномерном представлении; величины P, © для дискретного ПР - это количество дискретных значений по p, 9 . Полная система лучевых сумм для одного угла 9 называется проекцией, а проекции для 9 є [0, к] формируют область параметров. Учитывая значительную размерность системной матрицы {w^y}, которая достигает примерно N х N элементов, на практике применяют разные аппроксимации. Например, когда w^ приравнивается значению 1 при пересечении прямой интегрирования элемента изображения и значению 0 - в остальных случаях.
Одна из аппроксимаций дискретного ПР в виде (2) сводится к непосредственному построению сумм вида
В работе [3] показано, что помехозащищенность распознавания при использовании (4) из-за положительного влияния интегральных свойств ПР имеет достаточно высокий уровень, а время вычислений из-за перехода к одномерным функциям сокращается в линейной пропорции к размеру изображения (при-3
мерно как — N, где NхN- размер изображения).
Кроме того, как показал наш анализ, ПР имеет выигрыш в значении показателя информативности по сравнению с преобразованиями Хафа и Фурье. Все эти факторы подчеркивают перспективность применения ПР для построения информативных признаков.
3. Верификация подписи как задача распознавания
Известны два основных подхода к верификации [4,7]. Первый из них, применяемый в данной работе, основан на исследовании статической подписи (“off-line”) и сводится к построению структурных или интегральных хар актеристик. Второй метод основан на динамическом (“on-line”) анализе фрагментов подписи в процессе ее формирования.
96
РИ, 2007, № 4
Задача автоматической верификации как разбиение на два класса (истинные и поддельные подписи) не является тривиальной даже для человеческого зрения. Одна из проблем - изменчивость подписи, т. е. автору достаточно тяжело несколько р аз повторить со бствен-ную подпись совершенно одинаково. Иногда людьми сознательно используется несколько стабильных вариантов подписей. Подделанные подписи, особенно с применением современных компьютерных методов, могут быть очень близкими к истинным. Исследователи различают такие разновидности подделок: случайные, аматорские, профессиональные [7]. Кроме того, идентификация происходит в условиях влияния геометрических преобразований (в основном, смещений и поворотов), что значительно усложняет принятие решения и требует инвариантных подходов при построении признаков.
Верификация в рамках методов анализа статической подписи реализуется в виде следующих действий.
1. Получение множества истинных подписей, желательно с небольшой изменчивостью. Для обеспечения достаточной точности представления необходимо около 20-30 истинных подписей.
2. Анализ множества истинных подписей в целях формирования значений признаков (обучение).
3. Снятие параметров с анализируемой подписи.
4. Сравнение полученных параметров с параметрами множества истинных подписей.
5. Принятие решения. Если значения параметров находятся в пределах допустимых отклонений, подпись считается истинной, иначе - ложной.
Будем предполагать, что инвариантные признаки (4) независимы и имеют нормальное распределение. Это предположение подтверждается экспериментом. Основными хар актеристиками распределения являются среднее значение и среднеквадратическое отклонение (СКО). Если бы класс поддельных подписей был четко определен, можно было бы построить оптимальные статистические пороги для значений признаков [8]. Однако все множество возможных вариантов подделок трудно построить. По этим причинам на практике часто используют критерии истинности, основанные на отклонении вектора вычисленных признаков от эталонного вектора, характеризующего истинные подписи. Например, в работе [4] для этого используется отклик нейронной сети, который должен отличаться от эталонного не более чем на 5%. Близкий подход может быть использован и для разделения подписей разных авторов.
Наши исследования показали, что при нечетном значении k для дискретных изображений наблюдается значительный разброс (неустойчивость) значений инвариантов (3), поэтому рекомендуется использовать инвариантные функции, построенные для четных значений k . Кроме того, отметим, что с увеличением значения k для расширения множества признаков
растет диапазон значений величин (3), что при использовании интегральных мер сходства векторов признаков требует нормировки.
Среднее значение Цк, СКО ст^ и элемент ковариационной матрицы стщ признаков на множестве из L истинных эталонных изображений определяются стандартно:
- 1 L (i) L i—1
°k ЛІгЬiS^k0-^k)2'
°kj =J г^ Ь^к” -л і). (5)
где - значение признака для i-го изображения,
i = 1,L .
Основываясь на величинах (5) и нормальном распределении признаков, можно рассмотреть несколько возможных путей принятия решения об отнесении подписи к классам истинных или ложных. Эти способы сформулируем в виде следующих условий:
1. Если измеренные значения инвариантных признаков попадают в заданный интервал, формируемый по
правилу «два сигма» (% і 2стк) или «три сигма» (Рк ± 3^к) [6].
2. Если расстояние Махаланобиса [8] между измеренным и средним значениями признака не превышает заданный порог. Величина квадрата расстояния Маха-ланобиса в случае нормального распределения при-
2
знаков имеет распределение % , что дает возможность задавать доверительный интервал для его значения. Это правило учитывает также важные в отдельных применениях корреляционные связи между признаками.
3. Если ближайшим к измеренному в пространстве признаков окажется признак (или признаки), соответствующий истинной подписи (правило ближайшего соседа [8]).
В зависимости от конкретных условий может оказаться эффективным тот или другой из описанных способов.
При решении задачи верификации мы имеем дело с тремя множествами изображений подписей: 1) Mo -эталонные истинные подписи, используемые для обучения; 2) M1 - истинные подписи, применяемые для контроля; 3) M2 - поддельные подписи. В целом качество работы системы верификации можно оценить вероятностями P1 правильного распознавания истинных, P2 - поддельных подписей, P - общая вероятность правильной верификации. Понятно, что
РИ, 2007, № 4
97
на множестве Mq вероятность верификации р должна быть близкой к 1, что выполнялось во всех проведенных экспериментах.
Для более общей задачи распознавания подписей разных авторов между собой исследуемые множества изображений выглядят как Mq[s] , Mi[s] ,M2[s], где s = 0,S, S - количество различаемых классов, класс 0 соответствует отказу от распознавания.
4. Эксперименты
При оценке эффективности предложенного подхода использовались бинарные изображения размером 128х128 пикселей. Верификация проводилась на основе вектора из двух инвариантов при k = 2 и k = 4 .
Значения инвариантных признаков (3) для набора из 30 истинных подписей предварительно были проверены на нормальность распределения. Для этого применялся критерий Пирсона, с помощью которого с доверительной вероятностью 0,95 подтвержден нормальный закон распределения.
На рис. 1 дано примеры эталонных истинных подписей из Mq , на которых осуществлялось обучение. На рис. 2 и 3 показаны образцы верифицируемых подписей, а в таблице приведены значения признаков. Средние значения инвариантов Ц2> "П4 для эталонных подписей равны 6,5 и 2,2, а их СКО - 0,64 и 0,87 соответственно.
а б в
Рис. 1. Эталонные подписи, используемые для обучения
Рис. 2. Истинные подписи
б
а
в
Рис. 3. Поддельные подписи
1,а 1,б 1,в 2,а
Л2 6,14 5,80 7,29 8,39
Л4 1,71 1,37 3,43 5,98
2,б 2,в 3,а 3,б
Л2 7,08 6,37 10,52 8,75
Л4 3,11 1,92 13,89 8,26
Как видим из таблицы, значения признака щ для поддельных подписей значительно выходят за диапазон значений признаков эталонов, что может быть использовано для усиления качества распознавания. В то же время «ложные» значения признака ^2 более близки к диапазону значений эталонных признаков. Путем установления таких дополнительных закономерностей для отдельных классов подписей можно сократить пространство признаков или выбрать наиболее эффективные среди них.
В результате процесса верификации при обучающем множестве в 20 элементов правильно было распознано 44 из 50 тестовых подписей (из них поровну
истинных и ложных из множеств М1 и М2 , при этом половина из тестируемых изображений получена путем геометрических преобразований поворота и смещения) . Вероятность пр авильно й вер ификации составила Р=0,88, причем P1 = 0,78 , P2 = 0,85 . Увеличение обучающего множества до 30 позволяет поднять вероятность до P =0,97.
Для сравнения рассмотрим еще один характерный пример. Его особенностью является большая изменчивость значений инвариантных признаков внутри множества истинных подписей, что приводит к существенной величине дисперсии. Одним из возможных путей ее решения является предварительный отбор наиболее схожих между собой изображений обучающего набора. Этот способ можно применить отдельно как для множества истинных, так и для множества ложных подписей. Другой возможностью представляется увеличение мощности обучающего набора, что приводит к некоторой стабилизации разброса значений признаков. Пример отобранных подписей представлен на рис. 4.
а б в г
Рис. 4. Эталонные подписи
Средние значения и СКО признаков эталонных подписей для этого примера составили: Ц2 : (7,52; 0,10), Р4 : (3,28; 0,13). В результате процесса верификации определено 54 из 55 подделанных подписей. Вероят-
98
РИ, 2007, № 4
ность правильной верификации составила P2 = 0,97, что подтверждает высокую эффективность подхода.
На рис. 5 представлено графическое отображение значений инвариантных признаков, представленных на рис. 1-3. Значения признаков истинных подписей обозначены символом «+», поддельных - символом «О». Прямоугольником отмечена область, границы которой построены по правилу 3ст. Визуально сдвоенные изображения признаков можно объяснить влиянием ошибок дискретизации и геометрических искажений.
Рис. 5. Графическое представление значений признаков для изображений рис. 1-3
Близким по сути к преобразованию Радона является преобразование Фурье, которое широко применяется в задачах инвариантного распознавания изображений [1]. Инвариантом к преобразованиям смещения и поворота изображения является сумма значений модуля преобразования Фурье, поскольку модуль - инвариант к смещениям, а поворот изображения переходит в поворот пространства Фурье.
В целях сопоставления свойств ПР и преобразования Фурье проведены эксперименты по верификации подписей, представленных на рис. 1-4. В качестве информативного признака применялась сумма модуля Фурье. При использовании этого признака для идентификации подписей, представленных на рис. 1-3, достигнута вероятность P = 0,67, а для подписей рис. 4 P = 0,47 . Сопоставляя полученные оценки для преобразования Фурье с оценками для одномерных инвариантов на базе ПР (0,88 и 0,97 соответственно), видим существенно лучшие показатели вероятности для инвариантов на основе ПР. Это подтверждает более высокую информативность ПР и лучшее качество разделения классов подписей по сравнению с инвариантами на основе преобразования Фурье.
В сравнительном аспекте были проведены также эксперименты по верификации с использованием нейронной сети. Выбрана каскадная сеть с обратным распространением ошибки. На первый слой поступают входные веса, на каждом последующем используются веса от всех предыдущих слоев. Применялись сигмоидальные функции активации и линейная функция на выходе сети. На первом слое установлено 2 входных нейрона, затем шли нейроны скрытого слоя
и один выходной. Количество нейронов скрытого слоя определялось экспериментально в зависимости от количества элементов обучающей выборки. В процессе обучения на выходе формировался сигнал в виде единицы. Допустимое отклонение для признаков входной подписи составляло не более 5%. Эксперименты, проведенные с изображениями рис. 1-4 в тех же условиях и на тех же обучающих выборках, показали близо сть уровней правильного р аспознав ания на основе нейронной сети с достигнутыми на базе интервального метода (P = 0,89-0,96).
Сравним теперь экспериментально (для тех же изображений) подход на основе интервальных оценок с подходом на базе расстояния Махаланобиса, учитывающего также корреляционные связи между отдельными признаками. Значения расстояния Махаланобиса, подсчитанные для инвариантных признаков из M0, располагаются в диапазоне 0,27... 8,33. Значения расстояния для истинных подписей из M1 также попадают в этот диапазон за некоторым исключением. Значение нормированного коэффициента корреляции для признаков изображений рис. 1 при этом составило 0,6. Величины признаков поддельных подписей дают значительные всплески расстояния из диапазона 248.4000, что позволяет достаточно уверенно отделить признаки, соответствующие ложным подписям. В то же время при заданном уровне корреляционных связей подобный подход не позволяет существенно улучшить веро -ятность верификации и дает результаты, практически аналогичные интервальному подходу.
Как видим, независимо от способа принятия решения качество верификации существенно зависит от того, насколько близки инвариантные признаки подписей из обучающей выборки. Если таким способом целенаправленно сужать дисперсию признаков, то в результате не будут распознаваться подписи с небольшими отклонениями, зато лучше отбрасываются чужие (поддельные). В этой дилемме состоит некоторое оптимальное соотношение между вероятностями P1 и P2 , которое может быть установлено в зависимости от конкретного применения. Можно, например, максимально снизить дисперсию и надежно распознавать истинные подписи, а в случае отклонения подписи дополнительно использовать мнение эксперта.
Аналогичные рассуждения можно провести и относительно проблемы распознавания множества подписей различных авторов. Понятно, что если средние значения эталонных векторов признаков близки между собой для разных людей, то с помощью предложенного способа их трудно будет различить. Конкретно векторы средних значений для изображений рис. 1 и рис. 4 составили [6,5; 2,2] и [7,52; 3,28], а векторы СКО - [0,64; 0,87] и [0,10; 0,13] соответственно. Как видно, при правиле «три сигма» области признаков истинных подписей разных классов пересекаются. В этом случае в рамках обсуждаемого подхода можно расширить размер вектора инвариантных признаков,
РИ, 2007, № 4
99
что, однако, приведет и к росту объема вычислений. Если распознавание на основе интервального подхода и расстояния Махалано биса окажется неэффектив -ным, можно применить менее критичный относительно пересечения областей значений признаков метод ближайшего соседа, основанный на оценке отклонений значений инвариантов от значений векторов из классов, в окрестность которых они попадают [8]. Проведенные эксперименты показали возможность применения такого подхода для распознавания подписей различных авторов.
5. Выводы
На основе проведенных исследований можно сделать вывод о перспективности применения методов распознавания изображений на основе признаков преобразования Радона, которое позволяет сформировать спектр существенных свойств сигнала, необходимый для эффективного решения практических задач.
Научная новизна работы состоит в теоретическом построении и исследовании инвариантных к геометрическим искажениям признаков, которые применены для качественного решения задач верификации и распознавания статических подписей. Намечены и проанализированы подходы к построению решающих правил на основе описанных инвариантов.
Практическая значимость заключается в высоком быстродействии предложенных процедур распознавания по сравнению с классическими подходами, а также в достаточной эффективности, выражающейся
в высоком уровне вероятности правильной верификации. Проведенные эксперименты подтвердили более высокую достоверность предложенных методов в сравнении с преобразованием Фурье.
Литература: 1. Путятин Е.П., Аверин С.И. Обработка изображений в робототехнике. М.: Машиностроение, 1990. 320 с. 2. Гороховатский А.В., Путятин Е.П. Применение преобразования Радона для нормализации изображений. // Бионика интеллекта. 2005, №1(62). С. 3-9. 3. Путятин Е.П., Гороховатский А.В. Построение инвариантных моментных признаков изображений с использованием одномерных проекций // Вестник НТУ ХПИ. «Системный анализ, управление и информационные технологии». 2006. №39. С. 125-132. 4. ТрипольськаВ.В. Класифікація підписів на основі інваріантних моментів простору ознак перетворення Радона // Прикладная геометрия и компьютерная графика. 2002. №71. С. 235-239. 5. Форсайт Д., Понс Ж. Компьютерное зрение. Современный подход. Пер. с англ. Москва: «Вильямс», 2004. 928 с. 6. Вентцель Е.С., Овчаров Л.А. Прикладные задачи теории вероятностей. М.: Радио и связь, 1983. 416с. 7. Coetzer J., Herbst B.M., Du Preez J.A. Offline signature verification using the discrete Radon transform and a hidden Markov model//EURASIP Journal on applied signal processing. 2004(4). Р.559-571. 8. Дуда Р., Харт П. Распознавание образов и анализ сцен. М.: Мир, 1976. 512с.
Поступила в редколлегию 20.10.2007
Рецензент: д-р физ.-мат.наук, с.н.с. Сытник О.В.
Гороховатский Алексей Владимирович, аспирант ХНУРЭ. Научные интересы: анализ, обработка и распознавание изображений. Адрес: Украина, 61166, Харьков, пр. Ленина, 14, тел. 702-14-19.
УДК681.5:681.518
ОБЪЕКТНО-ОРИЕНТИРОВАННЫЕ ТЕХНОЛОГИИ В ИНФОРМАЦИОННОАНАЛИТИЧЕСКОЙ СИСТЕМЕ УПРАВЛЕНИЯ ТРАНСПОРТИРОВКОЙ ГАЗА
ПЕЛЕШЕНКО Д.С._________________________
Проводится анализ использования языков программирования, компилируемых в машинный код, языков программирования, транслируемых в промежуточные языки, и языков сценариев для описания иерархии классов технологических элементов газотранспортной системы. Результаты проведенных исследований могут быть использованы при построении информационно-аналитических систем управления транспортировкой газа.
Введение
Учитывая высокие темпы развития газотранспортного комплекса Украины и направленность этого развития на реконструкцию и повышение эффективности функционирования газотранспортной системы, особенно актуальным становится внедрение информационно-аналитических средств контроля и управления газотранспортной системой (ГТС).
Концепция модернизации и развития оперативно-диспетчерского управления ГТС на всех уровнях предусматривает разработку и внедрение автоматизированных систем, которые должны обеспечивать:
- реализацию функций автоматического управления, регулирования и дистанционного управления объектами транспортировки, распределения и поставок газа;
- надежное выполнение гр афиков тр анспортировки и распределения газа с заданными параметрами;
- экономное распределение нагрузки на все объекты управления;
- безопасную эксплуатацию газораспределительной системы путем прогнозирования и своевременного предупреждения аварийных ситуаций;
- объединение существующих и вновь создаваемых систем автоматического управления в составе интегрированной автоматизированной системы управления технологических процессом.
Целью данной работы является анализ особенностей использов ания различных информацио нных технологий для решения задач, возникающих при построении информационно-аналитической системы управления (ИАСУ) ГТС.
Одной из основных особенностей ИАСУ ГТС, рассмотренной в работах [1-3], является использование
100
РИ, 2007, № 4