Струйный принтер
Контрольная работа - Компьютеры, программирование
Другие контрольные работы по предмету Компьютеры, программирование
.s1 s2 s4 s7 s8. Печать листа осуществлена успешно.
2.s1 s2 s3. После проверки на наличие чернил выводится сообщение об ошибке, т.к. чернила отсутствуют.
3.s1 s2 s4 s5 s6 s4 s5 s6 … s6 s7 s8. После проверки на наличие бумаги выводится сообщение об ошибке, т.к. бумага отсутствует, и принтер ожидает установки бумаги в лоток. Далее выполнена печать листа.
4.s1 s2 s4 s5 s6 s4 s5 s6 … s6 s9. Зацикливание операции ожидания бумаги, принудительное удаление задания диспетчером печати.
5.s1 s2 s9, s1 s2 s4 s7 s9, s1 s2 s9. Удаление задания из различных состояний печати.
Примечание: цветом выделены части траекторий, означающие зацикливание прохождения ситуаций s4, s5 и s6. Допустимо прохождение как одной итерации цикла, так и большого количества итераций, однако выход из цикла рано или поздно произойдет.
Анализ свойств метамодели "асинхронный процесс"
Асинхронный процесс P является эффективным, если выполняются условия:
. " ситуации s S \ R найдется ситуация r R / s M r;
. " ситуации s S \ I найдется ситуация i I / i M s;
3. Не ситуаций si и sj / (si R) & (sj R) & (si M sj) & (sj M si).
Рассматриваемый асинхронный процесс не является эффективным, так как не выполняется условие 3: ситуации s4 и s5/ (s4 R) & (s5 R) & (s4 M s5) & (s5 M s4).
Асинхронный процесс по определению называется простым, если
1.он является эффективным,
2." i I, s S: (i F s) (s I),
." s S, r R: (s F r) (s R),
Рассматриваемый асинхронный процесс не является простым, т.к. не выполняется условие 1.
Для оценки управляемости асинхронного процесса, множество ситуаций необходимо разбить на классы эквивалентности. Для некоторого подмножества ситуаций вводится отношение эквивалентности E:
1.si, sj S: (si E sj) (si M sj) & (sj M si);
2."s S: s E s.
Таким образом, если между ситуациями существует цикл, они попадают в один класс эквивалентности (условие 1), в одном классе эквивалентности содержится минимум одна ситуация (условие 2).
В рассматриваемом асинхронном процессе получаем семь классов эквивалентности: K1 = {s1}, K2 = {s2}, K3 = {s3}, K4 = {s4, s5, s6}, K5 = {s7}, K6 = {s8}, K7 = {s9}. Допустимые последовательности классов: K1 K2 K4 K5 K6, K1 K2 K3, K1 K2 K7, K1 K2 K4 K7, K1 K2 K4 K5 K7. Таким образом, имеем начальный класс эквивалентности K1 и заключительные классы эквивалентности K3, K6, K7.
Асинхронный процесс по определению называется управляемым, если
.он является эффективным,
2.каждая допустимая последовательность классов ведет из начального в один и тот же заключительный класс.
Рассматриваемый асинхронный процесс не является управляемым, т.к. не выполняется условие 1.
Выводы:
Таким образом, удалось представить физический процесс печати одного листа на струйном принтере в виде метамодели "асинхронный процесс", т.е. была выделена четверка .
Также были проанализированы свойства процесса. Рассмотренный асинхронный процесс не является ни эффективным, ни простым, ни управляемым, содержит 7 классов эквивалентности, из которых один начальный, а три заключительных.
Операции над процессами
Репозиция
Определение репозиции
Репозицией асинхронного процесса P= такой, что S' IRSД, I' R, R' I.
Выполнение операции репозиции
Построим репозицию P' процесса P. Пусть множество инициаторов репозиции I' = {s3, s8, s9}, а множество результантов R' = {s1}. Введем дополнительные ситуации, составляющие множество SД = {s10, s11}.
SДКомпонентыФизический смыслMIERHSs10011001Ожидание поступления данных для печати очередного листаs11100001Ожидание установки картриджа
Тогда множество ситуаций репозиции S' = {s1, s3, s8, s9, s10, s11}. Зададим отношение непосредственного следования F' ситуаций репозиции: s3 F' s11, s11 F' s1, s8 F' s10, s9 F' s10, s10 F' s1. В построенном асинхронном процессе допустимы траектории: s3 s11 s1, s8 s10 s1, s9 s10 s1.
Объединим исходный асинхронный процесс с его репозицией.
Анализ свойств репозиции
Если I' = R и R' = I репозиция называется полной по определению. Если F' отсутствует, то репозиция не существует. В остальных случаях репозиция называется частичной.
Объединение полной репозиции и асинхронного процесса образует автономный процесс PА = такой, что SА = SSД, FА = FF'.
Проанализируем свойства построенной репозиции. I' = R и R' = I, следовательно репозиция является полной. Объединение процессов P и P' позволяет получить автономный процесс PА, т.к. репозиция P' является полной.
Выводы по выполнению операции репозиции
струйный принтер асинхронный процесс
Операция репозиции задает механизм перехода от результантов к инициаторам. Он необходим для получения эффекта возобновления асинхронного процесса или его повторной реактивации.
Построив объединение исходного асинхронного процесса и его репозиции, мы описали физический процесс печати на струйном принтере документа, состоящего из нескольких страниц.
4. Редукция
Определение редукции
Пусть задан неприведенный АП P = , множество ситуаций которого представимо упорядоченной тройкой S = (X, Y, Z), где X, Y и Z - соответственно множества значений (символов) входной компоненты, выходной компоненты и компонент