Контрольная работа: Моделирование процесса печати с использованием струйного принтера Hewlett Packard (термоструйная печать)
В данном случае имеем следующие траектории:
S1 → S2 → S4 → S5 → S6 → S7 → S8 – полный процесс, включающий все этапы работы струйного принтера (от задания печати и вплоть до освобождения памяти принтера, при условии, что в лотке содержится бумага).
S4 → S5 → S6 → S7 – процесс, включающий основные этапы работы струйного принтера, а именно сам механизм печати.
S2 → S3 – процесс, осуществляемый в случае отсутствия бумаги в лотке.
Пусть задан асинхронный процесс, у которого:
1. для любой ситуации s , не являющейся инициатором, найдется такой инициатор i , что (i M s ),
2. для любой ситуации s , не являющейся результантом, найдется такой результантr , что (s M r ),
3. не найдется двух ситуаций si и sj , таких что: (si Ï R) & ( sj Ï R ) & ( si M sj ) & ( sj M si ) .
Такой асинхронный процесс называется эффективным . То есть все ситуации эффективного процесса ведут из инициаторов в результанты, а также не должно быть ориентированных циклов, за исключением циклов, состоящих только из результантов.
Бинарное отношение эквивалентности ситуаций, обозначаемое буквой E означает, что либо si = sj , либо (si Fsj ) и (sj Fsi ). Отношение эквивалентности позволяет построить разбиение множество ситуаций на непересекающиеся классы эквивалентности , такие, что любые две ситуации из одного класса эквивалентны, а любые две ситуации из разных классов не эквивалентны. Для классов эквивалентности определено отношение непосредственного следования F. В допустимых последовательностях классов можно выделить начальные и конечные элементы, которые будем называть соответственно начальными и заключительными классами эквивалентности . Для эффективного АП начальные классы могут состоять только из инициаторов, заключительные - только из результантов.
Для эффективного АП любой класс эквивалентности ситуаций, не принадлежащий результантам, состоит из одной ситуации.
Если в эффективном асинхронном процессе каждая допустимая последовательность классов эквивалентности ведет из каждого начального класса в один и только один заключительный класс, то такой процесс называется управляемым .
В процессе печати струйного принтера все ситуации лежат на пути из инициаторов в результанты, то есть выполняются 1 и 2 свойства; и нет циклов, то есть выполняется свойство 3. Следовательно, можно сделать вывод о том, что данный процесс является эффективным.
В данном процессе начальный класс эквивалентности содержит одну ситуацию s1 , а конечных класса два и они содержат соответственно две ситуации s7 и s8 и одну ситуацию s3 , все остальные классы эквивалентности содержат по одному элементу.
Так как некоторые допустимые последовательности классов эквивалентности ведут из начальных классов не в один, а в два заключительных класса, то данный процесс не является управляемым.
Пусть в эффективном асинхронном процессе выполнены следующие условия:
1) для" i Î I и" s Î S: (i F s) Þ (s Ï I);
2) для" r Î R и" s Î S: (s F r) Þ (s Ï R);
т.е. из инициатора (результанта) нельзя попасть в другой инициатор (результант). Иными словами каждая траектория содержит в точности один инициатор и один результант.
Асинхронный процесс, удовлетворяющий свойствам 1, 2 называется простым .
Данный процесс не удовлетворяет первому и второму свойствам, поэтому не является простым.
Вывод : рассматриваемый процесс печати струйного принтера является эффективным, но не является ни управляемым, ни простым.
Операции над процессами.
Репозиция.
Репозиция - это возобновление процесса, механизм перехода от результантов к инициаторам.
В данном случае множество дополнительных ситуаций репозиции SD вводить не нужно.
Репозицией данного процесса можно считать:
1. возобновление печати на новом листе.
Инициатор: s8