Научная статья на тему 'Триадно-сетевые дорожные карты развития систем'

Триадно-сетевые дорожные карты развития систем Текст научной статьи по специальности «Математика»

CC BY
199
59
i Надоели баннеры? Вы всегда можете отключить рекламу.
Ключевые слова
ЦЕЛИ / ДЕЙСТВИЯ / ПОКАЗАТЕЛИ / ТРИАДНО-СЕТЕВАЯ ДОРОЖНАЯ КАРТА / ДВУДОЛЬНЫЙ ГРАФ / ИНДИКАТОРНОЕ ВЫРАЖЕНИЕ / ПЕРИОД СТАБИЛЬНОСТИ / КРИТИЧЕСКАЯ ТОЧКА. / OBJECTIVES / ACTIONS / INDICATORS / TRIADIC-NETWORKED ROADMAP / A BIPARTITE GRAPH / INDICATORY EXPRESSION / STABILITY PERIOD / THE CRITICAL POINT

Аннотация научной статьи по математике, автор научной работы — Юдицкий Семен Абрамович

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

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

The triadic-networked roadmaps for systems development

The graph dynamics is considered of roadmaps of systems development processes for various applications. The basic model of «indicatory network» is introduced. This model is used to build a comprehensive model of a «triadic-networked roadmap» showing the dynamics of objectives, actions, and indicators on the required time horizon of development. An interactive algorithm is proposed for development simulation with formation of a sequence of stability periods separated with critical points where the roadmap is being transformed.

Текст научной работы на тему «Триадно-сетевые дорожные карты развития систем»

УДК 021.8 + 025.1 ББК 78.34

ТРИАДНО-СЕТЕВЫЕ ДОРОЖНЫЕ КАРТЫ РАЗВИТИЯ СИСТЕМ

Юдицкий С. А. 1

(ФГБУН Институт проблем управления им. В.А. Трапезникова РАН, Москва)

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

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

1. Введение

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

1 Семен Абрамович Юдицкий, доктор технических наук, профессор, главный научный сотрудник Института проблем управления им. В.А. Трапезникова РАН ([email protected]).

В этой связи несомненный эффект дала бы алгоритмизация и последующая компьютеризация процесса построения и анализа дорожной карты с применением интерактивного имитационного моделирования на всех этапах ее жизненного цикла. Однако эта задача, по нашим данным, пока формально не поставлена и не решена. Предлагаемую работу следует рассматривать как попытку восполнить имеющийся пробел на основе «триадного моделирования» [5].

Суть триадного моделирования заключается в следующем. Ключевыми параметрами процесса развития любой системы являются: цели, к достижению которых стремится развивающаяся система; действия, направленные на достижение целей; показатели, определяющие состояние системы. Параметры отображаются лингвистическо-балльными переменными, характеризующимися словесной и количественной оценкой (в виде числа баллов). Цели, действия и показатели образуют три взаимодействующих уровня модели развития, где значения переменных, связи между ними, а также связи между уровнями и связи системы с внешней средой могут изменяться при развитии системы. Каждый уровень моделируется так называемой индикаторной сетью [6] - двудольным графом, дополненным продукционными выражениями типа «ЕСЛИ - ТО» на базе логических формул (индикаторными выражениями). Совокупность трех упомянутых уровней образует динамическую модель «Три-адно-сетевая дорожная карта (ТДК)». Проводя имитационное моделирование ТДК на заданном временном интервале, получаем описание динамики целей, действий и показателей в дискретном времени.

Анализируемый временной горизонт процесса развития системы (горизонт прогнозирования) состоит из п > 1 «участков стабильности», на которых изменяются только значения параметров, но остаются неизменными их состав и взаимосвязи. Другими словами, участок характеризуется фиксированной ТДК. Участки стабильности разделены критическими точками, определяемыми как моменты появления «предугрозы» (например, выход показателя за пределы допустимого диапазона значений, недостижение цели за нормативное время, «зависание» процесса из-за недостаточности ресурсов или ошибочной по-

следовательности действий и т.д.). В критических точках выполняется преобразование ТДК - изменение состава и/или взаимосвязей параметров путем операций над графами и корректировки индикаторных выражений.

Каждому участку стабильности на горизонте моделирования ставится в соответствие ТДК. При этом начальную карту задает лицо, проводящее моделирование (ЛПМ). В ходе имитационного моделирования определяются критические точки, в которых ЛПМ трансформирует ТДК предыдущего участка в ТДК последующего участка стабильности. Таким образом, процесс развития в общем случае характеризуется (п - 1)-кратным изменением дорожной карты. Изменение по усмотрению ЛПМ производится на всех трех или лишь на некоторых уровнях карты и носит выборочный характер: выделяется фрагмент графового описания уровня, выделенный фрагмент «вырезается» и замещается другим фрагментом при сохранении преемственности в отношении остальной части графа уровня. Эта процедура подобна операции в медицине и потому названа «графохирургической» операцией [5].

Триадное моделирование является интерактивным в том смысле, что оно выполняется в форме диалога между компьютером и ЛПМ: компьютер отслеживает функционирование (развитие) системы на участке стабильности и фиксирует появление критической точки («предугрозы»), ЛПМ на основе полученной информации принимает решение и корректирует ТДК.

Статья имеет следующую структуру. В разделе 2 приводится определение и пример индикаторной сети, в разделе 3 рассмотрена ТДК на основе индикаторных сетей. В разделе 4 дано описание алгоритма интерактивного моделирования процесса развития системы на заданном временном горизонте, порождающего последовательность ТДК.

2. Индикаторные сети

Определение индикаторной сети базируется на следующих понятиях.

1. Двудольный граф как статическая основа модели:

О = <Р, Г, *а, а*>, где Р = [рь 1 = 1, ..., т} - множество вершин-позиций;

Т = [^, 1 = 1, ..., п} - множество вершин-переходов; а: Т^ 2Р, а : Т ^ 2Р - функции, задающие соответственно подмножества входных и выходных позиций перехода; 2 - множество всех подмножеств Р.

Пример двудольного графа дан на рис. 1, где х1, х2 - внешние переменные (имеют только выходные дуги); р1, ..., р4 - внутренние переменные (имеют входные и выходные дуги).

Рис. 1. Пример индикаторной сети: статическая модель

