Научная статья на тему 'Подход к моделированию характеристик на основе строгих биподобия и бимоделирования'

Подход к моделированию характеристик на основе строгих биподобия и бимоделирования Текст научной статьи по специальности «Математика»

CC BY
98
38
i Надоели баннеры? Вы всегда можете отключить рекламу.
Ключевые слова
КОНГРУЕНТНОСТЬ / ИЗОМОРФИЗМ / МАРКОВСКИЙ ПРОЦЕСС / УКРУПНЕННЫЙ ЭКВИВАЛЕНТ / СТРОГОЕ БИПОДОБИЕ / СТРОГОЕ БИМОДЕЛИРОВАНИЕ / СONGRUENCE / MARKOV'S PROCESS / ISOMORPHISM / LUMPABLY EQUIVALENT / STRONG BISIMILARITY / STRONG BISIMULATION

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

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

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

The approach to modelling of performances on the basis of strong bisimilarity and strong bisimulation

The simulation method of performances with application of concepts strong bisimilarity and a strong bisimulation is offered. Relation's between strong bisimilarity and the main Markov's process as one of methods of simplification of model are used.

Текст научной работы на тему «Подход к моделированию характеристик на основе строгих биподобия и бимоделирования»

МАТЕМАТИЧЕСКОЕ МОДЕЛИРОВАНИЕ

УДК 519.21

А.С.Сорокин

ПОДХОД К МОДЕЛИРОВАНИЮ ХАРАКТЕРИСТИК НА ОСНОВЕ СТРОГИХ БИПОДОБИЯ И БИМОДЕЛИРОВАНИЯ

§1. Введение

В работе рассмотрено бимоделирование, которое основано на отмеченном мультипереходе системы PEPA [1], и исследованы некоторые его свойства. Определение строгого бимоделирования основано на понимании того, что строгие бигомотетичные компоненты в состоянии выполнить те же самые действия, приводящие к производным множествам. Эти производные множества в свою очередь сами строго би-гомотетичны. В §2 показано, что это свойство может быть выражено с помощью определения отношения строгого бимоделирования. Тогда строгое биподобие наиболее полно удовлетворяет условиям отношения строгого бимоделирования. Остальная часть работы занята изучением свойств отношения строгого биподобия Ж .

В § 3 это отношение изучено с точки зрения алгебры процесса. Показано, что строгое биподобие есть отношение соответствия для системы PEPA [2-7]. В §4 обсуждены применения строгого биподобия для смоделированных компонент системы.

Отношения между строгим биподобием и основным марковским процессом изучены в §5 [710]. Наконец, в §6 предложено, как строго биподобие может быть использовано для метода упрощения модели. Отношение используется, для того чтобы найти компоненты, которые выполняют те же самые действия. Далее проверяют, для того чтобы гарантировать поведение компоненты, действительно ли оно то же самое. Если для одной компоненты найдется меньшее производное множество, то она может заменить другую компоненту в модели PEPA [2,4,5] и привести к пространству состояний осно-вного марковского процесса. Демонстрируем это использование строгого биподобия для упрощения пространства состояний на одной из моделей MSMQ [ 2 ].

§ 2. Определение строгого биподобия

Бимоделирование предназначено, чтобы зафиксировать одинаковое наблюдаемое поведение. Нужно разъяснить, какие аспекты поведения могут быть зафиксированы при наблюдении и обстановка, при которой проводится наблюдение.

В терминах PEPA имеется несколько возможностей того, как проводить наблюдения. Например, может ли наблюдатель знать относительную частоту, с которой происходят альтернативные действия, или возможные производные множества, встречающиеся в условиях движения данной компоненты? Фиксируется ли наблюдателем время пребывания каждой компоненты?

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

множества будут также строго бигомотетичны.

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

Определение строгого бимоделирования, которое представлено в этой работе, является простым расширением строгого бимоделирования CCS в PEPA [2, 6-8]. В системе CCS две компоненты строго бигомотетичны, если любому а действию одной компоненты соответствует а действие другой; кроме того, каждая а -производная одной компоненты строго бигомо-тетичена к некоторой а - производной другой. Таким образом, для системы PEPA воздействия компоненты заменим на её действия и предъявим то же самое требование к производным множествам. Отметим, что это не налагает условий на кратности действий в компонентах. Например, это привело бы к эквивалентности, в которой P + P считают эквивалентно P , хотя сначала компонента P + P, казалось бы, действовала дважды с такой скоростью как P .

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

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

Определение 1. Бинарное отношение R С C х C, с компонентами а является строгим бимоделирова-нием, если существует такое е R , что для любого а е A, выполнены следующие условия:

V raiP) = ra{Q) ^ и для всех а е Act

2) для любого Р ———— Р существует такое Q , что Q ——— Q и Р Q')e R;

3) для любого Q —-—— Q существует такое P , что P ———— P и (р, Q)e R.

