Вывод: рассматриваемый процесс печати струйного принтера является эффективным, но не является ни управляемым, ни простым.
Операции над процессами.
Репозиция.
Репозиция - это возобновление процесса, механизм перехода от результантов к инициаторам.
В данном случае множество дополнительных ситуаций репозиции 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 –
3. Пропускается ток. Резистр осуществляет быстрый нагрев чернил, находящихся в небольшой камере, до температуры их кипения.
K+ P+ V– C– R + S – H + B –
4. Образуется пузырек воздуха, который постепенно растет. Из выходного отверстия сопла выдавливаются пузырем чернила. Ток отключается. Нагревательный элемент остывает.
K+ P+ V– C– R – S – H + B +
5. Пузырек лопается. Происходит отрыв и последующий выброс уже оформившейся капли на бумагу. Силы поверхностного натяжения втягивают новую порцию чернил в камеру.
K+ P+ V– C– R – S + H + B –
6. С помощью системы валиков бумага выходит из принтера.
K+ P– V + C– R – S – H + B –
K | P | V | C | R | S | H | B | |
s21 = | 1 | 1 | 1 | 0 | 0 | 0 | 1 | 0 |
s22 = | 1 | 1 | 0 | 1 | 0 | 0 | 1 | 0 |
s23 = | 1 | 1 | 0 | 0 | 1 | 0 | 1 | 0 |
s24 = | 1 | 1 | 0 | 0 | 0 | 0 | 1 | 1 |
s25 = | 1 | 1 | 0 | 0 | 0 | 1 | 1 | 0 |
s26 = | 1 | 0 | 1 | 0 | 0 | 0 | 1 | 0 |
Инициатор: I= { s21 }
Результант: R={ s25 , s26 }
Выделим в процессе первую (контроллер) и вторую (бумага) компоненты в качестве входных.
X2 = {10,11}.
Таким образом Y1 = X2
Редуцированные процессы P1(X*) и P2(X*), где X* = {11,10}.
Процесс p1:
K | P | M | |
s11 = | 1 | 0 | 1 |
s22 = | 1 | 1 | 1 |
Процесс p1:
K | P | V | C | R | S | H | B | |
s21 = | 1 | 1 | 1 | 0 | 0 | 0 | 1 | 0 |
s22 = | 1 | 1 | 0 | 1 | 0 | 0 | 1 | 0 |
s23 = | 1 | 1 | 0 | 0 | 1 | 0 | 1 | 0 |
s24 = | 1 | 1 | 0 | 0 | 0 | 0 | 1 | 1 |
s25 = | 1 | 1 | 0 | 0 | 0 | 1 | 1 | 0 |
s26 = | 1 | 0 | 1 | 0 | 0 | 0 | 1 | 0 |
Композиция двух процессов выглядит следующим образом:
I3 = {( s1)};
R3 = {( s26}.
M | K | P | V | C | R | S | H | B | |
s31 = | 1 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
s32 = | 1 | 1 | 1 | 1 | 0 | 0 | 0 | 1 | 0 |
s33 = | 1 | 1 | 1 | 0 | 1 | 0 | 0 | 1 | 0 |
s34 = | 1 | 1 | 1 | 0 | 0 | 1 | 0 | 1 | 0 |
s35 = | 1 | 1 | 1 | 0 | 0 | 0 | 0 | 1 | 1 |
s36 = | 1 | 1 | 1 | 0 | 0 | 0 | 1 | 1 | 0 |
s37 = | 1 | 1 | 0 | 1 | 0 | 0 | 0 | 1 | 0 |
Граф композиции: