Контрольная работа: Чтение и запись с CD-R-устройств

1. Лоток открыт, диска нет, устройство к работе не готово

p₁ ^’ – p₂ ^’ –

2. Лоток закрыт, диск есть, устройство готово к работе

Выделим в исходном процессе первую (лоток) компоненту в качестве входной. Выбираем наличие диска в лотке, так как оно является основным показателем того, что устройство функционирует. Выбираем в исходном процессе ситуации, при которых в лотке имеется диск (первая компонента; т.е. все ситуации). Таким образом, получаем исходный процесс целиком. Это соответствует действительности, так как на всех стадиях работы устройства в нем имеется диск.

Очевидно, что редукцией процесса по определенной выше компоненте (назовем ее ) будет являться весь исходный процесс, т.е.: .

Выделим в дополнительном процессе выходную компоненту. Это компонента p₂ ^’ – диск в лотке. X₂ = {0,1}

В качестве выберем все наборы входной компоненты дополнительного процесса. X₂ ^* = {0,1}

Дополнительный процесс представлен простой линейной структурой, которая не нуждается в дополнительном упрощении.

Сцепление процессов будет происходить по компоненте {1}. То есть выходная компонента процесса соответствует входной компоненте .

Построим композицию исходного процесса и дополнительного .

S₃ ¹ =(S₁ , S₁ ^’ );

S₃ ² =(S₁ , S₂ ^’ );

S₃ ³ =(S₂ , S₂ ^’ );

S₃ ⁴ =(S₃ , S₂ ^’ );

S₃ ⁵ =(S₄ , S₂ ^’ );

S₃ ⁶ =(S₅ , S₂ ^’ );

S₃ ⁷ =(S₆ , S₂ ^’ );

S₃ ⁸ =(S₇ , S₂ ^’ );

S₃ ⁹ =(S₈ , S₂ ^’ );

S₃ ={(10000000), (10000000), (11101000), (11110000), (11100010), (11001000), (11000001), (10000001), (10000100)};

F₃ = {(S₃ ¹ )-(S₃ ² )- (S₃ ⁸ )- (S₃ ⁹ ),

(S₃ ¹ )-(S₃ ² )- (S₃ ³ )- (S₃ ⁴ )- (S₃ ⁵ ),

(S₃ ¹ )-(S₃ ² )- (S₃ ⁶ )- (S₃ ⁷ )};

I₃ = {(S₃ ¹ ), (S₃ ² ), (S₃ ³ ), (S₃ ⁴ ), (S₃ ⁶ ), (S₃ ⁸ )};

R₃ = {(S₃ ⁵ ), (S₃ ⁷ ), (S₃ ⁹ )}.

Граф композиции:

Обеспечены условия 1, 2, 3, 4:

1),: