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

5.1 Репозиция

Репозицией АП задается механизм перехода от результанта к инициаторам

Репозицией АП P = <S,F,I,R> назовем эффективный АП P' = <S', F', I', R'>, такой, что S' ÍIÈRÈSD , I' ÍR, R' ÍI.

Ситуации S' репозиции могут содержать лишь те ситуации из исходного процесса, которые являются лишь инициаторами или результантами, и, кроме того, некоторые дополнительные ситуации из SD , отсутствующие в описании исходного АП.

Отношение F' задает траектории переходов от элементов из I' ÍR к элементам R' ÍI, возможно через дополнительные ситуации из SD .Если I' = R, R' = I, то репозицию назовем полной. Если F' = Æ , то репозиция не существует, в остальных случаях она называется частичной.

Для рассматриваемого процесса имеем:


P' = <S', F', I', R'>

S' Í I È R È SD = { }SD = Æ

I'={ }R'={ }

F':(повторить процесс записи сначала)

(повторить проверку записи данных)

Траектории переходов, которые задает отношение F' показаны на рисунке пунктирной стрелкой.

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

5.2 Редукция

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

Пусть задан неприведенный АП Р = <S,F,I,R>, ситуации которого структурированы по 2-му способу. Образуем р-блочное разбиение множества S процесса Р, в ситуациях каждого блока которого входная компонента принимает фиксированное значение xj , 1jp.

Выберем r<p различных значений входной компоненты (составляющих множество X*ÌX). Ситуации, входящие в те блоки разбиения, которые соответствуют выбранным значениям входной компоненты составляют подмножество S*, S*ÌS.

Для каждого инициатора si ÎI постоим множество ситуаций S(si ), встречающихся на траекториях процесса Р, ведущих из указанного инициатора.

Образуем множество S(X*), как объединение тех множеств S(si ), для которых справедливо

S(si )S*, т.е. S(X*) =

Построимтакже F(X*) = F Ç (S(X*)´S(X*)),I(X*) = I Ç S(X*), R(X*) = R Ç S(X*).

Назовем процесс P(X*) = <S(X*), F(X*), I(X*), R(X*)> редукцией неприведенного процесса P = <S,F,I,R> по выбранному множеству Х* значений входной компоненты.

Для рассматриваемого процесса имеем:

106.Ситуация 107.K 108.S 109.E 110.P 111.W 112.C 113.F
114.S1 115.1 116.0 117.0 118.0 119.0 120.0 121.0
122.S2 123.1 124.1 125.0 126.0 127.0 128.0 129.0
130.S3 131.1 132.0 133.1 134.0 135.0 136.0 137.0
138.S4 139.1 140.1 141.0 142.1 143.0 144.0 145.0
146.S5 147.1 148.1 149.0 150.0 151.1 152.0 153.0
154.S6 155.1 156.1 157.0 158.0 159.0 160.1 161.0
162.S7 163.1 164.1 165.0 166.1 167.0 168.0 169.1
170.S8 171.1 172.1 173.1 174.0 175.0 176.0 177.0

S={ }

Выберем в качестве значений входной компоненты первые три элемента вектора.

Выпишем множество X={ 100, 110, 101, 111 }

Редукцию сделаем по следующему множеству X*={100, 101}, то есть семантически рассмотрим ситуацию, когда нет свободного места для записи.

Тогда S* = { }.

К-во Просмотров: 264
Бесплатно скачать Контрольная работа: Запись информации на магнитный носитель