Если для всех моментов времени teT значения < ...qSl Ч •4«^ j С?з бз то процессы Z) и Z2 —согласованы. Если Z, = Пр3о Z и Z2 = IJpS(^ Z , то процессы Zj и Z2согласованы. Обозначим Поскольку по определению операции проецирования значение любого параметра при проецировании не связано с его принадлежностью к объекту, то значения <... g ...> инвариантны по Оз отношению к объекту. Значит, процессы Z\ и Z2согласованы. Как уже было отмечено выше, система определена, как множество Q некоторых параметров qK (i=l..n). Если o(qi) множество значений, принимаемых параметром q\., то пространство состояний системы Sq определяется как Sq — Будем рассматривать объект, как составную часть системы: объект 0\dQ. Пространство состояний s объекта О/ определяется аналогично, как °1 S0 = П ^(4i) ■ Будем предполагать, что система всегда имеет полное 1 9,60, разбиение на объекты. Таким образом: \JOt =Q. Разбиение является V/ непересекающимся, если От П О/ = 0 . В противном случае разбиение т*1 произведено на пересекающиеся объекты. Если задан процесс Zq в системе, то процесс в объекте О/ может быть определен, как: Пусть имеем объект О/ в системе Q. Тогда генерация процесса Z0 может быть выполнена путем задания оператора Н °1: |
процесса могут быть произвольными, всегда можно сделать равными левую и правую склейки. 2.1.2. Система, объекты и механизмы задания случайного процесса Как уже было отмечено выше, система определена, как множество Q некоторых параметров q-, (i=l..n ). Если o(q {) множество значений, принимаемых параметром q-,., то пространство состояний системы Sq определяется как S0 = Будем рассматривать объект, как составную часть системы: объект 0 ]С 0. Пространство состояний 5 объекта Oi определяется аналогично, как °! So , = \\o(qi) . Будем предполагать, что система всегда имеет полное разбиение на объекты. Таким образом: U 0 , = Q . Разбиение является V / непересекающгшся, если От П О, = 0 . В противном случае разбиение т*1 произведено на пересекающиеся объекты. Если задан процесс Zq в системе, то процесс в объекте О/ может быть определен, как: Z o , = I J p Z Q. SOi Пусть имеем объект О/ в системе Q. Тогда генерация процесса Z 0i может быть выполнена путем задания оператора № ': °1 = (2.7) где: t. е Т 0 :\А множество аргументов: Ас:О; сослучайное число. Включение параметра со позволяет задавать оператор от случайных значений аргументов, а также случайные операторы. |