Так как отношение идентичности удовлетворяет всем условиям определения 1, то любая компонента является элементом строгого бимоделирования. Из условий симметричности следует, что, если R есть строгое бимоделирование, то и

R 1 - также есть строгое бимоделирование. Условия являются также транзитивными и сохраняют свойства при объединении. Таким образом, имеет место следующая теорема.

Теорема 1. Пусть каждый Rt (i = 1,2,...) есть строгое бимоделирование. Тогда следующие отношения: IdC , R1R2, Ri \ U Д- также бу-

iel

дут строгими бимоделированиями.

Доказательство. Доказательство следует непосредственно из определения 1.

Теперь определим отношение строгого биподобия х .

Определение 2. Если P и Q - строго биго-мотетичны, то P х Q при условии, что

е R , а для каждого строгого бимоделирования R имеет место :

х = ЦК* : R - строгое бимоделирсвание }

Из этого определения и теоремы 1 следует, что х является также строгим бимоделированием и что оно является отношением эквивалентности.

Для того, чтобы показать P х Q, необходимо определить отношение строгого бимоделирования R такого, что (P, Q)е R. Так как это усложняет рассмотрение всех производных P и Q и их возможных взаимодействий, то задача может оказаться нетривиальной. Определим более слабое отношение, чем отношение строгого бимоделирования х . Оно использует классы эквивалентности, индуцированные на производные множества каждой компоненты в отношении х.

ношению

R , если они соответствуют действиям и очевидным оценкам типов действий. Каждая а — производная принадлежит классу эквивалентности, в котором найдётся элемент, принадлежащий R с некоторым элементом класса эквивалентности. Этот класс содержит а — производную в производном множестве другой компоненты.

Определение 3. Отношение R является ограни-ченно строгим бимоделированием х, если существу-ет такое PRQ, что для любого а е A, выполнены следующие условия:

1) га(Р) = аШ для всех а е Act,

2) для любого P ———— P существует такое Q что Q —а—— Q и P х R х Q ;

3) для любого Q —-—— Q существует такое P , что P ——— Р , и P х R х Q.

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

Имеет место следующая лемма.

Лемма 1. Если R - ограниченно строгое бимоделирование х , то отношение х R х является строгим бимоделированием.

Доказательство. Пусть P х R х Q. Тогда

существуют такие производные Р1 е ds(P) и Qi е ds(Q), что P х P R Q1 х Q. Для действий P и Q имеют место диаграммы :

P х P1

а X X а

Р х Pi

Га{Р )= Га(Р1 ) ,

Pi RQi а X X а

Pi х R х Qi

Га(Р1 )= r«(Qi) ,

Qi х Q а X X а

Qi х Q ru(Q1 ) = ru(Q ).

Заметим, что х, как отно шение эквивалентности, является транзитивным, и поэтому из этих диаграмм получаем :

Тогда две компоненты удовлетворяют от-

P х R (X Q

a X X a

P x R x Q

^а (p) = а(0)

Теорема 2. Если R — ограниченно строгое бимоделирование X , то R сх .

Доказательство. По лемме 1 имеем, что

х R х есть строгое бимоделирование, тогда получаем, что х R хсх . Но так как IdC сх , то R сх R х. Следовательно, имеет место R сх.

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

§ 3. Свойства отношения строгого биподобия

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

3.1 Конгруентность строгого биподобия

Чтобы показать конгруентность строгого биподобия для системы PEPA, покажем, что отношение сохранено для каждого из комбинаторов языка. Например, это означает, что если P1 строго биго-мотетично относительно P2 , то можно заменить P1 в компоненте P]^><Q на P2 .

Теорема 3. (Сохранность комбинаторов)

Пусть P х P2 , тогда

1. a.P1 х a.P2;

2. P1 + Q х P2 + Q;

3. P1 ><Q x P2 ><Q;

4. P1 / L x P2 / L.

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

1. Единственно возможно действие a.P1 или

a P2 , где a = (а, r) для некоторого типа действия а и его оценки r. Таким образом, для всех в <е A имеет место :

ir если в = а [0 если вФа\

Кроме того, производные P1 и P2, сами себе бигомотетичны, P1 х P2. Следовательно,

/ ч |r если в = а\ / ч

?(a.P, ) = ^ ^ = rB(a.P2 )

?v 1 [0 если в Фа\ в 2/

а.Р, х a.P2.

2. Рассмотрим Р + Q и Р2 + Q . Для любого P и Q, и для каждого а е A, Га(Р + в) = rа(P) + а (в). Таким образом, из г„(Р )=аР) для каждого а е А, заключаем что Га(Р1 + в) = Га(Р2 + в) .

Предположим, что Р + в —— Р .

Случай 1. Пусть Р —а—— Р ; из Р, х Р2 следует, что для любого Р имеет место Р2 ——— Р и Р х Р . Тогда следует, что Р2 + в —— Р" и Р X Р .

Случай 2. Пусть в —-—— Р . Тогда в силу симметрии Р2 + в —— Р , и Р'X Р'.

3. Рассмотрим Р, >Ь < в и Р2 >Ь< в и определим отношение Я следующим образом

Я = {(й > Ь < в , в2 > Ь < в)1 й Х в2 } .

Заметим, что для любого Р и в, и для всех а е А,

[тш(Га(Р\ Га(в^ если ае Ь,

Га( >L< Q) =

0:^ + га (Q) , если а<£ L .

По определению

(Р1 > Ь < в , Р2 > Ь < в) е Я .

Кроме того, для всех а е А, выполняется

Г,М ) = а(Р), из этого следует, что

Га(Р1 > Ь < в) = Га(Р2 > Ь < ^ для всех

ае А .

Рассмотрим Р, >Ь < в —Я, где а = (а, г). Случай 1. Р —а—— Р и

Я = Р >Ь < в, а £ Ь.

Пусть Р х Р2 и Р2 задано так, что Р2 ———— Р2 и Р х Р2 . Итак, если Я = Р2 > Ь < в, Р2 > Ь < в —а—— Я и определено Я, то (я,Я )е Я.

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

Случай 2. в ———— в и

Я = Р > Ь < в , а £ Ь.

Этот случай подобен случаю ,

Случай 3. Пусть а е Ь и

Р ——) Р , в, ——) в,,

Тогда

г =

Га(Р )га(в)

Пусть

1п(Га(Р! ), Га (в) ).

Легко видеть что

тт

Р, х Р2

Р'

задано так, что

Р

Ом)

->Р2, и Р,'х Р2.

Итак, если Я' = Р2' > Ь < в ' и Р2 >Ь < в---Я , то, по определению,

(я, Я ) = (Р;> ь < в, р;>ь < в) е я

Тогда в силу симметрии следует, что Я есть строгое бимоделирование. Следовательно,

р > ь < в х Р2 > ь < в .

4. Покажем, что Р / Ь х Р2 / Ь . Для этого определим отношение Я следующим образом:

Я = {(й / Ь , в2 / Ь) \ й х в2 }.

Ранее было показано, что это отношение есть строгое бимоделирование.

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

Определение 4. Пусть Е и Г выражения,

содержащие переменные X. Если для любого множества индексов компонент Р имеет место Е р/X }х Г р/X } , то Е х Г,

Отсюда следует конгруентность х .

Теорема 4. (Сохранение при рекурсивном определении).

Пусть Е и Г содержат переменные X. ~йв/ ~йв/

Пусть далее А = Е{А /X} В = Г{ /X} и Е хГ Тогда А х В.

Доказательство. Для этого достаточно, чтобы было доказано для уравнений рекурсии Е и Г ,

йв/ йв/ что Е х Г, где А = Е{А / X} и В = Г{В / X} .

Строим отношение Я следующим образом:

Я = ({А / X}, С{В / X}) | С содержит переменное X}

и покажем, что Я есть ограниченно строгое бимоделирование х . По индукции делаем вывод, что для произвольного типа действия а, очевидная оценка действий а в С{А / X} и С{В / X } остается той же, то есть га(с{А / X }) = га(с{В / X }) Особо рассматриваются возможные формы С; случай С = X опущен.

Случай 1 (Базовый случай): Пусть

С = (в, г).в’. Тогда С{А /X}=(в,г).0’{А /X} и

Га(С{А /X}) =

г, если а = в 0, иначе.

г, если а = в

Га(сАВ / X }) = < о

[0, иначе.

Таким образом, из этого следует а(с{А / X })=ФА / X})

Случай 2: Пусть С = С, + С2. Применяя индукцию и определение га (.) получим :

га (С{А /X})= га (С, {А / X}) + га ( А / X})

= га (С, {В /X})+ га (С2 {В /X}) = га (С{В /X}) . Случай 3: Пусть С = С, ><С2. Тогда по определению

Г ( А / X })=! 1 X } + га((2 {А 1 X } если а£ Ь

а |тт (С А / X }га(С2 [а / X } если а е Ь.

Таким образом, по индукции, начиная с С, и С2 приходим к выводу, что

га(С{А / X }) = га(С{В / X }).

Случай 4: Пусть С = С / Ь . Если а е Ь, то га (с{А /X}) = 0 = га (С{В /X}). Иначе, по индукции га(с{А / X }) = га (С {А / X }) .

Случай 5: Пусть С = С , где С есть постоянная. Тогда по определению С ассоциирована с

йв/

некоторой компонентой С = Б. Из этого следует, что га(С{А/X})= а(Б) = га(С{В/X} . Так как а произвольно, то (С{А /X}, С{В /X})еЯ существует для всех

ае А, а(с{А / X })= га (С {/ X }.).

Покажем, что любому действию С{А / X} соответствует действие С{В/X}. Рассмотрим произвольное действие , а е Ас({А / X}), такое, что

С{А / X}——— Р . По индукции покажем, что для каждого действия а существуют в" и в

такие, что С{в/X}—— в и (Р,в’)еЯ.

Отдельно рассмотрены всевозможные формы

С.

Случай 1: Пусть С = аС . Тогда С{А / X } = а.С'{А / X } и Р = а.С {А / X }

По определению также следует, что С{в / X} = аС' {в / X }——— С {в / X}, где (С {А / X }, С {В / X }) е Я .

Случай 2: Пусть С = X . Тогда С{А /X} = А, и

А —Р. Из этого

следует,

что

Е{А /X}—-— Р .

По индукции предполагаем, что существуют такие в" и в', что Е{/X}——— в" х в и (Р, в') е Я. Если Е х Г, то существует такое

г

г

2

и

Q"", что F{ß/X}—Q""ж Q. Так

как

Так как (Pj, Q1)e R , то можем найти H1 та-

def

В = Г {в / X } и с{в / X }= В, то действие

С{В /X} соответствует действию Г {в / X }, и поэтому

С{В / X}——— в"" х в и (Р, в')е Я . Случай 3: Пусть С = С, + С2. Тогда

С{А / X }= С, {А / X }+ С2{А / X }

и действие с{а / X }———■ Р может быть предложено для любой компоненты. Отдельно рассматриваются случаи

С,{А / X}——— Р и С2{В /X— Р'. Случай 4: Пусть С = С, ><С2. Тогда

С{А/X}= С,{А/X} >< С2{А/X}.. Рассмотрим некоторое такое действие а(а,г) , что С{А / X}——— Р. Тогда возникает три различных ситуации:

!) когда а£ Ь, то это единичное действие из

С, {А / X };

2) когда а £ Ь, то это единичное действие из С2{А / X}; и

3) когда ае Ь, то это разделенное действие из С,{А/X} и С2{А/X}. Рассматриваем только третий случай, а другие два рассматриваются подобно ему.

Случай 4. 3). Пусть ае Ь:

С, {В / X} ——) — р', С2{А / X}———— р2,

р' = р>< р2.

, Ь 2

г=га(о,{^ / X}) т“(г“(1А / X— ) (С2 /А / X}))

Поскольку для переходов С, и С2 есть более простой вывод, то по индукции предполагаем, что существуют такие в, и в,, а также в2 и в2, что имеет место

Gjß / X}-

W'1,1

Q ж Q1, G2{ß/ X}

2

Кроме того, р',в,)е Я и р2,в2)е Я . Итак, полагая в = в, ><в2 и в = в, ><в2 получаем

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

С{В /X}——— в х в , где а = (а, гВ ).

Но так как

га (С, {А / X })= а (В / X }) га( {А / X }) = га( {В / X }),

г, г

гв - г„((А/X)/X!) х

X ти(А/X} г„(С2 {В/X}=г.

то

кое, что

i'- H1ß4 / X } и Q1 = H1{b / X }. Так

же

■*Q2 ж Q2

можем найти H 2 такое, что

р2 - H2 ß4 / X } и Q2 - H2 ß / X }. Следовательно, полагая H = H, ><H2, по-

1 L 2

лучаем (р , Q')= (h {A / X } H ß / X })е R

Случай 5: Пусть G = G / L . Отдельно считаем случаи для скрытых или нет переходов G . От переходов G переходим к G , для которых есть

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

Случай 6: Пусть G = C, где C - постоянная. Предположим, что C ассоциирован с некоторым

def

определением C = S.

Так как X не представлен в G, то G{A / X} и G{B /X} оба идентичны C .

Следовательно, у обоих будет та же самая а - производная Р , где

(р1, р')= (р{а / X } Р ’ {в / X }).

Таким образом, показано, что каждому действию G А / X} соответствует Gß / X}, и в силу симметричности аргумента отметим, что каждому действию G{B / X} так же соответствует

G А / X}. Из этого следует, что отношение

R = {(g{A/X},G{B/X}) |G содержит переменную х}

Ограниченно строгое бимоделирование ж .

Следовательно, если выберем G = X, из этого следует необходимость A ж B .

3.2 Изоморфизм и строгое биподобие

В [1,2] было представлено понятие изоморфизма компонент. Две компоненты изоморфны, если они генерируют дифференцированные диаграммы с одинаковой структурой. Такие компоненты отличаются только обозначением производных.

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

е.,

= с ж (1)

Лемма 2. Если F - изоморфизм компонент, то для любого Р, Р ж F (Р ).

Доказательство. Пусть F есть изоморфизм компонент. Известно, что это - инъективная функция с Act(P ) = Act(F (Р )), а для всех а е Act, где а - производные F(р) , является так же отображением F для а - производных Р. Таким

образом ясно, что Р и Р(Р) выполняют те же самые действия, с теми же кратностями. Все действия Р и Р (Р) соответствуют допустимым оценкам. Это следует по индукции из структуры Р и теоремы 3, что каждая а - производная Р строго бигомотетична к а - производной Рр) .

Теорема 5. Если Р и Q — изоморфизмы компонент, тогда Р ж Q.

Доказательство. Это непосредственно следует из леммы 2.

Из этого можем вывести, что в эквациональ-ных законах, установленных для изоморфных компонент в [1,2] можно вновь заменить " ="

Следствие 1. (Выбор)

1. Р + Q ж Q + Р

2. Р + ( + К)ж(Р + Q) + К Следствие 2. (Сокрытие)

1. (р + Q)/Ь ж Р /ь + Q /Ь

[(г, г).Р / Ь,

[ (а, г).Р / Ь ,

3. (Р/Ь)/К ж Р/(Ь п К)

4.Р / Ь ж Р , если Ь п А(Р) = 0 Следствие 3. (Кооперация)

2. (a, r).P)/L ж

a е L, ai L.

i. P><Q ж Q><P

L L

2. P ><Q><R) ж ^P ><Q]><R

3. ^P ><Q j/( u M)(Jp /K)><( /K)) /M, где K n M = K n L = 0.

4. P><Q ж P><Q, если K n (A(P)u A (Q ))= L

K L

Р>М>А еслиA(R)n L \ K = 0

5. ^P><q]><R ж-

L V K )

и A(P)n K \ L = 0 Q><TPkr'] еслиA(R)n L \K = 0 L K ) иA(Q)nM\ L = 0

Следствие 4. (Константа)

¿в/

Если А = Р , тогда А ж Р .

Следствие 5. (Закон о расширении)

Пусть Р = ^Р1 ><Р2^ /К при Ь, К с А. Тогда

Р ж£р», г ).(р; >< Р2)/ К |Р1 (аг> > Р/; а ^ Ь и К}

> P2; ai L и K

^Z{(a,r)(Pi ><P2 j/K|P2-^{fr, r ) P'>< P2 ) / K|Pr

-^{(г, r )) Pi >< P2j / K|P2-

(a, r ) Pi>< P2 ) / K|Pi |P2

->P

L

(a,r-

r =

[ 2 r, r,

1 ^ 1 -P2;ae L \ K

mÍn(ra(P1) ra (P2 ))}

■s

KPT ra(P2 )

T, r) р>< P2 ] / k\p1

|P2 (a,r2) >P2;aeLnK

>P;

2

г = гя(Р) гаР,Р2) т1п(Га(Р1) Га (Р2Е Отметим, что легко построить компоненты, которые строго бигомотетичны, но не изоморфны. Как указано в уравнении (1) отношение

def B0 = a. B1

A О 11 d II f а A def B1 = Г . B2

11 d и f ir A 0 def B2 = a. B3

def B3 = r. B0

Рис. 1: Пример показывающий, что A ж B, но не предполагающий A = B .

Например, просто проверить, что отношение

R = {(A0,B0),(A1,B1)(A ,B2)(A1,B3) (2)

есть строгое бимоделирование для компонент A и B, как показано на рис. 1. Здесь не может быть никакого изоморфизма между производными множествами A и B, так как они не имеют одинакового числа элементов. Таким образом, A ж B, но A Ф B.

§ 4. Строгое биподобие и компоненты системы

Отношение P ж Q описывает компоненты системы, смоделированной для компонент PEPA P и Q . Пусть SysP и SysQ обозначают систему

компонент, смоделированных для P и Q, а записывают это следующим образом P ж Q. Это следует из определения строгого бимоделирования, так как множество действий, мультимножество действий и оценки этих двух компонент равны A(P) = A(Q) Act(P) = Act(Q) q(p) = q(Q) (3) В терминах компонент систем SysP и Sysg

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

Кроме того, можем вывести из уравнений (3) , что вероятность (или относительная частота) у выполненного действия будет данного типа. Она такая же, как и у этих двух компонент SysP и

с , а не с

SysQ .

Строгое отношение бимоделирования между P и Q гарантирует, что то же самое отношение должно существовать между соответствием производных, т. е. если P —а^ P , то найдется такое Q , что Q ——^ Q и P х Q . Это означает, что любая последовательность действий, которая может быть выполнена для P, также будет выполнена и для Q .

Таким образом, если считаем компоненты принадлежащими системам SysP и SysQ , тогда

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

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

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

Например, рассмотрим простые компоненты на рис. 2. Для того чтобы проверить отношение r{p,Q) (p ,Q )} строгого бимоделирования, полагая а = (а,Га) и b = (в,rb),

и соответствия действий в парах:

р -—^ р'1 Г р -—^р'] Г р' —

б —{Q—L^Q,\ V —

Рассмотрим оценки перехода между производными Р и б соответственно:

д(Р, Р)= 2га д(Р, Р')= га д(Р', Р) = гь

б) = Га ?(2,б') = 2Га д(', б) = ГЬ .

def , P = a. P + a. P + a. P a. + a. + a. ef = d

def P = b. P b ef = d

Рис. 2 : Строго бигомотетичные компоненты с различными оценками перехода.

В терминах компонент систем SysP и Sysg

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

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

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

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

Таким образом, очевидно, что это определение строгого биподобия не гарантирует того, что компоненты при экспериментировании неразличимы. С другой стороны, если можно гарантировать, что этого не происходит, то отношение гарантирует то же самое поведение компонент. Метод упрощения модели изложен в общих чертах в [1,11-14] .

§ 5. Строгое биподобие и марковский процесс

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

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

Как показано в [1,9,10], два марковских процесса эквивалентны, если они имеют одно и то же число состояний и с теми же оценками перехода между состояниями. В отличие от этого изоморфные компоненты и строго бигомотетич-ные компоненты не всегда будут эквивалентны

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

Иногда полезно рассматривать более слабую форму эквивалентности между марковским процессом, а именно, эквивалентность укрупнения.

Определение 5. Два марковских процесса, X} и ^} , являются укрупненным эквивалентом, если найдутся укрупненное разделение {х-} и укрупненное разделение {Ту},

