|
процесса могут быть произвольными, всегда можно сделать равными левую и правую склейки. 2.1.2. Система, объекты, задание процесса Как уже было отмечено выше, система определена, как множество Q некоторых параметров (i=l..n). Если c fo ) -множество значений, принимаемых параметром q\.t то пространство состояний системы Sq определяется как S0 = X[c(qf). " 4,*Q Будем рассматривать объект, как составную часть системы; объект 0](z0. Пространство состояний S „ объекта О, определяется аналогично, °! как S0l = П °(?/Л Будем предполагать, что система всегда имеет полное разбиение на объекты. Таким образом; \JO{ =Q. Разбиение является непересекающимся, если От П 0 { = 0 . В противном случае разбиение произведено на пересекающиеся объекты. Если задан процесс Zq в системе, то процесс в объекте 0\ может быть определен, как: Z0, ~ I J p Z Q. (2.3) *Ol Как следует из теоремы 2; \JZ0 Z 0 . Oi Пусть имеем объект О/ в системе Q. Тогда генерация процесса Z0l может быть выполнена путем задания оператора И °‘ ; А множество аргументов: AcQ; сослучайное число. |
Поскольку по условию теоремы <... q s' q sто отсюда О г й следует, что лл=л-п. Таким образом, склейка кортежей функциональна, а процессы Z\ и Zi согласованы. Теорема 3. Если Zj = Пр3д Z и Z2 = Hps Z , то процессы Z/ и Z2 согласованы. Обозначим Оу^ОхглОг. Поскольку по определению операции проецирования значение любого параметра при проецировании не связано с его принадлежностью к объекту, то значения <...q ...> инвариантны по ft отношению к объекту. В таком случае выполняются условия теоремы 2. Значит, процессы 2\ и Z2согласованы. Теорема 4. Пусть заданы процесс 2\, определенный на интервале , и Z2 , определенный на интервале . Если \ хя , п \tjj, rj =0, то процессы Z; и Z2согласованы. Действительно, для любого t определен лишь один процесс. Полагая, что значения параметров у неопределенного для этого момента времени процесса могут быть произвольными, всегда можно сделать равными левую и правую склейки. 2.1.2. Система, объекты, задание процесса Как уже было отмечено выше, система определена, как множество О некоторых параметров q\ (i=l..n). Если c(q,) -множество значений, принимаемых параметромто пространство состояний системы Sq определяется как S0 = П а(Я,) ■ я,е<2 Будем рассматривать объект, как составную часть системы: объект 0} 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) |