Задание
Выбрать вычислительный процесс и на его примере:
-построить метамодель «асинхронный процесс» и определить свойства исходного процесса на основе анализа метамодели;
-выполнить операции над процессом: репозиция, редукция, композиция, и оценить полученные результаты с практической точки зрения;
-построить предметную интерпретацию метамодели на основе сети Петри и сделать вывод о динамических характеристиках исходного процесса.
Возможно вы искали - Курсовая работа: Моделювання роботи регульованої ділянки
Оформление отчета
Цифровая фотокамера. Принцип создания кадра с помощью цифровой камеры
1. Проверяется наличие свободного места во внутренней памяти для одного кадра.
2. Производится экспозамер освещенности.
3. В соответствии с экспозицией устанавливается время выдержки, чувствительность матрицы, размер диафрагмы.
Похожий материал - Контрольная работа: Мониторы. Файловые системы
4. На матрице фиксируется изображение
5. Полученное изображение переносится во внутреннюю памят
асинхронный процесс метамодель петри
Построение метамодели «асинхронный процесс»
В данном асинхронном процессе можно выделить следующие компоненты:
Очень интересно - Контрольная работа: Написание игры "Змейка" средствами языка Turbo Pascal
К – контроллер М – блок проверки памяти 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}
Ситуация 
описывает невозможность создания кадра.
Похожий материал - Курсовая работа: Основные характеристики многоуровневой сетевой модели Process Field Bus
Ситуация 
описывает, запись созданного кадра во внутреннюю память.
