RSS    

   Контрольная работа: Моделирование процесса печати с использованием струйного принтера Hewlett Packard (термоструйная печать)

Граф композиции:

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

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

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

Сеть Петри для данного процесса – пятерка N = <P, T, H, F, M0>, где

P = {K, M, P, V, C, R, S, H, B} – множество условий;

T = {t1, t2, t3, t4, t5, t6, t7} – множество событий;

M0 = (1,1,0,0,0,0,0,1,0) – начальная разметка;

F и H – функции инцидентности, описывающие наличие дуги

K M P V C R S H B

s1 =

1 1 0 0 0 0 0 1 0

s2 =

1 1 1 1 0 0 0 1 0

s3 =

1 1 0 1 0 0 0 1 0

s4 =

1 1 1 0 1 0 0 1 0

s5 =

1 1 1 0 0 1 0 1 0

s6 =

1 1 1 0 0 0 0 1 1

s7 =

1 1 1 0 0 0 1 1 0

s8 =

1 0 0 1 0 0 0 1 0

F(K, t1) = 1

H(t1, K) = 1

F(M, t1) = 1

H(t1, M) = 1

F(H, t1) = 1

H(t1, H) = 1

F(P, t2) = 1

H(t1, P) = 1

F(V, t2) = 1

H(t1, V) = 1

F(V, t3) = 1

H(t2, V) = 1

F(P, t4) = 1

H(t3, P) = 1

F(C, t4) = 1

H(t3, C) = 1

F(P, t5) = 1

H(t4, P) = 1

F(R, t5) = 1

H(t4, R) = 1

F(P, t6) = 1

H(t5, P) = 1

F(B, t6) = 1

H(t5, B) = 1

F(P, t7) = 1

H(t6, P) = 1

F(S, t7) = 1

H(t6, S) = 1

F(M, t7) = 1

H(t7, V) = 1

Граф разметок сети

Покрывающее дерево выглядит аналогичным образом.

Свойства построенной сети Петри

Ограниченность и безопасность:

ü  сеть ограничена, так как все ее условия ограничены (ни одна вершина покрывающего дерева не содержит символа ω);

ü  сеть является безопасной, т.к. все ее условия безопасны (любая достижимая в сети разметка представляет собой вектор из 0 и 1).

Живость и устойчивость:

ü  сеть не является живой, т.к. все её переходы живы при , но не являются живыми при любой другой достижимой в сети разметке;

ü  сеть не является устойчивой, т.к. переход t2 не является устойчивым.

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


Заключение

В данном РГЗ была построена модель «асинхронный процесс» печати струйного принтера. Полученный асинхронный процесс является эффективным, неуправляемым и непростым.

Над процессом были произведены операции: редукции, репозиции и параллельной композиции.

Репозиция исходного процесса показывает, что нет необходимости использовать дополнительные ситуации для повторного возобновления процесса работы принтера в ситуациях:

ü  возобновление печати на новом листе;

ü  циклическое повторение нагрева чернил, образования пузыря и выброс капли на бумагу;

ü  возобновление печати после вывода сообщения об отсутствии бумаги.

Репозиция является частичной.

Редукция позволяет существенно упростить рассматриваемый процесс, сведя его к механизму печати струйного принтера (перемещение каретки, нагрев чернил, образование пузыря, выброс капли на бумагу и наполнение камеры чернилами).

Композиция необходима для объединения нескольких процессов в один, для дальнейшего рассмотрения поведения этих процессов в системе. В данном случае использовалась параллельная композиция.

Для данного процесса была построена сеть Петри. Она является ограниченной и безопасной, но не является устойчивой и живой.

модель печать струйный принтер


Литература

1.  Лазарева И.М. Конспект лекции по теории вычислительных процессов.


Страницы: 1, 2, 3, 4, 5, 6


Новости


Быстрый поиск

Группа вКонтакте: новости

Пока нет

Новости в Twitter и Facebook

                   

Новости

Обратная связь

Поиск
Обратная связь
Реклама и размещение статей на сайте
© 2010.