Контрольная работа: Моделирование процесса печати с использованием струйного принтера Hewlett Packard (термоструйная печать)
В данном процессе начальный класс эквивалентности содержит одну ситуацию 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
Результант: s1
2. Циклическое повторение нагрева чернил, образования пузыря и выброс капли на бумагу
Инициатор: s7
Результант: s4
3. Возобновление печати после вывода сообщения об отсутствии бумаги
Инициатор: s3
Результант: s1
Таким
образом, репозиция данного процесса имеет вид 
, где
= {s1,
s3, s4, s7, s8},
= {s3,
s7, s8},
R' = {s1, s4},
=
{(s8, s1), (s7, s4), (s3, s1)}
Объединение процесса и его репозиции:
Вывод: репозиция позволяет повторить процесс после его выполнения. Для данной модели это означает, что печать может происходить не один раз, а столько, сколько необходимо в рамках поставленной задачи.
Репозиция рассматриваемого процесса является частичной, так как I' совпадает с R, но R' не совпадает с I.
Редукция
Редукция процесса состоит в сведении данного асинхронного процесса к более простому.
Составим редукцию репозиции нашего процесса.
Пусть процесс задан диаграммой переходов:
Три первых элемента вектора выберем в качестве входной компоненты.
Образуем p-блочное разбиение множества S , p = 4:
X = {1001, 1100, 1101, 1110, 1111}
Выбираем r =2 (r < p):
X* = {1110, 1111}
Образуем множество, содержащее ситуации, входящие в те блоки разбиения, которые соответствуют выбранным значениям входной компоненты:
S* = {111100010, 111010010, 111001010, 111000011, 111000110}
Для каждого
инициатора 
построим
множество ситуаций 
встречающихся на траекториях
процесса 
,
ведущих из указанного инициатора. Образуем множество 
как объединение тех множеств 
, для которых
справедливо 
:
1: 110000010→111100010→ 111010010→111001010→111000011→
→111000110→100100010
2: 111100010→110100010
3: 111010010→111001010→111000001→111000110
Ситуации из траектории 3:
S(X*) = {111010010, 111001010, 111000011, 111000110}
I(X*) = {111010010}
R(X*) = {111000110}
Построим F(X*):
Вывод: редукция позволяет из полного описания процесса выделить некоторую его часть, рассмотрение которой интересно по тем или иным причинам.
В данном случае, в результате редукции была выделена ветвь, которая соответствует механизму печати струйного принтера (перемещение каретки, нагрев чернил, образование пузыря, выброс капли на бумагу и наполнение камеры чернилами).
Композиция
Рассмотрим последовательную композицию двух процессов с ситуациями, структурированными по второму способу: в ситуациях p1 выделена выходная компонента; в ситуациях p2 выделена входная компонента.
p1 – подготовки к печати, состоит из двух ситуаций;
p2 – непосредственно сама печать;
Компоненты процесса p1:
1. K – устройство управления
K+ - контролирует работу печати и всех элементов принтера
K– - бездействует
2. P – бумага
P+ - содержится в лотке
P– - отсутствует
3. M – память
M+ - содержит задания на печать
M– - свободна
Ситуации процесса p1:
1. Принтер включен. Задание печати.
K+ P– M +
2. Проверка на наличие бумаги.
K+ P+ M +
| K | P | M | |
|
s11 = |
1 | 0 | 1 |
|
s22 = |
1 | 1 | 1 |
Инициатор: I = { s11 }
Результант: R={ s12 }
Выделим в процессе первую (контроллер) и вторую (бумага) компоненты в качестве выходных. Выбираем контроллер, так как он является основным показателем работоспособности устройства, и бумагу (вспомогательную компоненту), так как процесс подготовки к печати основывается на подготовку бумаги.
Y1 ={10,11}
Компоненты процесса p2:
1. K – устройство управления
K+ - контролирует работу печати и всех элементов принтера
K– - бездействует
2. P – бумага
P+ - содержится в лотке
P– - отсутствует
3. V – система валиков для подачи бумаги
V+ - работает (перемещает бумагу)
V– - ожидает (покоится)
4. C – каретка с печатающими картриджами
C+ - перемещается
C– - покоится
5. R – нагревательный элемент (тонкопленочный резистр)
R+ - нагрет
R– - охлажден
6. S – сопло
S+ - выбрасывает каплю чернил
S– - бездействует
7. H – камера
H+ - содержит чернила
H– - пуста
8. B – пузырь
B+ - есть
B– - отсутствует
Ситуации процесса p2:
1. Проверка на наличие бумаги. Ее подача.
K+ P+ V+ C– R – S – H + B –
2. Каретка перемещается.
K+ P+ V– C+ R – S – H + B –
