Запись на магнитный носитель
Контрольная работа - Компьютеры, программирование
Другие контрольные работы по предмету Компьютеры, программирование
ОГЛАВЛЕНИЕ
1. Задание
. Описание процесса
. Построение метамодели "Асинхронный процесс"
. Операции над процессами
4.1 Репозиция
.2 Редукция
.3 Композиция
5. Предметная интерпретация асинхронного процесса
5.1 Построение сети Петри
6. Заключение
1. Задание
1.Выделить компоненты рассматриваемого процесса.
2.Сформировать множество ситуаций рассматриваемого процесса.
.Описать модель асинхронный процесс.
.Определить траектории выполнения процесса и классы эквивалентности ситуаций и сделать вывод о свойствах рассматриваемого процесса (эффективность, управляемость, простота).
.Определить множество дополнительных ситуаций для возобновления процесса (если они есть) и построить полную или частичную репозицию процесса.
.Выделить входные или выходные компоненты асинхронного процесса, выбрать требуемые и построить на их основе редукцию процесса.
.Определить два подпроцесса на базе исследуемого, выбрать удобный вид композиции (последовательную или параллельную) и построить ее.
.Описать составляющие модели асинхронный процесс, используя понятия модели сеть Петри.
.Провести анализ свойств мест сети Петри на ограниченность и безопасность.
.Провести анализ свойств переходов сети Петри на живость и устойчивость.
2. Описание процесса
Вся информация, записываемая на магнитный носитель в компьютерах, записывается в двоичной системе - если при чтении с носителя головка чувствует нахождение под собой домена, то это означает, что значение данной частички данных равно 1, если не чувствует, то значение - 0. А дальше уже система компьютера преобразует данные, записанные в двоичной системе, в более понятную для человека систему.
При наличии дискеты в дисководе и наличии запроса на запись, компьютер производит ряд проверок перед записью на дискету:
) Проверка на наличие заголовка. Для использования дискета должна быть специальным образом инициализирована - должна иметь заголовок. Это делается с помощью операции форматирования.
) Проверка на наличие защиты. На дискетах 3,5 дюйма имеется специальный переключатель - защёлка (защита), разрешающая или запрещающая запись на дискету. Запись разрешена, если отверстие закрыто, и запрещена, если оно открыто.
) Проверка на наличие свободного места. Если размер файла, который необходимо записать, превышает размер свободного места на дискете, тогда запись не производится с выводом соответствующей ошибки.
3. Построение метамодели асинхронный процесс
Компоненты процесса
M- память
W- записывающая головка
Z- заголовок дискеты
MZ- механизм, проверяющий наличие защиты
D- защита
FS- свободное место
ZZ- запрос на выполнение записи
Используя выбранные компоненты, опишем ситуации, возникающие в процессе подготовки записи на дискету
Ситуации
S1 - Запрос на запись
M- W- Z- MZ- D- FS- ZZ+
S2 - Проверка заголовка, заголовок в порядке
M- W+ Z+ MZ- D- FS- ZZ-
3 - Проверка заголовка, заголовок отсутствует
M- W+ Z- MZ- D- FS- ZZ-
S4 - Проверка защиты, защита поставлена
M- W- Z+ MZ+ D+ FS- ZZ-
S5 - Проверка защиты, защита снята
M- W- Z+ MZ+ D- FS- ZZ-
S6 - Проверка свободного места, свободного места нет
M+ W- Z+ MZ- D- FS- ZZ-
7 - Проверка свободного места, свободного место есть
M+ W- Z+ MZ- D- FS+ ZZ-
- Запись
+ W+ Z+ MZ- D- FS+ ZZ-
Векторы ситуаций
SMWZMZDFSZZS10000001S20110000S30100000S40011100S50011000S61010000S71010010S81110010
Описание модели
Построим асинхронный процесс
Множество ситуаций:
Множество инициаторов:
Ситуация S1 была выбрана в качестве инициатора по причине инициирования ей всего процесса, т.к. именно при наличии запроса на запись процесс подготовки записи на дискету инициируется.
Ситуация S2 была выбрана в качестве инициатора, т.к. она инициирует продолжение процесса при наличии заголовка дискеты.
Ситуация S5 была выбрана в качестве инициатора, т.к. она инициирует продолжение процесса при отсутствии защиты.
Множество результантов:
Ситуация S3 была выбрана в качестве результанта, т.к. она является финальной ситуацией при отсутствии заголовка у дискеты.
Ситуация S4 была выбрана в качестве результанта, т.к. она является финальной ситуацией при наличии защиты.
Ситуация S6 была выбрана в качестве результанта, т.к. она является финальной ситуацией при отсутствии на дискете свободного места.
Ситуации S7 и S8 были выбраны в качестве результантов, т.к. они является финальными ситуациями процесса.
Траектории выполнения процесса:
.
.
.
.
.
.
.
.
.
Траектория 1 отображает ход процесса при отсутствии заголовка дискеты. Траектории 2-4 отображают все варианты хода процесса при наличии заголовка дискеты. Траектория 5 отображает ход процесса при наличии защиты. Траектории 6, 7 отображают ход процесса при отсутствии защиты. Траектория 8 отображает ход процесса при отсутствии свободного места. Траектория 9 отображает ход процесса при наличии свободного места.
Граф процесса
Свойства процесса:
Проверим процесс на эффективность:
1.
.
.
Для данного асинхронного процесса все эти условия выполняются, => данный асинхронный процесс является эффективным, т.е. из его инициаторов вс?/p>