Процессы и ситуации, происходящие при чтении дисков CD-RW (стр. 2 из 4)
-> 
-> 
- траектория чтения с поврежденного диска.Определим классы эквивалентности:
Все допустимые последовательности классов эквивалентности конечны. Причем
- начальный класс эквивалентности, а - заключительный класс эквивалентности. Остальные ситуации, не являющиеся результантами, составляют одноэлементные классы эквивалентности.Данный асинхронный процесс является эффективным, т. к. процесс удовлетворяет следующим условиям:
1) Для любой ситуации
найдется ситуация 
такая, что s предшествует r.2) Для любой ситуации
найдется ситуация 
такая, что 
предшествует s.3) Не найдется ситуаций
и 
таких, что одновременно 
Т. е. из инициаторов процесса все траектории ведут в результанты, и каждая из траекторий, приводящая к результанту, начинается в каком либо инициаторе. Помимо этого для эффективного асинхронного процесса любой начальный класс состоит только из инициаторов, а любой заключительный класс только из результантов. А также любой класс эквивалентности ситуаций, не принадлежащий к результанту состоит из одной ситуации.
Т. к. процесс эффективный, и каждая допустимая последовательность классов ведет только в один заключительный класс, то процесс является управляемым. Процесс является простым, т. к. из одного инициатора нельзя попасть ни в какой другой инициатор, и из одного результанта нельзя попасть ни в какой другой результант.
Таким образом, асинхронный процесс является эффективным, простым, управляемым.
ОПЕРАЦИИ НАД ПРОЦЕССАМИ
1. Репозиция
С помощью репозиции задается механизм возобновления АП, то есть его повторные активизации. В данном случае репозицией этого процесса можно считать новое обращение к диску или повторное обращение при поврежденном диске.
Репозиция асинхронного процесса P – это эффективный асинхронный процесс
такой, что 
; 
; 
. 
; 
; 
; 
;Инициаторами репозиции будут
, а результантом будет .На графе изображенном ниже это показано последовательностью переходов:
: 
Т. к. в данном случае
и 
, то репозиция является полной.Таким образом, получили полную репозицию, которая задает механизм возобновления асинхронного процесса.
2. Редукция
Редукция процесса состоит в сведении данного асинхронного процесса к более простому, в выделении части процесса.
S ={1100000000, 1111011111, 1110101111, 1110000001, 1000000000};
I = {1100000000};
R = {1000000000};
Четыре первых элемента вектора выберем в качестве выходной компоненты.
X ={1100, 1111, 1110, 1000}; - p-блочное разбиение множества S.
Выберем r = 3:
={1100,1110, 1000};Траектории:
1. 1100000000 -> 1111011111 -> 1110101111 -> 1000000000
2. 1100000000 -> 1110000001 -> 1000000000
Редукция процесса P – это процесс
по выбранному множеству . 
={110000000, 1110000001, 1000000000}= {S1 S4 S5}; 
= {1100000000}= {S1}; 
= {1000000000}= {S5}; 
: 
Таким образом, построив редукцию, мы выделили из полного описания процесса его некоторую простую часть.
3. Композиция
Рассмотрим композицию.
Рассмотрим АП
: процесс вставки диска в привод.Выделим компоненты процесса:
1. SH – шпиндельный двигатель, который предназначен для вращения диска с постоянной или переменной угловой скоростью.
SH = 1 – вал двигателя вращается;
SH = 0 – вал неподвижен;
2. W – шайба, посредством которой диск прижимается к подставке.
W = 1 – диск прижимается;
W = 0 – диск не прижимается;
3. T – лоток загрузочного устройства, с помощью которого диск вводится в привод;
T = 1 – механизм лотка работает;
T = 0 – механизм бездействует;
4. ED – электродвигатель транспортного механизма
ED = 1 – работает;
ED = 0 – не работает;
5. M- микросхема управления;
M = 1 – контролирует процесс чтения;
M = 0;
6. S – сервомотор;
S = 1 – перемещает оптическую систему;
S = 0 – не перемещает;
7. L – лазер;
L=1 - лазер работает.
L=0 - лазер не работает.
8. O – Система считывания сигналов (состоит из оптической головки и механизма её перемещения, инфракрасного лазерного излучателя, системы фокусировки луча и усилителя);
O = 1 – работает;
O = 0 – не работает;
Ситуации:
1.
- выдвижение загрузочного лотка;2.
- вставка диска и загрузка его в привод;3.
- проверка диска; | Ситуации | SH | W | T | ED | M | S | L | O |
 | 0 | 0 | 1 | 1 | 0 | 0 | 0 | 0 |
| | 0 | 1 | 1 | 1 | 0 | 0 | 0 | 0 |
| | 1 | 1 | 0 | 0 | 1 | 1 | 0 | 0 |
Таблица ситуаций, результантов и инициаторов:
| Ситуации |  | { } |
| Инициаторы |  | { } |
| Результанты |  | { } |
Граф процесса
Т. к. процесс элементарный, примем, что он совпадает со своей редукцией по выходной компоненте
={0000, 1100}Т. е.:
={00110000, 01110000, 11001100}; 
={00110000}; 
={11001100};