2. Индикатором сравнения будем называть булеву переменную вида у = (г1 # г2), где г1, z2 - переменные, принимающие численные значения (22 может быть константой); # - знак бинарного отношения, принадлежащего множеству {=, ^, >, > ,<, <}. Индикатор принимает значение у = 1, если выполняется отношение #, и у = 0, если не выполняется.

3. Индикаторной логической формулой (ИЛФ) назовем формальное представление, полученное путем применения конечное число раз к индикаторам сравнения логических операций дизъюнкции, конъюнкции, отрицания (V, л, -), а также, возможно, кванторов существования и всеобщности. Примеры ИЛФ для числовых переменных, зависящих от времени т, даны в таблице 1 .

Таблица 1. Пример индикаторной сети: динамическая модель

т

н (Рг(т) > 1) А (Р2(т) > 2) А (/'з(г) > 3) А (х,(г) > 0) А А (х^т) < 10) -> (Р^Т + 1) = Р^Т) + 1)

ь (Ра(т) > 2) а (Р4(т) < 8) а (((х2(т) = 1) V (х2(т) = 5) -> -> (Р2(т + 1) = Р2(т) - 1) А (Р3(Т + 1) = Р3(т) - 1)

н (Л(г)>3)^(/'4(г+ 1) = 1\(т) + 2)

4. Индикаторным выражением будем называть продукцию (нотацию ЕСЛИ-ТО) вида Fi: ИЛФг1(т) ^ ИЛФі2(т + 1), отображающую динамику перехода двудольного графа (таблица 1). Набор индикаторных выражений для всех переходов двудольного графа представляет собой динамическую модель системы.

Таблица 2. Пример индикаторной сети: лента поведения

т 0 1 2 3 4 5

XI 5 4 4 5 5 5

Х2 5 5 5 5 5 5

Рх 3 4 5 5 5 5

Рг 4 3 2 1 0 0

Рз 4 3 2 1 0 0

Ра 3 5 7 7 7 7

5. Индикаторная сеть - это тройка:

Ш = ^, F, в>

где О - двудольный граф, F = ^, / = 1, ..., e} - множество индикаторных выражений; в: T ^ F - функция, задающая пометку переходов графа индикаторными выражениями.

6. Динамика индикаторной сети отображается лентой поведения (таблица 2), которая строится с учетом ограничений на порядок срабатывания переходов двудольного графа (например, в момент т может сработать не более одного перехода, и для любого перехода известно подмножество переходов, которые могут сработать в следующий момент т + 1). Процедура построения ленты поведения в общем случае включает следующие шаги:

- для начального момента т = 0 задаем значения всех переменных;

- для каждого последующего момента т > 0 для каждого перехода из вышеуказанного подмножества вычисляем значение ИЛФ(т) в левой части помечающего его индикаторного выражения;

- если ИЛФ(т) = 1, то вычисляем значения переменных, на которых в правой части выражения ИЛФ(т + 1) = 1, и помещаем эти значения в столбец т + 1 ленты поведения (во избежание противоречивости левые части продукций для переходов, входящих в одно и то же подмножество, должны быть попарно ортогональны). Для остальных переменных переносим их значения из столбца т в столбец т + 1;

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

На индикаторных сетях очевидным образом реализуется проверка позиции на ноль. Это доказывает эквивалентность 18 и машины Тьюринга [4], т.е. возможность моделирования индикаторной сетью любой дискретной системы. Представление типовых фрагментов ряда известных расширений сети Петри [3, 4] индикаторными выражениями показано в таблице 3.

Таблица 3. Представление расширений сетей Петри индика-

торными выражениями

Тип перехода в расширении сети Петри Графическое изображение Индикаторное выражение

Исключающее ИЛИ ^45) ((Р1(г)>0)л(Р2(г) = 0)^ (Р1(г+1)=Р1(г)-1)л(Р3(г+1) = = .Рз(г) + 1)) V ((.Р!(Г) = 0) Л (Р2(г)>0)^(Р2(г+1) = = Р2(г)-1) л СР3(г+ 1) = Р3(Т) + 1))

Таблица 3 (продолжение)

Тип перехода в расширении сети Петри Графическое изображение Индикаторное выражение

Переключа- тель (К) (§) (0Р1(г) > 0) л 0Р2(г) = 0) ->(Р3(г + 1) = = Р1(г))лСР4(г+ 1) = 0)) V V ((Р\(т) > 0) л (^(Т) = 1) —* -> (Р3(т + 1) = 0) л (Р4(т + 1) = ^(г))

Переход с запрещающей дугой (Рг(т) > 0) л (Р2(т) = 0)->(Р1(т+1) = = Л (г) - 1) л (Р3(т + 1) = Р3(г) + 1)

Переход временной сети Петри (йН-Чй) (Л (г) > 0) л (г > ятш) л (г < ятах) -> ->(Р1(г+1) = Р1(г)-1)л л(Р2(г+ 1) = Р2(г)+ 1), Ятт, атах - константы

3. Триадно-сетевая дорожная карта

Как уже говорилось, ТДК состоит из трех взаимосвязанных индикаторных сетей (графов), позиции которых сопоставлены соответственно целям с, действиям ф, показателям рВоздействие внешней среды на графы обозначается переменными Пример ТДК дан на рис. 2, 3, 4. В формулах (1), (2), (3) показаны индикаторные выражения, моделирующие динамику срабатывания переходов каждого двудольного графа. Цели и действия характеризуются двоичными (булевыми) переменными, принимающими единичное значение, если цель достигнута, действие выполняется, и нулевое значение - в противном случае. При достижении каждой цели не должно быть превышено заданное нормативное время. Показателям и внешним воздействиям в общем случае сопоставляются числовые переменные с указанием диапазона допустимых значений.

На ТДК накладываются ограничения:

- граф целей не содержит циклов;

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

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

Критическим будем считать такое состояние, в котором имеет место рг > р,,тах (при возрастании) или рг- < р,,тт (при убывании), где [рг>тт, р^тах\ - диапазон допустимых значений показателя. В критическом состоянии графа показателей протекающий в нем процесс прерывается. При установлении равновесия в графе целей или/и критического состояния в графе показателей формируется сигнал обратной связи на граф действий - изменяется значение его соответствующей входной позиции. Одинаково обозначенные позиции, принадлежащие разным графам, интерпретируются как экземпляры (копии) одной и той же переменной. Изменение значения одной из этих позиций в тот же момент передается в остальные.

Проиллюстрируем вышесказанное на примере рис. 2, 3, 4. В результате срабатывания перехода ^ в графе действий (рис. 3) его выходная позиция р1, а тем самым одноименная позиция графа показателей (рис. 4), получает приращение р1 = 2. Примем, что показатели оцениваются по десятибалльной шкале. В графе показателей инициируется переходной процесс, завершающийся критическим состоянием в момент т = 8 при значении р3 = 11, р4 = 12 (переменные р3, р4 превысили верхнюю границу допустимого десятибалльного интервала - таблица 4). Позиция р3 является входной для перехода ^ в графе действий. В результате срабатывания перехода ^ в графе действий принимают единичное значение оба экземпляра позиции с1 - в графах действий и целей. В графе целей (рис. 2) происходит переключение с4 = 1 с сохранением с1 = 1 и установлением равновесия. Позиция с4 в графе действий является входной для переходов

ґ4, ґ5. Далее функционирование ТДК осуществляется аналогичным образом. При срабатывании перехода ґ8 в графе действий учитывается обратная связь как от графа целей, так и от графа показателей.

Рис. 2. Пример триадно-сетевой дорожной карты: граф целей

Ф(?1):(С1=1)л(С4 = 0)^(С1=1)л(С4=1),

(1) Ф(<72):(С2 =1)л(С4 = 0)->(С2 =1)л(С4 =1),

Ф(?3):(Сз=1)л(С4=1)л(С5=0)->(С3=1)л(С4=1)л(С5=1).

Рис. 3. Пример триадно-сетевой дорожной карты: граф действий

Рис. 4. Пример триадно-сетевой дорожной карты: граф показателей

(2)

(3)

^): </0 = 1) л (Р| = 1) л {Рх (г) > 3) л Ц = 0) л (</2 = 0) -»

