Проверяемый текст
Соколова, Лина Викторовна; Автоматизированная система обработки информации и управления предприятием по сервисному обслуживанию дорожно-строительной техники (Диссертация 2005)
[стр. 51]

Если 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 ...> инвариантны поотношению к объекту.
Значит, процессы Z\ и Z2 согласованы.
Утверждение 4 Пусть заданы процесс Z\, определенный на интервале
\txH,txK\, и Z2, определенный на интервале [^/}/^].
Если [///, /*-]/И \^н>^к\=0> то процессы Z/ и Z2согласованы.Л Действительно, для любого t определен лишь один процесс.
Полагая, что значения параметров у неопределенного для этого момента времени
[стр. 67]

Утверждение 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 определен лиш ь один процесс.
Полагая, что значения параметров у неопределенного для этого момента времени

[Back]