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

Оглавление

1. Задание

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

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

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

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

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

4.3 Простота

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

5.1 Репозиция

5.2 Редукция

5.3 Композиция

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

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

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

9. Заключение

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

1. Задание

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

1. N	2. Обозначение	3. Описание
4. 1	5. K	6. Микроконтроллер дисковода. Работает (K+)
7. 2	8. S	9. Свободное место. Есть в наличии (S+) или нет (S-)
10. 3	11. E	12. Регистр, сигнализирующий ошибку. Произошла ошибка (E+)
13. 4	14. P	15. Механизм позиционирования головки записи. Задействован (P+)
16. 5	17. W	18. Головка записи. Записывает информацию (W+)
19. 6	20. C	21. Блок контроля правильности записи (crccheck). Проводится проверка (C+)
22. 7	23. F	24. Fat таблица. Обновление fat таблицы после записи (F+)

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

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

25. Ситуация

26. K

Внимание, отключите Adblock

Вы посетили наш сайт со включенным блокировщиком рекламы!
Ссылка для скачивания станет доступной сразу после отключения Adblock!

Скачать Контрольные работы по информатике и программированию Оглавление 1. Задание 2. Описание процесса 3. Построение метамодели «асинхронный процесс» 4. Свойства процесса 4.1 Эффективность 4.2

Оценок: 1000 (Средняя 5 из 5)

Наверняка у вас есть товары или услуги, продажа которых приносит вам максимальную прибыль. Для быстрого старта в сети вам необходимо создание посадочной страницы (одностраничного сайта), на которой будет размещена информация о маржинальных товарах/услугах интернет магазина. За 8 лет опыта разработки конверсионных страниц мы выработали оптимальную структуру, которая позволит привлекать через landing page больше продаж. На такую структуру «одевается» ваш контент — фирменный стиль, тексты, фотографии, уникальные торговые предложения, после чего страница выходит в свет. Разработка лендинга и запуск в сети — до 7 рабочих дней. Стоит отметить, что в разработку самой посадочной страницы входит и написание копирайтером продающих текстов для вашего бизнеса, чтобы каждый посетитель страницы захотел совершить покупку именно у вас. Результат: качественно разработаная продающая посадочная страница, которая готова приносить вам новых клиентов.