->(с/0 =0)л(й?[ =1)л(й?2 =1)л(Р1(г + 1) = Р1(г) + 2),

^(^2 ) : (с/[ =1) л(й?з = 0) л(С[ = 0) -> (й?[ =0) л(й?з =1) л(С[ =1),

^(^3 ) : (с/2 =1)л(й?4 =0 )л(С2 =0) ->(с/2 =0)л(й?4 =1)л(С2 =1),

,Р(^4 ) : (с/3 =1)л(й?5 =0)л(С4 =1) -»(с/3 =0)л(й?5 =1),

^5) :(й?4 = 1)л(</6 = 0) А (С4 =1) —> (с/4 = 0)л(</6 =1),

,Р(^б ) : (<^5 =1)л(^6 =1)л(^0 =0)л(^2 =0)^(й?5 = 0)л(с/6 =0)л л(й?о=1),

F(/7) : (й?5 = 1) Л (й?6 = 1) Л (й?7 = 0) л (С3 = 0) л (К2 = 1) -> (й?5 = 0) л л(с/6 =0 )л(й?7 =1),

Я/8): Ц = 1) л (</* = 0) л(С5 = 1) л (Р3 > 10) -> Ц = 0) л (</* = 1).

ВД : (Г) > 2) л (Рз < 7)) -► (Р2 (т +1) = Р2 (г) + 2),

П(г2): (Р2 (т) > 4) ->• (Т3 (г +1) = Р3 (г) + 4),

П(г3): (Р3 (г) > 7) -> (Р4 (г +1) = Р4 (г) + 3),

П(г4): (Рл (г) > 6) ^ (г +1) = (г) + 2) л (Ръ (г +1) = Р3 (г) + 2).

Таблица 4. Пример триадно-сетевой дорожной карты: лента показателей

т 0 1 2 3 4 5 6 7 8 9

г ^1 Гі Г2 Гз Г4 Гз Г4 Гз Г4 -

Рі 0 2 2 2 2 4 4 6 6 8

Р2 2 2 4 4 4 4 6 6 6 6

Рз 3 3 3 7 7 9 9 11 11 13

Р4 3 3 3 3 6 6 9 9 12 12

Поясним построение ленты показателей, представленной в таблице 4. Из графа показателей (рис. 4) следует порядок срабатывания переходов Г\ г2 /'з (г\ V г3)..., где после срабатывания

т1 в момент т в следующий момент т + 1 срабатывает г2, после г2 срабатывает г3, после г3 срабатывает г4, после г4 может сработать т1 или г3, и т.д. Срабатывание любого перехода г в момент т инициируется условием ИЛФлев(г) = 1 в левой части выражения П(г) - см. (3). В следующий момент т + 1 происходит изменение

значений показателей в соответствии с правой частью ИЛФправ(г) этого выражения.

В ленте показателей в таблице 4 в начальный момент т = 0 транспонированный вектор-столбец В(0) = (0, 2, 3, 3), в момент т = 1 вследствие воздействия от графа действий В(1) = (2, 2, 3, 3) и выполняется условие ИЛФлев(г1) = 1. Это вызывает срабатывание г1, в результате которого В(2) = (2, 4, 3, 3), и т.д. В момент т = 5 при В(5) = (4, 4, 9, 6) проверяются условия для переходов Г\, Гз, для которых имеет место свойство ортогональности ИЛФлев(гі) А ИЛФлев(гз) = о, так как (р3(т) < 7) л (р3(т) > 7) = 0. В момент т = 5, как и в последующий момент т = 7, выполняется условие ИЛФлев(г3) = 1, и после перехода г4 срабатывает г3.

4. Алгоритм интерактивного моделирования развития систем на основе триадно-сетевых дорожных карт

Алгоритм выполняется в виде последовательности шагов, иллюстрируемой блок-схемой на рис. 5. На шаге 1 формируется начальная ТДК для момента т = 0, соответствующего началу горизонта моделирования. При выполнении шага 1 последовательно вводятся конфигурации графа целей (этап 1.1), графа действий (этап 1.2), графа показателей (этап 1.3), устанавливаются связи между графами (этап 1.4), вводятся индикаторные выражения, «нагружающие» переходы графов (этап 1.5). На шаге 2, соответствующем периоду стабильного функционирования системы, осуществляется мониторинг процесса с определением наличия критической точки. Если точка до истечения длительности горизонта моделирования не обнаружена, то ЛПМ принимает решение о завершении эксперимента (конец работы алгоритма). Если критическая точка обнаружена, то переход к шагу 3 - при участии ЛПМ осуществляем преобразование ТДК (с применением «графохирургических» операций) для формирования дорожной карты следующего периода стабильности. Далее следует переход к шагу 2. Ниже более подробно рассмотрен алгоритм.

3. Преобразования ТДК для следующего периода стабильности

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

- наличие - Да

<СГ критической ТОЧКИ? - ------------------

Нет]

( Конец )

Рис. 5. Блок-схема алгоритма моделирования развития системы на основе триадно-сетевой дорожной карты

1. Построение ТДК для начального момента горизонта моделирования.

1.1. Формирование конфигурации графа целей.

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

2. Мониторинг функционирования ТДК с выявлением критической точки

славливает достижение главной. Процедура повторяется для подцелей и т.д., пока не доходим до начальных целей, которым не подчинена никакая другая цель. Если главных целей несколько, то для каждой из них повторяем то же самое. В графе целей применяются два вида и-арных отношений «цель-подцели», при числе подцелей не менее двух: конъюнктивное и альтернативное. При конъюнктивном отношении обязательно достижение всех подцелей, при альтернативном - только одной. На графе первое отношение реализуется вершиной-переходом, в которую ведут дуги из позиций всех подцелей, а из нее дуга в позицию цели. При втором отношении вводится переход для каждой подцели. В графе целей переход интерпретируется как событие «Достижение цели является следствием достижения подцелей, которое после срабатывания перехода сохраняется». Для этого на графе проводятся «обратные» дуги из перехода в позиции подцелей. Целеполагание является предметом интеллектуальной деятельности ЛПМ. Психология целеполагания с акцентом на типовые ошибки, приводящие к неудаче, подробно рассмотрена в [2].

В примере на рис. 2 главная цель - с5, начальные -сь с2, с3. Цели с5 подчинены подцели с3, с4, входящие в отношение конъюнктивности; цели с4 - подцели сь с2, входящие в отношении альтернативности.

1.2. Формирование конфигурации графа действий.

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

В примере графа действий на рис. 3 в качестве входных/выходных позиций переходов помимо действий показа-

ны копии позиций целей и показателей, а также внешние позиции. Таким образом моделируются взаимодействия между уровнями ТДК и связи системы с внешней средой. Переход ^ запускается, если выполнены начальные условия (й0 = 1) и подано внешнее воздействие (VI = 1). Результатом срабатывания t1 является запуск действий й\, й2 и приращение показателя р1. Разветвление процесса после прохождения верхней и нижней параллельных ветвей - выбор перехода t6 или ^, определяется взаимно исключающими друг друга внешними воздействиями v2 = 0, v2 = 1, и т.д.

1.3. Формирование конфигурации графа показателей.

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

1.4. Установление связей между графами.

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

В примере на рис. 2, 3, 4 копирующие позиции V,, с,, р, введены для переходов графа действий (рис. 3).

1.5. Составление индикаторных выражений для переходов графа.

В полученных на предыдущих этапах шага 1 графах ТДК для каждого перехода вводится индикаторное выражение ИЛФлев ^ ИЛФправ, где индикаторы сравнения в составе левой формулы взаимно однозначно соответствуют всем входным и выходным позициям перехода, а индикаторы в составе правой формулы - также всем входным и выходным позициям, за исключением выходных позиций V, (внешние воздействия могут обуславливать переход, но его срабатывание не влияет на их значение).

Описание внутри «индикаторных» скобок формируется следующим образом. Для графа целей: в составе ИЛФлев для подцелей с, = 1 и для цели с = 0 значения р, й, V устанавливает ЛПМ. В формуле ИЛФправ допускаются только индикаторы с = 1. В графе действий: в ИЛФлев для индикаторов входных и выходных позиций перехода, сопоставленных действиям, вписывается соответственно й = 1, й = 0, а для индикаторов других переменных - по выбору ЛПМ. Для ИЛФправ значения й изменяются на противоположные. Если срабатывание перехода графа действий вызывает достижение цели или/и изменение значения показателя, то это также фиксируется в ИЛФправ. В графе показателей: любой переход имеет одну входную и п > 1 выходных позиций, соответственно индикаторное выражение ИЛФлев состоит из одного либо более, а ИЛФправ - из п индикаторов. Знаки сравнения и значения констант в индикаторах выбирает ЛПМ. Далее ЛПМ вводит логические знаки конъюнкции л, дизъюнкции V, отрицания соединяющие полученные индикаторы. Таким образом, процедура преобразования графовой основы ТДК в индикаторные выражения переходов является интерактивной, она частично формализована и может выполняться автоматически, частично базируется на экспертных потенциях ЛПМ. Индикаторные выражения переходов графов целей, действий и показателей приведены в (1), (2), (3).

2. Мониторинг процесса функционирования системы на интервале стабильности.

Результатом мониторинга является диаграмма динамики параметров ТДК, пример которой дан в таблице 5. Горизонтальными линиями на ней изображены интервалы единичного значения булевых переменных - внешних воздействий, целей, действий, а числами - балльные значения показателей. Интервалы внешних воздействий задает ЛПМ, руководствуясь своим преставлением о возможном поведении внешней среды. Остальные параметры вычисляются для каждого такта - промежутка между моментами т, т + 1, т = 0, 1, ..., N согласно процедуре, изложенной в разделе 2. Критическая точка (момент), как уже говорилось ранее, соответствует «пре-дугрозе»: например, выходу показателя за допустимые пределы, достижению цели после истечения нормативного времени и т.д. Пусть в примере (таблица 5) изменение показателей регламентируется десятибалльной шкалой, т.е. от 0 до 10 баллов, а цель с5 должна быть достигнута не позже конца пятого такта. Но в соответствии с диаграммой в таблице 5 при заданных начальных условиях в пятом такте показатель р3 превысил верхнюю границу шкалы, а цель с5 достигается только в седьмом такте. Следовательно, критической точкой является момент т = 6, и, начиная с шестого такта, рассмотрение можно было не продолжать.

3. Преобразование триадно-сетевой дорожной карты.

Для следующего периода стабильности преобразуем графы целей и действий в карте на рис. 2, 3, оставив без изменения граф показателей. Преобразование с применением метода «графохирургии» проиллюстрировано на рис. 6. Из графа действий «вырезаем» фрагмент с двумя параллельными ветвями, входным переходом tl и выходными переходами ^, ^ (обведен пунктиром в верхней части рис. 6б). Вместо него «вставляем» фрагмент с аналогичными входным и выходными переходами, не содержащий параллельных ветвей (обведен в нижней части рис. 6б). Во введенном фрагменте отсутствует целевая позиция с2, которая удаляется и из графа целей (замещается пустым фрагментом), что показано на правом рис. 6а.

в)

Рис. 6. Пример преобразования триадно-сетевой дорожной карты для а) графа целей; б) графа действий; в) графа показателей

Таблица 5. Диаграмма динамики параметров ТДК в период стабильности (г- такт, Ф - факторы)

-т ф 0 1 2 3 4 5 6 7 8

VI Уг

Сі 02 Сз с„ Сь

СІ о СІ1 СІ2 СІ з СІ4 СІ5 СІ6 СІ7 СІК

Рі 2 2 4 4 4 4 4 6 8

р2 0 2 4 6 8 10 12 14 16

Рз 0 0 0 4 8 12 16 22 28

р4 0 0 0 0 0 3 6 9 12

5. Заключение

Статья посвящена графодинамике дорожных карт - признанного инструментария прогнозирования и планирования процессов развития систем широкого назначения, в том числе процессов управления проектами, на заданном временном горизонте (графодинамика - это направление системного анализа, оперирующее переменными в форме графов и отношениями, определенными на графах [1]). Применительно к дорожным картам в статье акцент сделан на следующие факторы.

Триадность развития, определяемая динамикой взаимовлияния трех взаимосвязанных групп параметров - целей про-

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

Скачкообразность развития. Горизонт прогнозирования состоит из периодов (участков) стабильности, разделенных критическими точками. На участке стабильности не меняется состав параметров (целей, действий, показателей) и связи между ними, но изменяются значения параметров. Динамика развития системы отображается триадной моделью [5]. При этом на участке стабильности могут обнаруживаться признаки «предугро-зы», фиксируемые в виде критической точки на временной оси (точки бифуркации). А это, в свою очередь, инициирует перестройку триадной модели дорожной карты - изменения состава параметров и связей между ними.

Перестройка триадно-сетевой дорожной карты. Преобразование в критической точке триадной модели может касаться всех трех ее составляющих, либо части из них. Преобразование осуществляется в два этапа: на первом корректируется графовая основа (графы целей, действий, показателей), на втором - графы трансформируются в индикаторные выражения переходов. Последнее требует участия аналитика. Коррекцию графов производят не «с чистого листа», а с учетом преемственности путем «графохирургических операций» [5] - выделяют фрагмент графа и замещают его другим фрагментом, возможно пустым. Процедура имитационного моделирования триадно-сетевых дорожных карт является интерактивной, частично она выполняется автоматически, частично человеком (имеет место органическое сочетание «искусственного и естественного интеллекта»).

Литература

1. АЙЗЕРМАН М.А., ГУСЕВ Л.А., ПЕТРОВ СВ., СМИРНОВА И.Н. Динамический подход к анализу структур, описываемых графами (основы графодинамики) // Автоматика и телемеханика. - 1977. - №7. - С. 135-151; №9. - С. 123-136.

2. ДЕРНЕР Д. Логика неудачи. - М.: Смысл, 1997. - 243 с.

3. КОТОВ В.Е. Сети Петри. - М.: Наука, 1984. - 158 с.

4. ПИТЕРСОН ДЖ. Теория сетей Петри и моделирование систем. - М.: Мир, 1984. - 264 с.

5. ЮДИЦКИИ С.А. Моделирование динамики многоагентных триадных сетей. - М.: Синтег, 2012. - 112 с.

6. ЮдИЦКИИ С.А., МАГЕРГУТ В.З. Триадное моделирование на индикаторных сетях поведения дискретных систем // Тринадцатая национальная конференция по искусственному интеллекту с международным участием КИИ-2012: Труды конференции. Том 3. Белгород, 2012. - С. 234-241.

THE TRIADIC-NETWORKED ROADMAPS FOR SYSTEMS DEVELOPMENT

Semen Yuditsky, V.A. Trapeznikov Institute of Control Sciences RAS, Moscow, professor ([email protected])

Abstract: The graph dynamics is considered of roadmaps of systems development processes for various applications. The basic model of «indicatory network» is introduced. This model is used to build a comprehensive model of a «triadic-networked roadmap» showing the dynamics of objectives, actions, and indicators on the required time horizon of development. An interactive algorithm is proposed for development simulation with formation of a sequence of stability periods separated with critical points where the roadmap is being transformed.

Keywords: objectives, actions, indicators, triadic-networked roadmap, a bipartite graph, indicatory expression, stability period, the critical point.

Статья представлена к публикации членом редакционной коллегии Л. И. Микуличем

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