Контрольная работа: Модель асинхронного процесса создания кадра с помощью цифровой фотокамеры
X={00,10,11}
X*={00,11}
т.е выберем те ситуации при котором свободная внутренняя память всегда есть либо когда созданный кадр записан во внутреннюю память.
подходит
подходит
не подходит
не подходит
S(X*)={S1,S2,S4,S5,S6,S7}
I(X*)={S1,S2}
R(X*)={S7}
F(X*):
В этом упрощенном процессе будет рассматриваться только процесс создания кадра без учёта того что свободного места в памяти для одного кадра нет.
Композиция
В виду того, что АП P2 элементарный, примем, что он совпадает со своей редукцией по входным компонентам
,
Сделаем редукцию процесса P1 по выходным компонентам.
X1={100,110,111}
X1*={100,111}
S*={S1,S2,S4,S5,S6,S7}
подходит
подходит
не подходит
не подходит
S(X*)={S1,S2,S4,S5,S6,S7}
I(X*)={S1,S2}
R(X*)={S7}
Т.е получим процесс в котором отсутствует ситуация при котором нет свободной памяти, а кадр не создан
Производя сцепление процессов P1 и P2, получим процесс P3 ,который будет являться последовательной композицией процессов P1 и P2