Т[/]} такие, что существует инъективная функция / , которая удовлетворяет условию

9 (х [к ],х [ ])= 9(т/ (к ]),т/ ( ])) ■

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

Если рассматривать строго бигомотетичные компоненты А и В , представленные на рис. 1, то можно видеть, что состояния, соответствующие В0 и В2, а также В1 и В2, могут быть объединены в сформированное укрупненное разделение основного пространства состояний. Кроме того, использование этого разделения и тривиального разделения А доказывает, что марковские процессы, лежащие в основе А и В , являются укрупненным эквивалентом.

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

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

Строгое биподобие есть отношение эквива-

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

¿с/ С0 = а.Сх + а.С2

М

= ЬС1 + ь.с3 + ь.с4

¿с/

Сг = ь.с2 + ь.с2 + ь.с4

¿с/

Сз = с.Со

¿с/

С4 = с.С0

Рис. 3: Пример индуцирования с помощью ж неукрупненного разделения.

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

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

Из этого следует, что возможно сформировать такое разделение, что элементы из того же класса имеют различные оценки перехода из других классов разделения. Например, рассмотрим компоненту С, представленную на рис. 3. Разделяя производное множество с помощью ж , получаем следующее разделение: С[0] = {С0},

С[1] = {С1, С2 }, С2 = {С3 , С4 }.

Пусть имеем неукрупненное разделение 9(С1,С[2])= #1,С3)+ 9С1,С4)= 2гь ,

9 (с 2, С[2])= 9 (С 2, Сз) + 9(2, С4 ) = Гь.

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

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

Рассмотрим, существует ли эквивалентность

между основными марковскими процессами и строгом биподобии, что соответствует передаче компонент в систему PEPA.

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

Например, рассмотрим такие Т1 и Т2, что

def def

Т1 = {task1, r) , Т2 = (ask2, r ).T2 .

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

Расширение марковского процесса, начиная с более чем с одного действия, не решает задачу представления в компоненте системы PEPA. Отмеченный для всех типов действий переход может быть представлен как единый переход в отмеченном марковском процессе. Отметим, что определение эквивалентного расширения марковского процесса и определение укрупненного эквивалента расширенного марковского процесса есть результат применения не строго бигомо-тетичных компонент. Пусть компоненты X и Y представлены на рис. 4. Здесь X и Y генерируют эквивалентные расширенные марковские процессы, но между ними нет никакого строгого бимоделирования.

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

§ 6. Упрощение модели с помощью строгого биподобия

Используем строгое биподобие для упрощения модели.

бия недостаточно, для того чтобы гарантировать то же самое поведение компонент в течение длительного времени. Укажем простое дополнительное условие, гарантирующее неизменность поведения компонент в задаче с оценками перехода. Подход к упрощению модели основан на строгом биподобии. Это условие описано в пункте 6.1 и проиллюстрировано в пункте 6.2.

В §4 было отмечено, что рассогласование оценки перехода в строго бигомотетичной компоненте может произойти только тогда, когда, по крайней мере, в одной из компонент для некоторого действия a , найдется более чем одна a -производная. И, кроме того, для каждой из производных найдется по крайней мере более чем одно a действие. Различные оценки перехода происходят только потому, что во многих случаях появляются компоненты с различными производными множествами.

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

Условие 1. Пусть P удовлетворяет условию, что если для всех P' е ds(P) и для всех a е Act(P'), то

1) найдется только одна a -производная P';

или

2) найдется только одно действие a, соответствующее a -производной P'.

Если две компоненты строго бигомотетичны и обе удовлетворяют условию 1, то оценки перехода для производных, которые тоже являются строго бигомотетичными, для этих двух

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

6.1 Метод упрощения модели

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

Nodej0 = (n,A).NodeJ1 +{walk_E. l).NodeJ0 для 1< j < N

def / ,

Nodei =\walk _ Fj IjNodej2

Nodej2 = (servej ,^j 'j.Nodej0 +(walk _ Ej l^Nodej2 ,

i Ц если j = 1 где ц. =<{

\mi если 1 < j <N

їт II о ^ И

def X =(y, ' def Y =(y,

Рис. 4: Компоненты, реализующие один и тот же марковский процесс.

Как показано в §4, одного строгого биподо-

Sj = (walk _ Fj, (o)ervej, ^)S;+1 + (walk _ E j, ®)S;+1 где j +1 = 1 когда j = Ж Когда N = 4:

Аут = (Node10||Node20||МэйЦ0||Node40) { >) ((IS'.)

walk_ Ej ,serve} }

def

SS {¿, j} = (wakl _ Fi,ю )■SS {¿+1, j} + (wakl _ Ег, ® )■SS {¿+1, j}

+ (wakl _ F, ®) SS{ j+1} + (wakl _ Ej, ®) SS{ j+1}

def / ч

SS{+1,j} = (servei, 4SS{+w} + \wakl _ Ej, ®) SS{+w+1} + (wakl _ Fj,®)[ SS{+u+1}

def

SS{i, j+1} = (wakl _ Ei,®)- SS{+1,j+1}

+ (wakl _ F, ®) SS{+1,j+1} + (serve;, 4SS{, j+1}

def / ч

SS{+1, j+1} = (ervei, 4SS{+1,j+1} + \servej , l)SS{+1,;+1j

где j +1 = 1 когда j = N и j +1 = 1 когда г = N ■ Когда N = 4:

' def, ч

Лут = (Node1o|| Node2o|| Node3o||Node 40 ) {^»Д X

walk _ E j , serve j }

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

x SS{ j} для 1 < j < 4

Рис. 5: Оригинальная и измененная PEPA модель асимметричной системы MSMQ с четырьмя узлами.

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

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

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

Таким образом, модель может быть построена простым способом с каждой из компонент модели, представленной явно [1,2]. Это могло бы привести к a - модели, имеющей большое пространство состояний.

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

6.2 Упрощение модели MSMQ, использующей

строгое биподобие

Проиллюстрируем подход, описанный в общих чертах в предыдущем разделе, используя одно исследование случая асимметричной системы MSMQ [1,2]. Упростив пространство состояний основного марковского процесса, найдем более простую строго бигомотетичную замену компонент, представляющих два обслуживающих устройства системы. Оригинальная и измененная PEPA модели системы представлены на рис. 5.

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

Sj = {walk _ Fj, ojiservej, ^)S;-+1 + {walk _ Ej, &>)Sj+1.

Эти два обслуживающих устройства в системе представлены как компоненты высокого уровня, являющиеся параллельной комбинацией двух таких компонент: S11| S1. Именно эти компоненты высокого уровня заменяем. Используем тот факт, что могут предпринять действия комбинации двух обслуживаю-щих устройств. Определено местонахождение этих двух обслуживающих устройств, но не известно местоположение каждого из них. Заменяем S¿ || Sj одной компонентой SS{ j} определенной следующим образом:

def , N

SS{i, j} = {walk _ Fi ,®)SS{! +1,j} +{walk _ Ej ,®)SSj!+i,;j +

(walk _ F, ® ).SS{ j+1} + (walk _ Ej, a> )SS{ j+1}

def , s

SS{+W} = (servei, 1)-SS{+1,j} + (walk _ EJ ,®)SS{+W+1}

+ (lk _ Fj ,®)SS{+u+1}

def

SS{, j+1} = (alk _ Er ,®)-SS{+u+1}

+ (walk _ Fi, Ю )SS{+1, j+1} + (rvej , ±)SS{, j+1} def , ч

SS{+1,j +1} = (servei, 1)SS{+1,j +1} +(ervej , ^)SS{+1,j +1}

Компонента SS{ j} кажется на первый

взгляд более сложной, чем S,.|| Sj , но, тем не менее, она генерирует меньшее производное множество.

Например, в случае N = 4, производное множество S11| S1 состоит из 64 элементов, из

которых 56 элементов принадлежат производному множеству A . Представлены не все производные, например, (serve 1, 4s 2 | (serve 1, ±]S2 . Вопреки определению узла, такое производное

множество Asym должно иметь больше чем один

элемент в узле 1.

Отметим, что содержит только 36 эле-

ментов, 32 из которых принадлежат производному множеству Л5ут .

Рассмотрим отношение Я,

Я = |( ) )5!', ) жм)’

{((е,, ±)+.Ц (., ±)+1 ) )+1,)+1}

(е,, (+,¡5, ) XVI') 1

((||(е(,()15'-+, )5%)+,} 1 < ),) < N{ ’

легко проверить, что оно есть строгое бимоделирование. Кроме того, легко видеть, что ¿1151 и 55{11} удовлетворяют условию 1.

Г'ПЖ

г“

/

г»

г /

— X

Время ожидания, 1/и

о,™ 1.1276 1.6915 2.2553 2,8191 3,3829 3,946!

Рис.6. Зависимость прироста измененной и оригинальной асимметричной модели MSMQ от времени ожидания обслуживания в узле N

Таким образом, в модели асимметричной системы MSMQ заменяем (s^| S1) компонентой высокого уровня SS{11}, для того чтобы сформировать измененную модель Asym ■ Из теоремы 3 следует, что Asym «ASym ■

AJ= (n,|HInn s {wa><F, fellSS

walk _ E j , serve j }

A,m=(N1 |HI NN S {,„>^ , KJ

walk _ E j , serve j }

В [2] указано, что марковский процесс для модели Asym с четырьмя узлами имеет 560 элементов в пространстве состояний. Измененная

модель Asут при N = 4 имеет 312 элементов.

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

На рис. 6 представлена зависимость

прироста измененной и оригинальной асим-

метричной модели MSMQ от времени ожидания обслуживания в узле N.

Математическая модель прироста измененной и оригинальной асимметричной модели MSMQ от времени ожидания обслуживания в узле N будет иметь следующий вид: при N=1 Ж = -8.875 *10-5г2 + 0.000855? + 0.1856 ; при N=2 Ж = -0.00095г2 + 0.02315г + 0.1642; при N=3 Ж = -0.00095?2 + 0.0234г + 0.1639; при N=4 Ж = -0.001г2 + 0.024г + 0.1635.

На рис.7 представлена зависимость прироста измененной и оригинальной асимметричной модели MSMQ как от времени ожидания обслуживания в узле N так и от номера узла N. Математическая модель прироста измененной и оригинальной асимметричной модели MSMQ как от времени ожидания обслуживания в узле N так и от номера узла N будет иметь следующий вид:

Ж = -(0.000149N3 - 0.001326N2 + 0l00379N - 0.002527)?2 + (0.003712N3 - 0.03329N2 + 0.09618N - 0.06574)г

- 0.003567N3 + 0.03199N2 - 0.09243N + 0.2496.

Заключение

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

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

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

Рис. 7. Зависимость прироста измененной и оригинальной асимметричной модели MSMQ от времени ожидания обслуживания и от номера узла N

Автоматический подход к формированию PEPA-модели надёжности основан на применении строгого биподобия и строгого бимоделирования для смоделированных компонент системы.

Установлено, строгое бимоделирование является следствием отмеченного мультиперехода системы PEPA.

Так как строгое биподобие есть отношение соответствия для систем PEPA, то оно наиболее полно удовлетворяет условиям отношения строгого бимоделирования.

Использование строгого биподобия и строгого бимоделирования применено для упрощения пространства состояний одной из моделей.

СПИСОК ЛИТЕРАТУРЫ

1. Aldinucci M, Danelutto M. Algorithmic Skeletons Meeting Grids. // Parallel Computing, 32(7-8). 2006. p. 449-462.

2. Hillston J. A Compositional Approach to Performance Modelling. Cambridge University Press, 1996.

3. Сорокин А. С. Применение полумарковских процессов к определению характеристик надежности технологических схем. // Вестн. Кузбасского гос. тех. унив., 2005. № 1. С. 3 -9.

4. Сорокин А.С. Структурное моделирование надежности технологических систем с использованием скелетонов// Вестн. Кузбасского гос. тех. унив., 2008. № 4(68). С. 31-45.

5. Сорокин А. С. Математическое моделирование оценки надежности технологических систем// Вестн. Кузбасского гос. тех. унив., 2008. № 5(69). Кемерово, С. 28-37.

6. Сорокин А.С. Применение методов теории вероятностей к исследованию некоторых процессов производства. // Труды 4-ой междунар. Конф. Кибернетика и технологии XXI века. Воронеж, 2003. С. 312-323.

7. Сорокин А. С. Марковские процессы в теории надежности технологических систем гидродобычи угля // Вестн. Кузбасского гос. тех. унив., 2008. № 1. С. 61-69.

8. Коэн Дж., Боксма О. Граничные задачи в теории массового обслуживания. М.: МИР, 1987.

9. Королюк B.C., Томусяк А.А. Описание функционирования резервированных систем посредством полумарковских процессов // Кибернетика, вып.5, 1965.

10. Баруча-Рид А.Т. Элементы теории марковских процессов и их применение. Наука, М., 1969. 511С.

11. Сорокин А.С. Алгоритм решения систем уравнений Колмогорова (Оценка качества систе-мы).//Вторая Всероссийская научная конф. Проектирование инженерных и научных приложений в среде MATLAB. М., 2004. С. 389 - 397.

12. Черчлин У., Акоф Л. Введение в исследование операций. М.: Блукова Думка, 1968.

13. Adian S.I. Defining Relations and Algorithmic Problems for Groups and Semigroups//Proc.Steklov Inst. Math.1996.V.85.

14. Адян С.И. Оценка сложности вывода в одной системе подстановок // ДРАН , 2009. Т. 428, №3, С.295-299.

□ Автор статьи:

Сорокин Андрей Семенович

- канд. физ.-мат.наук, доцент, ст.н.с.

(филиал КузГТУ , г. Новокузнецк) тел.: 8(3843) 772459

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