Если QjD Q2=0, то любые два процесса Zi с пространством состояний SQ{ и Z2 с пространством состояний Sq согласованы. Для того, чтобы процессы Z\ и Z2 были согласованы, необходимо выполнение условия функциональности склеек всех кортежей из Si и S2 Утверждение 2 Пусть задан процесс Z\ с пространством состояний SQ и Z2 с пространством состояний Sq . Пусть в некоторой момент времени / а 0 2 случае будем полагать, что Q\C\Qf^d. Обозначим Q ^Q x^Q i Если для всех моментов времени teT значения • • * >=< ... qs2 0з Яз то процессы Zj и Z2 —согласованы. Утверждение 3 Если Z, = Пр5 Z и Z2 = Пр8 Z , то процессы Z/ и Z2 согласованы. Обозначим Qy^Q^QiПоскольку по определению операции проецирования значение любого параметра при проецировании не связано с его принадлежностью к объекту, то значения <...q ...> инвариантны по 0з отношению к объекту. Значит, процессы Z\ и Z2 согласованы. Утверждение 4 Пусть заданы процесс Z\, определенный на интервале \txH,txK\, и Z2, определенный на интервале [^/}/^]. Если [///, /*-]/И \^н>^к\=0> то процессы Z/ и Z2согласованы.Л Действительно, для любого t определен лишь один процесс. Полагая, что значения параметров у неопределенного для этого момента времени |
Утверждение 1 Если Q /П Q2 0 , то любые два процесса Z/ с пространством состояний S& и Z 2 с пространством состояний Sq2 согласованы. Для того, чтобы процессы Z\ и Z i были согласованы, необходимо выполнение условия функциональности склеек всех кортежей из sj и s2. Утверждение 2 Пусть задан процесс Z\ с пространством состояний SA и Z2 с пространством состояний Sq^. Пусть в некоторой момент времени t состояние Z/ равно Si €«5^, а состояние Z 2 равно s2& SQzВ общем случае будем полагать, что Q in Q ? *® . Обозначим Если для всех моментов времени t e T значения <... q s' q Sl ...>, Qy Qi mo npoifeccbi Z ; и Z2 -согласованы. Утверждение 3 Если Z, = HpsQlZ и Z 2 = YIps Z , то процессы Z/ и Z 2согласованы. Обозначим Qz~Qi<~^QiПоскольку по определению операции проецирования значение лю бого параметра при проецировании не связано с его принадлежностью к объекту, то значения < ...q ...> инвариантны по а отношению к объекту. Значит, процессы Z\ и Z2 согласованы. Утверждение 4 Пусть заданы процесс Z\, определенный на интервале [/]/,/}<■], и Z2, определенный на интервале Если \xH, t xK ] / 0 , t\ \= 0 , то процессы Z t и Z 2 согласованы. Действительно, для лю бого t определен лиш ь один процесс. Полагая, что значения параметров у неопределенного для этого момента времени |