Проверяемый текст

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

[стр. 50] • формируем множество F\ из элементов / экв по всем классам эквивалентности на F*\ , мощность F\ равна количеству классов эквивалентности на F*\. • проецируя F\ на Т, получим множество Т\. Очевидно, что T\CzT, сужение отношения анаГ [ обозначим aj. В результате выполнения вышеуказанных операций получим процесс Z,: Zy=. (2.4) Пользуясь операцией проецирования, можно переопределить понятие подпроцесса: Z[<Л] = nP\h.<2]z • (2-5) Пусть заданы процессы Z\= и Z2=. Процесс Z= является объединением процессов Z\ и Z2 (обозначение Z—Zi^j Z2), если: • Sq является склейкой пространств Sq и Sq Т= Т\и Т2 1 для каждого teT строится: fi=, где .vt —склейка кортежей s t (s\ Sq. ) И i 2, (^ , 2 1 2 Sq ) , кортежи j t и j t принадлежат соответственно графикам Fi и F2 для значения t • все склейки кортежей 5Д и 52t для всех teT являются функциональными • совокупностьдля всех teT формирует график F • отношение а строится как транзитивное замыкание на aiua,2. Процессы Z\ и Z2 , допускающие операцию объединения, называются согласованными.

[стр. 66] • формируем множество F\ из элементов />кв по всем классам эквивалентности на Р \ , мощность F\ равна количеству классов эквивалентности на F'\. • проецируя F\ на Т, получим множество Т\. Очевидно, что Т\С.Т, сужение отношения а на Т\ обозначим а. В результате выполнения вышеуказанных операций получим процесс >Т\, F\, oci>. (2.4) Пользуясь операцией проецирования, можно переопределить понятие подпроцесса: Z M 1 = n P M Z ■ (2-5) Пусть заданы процессы Z\= и Z 2= < S q2, Т2, F 2, а 2>. Процесс Z = < S q ,T ,F , а > является объединением процессов Z\ и Z 2 (обозначение Z = Z\UZ2), если: • Sq является склейкой пространств SQi и Sq2 • T = T ,kjT2 • для каждого t e T строится: f(=, где s{ склейка кортежей s\ (s \ e S & ) и t (s \ e S Q2) , кортежи s 't и s2, принадлежат соответственно графикам F) и F2 для значения t • все склейки кортежей s't и j 2t для всех t e T являются функциональными • совокупностьf для всех te T формирует график F • отношение а строится как транзитивное замыкание на a iU a 2. Процессы Z\ и Z 2 , допускающие операцию объединения, называются согласованными.

[Back]