Ключевые теги

Реклама

Реклама

МОДЕЛЬ ВИДЕОКОНТРОЛЯ И ВЕРИФИКАЦИЯ ОБЪЕКТОВ ОРГАНИЗАЦИИ

МОДЕЛЬ ВИДЕОКОНТРОЛЯ И ВЕРИФИКАЦИЯ ОБЪЕКТОВ ОРГАНИЗАЦИИСтатья опубликована в №10 (июнь) 2014 Разделы: Размещена 19.06.2014. Последняя правка: 24.07.2014. Научный руководитель Умницын Михаил Юрьевич, ассистент кафедры информационной безопасности Волгоградского государственного униерситета УДК 004.93'1 Не смотря на тенденцию к максимальной автоматизации, современные системы видеоконтроля и верификации объектов, являющихся причиной нарушения, реализуется все еще с привлечением оператора. Нарастание числа ложных тревог приводит к его утомляемости, что в последующем может привести к игнорированию даже чрезвычайных нарушений. В связи с этим, актуальной в настоящее время представляется разработка модели верификации, основанной на взаимно сопряженных методах адаптивного контроля информационных параметров и характеристик объектов в системах прикладного телевидения, которые обеспечивают независимый автоматизированный контроль разнородных параметров и характеристик объекта причины «нарушения». Как было установлено предыдущим исследованием ( ), в задачи реальной системы видеоконтроля и верификации входит селекция ограниченного числа параметров и характеристик объекта. Основной методикой решения данного круга задач является установление соответствия между особыми или опорными точками исходного изображения и его эталонными образами в специализированных базах изображений.

Формализуем данный подход с помощью математического аппарата. Представим видеопоток как множество исходных изображений, ..., l } где n – число кадров в видеопотоке. Множество эталонных изображений   , ..., r } , где m – число анализируемых объектов. Каждое исходное изображение описывается множеством особых точек, yL ), ..., (xL ,yL )} ,  где (xL, yL )  ­– особая точка изображения, k – число особых точек. ,yR ), ..., (xR, yR )} Следует учесть, что возможна ситуация, когда особых точек  на элементах множества исходных изображений не будет выделено, т. е. `Phi.` В общем случае, методика сопоставления особых точек изображения  ,yL )  к точкам эталонного изображению  ,yR ) Детектирование особых (характерных) точек изображения, yL ) Составление описания опорных точек, т. е. определение их дескриптора; Составление описания объектов на изображении  ,yR ) Поиск связей или расстояния между дескрипторами особых точек на сравниваемых изображениях. Синтез модели преобразования изображений, с помощью которой из одного изображения можно получить другое. Для определения особых точек будем использовать понятие окрестности.

Тогда особой (опорной) точкой изображения будем называть точку  ,  окрестность которой  )  можно отличить от окрестности  )  любой другой особой точки изображения  . Процесс выделения этой точки на кадре называется детектированием, а программа, реализующая данную функцию, − детектором. Для особой точки, найденной с помощью данного детектора, необходимо рассчитать вектор-дескриптор, описывающий структуру окрестности точки, выделяющей её из остального множества особых точек. При этом дескриптор рассчитывается таким образом, чтобы его значение было инвариантным по отношению к требуемым аффинным преобразованиям изображения.   n,1 ,..., n, j ) , где n, j  параметры, отвечающие следующим условиям: специфичность, локальность, устойчивость, простота в вычислении и т. д. Множество дескрипторов определяет модель изображения. Пусть в точке p изображения I детектором h найдена точечная особенность, и эта точка преобразованием f переводится в точку p'  изображения f(I) . Пусть также существует достаточно малая окрестность U точки p' такая, что существует точка ∈U  изображения f(I)  в которой детектором h будет найдена точечная особенность. В этом случае точечная особенность в точке p воспроизводима детектором h по отношению к преобразованию f. Из определения следует, что верификация требует анализа пары изображений I и f(I) , а также знания преобразования f. Пусть,…,d  – верификационные особенности одного верифицируемого объекта организации, каждая из которых принимает конечные дискретные значения.

Пусть S – множество попыток верификации. При этом каждой попытке ∈S,…,d ), компонентами которого являются текущее значения признаков объекта верификации и вектор `vecd` ,…,d ), характеризующий эталон верифицируемого объекта. Сопоставим попыткам  «1» при удачной верификации и «0» при неудачной. Тогда задачу верификации можно формализовать следующим образом: по некоторому эталону необходимо отнести объект по набору текущих признаков к удачно или неудачно верифицированному.

То есть построить отображение f, которое исходя из формальной постановки задачи имеет вид: ,…,d ) ∈ S, f(`vecd`,`vecd` →{0,1}. Таким образом отображение f относит объекты с верификационными признаками,…,d ) , к классу удачно верифицированных – «1» или неудачно – «0». Входными данными в описанное модели являются дискретный набор признаков,…,d ) , где  ‒ дескриптор одной характерной точки одного объекта верификации. Согласно требованиям нормативно-правовой базы в области исследования [2,3] средства видеоконтроля должны разрабатываться с применением модульного подхода. Для этого следует формализовать математическую модель видеоконтроля с учетом функциональных особенностей процесса верификации объектов организации.  Одним из наиболее удобных и распространён языков функционального моделирования на данный момент является язык используемый в методологии IDEF0, получившей в США статус федерального стандарта. С его помощью моделируемая система представляется как совокупность взаимодействующих работ или функций.

Функции системы анализируются независимо от объектов, которыми они оперируют, что позволяет более четко моделировать логику взаимодействия объектов модели. Разработанная функциональная модель состоит из двух диаграмм: родительской диаграммы и диаграммы, представляющей ее декомпозицию (рисуноки 1 и 2 соответственно). Рисунок 1. Контекстная диаграмма верхнего уровня Основной функциональный блок, который определяет систему в качестве единого модуля, детализируется на следующей диаграмме с помощью пяти блоков, соединенных интерфейсными дугами. Эти блоки представляют основные функции возложенные на модель. Рисунок 2. Дочерняя диаграмма Декомпозиция основного блока была произведена в соответствии с последовательностью основных действий, выполняемых в процессе верификации объектов организации и установленных в математической модели видеоконтроля. Таким образом, блок, представленный на родительской диаграмме, был разбит на следующие функциональные блоки: Выделенные функции целесообразно объединить в специальные модули, описание которых содержится в таблице.

Таблица 1. Модули модели верификации Разработанная модель и ее модульное описание позволит разработать архитектуру программного комплекса видеоконтроля и верификации нейтральную относительно аппаратной платформы, что имеет большое значение с точки зрения применимости разработанной модели, так как привязка к какой-либо проприетарной платформе привела бы к ограничению в функциональности и невозможности интеграции с другими решениями в области безопасности. Таким образом спроектированная модель максимально универсальна, а ее компоненты реализованы как автономные относительно своей основной среды модули.  1. В. Ю. Пименов Вычислительно-эффективный метод поиска нечетких дубликатов в коллекции изображений, Санкт-Петербургский Государственный университет // Электронный ресурс. – Режим доступа: http://romip. ru/romip2009/09_ifm. pdf2. ГОСТ Р 51558-2000 Системы охранные телевизионные. Общие технические требования и методы испытаний 3. Р 78.36.008-99 Рекомендации по комплексному оборудованию банков, пунктов обмена валюты, оружейных и ювелирных магазинов, коммерческих и других фирм и организаций техническими средствами охраны, видеоконтроля и инженерной защиты. Типовые варианты Рецензии: 19.06.2014, 17:11 Рецензия : Работа интересная, полезная и заслуживает быть опубликованной.

ВОПРОС: Представляется, что автор смешивает понятия идентификации визуальных образов и их верификации (определения и контроля критериев качества идентификации). ПРЕДЛОЖЕНИЕ (на будущее):Осуществлять верификацию проводимой идентификации, например, методом теории многопараметрических рисков поставщика и потребителя, - определения вероятностей ошибок 1 и 2 рода (между опорными точками и их эталонными образами). 7.07.2014, 17:57 Рецензия : Необходимо структурировать статью на соответствующие разделы (введение, основной материал, выводы) согласно требованиям. Чётко выделить вывод, в котором обобщить вклад автора в исследование. После этого рекомендуется к печати. 11.07.2014, 4:14 Рецензия : Статья интересная, рекомендуется к печати. 21.07.2014, 11:06 Рецензия : Вопрос, оставленный в комментарии к другой рецензии, разъяснил в отдельной рецензии (должна появиться после проверки модераторами http://sci-article. ru/stat.

php? i=1403107557). Исправляйте. После исправлений - к печати. Комментарии пользователей:

Просмотров: 232