Научная статья на тему 'Особенности решения задачи геометрического мониторинга'

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

CC BY
235
60
i Надоели баннеры? Вы всегда можете отключить рекламу.
Ключевые слова
МОНИТОРИНГ / ЗАДАЧА ОБНАРУЖЕНИЯ / ТЕОРИЯ МНОЖЕСТВ / ПОКРЫТИЕ МНОЖЕСТВА / АЛГОРИТМЫ ПОКРЫТИЯ / ТЕОРИЯ ГРАФОВ / ДИСКРЕТНАЯ ОПТИМИЗАЦИЯ / МОБИЛЬНЫЙ РОБОТ / ГРУППОВОЕ УПРАВЛЕНИЕ / MONITORING / DETECTION PROBLEM / SET THEORY / COVER SET / COVERING ALGORITHMS / GROUP CONTROL

Аннотация научной статьи по математике, автор научной работы — Кочкаров Азрет Ахматович, Яцкин Данил Владиленович, Рахманов Олег Александрович

Формулируется задача мониторинга ограниченного пространства. Устанавливается связь между мониторингом пространства и обнаружением объектов на этом пространстве. После введения некоторых допущений делается вывод о необходимости решения задачу покрытия множества (связного пространства). Характерной особенностью рассматриваемой задачи является наличие в зоне мониторинга препятствий. Под препятствием понимается связная область пространства, в каждой точке которого невозможно размещение какого-либо объекта. Тем не менее, поскольку препятствия могут лежать в зоне мониторинга, решение задачи предполагает покрытие зоны мониторинга в том числе и в точках препятствий. Предлагается использование одноранговой сети мобильных роботов для решения поставленной задачи. Преимуществом такого подхода является высокий уровень адаптивности к изменению внешних параметров, а также устойчивости к выходу из строя отдельных элементов сети. Задача покрытия описывается математически, делается вывод о необходимости дискретизации задачи. Все функции и параметры заменяются на дискретные аналоги, при этом шаги дискретизации выбираются малыми по сравнению с характерными размерами задачи. Формулируется и доказывается ряд лемм, посредством которых исследуются свойства и признаки разного рода покрытий. Вводятся определения минимального и наименьшего покрытий, устанавливается отношение между ними. Предлагается механизм решения задачи покрытия посредством построения полного нагруженного графа по определенным правилам и анализа этого графа. Изучаются достаточные условия для построения наименьшего покрытия. Формулируется алгоритм построения наименьшего покрытия при помощи децентрализованной одноранговой сети мобильных роботов. Работоспособность алгоритма следует из сформулированных ранее лемм и утверждений. Оценивается трудоемкость алгоритма. Делается вывод о применимости подобного алгоритма для решения реально возникающих задач, связанных с мониторингом пространства.

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

THE MONITORING PROBLEM AND ITS CONNECTION WITH THE PROBLEM OF COVERING CONNECTED SPACES

The problem of limited space monitoring is formulated. The connection between the monitoring space and the detection of objects in this space sets up. After introducing some assumptions we conclude the necessity of solving the covering set (connected space) problem. The presence of obstacles in the monitoring area is the characteristic feature of the problem. “Obstacle” means a connected space area each point of which can not accommodate any object. However, as obstacles may lie in the monitoring area, the coverage of monitoring area should include the obstacles points. It is proposed to use an ad hoc network of mobile robots to solve the problem. The advantage of this approach is the high level of adaptability to changes in external parameters, as well as the resistance to failure of individual network elements. Coverage problem is described mathematically, the conclusion about necessity a sampling problem is made. All functions and parameters are replaced by digital analogues, the sampling steps are chosen to be small compared with the characteristic dimensions of the problem. We formulate and prove a couple of lemmas through which we study the properties and characteristics of various kinds of coverages. The smallest and minimum coverages are defined and ratio therebetween is set up. The mechanism of solution the covering problem by building a complete loaded graph according to certain rules, and the analysis of this graph is provided. We study the sufficient conditions for the construction of the smallest coverage. The algorithm for constructing the smallest coverage using a decentralized ad hoc network of mobile robots is developed. The efficiency of the algorithm follows from the lemmas and propositions set out above. The complexity of the algorithm is estimated. It is concluded that this algorithm is applicant and can solve the real problems related to space monitoring that arise.

Текст научной работы на тему «Особенности решения задачи геометрического мониторинга»

20. Alpatov B.A., Babayan P.V., Smirnov S.A., Maslennikov E.A. Algoritm predvaritel'nogo otsenivaniya prostranstvennoy orientatsii ob"ekta s pomoshch'yu deskriptora vneshnego kontura [Prior estimation algorithm spatial orientation of the object via outer contour descriptor], Tsifrovaya obrabotka signalov [Digital signal processing], 2014, No. 3, pp. 43-46.

Статью рекомендовал к опубликованию д.т.н., профессор М.Ю. Медведев.

Алпатов Борис Алексеевич - Рязанский государственный радиотехнический университет; e-mail: aitu@rsreu.ru; 390005, Рязань, ул. Гагарина, 59/1; тел.: +74912460342; кафедра автоматики и информационных технологий в управлении; д.т.н.; профессор.

Бабаян Павел Вартанович - кафедра автоматики и информационных технологий в управлении; к.т.н.; доцент.

Балашов Олег Евгеньевич - кафедра автоматики и информационных технологий в управлении; к.т.н.; доцент.

Фельдман Александр Борисович - кафедра автоматики и информационных технологий в управлении; к.т.н.; доцент.

Баранцев Александр Александрович - Государственный Рязанский приборный завод; e-mail: hunter-rzn@yandex.ru; 390000, Рязань, ул. Семинарская, 32; тел.: +74912298380; научно-конструкторский центр видеокомпьютерных технологий; к.т.н.; научный сотрудник.

Alpatov Boris Alekseevich - Ryazan State Radio Engineering University; e-mail: aitu@rsreu.ru; 59/1, Gagarina street, Ryazan, 390005, Russia; phone: +74912460342; the department of automatics and information technology; dr. of eng. sc.; professor.

Babayan Pavel Vartanovich - the department of automatics and information technology; cand. of eng. sc.; associate professor.

Balashov Oleg Evgenevich - the department of automatics and information technology; cand. of eng. sc.; associate professor.

Feldman Alexander Borisovich - the department of automatics and information technology; cand. of eng. sc.; associate professor.

Barancev Aleksandr Aleksandrovich - Ryazan State Instrument-making Enterprise; e-mail: hunter-rzn@yandex.ru; 32, Seminarskaya street, Ryazan, 390000, Russia; phone: +74912298380; Scientific and Design Center of videodata processing; cand. of eng. sc.; researcher.

УДК 004.021

А.А. Кочкаров, Д.В. Яцкин, О.А. Рахманов

ОСОБЕННОСТИ РЕШЕНИЯ ЗАДАЧИ ГЕОМЕТРИЧЕСКОГО МОНИТОРИНГА*

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

* Работа выполнена при поддержке гранта РФФИ (проект № 16-01-00342 а). 158

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

Мониторинг; задача обнаружения; теория множеств; покрытие множества; алгоритмы покрытия; теория графов; дискретная оптимизация; мобильный робот; групповое управление.

A.A. Kochkarov, D.V. Yatskin, O.A. Rahmanov

THE MONITORING PROBLEM AND ITS CONNECTION WITH THE PROBLEM OF COVERING CONNECTED SPACES

The problem of limited space monitoring is formulated. The connection between the monitoring space and the detection of objects in this space sets up. After introducing some assumptions we conclude the necessity of solving the covering set (connected space) problem. The presence of obstacles in the monitoring area is the characteristic feature of the problem. "Obstacle " means a connected space area each point of which can not accommodate any object. However, as obstacles may lie in the monitoring area, the coverage of monitoring area should include the obstacles points. It is proposed to use an ad hoc network of mobile robots to solve the problem. The advantage of this approach is the high level of adaptability to changes in external parameters, as well as the resistance to failure of individual network elements. Coverage problem is described mathematically, the conclusion about necessity a sampling problem is made. All functions and parameters are replaced by digital analogues, the sampling steps are chosen to be small compared with the characteristic dimensions of the problem. We formulate and prove a couple of lemmas through which we study the properties and characteristics of various kinds of coverages. The smallest and minimum coverages are defined and ratio therebetween is set up. The mechanism of solution the covering problem by building a complete loaded graph according to certain rules, and the analysis of this graph is provided. We study the sufficient conditions for the construction of the smallest coverage. The algorithm for constructing the smallest coverage using a decentralized ad hoc network of mobile robots is developed. The efficiency of the algorithm follows from the lemmas and propositions set out above. The complexity of the algorithm is estimated. It is concluded that this algorithm is applicant and can solve the real problems related to space monitoring that arise.

Monitoring; detection problem; set theory; cover set; covering algorithms; graph theory, discrete optimization; mobile robot; group control.

Введение. В современном мире достаточно часто возникает задача мониторинга пространства [1-4]. Мониторинг - систематическое наблюдение за каким-либо процессом с целью фиксировать соответствие (или несоответствие) результатов этого процесса первоначальным предположениям [5]. В более узком случае, который и будет рассматриваться, задача мониторинга сопряжена с задачей обнаружения - систематическое наблюдение за определенным пространством с целью обнаружить какой-либо объект при его появлении. Решение такой задачи может потребоваться для самых разных нужд (метеорологические наблюдения [6], экологический мониторинг [7], мониторинг сложных технических систем [8]).

Объект, на обнаружение которого направлена задача (это может быть как какой-то предмет [9-12], так и нечто другой природы - например, сигнал [13]) мы будем называть целью, субъект же - обнаружителем.

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

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

Для решения этой задачи предлагается использовать сеть неподвижных устройств. Рассчитывается число и расположение элементов этой сети - чтобы их зоны видимости при наложении полностью перекрывали зону мониторинга. Алгоритмы поиска такого расположения будем называть "алгоритмы покрытия".

Математическое описание задачи. Наиболее общая формулировка задачи покрытия такова:

♦ Задана некая рабочая зона (зона мониторинга) - связная область пространства.

♦ Даны N одинаковых устройств, каждому из которых соответствует своя зона покрытия (определяется аналогично для всех устройств).

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

♦ Каждое препятствие каким-либо образом (известным для каждой частной задачи) изменяет зону покрытия каждого устройства (в зависимости от взаимного расположения препятствия и устройства). После учета влияния всех препятствий образуется реальная зона видимости.

Требуется найти такие k < N наборов координат, что если каждое устройство займет позицию, соответствующие одному из этих наборов (так, чтобы два устройства не использовали один набор координат), в рабочей зоне не было бы точки, не входящей в реальную зону видимости одного из устройств. При этом значение к должно быть минимальным из всех возможных.

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

Соответственно, на математическом языке задача звучит следующим образом:

♦ Дано связное ограниченное множество А, на котором задано К связных

К

подмножеств В,. При этом ^ ВЛ = В . Мы считаем, что множества зада-

I=1

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

♦ Задан закон, ставящий в соответствие некоей точке рабочей зоны

X = (xls x2, Х3) ограниченное связное множество C(X), содержащее в себе точку X .

♦ Для каждого B, задана функция f, преобразующая C(X) в каждой точке X рабочей зоны. Соответственно, при заданном распределении B, каждой точке X можно поставить в соответствие множество

K

D( X) = Q f (C (X)).

i=i

Требуется найти k < N точек Xt таких, что:

1. Vi е{1,2,..., k} ^ g B;

к

2. A^{jD(X,).

7=1

3. k ^ min

Соответствие введенных обозначений реальным физическим характеристикам представлено в табл. 1.

Таблица 1

Соответствие математического и инженерного описаний задачи

Инженерное описание Математическое описание

Рабочая зона A

Координаты точек рабочей зоны X = (xb x2' x3)

Препятствия K U в=b /=1

Зона видимости устройства, находящегося в точке X , без учета влияния препятствий C( X)

Зона видимости устройства, находящегося в точке X , с учетом влияния препятствия под номером п fn (C(X))

Реальная зона видимости устройства, находящегося в точке X K D( X) = П f (C( X)) i=1

Рис. 1. Пример. Рабочая зона А, препятствия В1 и Ви зона видимости С(Х) (слева). То же и реальная зона видимости D(X) (справа)

Дискретизация задачи и алгоритм ее решения. Сведем задачу к дискретной.

Рабочая зона А представляется в виде сетки (некоего аналога расчетной сетки [20]) L = {Ц } с шагом А .

Определяется сетка следующим образом:

♦ Элементом сетки являются точки в рассматриваемом пространстве.

♦ Для каждого элемента ^ на расстоянии А находится минимум один элемент Iу . Если таких элементов несколько, то расстояние между ними равно или 2А или 42А соответственно. На евклидовой плоскости это соответствует некоей структуре, состоящей из квадратов, вершинами которых являются элементы L .

♦ Нет такой точки пространства А, в А -окрестности которой (на расстоянии, не превышающем А) не находился бы хотя бы один элемент сетки L .

С точки зрения физики шаг А должен быть пренебрежимо малым по отношению к характерным размерам задачи.

Итак, после перехода к описанию рабочей зоны в виде сетки, начинается мышление в дискретных терминах. То есть, например, будем считать, что множество D(li) - дискретное множество, состоящее из элементов L , принадлежащих непрерывному множеству, соответствующему непрерывному D(li), описанному ранее.

Поскольку рабочая зона А ограничена и А - конечное число, можем считать, что задано конечное множество L = 12,...,М}. Действительно, ограниченность множества А означает, что означает, что Ух е А ЗМ е N ^ max(dist(х, у)) < МА,

уеА

где N - множество натуральных чисел, dist( х, у) - расстояние между элементами х

2

и у . Соответственно, общее число элементов сетки не может превышать М (при рассмотрении каждого элемента х е А). Это очень грубая оценка, но она в полной мере подтверждает конечность множества L . Обозначим множество подмножеств L как = {51,52,...5р}. Здесь Si = D(li) для всех I" е А\В. Таким образом, надо

найти покрытие множества А - подмножество 5'с 5 такое, что:

Покрытие 5" называется минимальным, если не существует покрытия 5"с5". Минимальных покрытий может быть несколько. Покрытие 5" называется наименьшим, если для любого минимального покрытия5 "выполняется 5'| <5"|, где |х| - мощность множества X . Оптимально искать наименьшее покрытие 5 '.

Лемма 1. Условие

является необходимым и достаточным условием того, что 5 " - покрытие L .

Доказательство:

♦ Необходимость. Пусть 5 " - покрытие L . Следовательно, выполняется условие ^ Б" = L . Предположим, что ^ Ь \ 5" = ¥ . Значит,

5" е5' 5"е5'

L\ РL\ S'i = L\F . Однако, с другой стороны, ь\ РЬ\8" = У 8".

Значит, У 8/ = Ь \ F , что может быть верно только в случае F = 0 . Что

и требовалось доказать.

♦ Достаточность. Р Ь \ Б" =0. Из этого следует, что

У 8" = Ь\ РЬ\8" = Ь\ {0}= Ь, то есть 8 ; - покрытие Ь. Что и требо-

8" е8 ; ^ 8" е8 ; ,

валось доказать. Лемма 2.

Покрытие 8 ; минимально тогда и только тогда, когда выполняется следующее условие:

V8k е8^ РЬ\8" Ф0

8"еЬ\8к }

является необходимым и достаточным условием того, что покрытие 8 " - минимальное покрытие Ь .

Доказательство:

♦ Необходимость. Пусть 8' - минимальное покрытие Ь . Предположим,

что ЭБ'к е 8 " ^ РЬ \ 8" =0 . Тогда рассмотрим 8" = 8 " \{8к }. Для

8';еЬ\{?'к }

этого множества выполняется Р Ь \ 8; =0. Согласно лемме 1 это значит, что 8" - покрытие Ь . Но 8 " с 8 ', а значит, 8 " не является минимальным покрытием Ь . Что и требовалось доказать.

♦ Достаточность. Предположим, что условие V8k е 8' ^

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

Р ь \ 8; *0

8;;еЬ\8к }

выполняется, но 8' не является минимальным покрытием Ь . Значит, 38 ; с 8', при этом 8" - покрытие Ь. Тогда, согласно лемме 1,

Р Ь \ 8; = 0. Однако из условия У8'к е 8' ^ Р Ь \ 8; Ф 0 напрямую

5"е8" 8';еЬ\{$к}

следует, что VF с 8 ' ^ РЬ \8/ Ф0 . Значит, 8"не может быть покрытием Ь , т.е., получаем противоречие. Что и требовалось доказать. Метод построения полного нагруженного графа.

Строим полный нагруженный граф G = (V, Е, Ь(У), Ь(Е)). В нем множеству вершин V = {у;}; е {1,2,...,р} взаимно однозначно сопоставляется множество Ь(У) = {Ь(у;)}, где Ь(у;) = Ь \ 8;. Соответственно, число вершин равно мощности

множества 8 . Каждая вершина У; нагружена множеством Ь(у;).

Множеству ребер E = {ey } = {(v;, Vj)} сопоставляется множество L(E) = {L(ey)} , где L(ey) = L(v;) L(vy),i Ф j. Множество всех ребер, инцидентных вершине vi будем обозначать Et. Множество всех вершин, инцидентных ребрам из множества Et, будем обозначать V(Et). Лемма 3.

Минимальное по мощности подмножество E\ с Et при выполнении условий ♦

xgE[

определяет минимальное покрытие S' множества L , однозначно соответствующее множеству V(E; )\{vi} вершин, если QL(x) = 0 или множеству

xev (e; )\{v,. }

V(E;), если QL(x) Ф 0 . xeV (E; )\{v; } Доказательство.

L(v;) Ф 0, следовательно, {S;} не является покрытием множества L .

Условие Q L( x) = 0, в силу того, что по определению

xeE;

L(e;j ) = L(v;) L(vy ), i Ф j, можно записать как QL(x) = 0 . Значит, согласно

xeV ( e; )

лемме 1, множество S , соответствующее V(E\), определяет покрытие множества L .

Можно также утверждать, что при соблюдении условия

QL(x) = 0 ,

xeV ( e; )\{v; }

множество S , однозначно соответствующее V(E;') \{v; }, определяет покрытие множества L .

Установим теперь, являются ли эти покрытия минимальными. Исходя из предположения о том, что E'; с E; - минимальное по мощности подмножество, и рассматривая можно сделать вывод о возможности построения E\, удовлетворяющим условию леммы 2 (при рассмотрении отдельно множеств S и S с соблюдением соответствующих условий). Что и требовалось доказать. Лемма 4.

Минимальное по мощности подмножество E; с E; при выполнении условий

♦ \L(ey )| = minL(x)|;

1 1 xeE

♦ Vv eV ^ L(v) Ф0 ;

♦ QL(x) = 0 .

определяет наименьшее покрытие S', однозначно соответствующее множеству V(E; )\{v;} вершин, если Qцx) = 0 или множеству V(E;), если Qдx) Ф0 .

xeV(E;)\{v;} xeV(E; )\{vt}

Доказательство.

Поскольку Vv е v ^ ь(у) Ф 0, тривиального решения не существует.

Е" с Е; выбирается таким образом, чтобы выполнялось условие

РЬ(х) = 0 . Значит, используя лемму 3, можно сделать вывод о том, каким об-

хеЕ"

разом определяется минимальное покрытие. Однако, учитывая условие

\Ь(е„) = тт|Ь(х)|, можно сделать вывод о том, что данное покрытие будет яв-

' хеЕ

ляться также наименьшим. Что и требовалось доказать.

На основании всего вышесказанного, используя вышеуказанные леммы, в особенности лемму 4 можно выработать следующий алгоритм. Алгоритм построения наименьшего покрытия множества Ь.

1. Имея множество Ь , задающее рабочую область, строим множество подмножеств 8 = {81,82,...8р}где 8; = D(l;) для всех 1; е А\В .

2. Ставим в соответствие этим множествам множество Ь(¥(0)) = {Ь \ 8;}.

Если один из элементов этого множества - пустое множество, делаем вывод о том, что существует тривиальное решение, алгоритм закончен. Иначе - переход к шагу 3.

3. Строим полный нагруженный граф G(0) = (V(0),е(0),Ь^(0)),ь(е(0))). О том, какие вершины и ребра какими множествами надо нагружать, можно прочитать в разделе «Метод построения полного нагруженного графа».

4. Проверка существования покрытия. Для произвольной вершины V

определяется подмножество Ь(Е(0^) = Р Ь(х). Если в результате полу-

хеЕ(0)

чится непустое множество - делается вывод о том, что покрытия не существует, алгоритм закончен. В противном случае - переход к шагу 5.

5. к ^ 0. Присвоение переменной к значения 0 .

6. В полном нагруженном графе 0(к) осуществляется поиск ребра е

(k)

у

,, (kv . 1,, „ /~\, (k).

которого

для

Lief))

min |L(х)| . Если рL(ef)) = 0 , осуществляется пе-

