Категория
Информатика
Тип
контрольная работа
Страницы
12 стр.
Дата
11.04.2013
Формат файла
.html — Html-документ
Архив
367777.zip — 6.14 kb
Оцените работу
Хорошо  или  Плохо


Текст работы

ОГЛАВЛЕНИЕ


1. Задание

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

. Построение метамодели "Асинхронный процесс"

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

4.1 Репозиция

.2 Редукция

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

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

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

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

1. Задание


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

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

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

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

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

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

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

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

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

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


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


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

При наличии дискеты в дисководе и наличии запроса на запись, компьютер производит ряд проверок перед записью на дискету:

) Проверка на наличие заголовка. Для использования дискета должна быть специальным образом инициализирована - должна иметь заголовок. Это делается с помощью операции форматирования.

) Проверка на наличие защиты. На дискетах 3,5 дюйма имеется специальный переключатель - защёлка (защита), разрешающая или запрещающая запись на дискету. Запись разрешена, если отверстие закрыто, и запрещена, если оно открыто.

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

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


Компоненты процесса

M - память



Ваше мнение



CAPTCHA