Модификация GERT-сети для анализа временных характеристик сетевых моделей

в текущем кадре на основе анализа предыдущих кадров видеопоследовательности. Предложена классификация таких методов в виде двух основных подходов - статистического и параметрического. Проведен сравнительный анализ методов, используемых в рамках обоих подходов. Кратко изложены способы поиска движения при локализации лиц людей в видеопоследовательностях, в задачах видеонаблюдения объектов, а также при реконструкции отдельных сцен видеопоследовательности.

Библиографический список

1. Welch, G. An Introduction to the Kalman Filter /

G. Welch, G. Bishop // UNC-Chapel Hill. TR 95-041. 2006. 24 July. P. 1-16.

2. Фаворская, М. Н. Алгоритмы реализации оценки движения в системах видеонаблюдения / М. Н. Фаворская, А. С. Шилов // Системы управления и информационные технологии. Перспективные исследования : науч.-техн. журн. Воронеж, 2008. N° 3.3 (33). С. 408-412.

3. Zhang, Y. Moving Layer Based Object Removal in Video / Y. Zhang, J. Xiao, M. Shah // IEEE Workshop on Application on Computer Vision. Breckenridge, Colorado. 2005. P. 437-442.

M. N. Favorskaya, A. I. Pakhirka, A. S. Shilov, M.V Damov THE RENDERING METHODS IN VIDEO SEQUENCES

The general conception of video surveillance technology is presented. The classification of rendering methods in video sequences is developed. The rendering algorithms of face localization in video sequences, in video surveillance tasks, also during reconstruction of separate scenes in video sequences are analyzed.

Keywords: rendering methods, video sequence, statistical functions.

УДК 519.216

М. Ю. Царев, Р. Ю. Царев, С. Ф. Шевчук

МОДИФИКАЦИЯ GERT-СЕТИ ДЛЯ АНАЛИЗА ВРЕМЕННЫХ ХАРАКТЕРИСТИК СЕТЕВЫХ МОДЕЛЕЙ

Представлена математическая модель стохастической GERT-сети, в которой условие необходимости для задания значений вероятностей выполнения переходов заменено условием вычислимости этих вероятностей после активации начального узла дуги. Реализована возможность введения дополнительных параметров узлов. Также рассмотрены ограничения, необходимые для того, чтобы сеть могла быть рассчитана на ЭВМ.

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

Стохастические GERT- сети [1] достаточно хорошо зарекомендовали себя в задачах оценки времени выполнения операции при последовательной обработке данных. Например, их применяют при оценке времени переработки сырья в производстве полупроводников, в производстве электроники и ремонте автономного управления электровоза [2; 3]. GERT- сети также позволяют получить качественно новые результаты при оценке времени выполнения распараллеленной задачи на неспециализированном вычислительном кластере Condor [4; 5].

GERT- сети требуют выполнения условия марковости для вероятностей перехода по дугам (вероятность начала выполнения работы). Кроме того, эти сети не позволяют вводить дополнительные параметры для узлов (состояний) и дуг (работ), что, например, возможно для сетей Петри без условия марковости переходов [6; 7]. Эти требования существенно ограничивают применимость данного метода моделирования. В частности, при помощи стандартных GERT-сетей не может быть разрешена задача оценки вероятности выполнения образовательного процесса в инфор-

мационно-образовательном кластере с ограничением на максимальное время реализации процесса.

Результатом работы по устранению описанных выше ограничений вЕЯТ- сетей стала математическая модель модифицированной вЕЯТ- сети (далее - МвЕЯТ-сеть), а также разработка программного модуля, реализующего данную модель.

Обозначения и термины, используемые в данной статье, соответствуют нотации К. Ноймана [1].

Математическая модель МОЕКТ- сети. Рассмотрим граф G(N, Л), где N - множество узлов сети G, A - множество дуг сети G. Все дуги множества Л - ориентированные. Узлы сети пронумерованы.

Примем соглашение: будем считать, что между двумя узлами может быть не более одной дуги в каждом направлении. Тогда каждая дуга а е Л может быть однозначно задана парой узлов с номерами /', у, где / - начальный узел; у - конечный узел. Обозначим дугу а как <1, у>.

В нашей сети узлы - это состояния проекта, а дуги - это работы, изменяющие состояние (модель сети - дуга-работа).

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

Пространство случайных выборок W является множеством всех возможных реализаций случайного эксперимента, возникающих при выполнении сети. Выполнение сети происходит путем активации узлов, т. е. возникновения случайных событий «Узел i активирован».

Дуга называется выполненной, если узел, являющийся ее началом, активирован.

Каждый активированный узел обладает набором параметров. Обязательным является только один параметр -вероятность активации узла ipi. Как правило, определяется еще один параметр - функция распределения времени выполнения сети в момент активации узла Fi.

Каждой дуге сопоставлены функции, изменяющие параметры активированного узла в процессе выполнения работы, соответствующей данной дуге. Таким образом, каждой дуге сопоставлена вычисленная после активации начального узла дуги функция pij - условная вероятность выполнения дуги <i, j> при условии активации узла i.

Каждый узел GERT-сети имеет входную и выходную функцию активации (рис. 1).

Входные функции бывают следующих видов:

- AND-функция (узел выполняется, если выполнены все дуги, входящие в него);

- IOR-функция (узел выполняется, если выполнена любая дуга, входящая в него);

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

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

Активация узла происходит, если его входная функция выполнена. После выполнения выходной функции активированного узла он становится неактивным.

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

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

Определение: будем называть сеть G(N, A) MGERT-сетью, если выполняются следующие условия:

1) она представлена ориентированной связанной сетью;

2) сеть обладает, по крайней мере, одним источником и одним стоком;

3) каждый узел из N достижим, по крайней мере, из одного источника и из каждого узла достижим, по крайней мере, один сток;

4) заданы типы входящих и выходящих функций узлов;

5) задано начальное распределение вероятности выполнения источников qsub, где sub с R;

[\ EOR-вход

6) в течение каждого выполнения проекта для каждого стока активируется не более одного источника, из которого этот сток достижим;

7) задан набор параметров, которыми обладает каждый активированный узел (по крайней мере, вероятность активации);

8) для каждой дуги указаны функции преобразования параметров активированного узла;

9) хотя бы один источник активируется в момент времени 0 (если параметр, отвечающий за время, определен).

Условие 6 накладывает ограничение на начальное распределение вероятности выполнения источников и позволяет трансформировать сеть в эквивалентную МвЕКГ-сеть с единственным источником [1]. Таким образом, мы можем рассматривать только МвЕКГ- сети с одним источником (рис. 2).

Рис. 2. Пример стохастической МОЕКГ- сети, состоящей из шести элементов

Обозначим Рге^</, у>, <к, 1>) - множество узлов, являющихся ближайшим общим предком для дуг </, у>, <к, 1>. Так, на рис. 2, Рге^<4, 6>, <5, 6>) = {2, 3}.

Аналогично введем 8исс(</, у>, <к, />) - множество узлов, являющихся ближайшим общим потомком для дуг </,у> <к, />. Так, на рис. 2, 8исс(<1, 2>, <1, 3>) = {4, 5}.

Из определения ЕОЯ-входной функции узла следует, что для любых двух дуг </, />, <к, />, входящих в узел I с ЕОЯ-входом, все узлы из Рге^</, /> <к, />) имеют стохастический выход. В противном случае вероятность того, что более одной дуги будет выполнено одновременно, не равна нулю, что противоречит определению ЕОЯ-вход-ной функции.

Из определения 1ОЯ- или АМЭ-входной функции узла следует, что для любых двух дуг </, />, <к, />, входящих в узел I с 1ОЯ- или АМЭ-входом, все узлы из Рге^</, />, <к, />) имеют детерминированный выход. В противном случае вероятность того, что более одной дуги будет выполнено одновременно, равна нулю, и узел не будет активирован ни разу. В дальнейшем мы будем требовать единственность такого узла. Обозначим его через I и будем говорить, что узел I имеет стохастическое начало в узле I.

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

<

IOR- Г .. \ Стохастическии

