АвтоАвтоматизацияАрхитектураАстрономияАудитБиологияБухгалтерияВоенное делоГенетикаГеографияГеологияГосударствоДомДругоеЖурналистика и СМИИзобретательствоИностранные языкиИнформатикаИскусствоИсторияКомпьютерыКулинарияКультураЛексикологияЛитератураЛогикаМаркетингМатематикаМашиностроениеМедицинаМенеджментМеталлы и СваркаМеханикаМузыкаНаселениеОбразованиеОхрана безопасности жизниОхрана ТрудаПедагогикаПолитикаПравоПриборостроениеПрограммированиеПроизводствоПромышленностьПсихологияРадиоРегилияСвязьСоциологияСпортСтандартизацияСтроительствоТехнологииТорговляТуризмФизикаФизиологияФилософияФинансыХимияХозяйствоЦеннообразованиеЧерчениеЭкологияЭконометрикаЭкономикаЭлектроникаЮриспунденкция

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

Читайте также:
  1. A прямой участок, чистое русло, ровное дно, максимальная скорость течения в центре реки
  2. I. Договоры товарищества. Понятие, типы и виды
  3. I. ЛИЗИНГОВЫЙ КРЕДИТ: ПОНЯТИЕ, ИСТОРИЯ РАЗВИТИЯ, ОСОБЕННОСТИ, КЛАССИФИКАЦИЯ
  4. I. Общее понятие о вещных правах на чужую вещь
  5. I. Общее понятие о залоговом праве
  6. I. Общее понятие о лице в праве
  7. I. Общее понятие о юридическом лице и виды юридического лица
  8. I. Общее понятие об опеке
  9. I. Понятие и анализ оборотного капитала
  10. I. Понятие о договоре
  11. I. Понятие о завещании и его составление (форма)
  12. I. Понятие о семейном праве

Понятие асинхронного процесса (АП) описывает поведение системы следующего вида. Есть множество ситуаций и за один такт система может перейти к новой ситуации. При этом есть два выделенных множества ситуаций:

· начальные (инициаторы), они характеризуются тем, что предшествовать инициатору может только инициатор;

· конечные (результанты), они характеризуются тем, что следовать за результантом может только результант.

Формально асинхронный процесс это четверка <S, F, I, R>, где S ={si} (i=, n) - непустое множество ситуаций;

Как правило, I≠ и R ≠. Если I=R=, то АП называется автономным.

Содержательно инициаторы это ситуации, активизирующие

процесс. Назначение инициаторов делается на основе семантики

процесса. Аналогично результанты это финальные ситуации. Их

выбор также делается на основе семантики процесса.

Отношение F можно изобразить орграфом, вершины которого соответствуют ситуациям асинхронного процесса. Дуга исходит из si и входит в sk, тогда и только тогда, когда sj F sk.

Определение. Поведение системы описывается последовательностью ситуаций системы (s1, s2, …, sk) такой, что si F si+1 (i=,k). Такая последовательность называется траекторией.

Любую подпоследовательность траектории, не совпадающую с самой траекторией, будем называть отрезком траектории.

Траектории, которые не являются отрезками никаких других траекторий, называются максимальными.

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

Определение. Ситуации si и sj находятся в отношении M, если существует траектория, в которую входят si и sj, причем si предшествует sj (длина траектории может быть любой).

Это отношение транзитивное, поскольку если si M sj и sj M sk, то si M sk.

Отношение sj M sk означает возможность перехода из sj в sk.

В АП возможны случаи sj M sk и sj M sl, k не равно l.

Заметим, что если для некоторого sj существует единственная ситуация, для которой sj M sk, то обязательно sj F sk.

Отношение непосредственного следования F не восстанавливается однозначно по отношению M.


1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 |

Поиск по сайту:



Все материалы представленные на сайте исключительно с целью ознакомления читателями и не преследуют коммерческих целей или нарушение авторских прав. Студалл.Орг (0.002 сек.)