xeE(k)

J

реход к шагу 8, иначе - к шагу 7. 7. Строится полный нагруженный граф

g(k+1) = (v(к+1),е(к+1),ь(v(k+1)),ь(е(к+1))) следующим образом:

♦ V (к+1) = V (к )\^(к)},

♦ е(к+1) = е(к )\ е(к), Ь(^к+1)) = ь(е(к)),

Ь(ер+1)) = Ь(е(к)) п Ь(ер))

для всех V?+1) е V(к+1), е%+1) е Е(к+1).

к ^ к +1.

♦ Переход к шагу 6.

8. Начало построения наименьшего покрытия. ♦ V = V ({e(k)}) = {v(k v(k }>.

9. Если k = 0, осуществляется переход к шагу 12. В противном случае: k ^ k -1, переход к шагу 10.

10. В графе G(k) определяется подмножество L(V) = ^L(x).

xeV

11. Если в G(k) выполняется условие L(V) Ф0, то v = vu{v(k)}. Переход к шагу 9.

12. Множество S' = {L \ L(v(o)): v(o) е V} определяет наименьшее покрытие

множества L.

Конец алгоритма Лемма 5.

Трудоемкость алгоритма 1 оценивается как O(p) = p + p .

Доказательство.

Вся вычислительная мощность реализуется при построении полного нагруженного графа. Число вершин графа совпадает с мощностью множества S и равняется p, как уже было определено ранее. Для p вершин графа имеем p действий по вычислению нагрузки в вершинах и (p—действий для вычисления нагрузки ребер полного графа. Такие вычисления выполняются (p - 2) раза. Таким

3 2

образом, грубая оценка O(p) = p + p .

Величина p зависит от соотношения между размерами множества A \ B и величиной Д.

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

БИБЛИОГРАФИЧЕСКИЙ СПИСОК

1. Enck W. et al. TaintDroid: an information-flow tracking system for realtime privacy monitoring on smartphones // ACM Transactions on Computer Systems (TOCS). - 2014. - Vol. 32, No. 2. - P. 5.

2. Moore J.W., Ramamoorthy S. Heavy metals in natural waters: applied monitoring and impact assessment. - Springer Science & Business Media, 2012.

3. Heyer R. et al. (ed.). Measuring and monitoring biological diversity: standard methods for amphibians. - Smithsonian Institution, 2014.

4. Liu Y. et al. Mining frequent trajectory patterns for activity monitoring using radio frequency tag arrays // Parallel and Distributed Systems, IEEE Transactions on. - 2012. - Vol. 23, No. 11. - P. 2138-2149.

5. Крысин Л.П. Толковый словарь иноязычных слов. - М.: Эксмо, 2008. - 944 с.

6. Израэль Ю.А Глобальная система наблюдений. Прогноз и оценка окружающей природной среды. Основы мониторинга // Метеорология и гидрология. - 1974. - № 7. - С. 3-8.

7. Кондратьев А.Д., Королева Т.В., Пузанов А.В., Черницова О.В., Ефременков АА., Шарапова А.В., Горбачев И.В., Двуреченская Е.Б. Совершенствование системы экологического мониторинга районов падения отделяющихся частей ракет-носителей // МНКО. - 2012. - № 6 (37).

8. Кульба В.В., Сомов Д.С., Кочкаров А.А. Применение структурно-интегрированных индикаторов в мониторинге сложных технических систем // Известия ЮФУ. Технические науки. - 2011. - № 3 (116). - С. 52-64.

9. Chen X. et al. Aircraft detection by deep belief nets //Pattern Recognition (ACPR), 2013 2nd IAPR Asian Conference on. - IEEE, 2013. - P. 54-58.

10. Hailong L. Study on the dust particles parameter with rocket detection in Earth's mesopause // Antennas, Propagation & EM Theory (ISAPE), 2012 10th International Symposium on.

- IEEE, 2012. - P. 1026-1028.

11. Lobell D.B. et al. Satellite detection of earlier wheat sowing in India and implications for yield trends //Agricultural Systems. - 2013. - Vol. 115. - P. 137-143.

12. Held D., Levinson J., Thrun S. A probabilistic framework for car detection in images using context and scale // Robotics and Automation (ICRA), 2012 IEEE International Conference on. - IEEE, 2012. - С. 1628-1634.

13. Hlawatsch F. Time-frequency analysis and synthesis of linear signal spaces: time-frequency filters, signal detection and estimation, and Range-Doppler estimation. - Springer Science & Business Media, 2013. - Vol. 440.

14. Ramirez D. et al. Detection of rank-signals in cognitive radio networks with uncalibrated multiple antennas // Signal Processing, IEEE Transactions on. - 2011. - Vol. 59, No. 8. - P. 3764-3774.

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

15. YangX. et al. Blind detection for primary user based on the sample covariance matrix in cognitive radio //Communications Letters, IEEE. - 2011. - Vol. 15, No. 1. - P. 40-42.

16. Hu D., Ronhovde P., Nussinov Z. Phase transitions in random Potts systems and the community detection problem: spin-glass type and dynamic perspectives // Philosophical Magazine.

- 2012. - Vol. 92, No. 4. - P. 406-445.

17. Ventresca M. Global search algorithms using a combinatorial unranking-based problem representation for the critical node detection problem //Computers & Operations Research. - 2012.

- Vol. 39, No. 11. - P. 2763-2775.

18. Fan C. M. et al. Numerical solutions of boundary detection problems using modified collocation Trefftz method and exponentially convergent scalar homotopy algorithm // Engineering Analysis with Boundary Elements. - 2012. - Vol. 36, No. 1. - P. 2-8.

19. Яцкин Д.В. Самоорганизация и командно-информационное взаимодействие абонентов в децентрализованных сетевых системах // Материалы семнадцатого научно-практического семинара "Новые информационные технологии в автоматизированных системах", Москва, 2014.

20. Thompson Joe F., Warsi Z.A., Mastin C., Numerical Grid Generation, Foundations and Applications. - Amsterdam: North-Holland, 1985.

REFERENCES

1. Enck W. et al. TaintDroid: an information-flow tracking system for realtime privacy monitoring on smartphones, ACM Transactions on Computer Systems (TOCS), 2014, Vol. 32, No. 2, pp. 5.

2. Moore J.W., Ramamoorthy S. Heavy metals in natural waters: applied monitoring and impact assessment. Springer Science & Business Media, 2012.

3. Heyer R. et al. (ed.). Measuring and monitoring biological diversity: standard methods for amphibians. Smithsonian Institution, 2014.

4. Liu Y. et al. Mining frequent traj ectory patterns for activity monitoring using radio frequency tag arrays, Parallel and Distributed Systems, IEEE Transactions on, 2012, Vol. 23, No. 11, pp. 2138-2149.

5. Krysin L.P. Tolkovyy slovar' inoyazychnykh slov [Explanatory dictionary of foreign words]. Moscow: Eksmo, 2008, 944 p.

6. Izrael' Yu.A. Global'naya sistema nablyudeniy. Prognoz i otsenka okruzhayushchey prirodnoy sredy. Osnovy monitoringa [The global observing system. Forecast and assessment of the natural environment. Monitoring framework], Meteorologiya i gidrologiya [Meteorology and Hydrology], 1974, No. 7, pp. 3-8.

7. Kondrat'ev A.D., Koroleva T.V., Puzanov A.V., Chernitsova O.V., Efremenkov A.A., Sharapova A.V., Gorbachev I.V., Dvurechenskaya E.B. Sovershenstvovanie sistemy ekologicheskogo monitoringa rayonov padeniya otdelyayushchikhsya chastey raket-nositeley [Improvment of environmental monitoring in areas of falling of detachable parts of carrier rockets],MNKO [The world of science, culture, education], 2012, No. 6 (37).

8. Kul'ba V.V., Somov D.S., Kochkarov A.A. Primenenie strukturno-integrirovannykh in-dikatorov v monitoringe slozhnykh tekhnicheskikh sistem [The use of structure-integrated indicators in complex technical systems monitoring], Izvestiya YuFU. Tekhnicheskie nauki [Izvestiya SFedU. Engineering Sciences], 2011, No. 3 (116), pp. 52-64.

9. Chen X. et al. Aircraft detection by deep belief nets,Pattern Recognition (ACPR), 2013 2nd IAPR Asian Conference on. IEEE, 2013, pp. 54-58.

10. Hailong L. Study on the dust particles parameter with rocket detection in Earth's mesopause, Antennas, Propagation & EM Theory (ISAPE), 2012 10th International Symposium on. IEEE, 2012, pp. 1026-1028.

11. Lobell D.B. et al. Satellite detection of earlier wheat sowing in India and implications for yield trends, Agricultural Systems, 2013, Vol. 115, pp. 137-143.

12. Held D., Levinson J., Thrun S. A probabilistic framework for car detection in images using context and scale, Robotics and Automation (ICRA), 2012 IEEE International Conference on. IEEE, 2012, pp. 1628-1634.

13. Hlawatsch F. Time-frequency analysis and synthesis of linear signal spaces: time-frequency filters, signal detection and estimation, and Range-Doppler estimation. Springer Science & Business Media, 2013, Vol. 440.

14. Ramirez D. et al. Detection of rank-signals in cognitive radio networks with uncalibrated multiple antennas, Signal Processing, IEEE Transactions on, 2011, Vol. 59, No. 8, pp. 3764-3774.

15. YangX. et al. Blind detection for primary user based on the sample covariance matrix in cognitive radio, Communications Letters, IEEE, 2011, Vol. 15, No. 1, pp. 40-42.

16. Hu D., Ronhovde P., Nussinov Z. Phase transitions in random Potts systems and the community detection problem: spin-glass type and dynamic perspectives, Philosophical Magazine, 2012, Vol. 92, No. 4, pp. 406-445.

17. Ventresca M. Global search algorithms using a combinatorial unranking-based problem representation for the critical node detection problem, Computers & Operations Research, 2012, Vol. 39, No. 11, pp. 2763-2775.

18. Fan C. M. et al. Numerical solutions of boundary detection problems using modified collocation Trefftz method and exponentially convergent scalar homotopy algorithm, Engineering Analysis with Boundary Elements, 2012, Vol. 36, No. 1, pp. 2-8.

19. Yatskin D.V. Samoorganizatsiya i komandno-informatsionnoe vzaimodeystvie abonentov v detsentralizovannykh setevykh sistemakh [Self-organization and team-communication subscribers in a decentralized network systems], Materialy semnadtsatogo nauchno-prakticheskogo seminara "Novye informatsionnye tekhnologii v avtomatizirovannykh sistemakh", Moskva, 2014 [Proceedings of the seventeenth scientific-practical seminar "New information technologies in automated systems", Moscow, 2014].

Статью рекомендовал к опубликованию д.т.н. А.О. Жуков.

Кочкаров Азрет Ахматович - Финансовый университет при Правительстве РФ; e-mail: akochkar@gmail.com; 127083, Москва, ул. 8 Марта, д. 10, стр. 1; тел.: 84957880007, доб. 3689; ОАО «РТИ», заместитель директора НТЦ-3; кафедра прикладной математики; ф.-м.н.; доцент.

Яцкин Данил Владиленович - ОАО «РТИ»; e-mail: danil@frtk.com; 127083, Москва, ул. 8 Марта, 10, стр. 1; тел.: 84957880007, доб. 3566; студент МФТИ(ГУ); специалист НТЦ-3.

Рахманов Олег Александрович - ОАО «Ростелеком»; e-mail: ra-oleg@yandex.ru; 125047, Москва, ул. 1-я Тверская-Ямская, 14; руководитель проектов.

Kochkarov Azret Akhmatovich - Applied Mathematics Department of the Financial University under the Government of the Russian Federation; e-mail: akochkar@gmail.com; Moscow, 127083, 8 Marta street, 10, bild. 1; phone: +74957880007, ad. 3689; JSC "RTI", vice-chief of R&D centre; associate professor.

Yatskin Danil Vladilenovich - JSC "RTI"; e-mail: danil@frtk.com; Moscow, 127083, 8 Marta street, 10, bild. 1; phone: +74957880007, ad. 3566; specialist R&D centre; student of MIPT.

Rahmanov Oleg Alexandrovich - OJSC «Rostelecom»; e-mail: ra-oleg@yandex.ru; 125047, Moscow, 1-ya Tverskaya-Yamskaya street, 14; project manager.

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