( AND-вход > вход / выход

Рис. 1. Обозначения входов и выходов узлов GERT- сети

D

Д етерминир ованный выход

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

Так как выполнение сети идет дискретно, т. е. следующий узел активируется только после выполнения условия его входной функции, то каждая конкретная реализация сети представляет собой ориентированный граф истории активаций узлов, который мы будем называть графом реализации. Если в МвЕКГ-сети нет ни одного 1ОЯ- или АЖ-узла, то граф реализации будет цепью. Например, множеством всех графов реализации сети (см. рис. 2) будут четыре цепи (рис. 3).

Рис. 3. Множество реализаций сети, изображенной на рис. 2

Множество всех реализаций сети, изображенной на рис. 4, состоит из графа и цепи (рис. 5).

Рис. 4. Пример стохастической МвЕЯТ-сети, состоящей из семи элементов

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

а) общие ограничения (обязательные):

- реализация сети является допустимой, если в процессе выполнения каждый из активированных узлов сети активируется не более чем тахЛ > 1 раз;

- реализация сети является допустимой, если в процессе выполнения каждый из активированных узлов сети активируется с вероятностью больше тахР > 0;

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

- реализация сети является допустимой, если в процессе выполнения узел I активируется не более чем тахЛ. > 1 раз;

- реализация сети является допустимой, если в процессе выполнения узел . активируется с вероятностью больше тахР > 0.

в) ограничения на циклы (обязательные):

- если в узел . циклической структуры С входит более одной дуги и хотя бы одна дуга не принадлежит циклу С, то узел . имеет ЕОЯ-вход;

- если из узла / циклической структуры С выходит более одной дуги и хотя бы одна дуга не принадлежит циклу С, то узел . имеет стохастический выход;

- если узел I с 1ОЯ- или АМЭ-входом принадлежит циклу, то узелу, являющийся стохастическим началом узла ., принадлежит данному циклу.

Рис. 5. Множество реализаций сети, изображенной на рис. 4

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

Если выполняются указанные выше условия, то сеть имеет конечное число реализаций, следовательно она может быть вычислена с использованием ЭВМ.

МОЕКТ- сеть с параметром «Функция распределения времени выполнения сети». Введем параметр F(t) - функцию распределения времени выполнения сети. Тогда каждой дуге сети должна быть сопоставлена функция F.j(t) условной вероятности распределения времени выполнения работы, соответствующей данной дуге.

Введем следующие обозначения:

- р. - вероятность активации узла /;

- р. - функция условной вероятности активации узла / при условии активации узла /, р.. = 1, если узел I имеет детерминированный выход;

- р.ун- вероятность выполнения начала цепи г при условии, что узел, из которого она входит, будет активирован;

- рук - вероятность выполнения конца цепи . при условии, что узел, в который она входит, будет активирован;

- F.(t) - функция распределения времени выполнения узла . в момент его активации;

- Fj(t) - функция условной вероятности распределения времени выполнения работы;

- F..н(t) - функция распределения времени выполнения t. в начале цепи . при условии, что узел, из которого она входит, будет активирован;

- Fj.к(t) - функция распределения времени выполнения t. на конце цепи . при условии, что узел, в который она входит, будет активирован.

Рассмотрим изменение параметров р и F(t):

- выполнение дуги </, у>:

рт =рт•ру,

^) =| (*) • Fij(t — *^  Р'у.

Если считать, что случайная величина t > 0, то пределы интегрирования можно заменить на 0 и t соответственно;

- формулы расчета для ЕОЯ-входа:

р. = рук,

Fj ^) = Fjк ^);

- формулы расчета для АМЭ-входа:

ру = р12к • р34к • •р(2Ы—1)(2Юк ^ р. ,

Fj ^) = max(t12K

, t34к , ..., ^2Ы—1)

= -^12к () • -^34к (t) • '^’(2N—1)(2Ы)к (t).

- формулы расчета для ЮЯ-входа:

р1 = р, • (1 — (1 — р12к ) • (1 — р34к ) •. .. ^ — р(2N—1X2ЛОк ) ),

Fj ^) = min(t12к

, t34к , ..., ^2N —1)

= 1 — (1 — ^2к ^)) • (1 — Fз4к ^)) •... • (1 — ^2N —1)(2N)к (t)).

Формулы, приведенные выше, предназначены для расчета реализации сети по ее графу реализации.

Обработка результатов. Пусть г - элемент множества реализаций со стоком .. Результатом расчета сети будут множества реализаций Ясгруппированные по стокам . Для стока в каждой реализации будут рассчитаны следующие характеристики:

- вероятность выполнения стока . X р.;

г

- вероятность выполнения стока . ко времени t в реализации г рГг^г. (();

- вероятность выполнения стока . ко времени t

X рг • Fiг (t);

E (t) =-

ка i

X

E (ti) = -

¥

X X

—¥

“TP ;

- дисперсия времени выполнения стока .

¥

X

) =-—^------------------;

X р.

г

- дисперсия времени выполнения всей сети

¥

ХХ

) = ^^

- математическое ожидание времени выполнения сто-

- математическое ожидание времени выполнения всей сети

ХрГ

/

Таким образом, представленная в данной статье стохастическая MGERT-сеть имеет более широкую область применения, чем классическая GERT-сеть. Применение дополнительных параметров в узлах сети позволяет использовать ее не только для оценки времени выполнения сети, но и для оценки выполнимости сети в заданных рамках и при заданных отклонениях от проектных параметров.

Следует отметить и недостатки MGERT-сети по сравнению с классическими GERT- сетями:

- высокие требования к вычислительным ресурсам на сетях с большим количеством циклов;

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

На базе данной математической модели реализована система стохастического моделирования распределенной среды обработки информации и управления [8], которая также может быть использована в составе более крупных программных комплексов.

Библиографический список

1. Neumann, K. Stochastic Project Networks. Temporal Analysis, Scheduling and Cost Minimization. New York : Springer-Verlag, 1990.

2. Лебедев, В. А. Параллельные процессы обработки информации в управляющих системах. / В. А. Лебедев, Н. Н. Трохов, Р. Ю. Царев ; НИИ систем упр., волновых процессов и технологий. Красноярск, 2001.

3. Филлипс, Д. Методы анализа сетей / Д. Филлипс, А. Гарсиа-Диас. М. : Мир, 1984.

4. Дегтерев, А. С. GERT-сетевой анализ времени выполнения задачи на неспециализированном гетерогенном кластере / А. С. Дегтерев, Д. М. Письман // Фундамент. исслед. 2005. №> 4. С. 79-80.

5. Письман, Д. М. Модели оценки времени выполнения задачи на кластере с последовательной и параллельной архитектурой обмена данными / Д. М. Письман // Вестн. унив. комплекса : сб. науч. тр. / под общ. ред. проф.

Н. В. Василенко ; НИИ систем упр., волновых процессов и технологий. Красноярск, 2005. Вып. 3 (17). С. 161-175.

6. German R. Non-Markovian Analysis / R. German // Tutorial at the 2001 Aachen Intern. Multiconf. on Measurement, Modelling, and Evaluation of Computer-Communication Systems. Aachen, 2001

7. German, R. Non-Markovian Analysis / R. German // Lectures on Formal Methods and Performance Analysis / Summer School on Trends in Computer Science. Heidelberg : Springer-Verlag. 2001. P. 156-182.

8. Система стохастического моделирования распределенной среды обработки информации и управления : программная система «MGNetView уег. 1.0» / А. П. Иванов, И. В. Ковалев, Р. Ю. Царев и др. М., 2008. Зарег. во Всерос. науч.-техн. информ. центре, № 50200801508, рег. №> ОФАП 11028.

M. Ju. Tsarev, R. Ju. Tsarev, S. F. Shevchuk

THE GERT-NETWORK MODIFICATION FOR TEMPORAL PARAMETERS ANALYSIS OF THE NETWORK MODELS

A modified mathematic model of GERT-network is presented, where the condition of setting constant numeric value to the probability of arc changed to the condition of computability of the probability after arc initial node activation. Also the constraints for availability of computer evaluation of network are considered.

Keywords: network analysis, cluster, realization time.