Контрольная работа: Запись информации на магнитный носитель

- успешный процесс записи

- ошибка записи

- неудачная проверка записанных данных

- удачная проверка записанных данных

4. Свойства процесса

Рассмотрим свойства асинхронного процесса.

4.1 Эффективность

Пусть задан АП, у которого :

1. для любого sÎS \ R найдется rÎR такой, что sMr;

2. для любого sÎS \ I найдется iÎI такой, что iMs;

3. не найдется ситуации S_i и S_j таких, что (S_i ÏR)&(S_j ÏR)&(S_i MS_j )&(S_j MS_i ).

АП, удовлетворяющий свойствам 1 - 3, будет называться эффективным , т.е. из инициаторов эффективного процесса все траектории ведут в результанты (свойство 1 и 3), и каждая из траекторий, приводящих к результанту, начинается в каком-либо инициаторе (св. 1 и 2). Эффективность АП оставляет место недетерминированности, т.е. возможно, что из некоторого инициатора процесс попадает в разные результанты, но он не содержит ориентированных циклов вне ситуаций, принадлежащих I и R.

Вывод : данный процесс не является эффективным (не выполняется свойство 3), так как процесс содержит цикл вне ситуаций, принадлежащих I и R.

4.2 Управляемость

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

Для определения того факта, является процесс управляемым или нет, разобьем множество ситуаций S на классы эквивалентности.

,

где класс - начальный, а классы - заключительные.

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

4.3 Простота

Пусть в эффективном АП:

1. длялюбых iÎI и sÎS из iFs Þ sÏI;

2. для любых sÎS и rÎR из sFrÞsÏR

(т.е. из инициатора (результанта) нельзя попасть в другой инициатор (результант) т.е. каждая траектория содержит в точности по одному инициатору и результанту). АП, удовлетворяющий свойствам 1 и 2 будет называться простым.

Вывод : процесс не является простым. Траектории

содержат по 2 инициатора (отмечены подчеркиванием)