Xreferat.com » Рефераты по информатике и программированию » Запись информации на магнитный носитель

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

Размещено на /

Оглавление


Задание

Описание процесса

Построение метамодели «асинхронный процесс»

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

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

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

4.3 Простота

Операции над процессом

5.1 Репозиция

5.2 Редукция

5.3 Композиция

Построение сети Петри

Анализ свойств мест с. Петри на ограниченность и безопасность

Анализ свойств переходов с. Петри на живость и устойчивость

Заключение

Список использованной литературы


1. Задание


Целью расчетно-графического задания является получение опыта в конструировании метамодели «асинхронный процесс» и модели «сеть Петри» и в исследовании их свойств.

Предлагается выполнить следующее:

Выделить компоненты рассматриваемого процесса.

Сформировать множество ситуаций рассматриваемого процесса.

Описать модель «асинхронный процесс».

Определить траектории выполнения процесса и классы эквивалентности ситуаций и сделать вывод о свойствах рассматриваемого процесса (эффективность, управляемость, простота).

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

Выделить входные или выходные компоненты асинхронного процесса, выбрать требуемые и построить на их основе редукцию процесса.

Определить два подпроцесса на базе исследуемого, выбрать удобный вид композиции (последовательную или параллельную) и построить ее.

Описать составляющие модели «асинхронный процесс», используя понятия модели «сеть Петри».

Провести анализ свойств мест сети Петри на ограниченность и безопасность.

Провести анализ свойств переходов сети Петри на живость и устойчивость.


2. Описание процесса

асинхронный репозиция редукция сеть пери

В качестве вычислительного процесса был выбран процесс со следующим названием: «Запись информации на магнитный носитель». Кратко опишем его суть.

Процесс записи на магнитный диск является достаточно сложной задачей и составить метамодель «асинхронный процесс» во всех деталях соответствующую реальному процессу не представляется возможным, так как неизбежны сильная детализация, а так же повышение сложности модели.

Процесс записи опишем следующей последовательностью команд и операций: магнитный диск вставлен в дисковод и готов для записи (часть магнитной поверхности уже может содержать какую-либо информацию). Дисковод состоит из множества механических деталей и механизмов, управление которыми осуществляет микроконтроллер – устройство, которое получает команды от центрального процессора и выполняет их.

Запись информации производится специальной записывающей головкой, которая подводится к соответствующей дорожке и сектору с помощью системы позиционирования головки. Запись информации происходит посекторно. Количество секторов для записи содержится в специальном регистре контроллера и декрементируется после записи очередного сектора.

После того как очередной сектор записан, головка позиционируется на следующий сектор. Очередная порция данных (для записи) считывается по шине данных.

После того, как данные записаны, производится контроль записи (верификация или CRC (проверка контрольной суммы)). Такая операция необходима для проверки правильности записанной информации. В случае ошибки записи, специальный регистр (Data Error Register) устанавливается в единицу и запись прекращается. Головки при этом отводятся от поверхности.

Успешная запись всех секторов завершается сбрасыванием в 0 регистра ошибок данных. Регистр, содержащий количество секторов для записи так же обнуляется. Головки отводятся от поверхности магнитного носителя и контроллер выдает сигнал по шине данных процессору об окончании операции ввода/вывода.


3. Построение метамодели «асинхронный процесс»


Прежде всего, выделим компоненты рассматриваемого процесса:


N Обозначение Описание
1 K Микроконтроллер дисковода. Работает (K+)
2 S Свободное место. Есть в наличии (S+) или нет (S-)
3 E Регистр, сигнализирующий ошибку. Произошла ошибка (E+)
4 P Механизм позиционирования головки записи. Задействован (P+)
5 W Головка записи. Записывает информацию (W+)
6 C Блок контроля правильности записи (crc check). Проводится проверка (C+)
7 F Fat таблица. Обновление fat таблицы после записи (F+)

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

Используя выделенные компоненты, опишем ситуации, возникающие в процессе записи информации на магнитный носитель:


Ситуация K S E P W C F Описание
S1 1 0 0 0 0 0 0 Контроллер активен и ожидает команду от процессора на запись
S2 1 1 0 0 0 0 0 Есть свободное место для записи
S3 1 0 1 0 0 0 0 Места нет. Регистр ошибки устанавливается в код ошибки.
S4 1 1 0 1 0 0 0 Головка подводится на нужный сектор
S5 1 1 0 0 1 0 0 Запись информации в сектор
S6 1 1 0 0 0 1 0 Проверка валидности записанных данных
S7 1 1 0 1 0 0 1 Успешная запись, головки отводятся от поверхности, обновляется таблица fat.
S8 1 1 1 0 0 0 0 Некорректная запись информации.

Назовем асинхронным процессом четверку <S,F,I,R>, в которой: S - непустое множество ситуаций;

F - отношение непосредственного следования ситуаций, определенное на множестве SґS (FМ SґS);

I - множество инициаторов (IМS), т.е. таких ситуаций из S, для которых если iFSk, iОI, SkОI, то из SkFSl следует, что SlПI;

R - множество результантов (RМS), т.е. таких ситуаций из S, для которых, если rFS, rОR, то SОR.

Согласно этому определению, имеем для рассматриваемого процесса:


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


P=<S,F,I,R>

S={Запись информации на магнитный носитель }

I={Запись информации на магнитный носитель},


Где Запись информации на магнитный носитель-инициирует запись

Запись информации на магнитный носитель-инициирует проверку записанных данных

R={ Запись информации на магнитный носитель}, где

Запись информации на магнитный носитель-нет места для записи

Запись информации на магнитный носитель-успешная запись

Запись информации на магнитный носитель-ошибка записи информации

Выпишем все возможные траектории процесса:

Запись информации на магнитный носитель - не хватает места для записи

Запись информации на магнитный носитель - успешный процесс записи

Запись информации на магнитный носитель - ошибка записи

Запись информации на магнитный носитель - неудачная проверка записанных данных

Запись информации на магнитный носитель - удачная проверка записанных данных


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


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


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


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

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

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

не найдется ситуации Si и Sj таких, что (SiПR)&(SjПR)&(SiMSj)&(SjMSi).

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

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


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


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

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


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

Запись информации на магнитный носительЗапись информации на магнитный носитель ,


где класс Запись информации на магнитный носитель - начальный, а классы Запись информации на магнитный носитель - заключительные.

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


4.3 Простота


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

для любых iОI и sОS из iFs Ю sПI;

для любых sОS и rОR из sFr Ю sПR

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

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


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

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


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


5. Операции над процессами


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> по выбранному множеству Х* значений входной компоненты.

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


Ситуация K S E P W C F
S1 1 0 0 0 0 0 0
S2 1 1 0 0 0 0 0
S3 1 0 1 0 0 0 0
S4 1 1 0 1 0 0 0
S5 1 1 0 0 1 0 0
S6 1 1 0 0 0 1 0
S7 1 1 0 1 0 0 1
S8 1 1 1 0 0 0 0

S={Запись информации на магнитный носитель }


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

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

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


Тогда S* = { Запись информации на магнитный носитель}.


Рассмотрим траектории процесса:

Запись информации на магнитный носитель (подходит, так как ситуации принадлежат S*)

Запись информации на магнитный носитель (не подходит, т.к. Запись информации на магнитный носитель не принадлежат S*)

Запись информации на магнитный носитель (не подходит)

Запись информации на магнитный носитель (не подходит)

Запись информации на магнитный носитель (не подходит)

Образуем множество S(X*)={ Запись информации на магнитный носитель}, I(X*)={Запись информации на магнитный носитель},R(X*)= {Запись информации на магнитный носитель}


F(X*):Запись информации на магнитный носитель


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


5.3 Композиция


Обозначим исходный процесс как P2. Для него имеем:


S2={ Запись информации на магнитный носитель }I2={Запись информации на магнитный носитель}R2={ Запись информации на магнитный носитель}


Рассмотрим новый процесс P1, состоящий из следующих компонент:


N Обозначение Описание
1 K Контроллер дисковода
2 P Дисковод работает. Есть электропитание (P+)
3 D Диск вставлен в дисковод (D+)

Ситуация K PW D
S1 1 1 0
S2 1 1 1


Для процесса P1 имеем: S1={ Запись информации на магнитный носитель }I1={ Запись информации на магнитный носитель }R1={ Запись информации на магнитный носитель }

Построим последовательную композицию процессов P1 и P2.

Х*={1}

Построим редукцию процесса P2 по X*.

S2*={ Запись информации на магнитный носитель}

Траектории:

Запись информации на магнитный носитель(подходит)

Запись информации на магнитный носитель(подходит)

Запись информации на магнитный носитель(подходит)

Запись информации на магнитный носитель(подходит)

Запись информации на магнитный носитель(подходит)


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


Следовательно: S2 (X*) = { Запись информации на магнитный носитель} I2 (X*) = { Запись информации на магнитный носитель} R2 (X*)= { Запись информации на магнитный носитель }


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


Далее построим редукцию процесса P1 по X*.


S1*={ Запись информации на магнитный носитель }


Траектории:

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

Следовательно: S1(X*) = { Запись информации на магнитный носитель} I1 (X*) = { Запись информации на магнитный носитель } R1 (X*)= { Запись информации на магнитный носитель }

Теперь построим процесс P3.

Для процесса P3 имеем: S3={ Запись информации на магнитный носитель I3={ Запись информации на магнитный носитель }R3={ Запись информации на магнитный носитель }


Ситуация K S E P W C F PW D
S1 1 0 0 0 0 0 0 1 0
S2 1 0 0 0 0 0 0 1 1
S3 1 0 0 0 0 0 0 1 1
S4 1 1 0 0 0 0 0 1 1
S5 1 0 1 0 0 0 0 1 1
S6 1 1 0 1 0 0 0 1 1
S7 1 1 0 0 1 0 0 1 1
S8 1 1 0 0 0 1 0 1 1
S9 1 1 0 1 0 0 1 1 1
S10 1 1 1 0 0 0 0 1 1

Вывод: таким образом построена последовательная композиция процессов P1 и P2 . Семантически ситуации процесса P1 предшествуют ситуациям процесса P2. Их суть – процесс подготовки носителя к записи информации.


6. Построение сети Петри


Сетью Петри называется пятерка N = <P, T, M0, H, F>, где

Р = {p1,...,pn} - конечное непустое множество условий

T = {t1,...,tm} - конечное непустое множество событий

Запись информации на магнитный носитель - функция инцидентности

М0 : Р ® {0, 1, 2,...} - начальная разметка.

Сеть Петри есть модельная интерпретация АП.Ситуациями в сети является начальная разметка М0 и все разметки, достижимые от М0, т.е. МОR(N). Отношение F для любой возможной разметки М задает все разметки, которые могут непосредственно следовать за М. Очевидно, что на множестве R(N) можно определить отношение эквивалентности разметок и задать отношение F непосредственного следования для классов эквивалентности.


Построим сеть Петри для следующей траектории рассматриваемого процесса:

Запись информации на магнитный носитель, что семантически соответствует успешному процессу записи данных.

Выпишем значения компонент. Компонента E во всех ситуациях равна 0, поэтому эта компонента не учитывается при построении сети Петри.



K S W P C F

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

1 0 0 0 0 0

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

1 1 0 0 0 0

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

1 1 1 0 0 0

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

1 1 0 1 0 0

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

1 1 0 0 1 0

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

1 1 0 0 0 1

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


Формальное описание:


N=<Запись информации на магнитный носитель>

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

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

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

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

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

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

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

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

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

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


7. Анализ свойств мест с. Петри на ограниченность и безопасность


Место (условие) р в сети N = (P,T,F,W,M0) называется ограниченным, если существует число n такое,

Если Вам нужна помощь с академической работой (курсовая, контрольная, диплом, реферат и т.д.), обратитесь к нашим специалистам. Более 90000 специалистов готовы Вам помочь.
Бесплатные корректировки и доработки. Бесплатная оценка стоимости работы.

Поможем написать работу на аналогичную тему

Получить выполненную работу или консультацию специалиста по вашему учебному проекту

Похожие рефераты: