Проверяемый текст

Черненький, Валерий Михайлович; Процессно-ориентированная концепция системного моделирования АСУ (Диссертация 2000)

[стр. 80] • каждую точку графика F проецируем на пространство Sq . В результате получаем множество F \. Мощность множества F \ равна мощности множества F ; • упорядочим множество F ) в соответствие с а; • вводим отношение эквивалентности на множестве F \ такое, что две рядом расположенные точки / и / + 1 множества F '\ / г , *^]1+1> считаются эквивалентными, если ^ я /41; • каждому классу эквивалентности К$ на F t ставим в соответствие о д н у т о ч к у / э к в = « n u n , s W B > г д е t m b l = m i n { ( } , s ^ = s i ~ . . . д л я в с е г о Vf,eA* класса К$ • формируем множество F\ из элементов / 9П по всем классам эквивалентности на F , мощность F\ равна количеству классов эквивалентности на F \. • проецируя Fi на Г, получим множество Т\. Очевидно, что Т)СТ, сужение отношения а на Т\ обозначим ct. В результате выполнения вышеуказанных операций получим процесс Z)’. Z\ss. Пользуясь операцией проецирования, можно переопределить понятие подпроцесса: Операция объединения Пусть заданы процессы Z\= и Z2=. Процесс Z=F, a> является объединением процессов Zj и Zi (обозначение Z= Z 1UZ2), если: • Sq является склейкой пространств S^ и Sq

[стр. 51] П ри этом необходи м о учиты вать, что 0\<0. П р о е к ц и е й /н а '/'яв л яется /. П ространство Sq н азы вается склейкой п ространств Sq и Sq, , если Q=0)^j Q2Д оп усти м о непустое пересечени е 0\ и 0 2. П усть ко р теж S[ п ри н адлеж и т пространству Sq , кор теж s2 при н адлеж и т пространству Sq, .О бозначим значения п арам етра q из к о р теж а s\ как q*', а значение п ар ам етр а q из кортеж а s2 как q 52. Т огд а Si=<...qs' ...>, s2=<... q 5' ...>. QI Qz К ор теж s являете я левой склейкой кортеж ей и s2, когда: Sn= < ...qs' ...q 1'...>. a q\q, С оответствен н о правая склейка оп ределяется как: sn= < ...qs' ...q h ...>. q \q 2 q 2 Если 5Л=5П, то склей ка назы вается функциональной. Операция проецирования П роцесс Z] является проекцией проц есса Z н а координ атное пространство S0] (об озн ачен и е Z = flps^ Z ), если Q\qQ и п роц есс построен по следую щ ей процедуре: • каж дую точку граф и ка F проецируем н а п ростран ство 5 ^ . В результате получаем м нож ество F \. М ощ н ость м н о ж ества P i равна м ощ ности м н ож ества F ; • уп орядочи м м н ож ество F \ в соответствие с а; • вводим отнош ен и е эквивалентности на м нож естве F \ тако е, что две рядом р асп олож ен н ы е точки / и / + 1 м н ож ества /м f\~ , /+1= < ^+, 5],+1> считаю тся эквивалентны м и, если s\~ .?i'+l ; [стр.,52] • каждому классу эквивалентности Кэ на F \ ставим в соответствие одну точку /,кв= где tmin = min {г , sya=s{ для всего VI, е А 'э класса Кэ • формируем множество F\ из элементов по всем классам эквивалентности на f i , мощность F) равна количеству классов эквивалентности на Р \. • проецируя F[ на Т, получим множество Т\. Очевидно, что Г]с Г, сужение отношения а на Т\ обозначим а (. В результате выполнения вышеуказанных операций получим процесс Z\\ Z\=. Пользуясь операцией проецирования, можно переопределить понятие подпроцесса: Операция объединения Пусть заданы процессы Zi- и Zi=. Процесс Z=,F , a> является объединением процессов Z\ и Zi (обозначение Z= Z1UZ2 ), если: • Sq является склейкой пространств Sq и Sq2 • Т= TiuT2 • для каждого (еТ строится: st>, где st склейка кортежей s't (5\€iSg ) и (.s^e S0^) , кортежи .?lt и s1l принадлежат соответственно графикам F и F2 для значения t • все склейки кортежей ^ и .у2, для всех teT являются функциональными • совокупность/, для всех teT формирует график F • отношение а строится как транзитивное замыкание на а ^ а з . 52

[Back]