Контрольная работа: Модель асинхронного процесса создания кадра с помощью цифровой фотокамеры

Вторая траектория описывает процесс проверки наличие свободной памяти и как результат запись во внутреннюю память созданного кадра.

Третья траектория описывает невозможность создания кадра.

Четвёртая траектория описывает процесс проверки наличие свободной памяти и как результат невозможность создания кадра из-за её отсутствия.

АП эффективен, т.к. из инициаторов все траектории ведут в результанты и все траектории, приводящие к результантам, исходят из инициаторов.

Определим классы эквивалентности. Для множества можно определить отношение такое, что:

1) , ;

2) .

Отношение позволяет разбить множество на классы эквивалентности:

Так как мой АП - эффективный, то:

К начальным классам относится T1

К заключительным относится T3 и T7

Так как в этом АП каждый класс идёт от начального в один и в разные заключительные классы эквивалентности, то процесс не управляемый.

Данный ЭАП не является простым, так как первая и вторая траектории содержат 2 инициатора.

Таким образом, АП P является эффективным ,но не управляемым и не является простым.

Процесс не является простым т.к каждая траектория содержит больше чем один инициатор и результант.

Операции над процессами

Требуется описать процесс при котором происходит возврат к началу создания кадра через ситуацию стирания кадра в случае отсутствия свободного места во внутренней памяти.

Sd- описывает ситуацию стирания памяти для одного кадра.

Sd={1,0,0,0,0,0,1}

Инициатором является S3 т.к отсутствие свободной памяти инициирует дальнейший процесс={S3}

Результантом является S1 это повторение процесса создания кадра.

I`={S3} R`={S1} S`={S1,S3,Sd} F`={S3-> Sd, Sd->S1}

P`=<S`,F`.S`.R`>

Осуществлённая репозиция является частичной, так как .

Редукция объединенная с исходным процессом

В результате мы получили процесс при в котором при отсутствии памяти стирается память для одного кадра и возобновляется процесс создания кадра.

Редукция

С помощью редукции требуется упростить процесс, с помощью редукции процесс путём исключения ситуации связанная с отсутствием свободной внутренней памяти.