Контрольная работа: Запись информации на магнитный носитель
(подходит, так как ситуации принадлежат S*)
(не подходит, т.к.
не принадлежат S*)
(не подходит)
(не подходит)
(не подходит)
Образуем множество S(X*)={ }, I(X*)={
},R(X*)= {
}
F(X*):
Вывод: построив редукцию данного процесса по выбранным значениям входной компоненты, мы упростили процесс и рассмотрели только ту часть его, в которой складывается ситуация нехватки места на диске. В итоге получаем одну ветвь процесса, в которой фиксируется ошибка и код ее заносится в регистр ошибок.
5.3 Композиция
Обозначим исходный процесс как P2. Для него имеем:
S2={ }I2={
}R2={
}
Рассмотрим новый процесс P1, состоящий из следующих компонент:
178.N | 179.Обозначение | 180.Описание |
181.1 | 182.K | 183.Контроллер дисковода |
184.2 | 185.P | 186.Дисковод работает. Есть электропитание (P+) |
187.3 | 188.D | 189.Диск вставлен в дисковод (D+) |
![]() |
190.Ситуация | 191.K | 192.PW | 193.D |
194.S1 | 195.1 | 196.1 | 197.0 |
198.S2 | 199.1 | 200.1 | 201.1 |
Для процесса P1 имеем: S1={ }I1={
}R1={
}
Построим последовательную композицию процессов P1 и P2.
Х*={1}
Построим редукцию процесса P2 по X*.
S2*={ }
Траектории:
(подходит)
(подходит)
(подходит)
(подходит)
(подходит)
Следовательно: S2 (X*) = { } I2 (X*) = {
} R2 (X*)= {
}
Далее построим редукцию процесса P1 по X*.
S1*={ }