-
Пройти Антиплагиат ©



Главная » Теория вычислительных процессов » 3. Понятие асинхронного процесса, его траектория. Максимальная траектория.



Понятие асинхронного процесса, его траектория. Максимальная траектория.

Creative Commons «Attribution» («Атрибуция») 4.0 Всемирная. Уникализировать текст 



Понятие асинхронного процесса описывает поведение системы следующего вида. Есть множество ситуаций и за один такт система может перейти к новой ситуации. При этом есть два выделенных множества ситуаций:
начальные (инициаторы): предшествовать инициатору может только инициатор;
конечные (результанты): следовать за результантом может только результант.
Формально АП - четверка ,
где S ={si}, i=
1,n̅
- непустое множество ситуаций;
F - бинарное отношение непосредственного следования, определенное на множестве S×S (F∈S×S);
I - множество инициаторов (I∈S), т.е. таких ситуаций из S, что из sk∈I, skFsp следует, что spI. 
Далее будем обозначать i1, i2, … .
R - множество результантов (R∈S), то есть таких ситуаций из S, что из siFsj, si∈R следует, что sj∈R (I∩R=∅).
Далее будем обозначать r1, r2, … .
Как правило, I≠∅и R ≠∅. Если I=R=∅, то АП называется автономным.
Их выбор также делается на основе семантики процесса.
Отношение F можно изобразить орграфом, вершины которого соответствуют ситуациям асинхронного процесса. Дуга исходит из si и входит в sk, тогда и только тогда, когда sjFsk.
Поведение системы описывается последовательностью ситуаций системы (s1, s2, …, sk) такой, что siFsi+1 (i=1,k). Такая последовательность называется траекторией.
Любую подпоследовательность траектории, не совпадающую с самой траекторией, будем называть отрезком траектории.
Траектории, которые не являются отрезками никаких других траекторий, называются максимальными.

Отношение F. Отношение М.


Ситуации si и sj находятся в отношении M, если существует траектория, в которую входят si и sj, причем si предшествует sj (длина траектории - любая); отношение sjMsk означает возможность перехода из sj в sk.
Это отношение транзитивное, поскольку если siMsj и sjMsk, то siMsk.
В АП возможны случаи sjMsk и sjMsl, k не равно l.
Заметим, что если для некоторого sj существует единственная ситуация, для которой sjMsk, то обязательно sjFsk.
Отношение непосредственного следования F не восстанавливается однозначно по отношению M.
Отношение М можно выразить через степени отношения F:
Запись sjFnsk означает наличие (n-1) промежуточных ситуаций si1, si2,..., sin
таких, что sjFsi1, si1Fsi2,…,sin-1Fsk. В этом случае в графе существует траектория, содержащая n+1 вершину и n дуг и ведущая из sj в sk.
Если ситуации si и sk некоторого АП связаны отношением siMsk (siFnsk при некотором n), то фрагмент процесса, содержащий все траектории, ведущие из si в sk, назовем переходом si – sk.



Лекция, реферат. Понятие асинхронного процесса, его траектория. Максимальная траектория. - понятие и виды. Классификация, сущность и особенности. 2021.

Оглавление книги открыть закрыть




« назад Оглавление вперед »
2. Дискретное время. Дискретная информация. « | » 4. Отношение эквивалентности. Классы эквивалентности. Свойства классов эквивалентности.






 

Похожие работы:

Воспользоваться поиском

 

Учебники по данной дисциплине

Шпоры по математике
Общая статистика. Конспект лекций
Статистика коммерческой деятельности