Струйный принтер
Контрольная работа - Компьютеры, программирование
Другие контрольные работы по предмету Компьютеры, программирование
и принтеру, она несет управляющую информацию), кроме того, выделена выходная компонента y1 (N = y1). Отношение непосредственного следования F1 задано графом.
S1КомпонентыФизический смыслRPN = y1s11001Создание процессаs12010Готовность к выполнениюs13100Выполнениеs14101Ожидание (состояние блокирования) s15001Завершение работы процесса
Представим процесс P1 более наглядно (цветом выделена выходная компонента y1, инициаторы и результанты помечены символами i и r соответственно):
Процесс PП2
Пусть задан АП из 1. Ранее мы получили его объединение с репозицией.
Согласно определению приведенного асинхронного процесса из отношения F' уберем пары, задающие переходы к инициаторам процесса. Получим процесс PП2 = . Множество ситуаций S2 = {s21, s22, s23, s24, s25, s26, s27, s28, s29, s210, s211}. Множество инициаторов I2 = {s21}. Множество результантов R2 = {s23, s28, s29, s210, s211}. Отношение непосредственного следования F2 представлено графом:
Пусть множество ситуаций S2 структурировано с выделением входной компоненты x1 (N - разделяемая ячейка памяти, доступная как диспетчеру печати, так и принтеру, она несет управляющую информацию):
S2КомпонентыФизический смыслN = x2MIERHSs210110000На принтер подаются данные для печати, которые записываются в память принтераs221111000Идёт проверка на наличие чернилs230001001Выводится сообщение об отсутствии чернилs241111100Проверка на наличие бумагиs251111001Выводится соответствующее сообщение об отсутствии бумагиs261110001Ожидание установки бумаги в лотокs271110110Печать листаs280010000Напечатанный лист выходит из принтера и память принтера освобождаетсяs290010100Принудительное удаление задания диспетчером печатиs2100011001Ожидание поступления данных для печати очередного листаs2110100001Ожидание установки картриджа
Представим процесс P П2 более наглядно (цветом выделена входная компонента x2, инициаторы и результанты помечены символами i и r соответственно):
Последовательность выполнения композиции
Определим порядок действий, которые необходимо выполнить для получения композиции процессов P1 и PП2.
.Определить множества Y*1 и X*2 - проекции множества пар соответствующих друг другу значений выходной компоненты процесса P1 и входной компоненты процесса P2 на множества Y1 и X2 соответственно.
2.По множествам Y*1 и X*2 построить редукции P1 (Y*1) и P2 (X*2) процессов P1 и PП2.
.Определить множества Y**1 и X**2 - проекции множества пар соответствующих друг другу значений выходной компоненты процесса P1 (Y*1) и входной компоненты процесса P2 (X*2) на множества Y*1 и X*2 соответственно. Обозначить Y**1 и X**2 через Y*1 и X*2 соответственно.
.Построить процесс P3 согласно ограничениям композиции.
.Определить инициаторы процесса P3: I3 (I1 (Y*1) R2 (X*2)) S3.
.Определить результанты процесса P3: R3 (R1 (Y*1) R2 (X*2)) S3.
Построение композиции
1.Определяем множества Y*1 и X*2.
1.1.Y1 = {0, 1} Y*1 = {0, 1}.
1.2.X2 = {0, 1} X*2 = {0, 1}.
2.Строим редукции P1 (Y*1) и P2 (X*2).
.1Редукция P1 (Y*1) процесса P1: Y*1 = Y1 P1 (Y*1) = P1 S1 (Y*1) = S1, F1 (Y*1) = F1, I1 (Y*1) = I1, R1 (Y*1) = R1.
2.2Редукция P2 (X*2) процесса PП2: X*2 = X2 P2 (X*2) = PП2 S2 (X*2) = S2, F2 (X*2) = F2, I2 (X*2) = I2, R2 (X*2) = R2.
3.Определяем множества Y**1 и X**2.
3.1Y**1 = {0, 1} = Y*1.
3.2X**2 = {0, 1} = X*2.
4.Строим процесс P3 согласно ограничениям композиции.
.1Для этого построим таблицу:
S1 S2s11s12s13s14s15001010100101001s210110000100110000s221111000101111000s230001001010001001s241111100101111100s251111001101111001s261110001101110001s271110110101110110s280010000010010000s290010100010010100s2100011001010011001100011001s2110100001010100001100100001
4.2Получаем композицию процессов:
4.3Отношение непосредственного следования представлено на графе:
4.4Докажем, что выполняется требование 3) композиции, т.е. если в S3 компонента s2 I2 (X*2), то s1 R1 (Y*1):
S3 = { (s13, s21), (s14, s22), (s12, s23), (s12, s211), (s13, s211), (s14, s24), (s14, s25), (s14, s26), (s14, s27), (s12, s28), (s12, s29), (s12, s210), (s13, s210) },1 (Y*1) = {s12, s13, s14, s15},2 (X*2) = {s21},
Выберем из S3 все ситуации s3 = (s1, s2) такие, что s2 = s21: (s13, s21). Очевидно, что s1 = s13 R1 (Y*1)
.Определяем инициаторы процесса P3: I3 (I1 (Y*1) R2 (X*2)) S3
I1 (Y*1) = {s11}, R2 (X*2) = {s13, s18, s19, s110, s111},3 = { (s13, s21), (s14, s22), (s12, s23), (s12, s211), (s13, s211), (s14, s24), (s14, s25), (s14, s26), (s14, s27), (s12, s28), (s12, s29), (s12, s210), (s13, s210) },3 (I1 (Y*1) R2 (X*2)) S3 = , I3 = .
.Определяем результанты процесса P3: R3 (R1 (Y*1) R2 (X*2)) S3
R3 = { (s12, s23), (s12, s211), (s13, s211), (s12, s28), (s12, s29), (s12, s210), (s13, s210) }.
Докажем, что R3 (R1 (Y*1) R2 (X*2)) S3:
R1 (Y*1) = {s22, s23, s24, s25},2 (X*2) = {s13, s18, s19, s110, s111},3 = { (s13, s21), (s14, s22), (s12, s23), (s12, s211), (s13, s211), (s14, s24), (s14, s25), (s14, s26), (s14, s27), (s12, s28), (s12, s29), (s12, s210), (s13, s210) },
(R1 (Y*1) R2 (X*2)) S3 = S3,R3 S3 3 (R1 (Y*1) R2 (X*2)) S3.
Выводы по выполнению операции композиции
Удалось построить процесс, удовлетворяющий всем требованиям последовательной композиции.
Построенная композиция описывает физический процесс совместной работы диспетчера печати и струйного принтера во время физического процесса печати одного листа и до загрузки нового задания печати. Процесс совместной работы можно представить на схеме:
Выводы:
Были исследованы основные операции над асинхронными процессами: репозиция, редукция и композиция. Где это было необходимо, доказано по определениям, что операции выполнены верно. В ходе выполнения операций были построены конкретные асинхронные процессы и объяснен их физический смысл.
5. Предметная интерпретация асинхронного процесса
Исходный асинхронный процесс
Для построения сети Пет?/p>