Контрольная работа: Модель асинхронного процесса создания кадра с помощью цифровой фотокамеры

Задание

Выбрать вычислительный процесс и на его примере:

-построить метамодель «асинхронный процесс» и определить свойства исходного процесса на основе анализа метамодели;

-выполнить операции над процессом: репозиция, редукция, композиция, и оценить полученные результаты с практической точки зрения;

-построить предметную интерпретацию метамодели на основе сети Петри и сделать вывод о динамических характеристиках исходного процесса.

Оформление отчета

Цифровая фотокамера. Принцип создания кадра с помощью цифровой камеры

1. Проверяется наличие свободного места во внутренней памяти для одного кадра.

2. Производится экспозамер освещенности.

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

4. На матрице фиксируется изображение

5. Полученное изображение переносится во внутреннюю памят

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

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

В данном асинхронном процессе можно выделить следующие компоненты:

К – контроллер М – блок проверки памяти RM – регистр заполнения памяти D – Блок установки диафрагмы, чувствительности, выдержки. S - Экспонометр Mt – матрица E – Внутренняя память Сформируем множество ситуаций: S1=1000000 контроллер включён S2=1100000 проверки памяти на наличие свободной памяти для одного кадра S3=1010000 свободной памяти нет S4=1000100 производится экспозамер S5=1001000 установка в соответствии с экспозамером диафрагмы, время выдержки и чувствительность матрицы

S6=1000010 получение изображения на матрице

S7=1000001 запись изображения во внутреннюю память

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

Поставим нашему асинхронному процессу в соответствие четвёрку , в которой:

={S1 ,S2,S3,S4 ,S5,S6,S7}

I={S1,S2} Ситуация описывает начальный этап данного процесса включение камеры, который инициирует ход всего процесса.

Ситуация инициирует проверку на наличие свободной памяти и дальнейшую работу камеры.

R={S3,S7}

Ситуация описывает невозможность создания кадра.

Ситуация описывает, запись созданного кадра во внутреннюю память.

--> ЧИТАТЬ ПОЛНОСТЬЮ <--