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

Ф=7х5, фазовое пространство процесса Z.
F < z0,feF ,qeQ , q e c (q ) значение параметра q.
Кортеж < xl.;x i...xn >, где xf значения элементов множества X , будем обозначать как х В этих обозначениях:/= < /,< ...
>>.
Проекция/ на пространство Sq является: ДР&)/ а=^ < « • ? • • • » При этом необходимо учитывать, что 6 i<6 Проекцией/ на Т является л Пространство 5q называется склейкой пространств 5 ^ и 5 ^ , если 0 я Q1^ 2 2-Допустимо непустое пересечение Q\ и Qi.
Пусть кортеж s\ принадлежит пространству , кортеж si принадлежит пространству Sq .
Обозначим значения параметра q
аз кортежа s\ как q s' , а значение параметра q из кортежа 5 2 q Sl.
Тогда S\=<,,.q*1...>, Si=<...qSl ...>.
Q\ Qi Кортеж s является левой склейкой кортежей s\ и Sj, когда: f t 0 Ci Соответственно правая склейка определяется как: q s' ...q Sl ...>.
Q'Qi Qi Если то склейка называется функциональной.
Операция проецирования Процесс Z\ является проекцией процесса Z на координатное пространство
SQ[ (обозначение Z x = TJps Z )t если 0 С 0 и процесс построен но следующей процедуре: 79
[стр. 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 ;

[Back]