Если для всех моментов времени ts T значения <...q*] Так как: Q vQ H Q x\Q i) J (Qz\Qi) и & . То склейки кортежей могут быть представлены в виде: >.ч* •. . q S[ ... q *2 № г Qi QiQy Т • a h. . . Ц Q[\Q} Qi Поскольку по условию теоремы < ...q 4q*2 ...>, то отсюда Qi Яз следует, что 5 Л=5 Л. Таким образом, склейка кортежей функциональна, а процессы Zj и Z2 согласованы. Теорема 3, Если Z, = Hps Z и %г = ^ P s ^ ' то процессы Z/ и Z2 согласованы. Обозначим Q}-Q)<^Q2Поскольху по определению операции проецирования значение любого параметра при проецировании не связано с его принадлежностью к объекту, то значения < ...q ...> инвариантны по Й отношению к объекту. В таком случае выполняются условия теоремы 2. Значит, процессы Z\ и Zi согласованы. Теорема 4. Пусть заданы процесс Zu определенный на интервале [/]/,/* , и Z2 , определенный на интервале Если п то пРоцессы Zj и Z; согласованы. Действительно, для любого t определен лишь один процесс. Полагая, что значения параметров у неопределенного для этого момента времени |
Поскольку по условию теоремы <... 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} |