Реферат Запис на магнітний носій

Тема: Контрольные работы

ЗМІСТ

1. Завдання

. Опис процесу

. Побудова метамоделі "Асинхронний процес"

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

4.1 Репозиція

.2 Редукція

.3 Композиція

5. Предметна інтерпретація асинхронного процесу

5.1 Побудова мережі Петрі

6. Висновок

1. Завдання

1. Виділити компоненти розглянутого процесу.

2. Сформувати безліч ситуацій розглянутого процесу.

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

. Визначити траєкторії виконання процесу і класи еквівалентності ситуацій і зробити висновок про властивості розглянутого процесу (ефективність, керованість, простота).

. Визначити безліч додаткових ситуацій для відновлення процесу (якщо вони є) і побудувати повну або часткову репозицію процесу.

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

. Визначити два подпроцесса на базі досліджуваного, вибрати зручний вид композиції (послідовну або паралельну) і побудувати її.

. Описати складові моделі В«асинхронний процесВ», використовуючи поняття моделі В«мережа ПетріВ».

. Провести аналіз властивостей місць мережі Петрі на обмеженість і безпеку.

. Провести аналіз властивостей переходів мережі Петрі на жвавість і стійкість.

2. Опис процесу

Вся інформація, що записується на магнітний носій в комп'ютерах, записується в двійковій системі - якщо при читанні з носія головка відчуває знаходження під собою домену, то це означає, що значення даної частинки даних одно 1 , якщо не відчуває , то значення - 0 . А далі вже система комп'ютера перетворює дані, записані в двійковій системі, у більш зрозумілу для людини систему.

За наявності дискети в дисководі і наявності запиту на запис, комп'ютер виробляє ряд перевірок перед записом на дискету:

) Перевірка на наявність заголовка. Для використання дискета повинна бути спеціальним чином инициализирована - повинна мати заголовок. Це робиться за допомогою операції форматування. p align="justify">) Перевірка на наявність захисту. На дискетах 3,5 дюйма є спеціальний перемикач - засувка (захист), дозволяє або забороняє запис на дискету. Запис дозволена, якщо отвір закритий, і заборонена, якщо воно відкрите. p align="justify">) Перевірка на наявність вільного місця. Якщо розмір файлу, який необхідно записати, перевищує розмір вільного місця на дискеті, тоді запис не проводиться з висновком відповідної помилки. p align="justify"> 3. Побудова метамоделі В«асинхронний процесВ»

Компоненти процесу

M - пам'ять

W - записувальна головка

Z - заголовок дискети

MZ - механізм, перевіряючий наявність захисту

D - захист

FS - вільне місце

ZZ - запит на виконання запису

Використовуючи обрані компоненти, опишемо ситуації, що виникають в процесі підготовки запису на дискету

Ситуації

S1 - Запит на запис

M-W-Z-MZ-D-FS-ZZ +