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

Включение параметра ш позволяет задавать оператор от случайных значений аргументов, а также случайные операторы.
Необходимо обратить внимание на то, что» если пространство состояния объекта определяется на параметрах O
fiQ , то множество аргументов является самостоятельным подмножеством Q:A°l с £ 5 .
Анализ соотношений между Ои А 0’ и Q позволяют произвести следующую классификацию; если А°! с 0 {, то в объекте О/ развивается локальный процесс; если А°! с 0 , то процесс в О/ частично зависимый; если А°! = Q , то процесс в Oi полнозависимый, В ходе развития процесса множество аргументов А 0' меняется и в общем случае зависит от времени.
Обозначим эту зависимость как
А .
Рассмотрим два объекта Oi и От в системе Q.
Пусть О1Г\От = 0 , а процессы в них заданы следующими операторами; Если Omf ) A ^ = 0 и Oi f]A^” = 0 t то таки е п р оц ессы и объекты назы ваю тся песцепленными в м ом ент времени tv Если 0{ П А^т * 0 * то объект От сцеплен с объектом 0\ в момент времени t\.
То же относится и к их процессам.
Это означает, что для определения состояния объекта От в момент времени
tit необходимо знание состояния объекта Oi в это же время.
Обозначим отношение сцепления как
0 ^>0 Ш.
Если О т пА ® 1 Ф 0 , то объект О/ сцеплен с объектом 0 Л в i момент времени 4 : Если одновременно ОтГ\А® # 0 и Oi Г\А°т* 0 , то объекты От и 0\ езашно-сцеплены в момент времени i\.
0 т+±0[.
При операторном способе описания процессов всегда нежелательна
[стр. 55]

S0 — П<у(ч,) ■ Будем предполагать, что си стем а всегда и м еет полное разбиение на объекты .
Таким образом : U Ot Q .
Р азби ен и е является V/ непересекающимся, если От П О, = 0 .
В п роти вном случае разбиение произведено н а пересекающиеся объекты .
Если зад ан проц есс Zq в систем е, то проц есс в объекте ()t м о ж ет быть определен, как: П усть и м еем об ъект Ot в си стем е О.
Т огд а ген ер ац и я п роц есса Z0t где: t.
е Т0 /; А м н ож ество аргум ентов: Ас^О; сослучайн ое число.
В клю чение п арам етра со позволяет задавать оператор от случайны х значений аргум ен тов, а такж е случайны е операторы .
Н еобходи м о обрати ть вним ание на то, что, если п ространство состояни я объекта оп ределяется на парам етрах OicQ,
то м н ож ество аргум ентов является сам остоятельн ы м подм нож еством 0:А°' с Q .
А н али з соотнош ений между 0[, А0' и О п озволяю т произвести следую щ ую класси ф икацию : если Л19' с О / , то в объекте О/ развивается локсиъный процесс; если A0' d Q , то процесс в Oi частично зависимый; если А°! = Q , то проц есс в О/ полнозависимый.
?-ох —П р20 • ~ (2.3) К ак след ует из теорем ы 2: \JZ0 =Z0 о, 1 может бы ть вы п о лн ен а путем задан ия оператора Н°‘ [23]: (2.4)

[стр.,56]

56 В ходе развития проц есса м нож ество аргум ен тов А0' м еняется и в Рассм отрим д ва объекта 0\ и ()т в си стем е О.
П усть 0/Г)0т= 0 , а процессы в ни х задан ы следую щ им и операторам и: Е сли ОтП А?1= 0 и О, П А°т0 , то такие п роц ессы и объекты называю тся несцепленными в м ом ент врем ен и f,.
времени t\.
То ж е относи тся и к их проц ессам .
Э то означает, что для определения состояни я объекта От в м о м ен т врем ен и
н ео бх о д и м о знание состояния о б ъ екта Ot в это ж е врем я.
О бозн ачим отн ош ени е сц еп лен и я как
объекты От и 0[ взаимно-сцеплены в м ом ен т врем ен и 0 т+±0\.
П ри операторном сп особе оп и сан и я проц ессов всегда н еж ел ател ьн а
м одель, приводящ ая к появлению взаи м но сц еп лен н ы х объектов, поскольку возникаю щ ую в этом случае неопределен ность при ходи тся раскры вать путем решения в общ ем случае систем нели ней ны х уравн ени й, что м о ж ет привести к непреодолим ы м трудностям .
В дальнейшем будем стремиться создавать модели, не приводящие к взаимному сцеплению объектов.
Н е след ует см еш и вать отнош ение сцепления и зави сим ости .
Т ак, если 0ха~>0[ и 0\—»Ок, то вовсе не обязательн о, чтобы От—>()^.
Т аки м образом , отнош ение сц еп лен ия не является транзитивны м .
Е сли к отнош ени ю сцепления добавить полн ое тран зи ти вн ое зам ы кание, то получим отн ош ен и е зависим ости.
Т.е.
если О) зави си т о т О т , а О^ зависит общем случае зави си т от врем ени.
О бозначим эту зави сим ость как
Д(° ' .
(2.5) Если О /П А ^ ; * 0 , то объект От сцеплен с об ъектом О/ в м ом ент 0[->0т.
Е сли ОтГ\А°1 0 , то объект Oi сцеплен с объектом От в м ом ент времени (х: Om~>Oi.
Е сли одн оврем енно От П А °‘ * 0 и О, Г) А?т* 0 , то

[Back]