Лаба №2
.docЧасть2. Анализ ОГМ последовательных программ на основе аппарата поглощающих цепей Маркова
Текст задания
Для полученного графа построить соответствующую ему поглощающую цепь Маркова (ПЦМ), определить ее фундаментальную матрицу (ФМ) и вектор нагрузочных параметров L. Вычислить оценки средних времен, дисперсии и СКО времен выполнения как всей программы, так и ее основных фрагментов, на которые она может быть разбита (при затруднении с выбором – согласовать с преподавателем). Определение ФМ ПЦМ требуется выполнить двумя способами:
-
путем непосредственного обращения матрицы (I-Q), полученной по переходной матрице ПЦМ, соответствующей графу всей программы;
-
путем структурной детализации фундаментальных матриц, соответствующих подграфам элементарных вычислительных процессов.
Оценки времен выполнения следует определить как в тактах, так и в абсолютных единицах времени (сек, мсек или мксек). Результаты расчетов представить в виде таблиц как для всей программы, так и для ее фрагментов.
Пересчет параметров при переходе от ГНД к ГНВ:
Конструкция Цикл с постусловием (do-while)
(а) |
|
|
|
(б) |
(в) |
Рис. 1 Граф переходов (а), ГНД (б) и ГНВ (в) для цикла с постусловием
Пересчет параметров при переходе от графа переходов к ГНД:
P(cond1) = N2,1 / (N2,1 + N2,3)
P(cond0) = 1 – P(cond1) = N2,3 / (N2,1 + N2,3)
L(cond1) = L2,1
L(cond0) = L2,3
L(body) = L1,2
Пересчет параметров при переходе от ГНД к ГНВ:
P = P(cond1)
Q = 1 – P
L(cond) = P* L(cond1) + Q* L(cond0)
Получаем:
L(T4)=L(t4->t6) =0.64
P(t5->t4)=0.5
P(t5->t3)=0.5
L(T5)=0.5*(L( t5->t4)+ L( t5->t3))=0.5*(0.48+0.49)=0.485
Конструкция Цикл со счетчиком (for)
(а) |
|
|
|
(б) |
(в) |
Рис. 2. Граф переходов (а), ГНД (б) и ГНВ (в) для цикла со счетчиком
Пересчет параметров при переходе от графа переходов к ГНД:
P(cond1) = N2,3 / (N2,3 + N2,5)
P(cond0) = 1 – P(cond1) = N2,5 / (N2,3 + N2,5)
L(cond1) = L2,3
L(cond0) = L2,5
L(body) = L3,4
L(init) = L1,2
L(update) = L4,2
Пересчет параметров при переходе от ГНД к ГНВ:
P = P(cond1)
Q = 1 – P
L(cond) = P* L(cond1) + Q* L(cond0)
L(init) = LГНД (init)
L(update) = LГНД (update)
Получаем:
L(T8)=0.99*L( t8->t9)+ 0.01*L( t8->t7))=0.99*0.31+0.01*0.28=0.3097
L(T6)=L( t6->t8)=0.27
L(T10)=L( t10->t8)=0.29
Граф с нагруженными вершинами:
tops {
t0(1.62), t2(0.25), t3(0), t4(0.64), t5(0.485), t6(0.27), t7(0.38), t8(0.31), t9(0.55), t10(0.29)
}
links {
t0 -> t2 (1), t2 -> t4 (1), t4 -> t6 (1), t6 -> t8 (1), t8 -> t9 (0.99), t8 -> t7 (0.01),
t9 -> t10 (1), t10 -> t8 (1), t7 -> t5 (1), t5 -> t4 (0.5), t5 -> t3 (0.5)
}
В итоге:
tops {
t0(1.62),
t2(0.25),
t4(0.64),
FAKE1(0),
t6(0.27),
t8(0.31),
t9(0.55),
FAKE2(0),
FAKE3(0),
t10(0.29),
t7(0.38),
FAKE4(0),
FAKE6(0),
FAKE5(0),
FAKE7(0),
t5(0.485),
tt4(0.64),
FAKE8(0),
tt6(0.27),
tt8(0.31),
tt9(0.55),
FAKE10(0),
FAKE11(0),
tt10(0.29),
tt7(0.38),
FAKE9(0),
t3(0),
FAKE12(0)
}
links {
t0->t2(1),
t2->FAKE6(0),
t2->t4(1),
t4->FAKE1(1),
FAKE1->t6(1),
t6->t8(1),
t8->t9(0.99),
t9->FAKE2(1),
FAKE2->FAKE3(1),
FAKE3->t10(1),
t10->t8(1),
t8->t7(0.01),
t7->FAKE4(1),
FAKE6->FAKE5(1),
FAKE4->FAKE5(1),
FAKE5->FAKE7(1),
FAKE7->t5(1),
t5->tt4(0.5),
tt4->FAKE8(1),
FAKE8->tt6(1),
tt6->tt8(1),
tt8->tt9(0.99),
tt9->FAKE10(1),
FAKE10->FAKE11(1),
FAKE11->tt10(1),
tt10->tt8(1),
tt8->tt7(0.01),
tt7->FAKE9(1),
FAKE9->t5(1),
t5->t3(0.5),
t3->FAKE12(1)
}
Определение ФМ ПЦМ путем непосредственного обращения матрицы (I-Q)
Определение ФМ ПЦМ путем структурной детализации
Результат:
(T0,T0) = 1
(T0,T2) = 1
(T0,FAKE6) = 0
(T0,T4) = 1
(T0,FAKE1) = 1
(T0,T6) = 1
(T0,T8) = 100
(T0,T9) = 99
(T0,FAKE2) = 99
(T0,FAKE3) = 99
(T0,T10) = 99
(T0,T7) = 1
(T0,FAKE4) = 1
(T0,FAKE5) = 1
(T0,FAKE7) = 1
(T0,T5) = 2
(T0,TT4) = 1
(T0,FAKE8) = 1
(T0,TT6) = 1
(T0,TT8) = 100
(T0,TT9) = 99
(T0,FAKE10) = 99
(T0,FAKE11) = 99
(T0,TT10) = 99
(T0,TT7) = 1
(T0,FAKE9) = 1
(T0,T3) = 1
(T0,FAKE12) = 1
(T2,T0) = 0
(T2,T2) = 1
(T2,FAKE6) = 0
(T2,T4) = 1
(T2,FAKE1) = 1
(T2,T6) = 1
(T2,T8) = 100
(T2,T9) = 99
(T2,FAKE2) = 99
(T2,FAKE3) = 99
(T2,T10) = 99
(T2,T7) = 1
(T2,FAKE4) = 1
(T2,FAKE5) = 1
(T2,FAKE7) = 1
(T2,T5) = 2
(T2,TT4) = 1
(T2,FAKE8) = 1
(T2,TT6) = 1
(T2,TT8) = 100
(T2,TT9) = 99
(T2,FAKE10) = 99
(T2,FAKE11) = 99
(T2,TT10) = 99
(T2,TT7) = 1
(T2,FAKE9) = 1
(T2,T3) = 1
(T2,FAKE12) = 1
(FAKE6,T0) = 0
(FAKE6,T2) = 0
(FAKE6,FAKE6) = 1
(FAKE6,T4) = 0
(FAKE6,FAKE1) = 0
(FAKE6,T6) = 0
(FAKE6,T8) = 0
(FAKE6,T9) = 0
(FAKE6,FAKE2) = 0
(FAKE6,FAKE3) = 0
(FAKE6,T10) = 0
(FAKE6,T7) = 0
(FAKE6,FAKE4) = 0
(FAKE6,FAKE5) = 1
(FAKE6,FAKE7) = 1
(FAKE6,T5) = 2
(FAKE6,TT4) = 1
(FAKE6,FAKE8) = 1
(FAKE6,TT6) = 1
(FAKE6,TT8) = 100
(FAKE6,TT9) = 99
(FAKE6,FAKE10) = 99
(FAKE6,FAKE11) = 99
(FAKE6,TT10) = 99
(FAKE6,TT7) = 1
(FAKE6,FAKE9) = 1
(FAKE6,T3) = 1
(FAKE6,FAKE12) = 1
(T4,T0) = 0
(T4,T2) = 0
(T4,FAKE6) = 0
(T4,T4) = 1
(T4,FAKE1) = 1
(T4,T6) = 1
(T4,T8) = 100
(T4,T9) = 99
(T4,FAKE2) = 99
(T4,FAKE3) = 99
(T4,T10) = 99
(T4,T7) = 1
(T4,FAKE4) = 1
(T4,FAKE5) = 1
(T4,FAKE7) = 1
(T4,T5) = 2
(T4,TT4) = 1
(T4,FAKE8) = 1
(T4,TT6) = 1
(T4,TT8) = 100
(T4,TT9) = 99
(T4,FAKE10) = 99
(T4,FAKE11) = 99
(T4,TT10) = 99
(T4,TT7) = 1
(T4,FAKE9) = 1
(T4,T3) = 1
(T4,FAKE12) = 1
(FAKE1,T0) = 0
(FAKE1,T2) = 0
(FAKE1,FAKE6) = 0
(FAKE1,T4) = 0
(FAKE1,FAKE1) = 1
(FAKE1,T6) = 1
(FAKE1,T8) = 100
(FAKE1,T9) = 99
(FAKE1,FAKE2) = 99
(FAKE1,FAKE3) = 99
(FAKE1,T10) = 99
(FAKE1,T7) = 1
(FAKE1,FAKE4) = 1
(FAKE1,FAKE5) = 1
(FAKE1,FAKE7) = 1
(FAKE1,T5) = 2
(FAKE1,TT4) = 1
(FAKE1,FAKE8) = 1
(FAKE1,TT6) = 1
(FAKE1,TT8) = 100
(FAKE1,TT9) = 99
(FAKE1,FAKE10) = 99
(FAKE1,FAKE11) = 99
(FAKE1,TT10) = 99
(FAKE1,TT7) = 1
(FAKE1,FAKE9) = 1
(FAKE1,T3) = 1
(FAKE1,FAKE12) = 1
(T6,T0) = 0
(T6,T2) = 0
(T6,FAKE6) = 0
(T6,T4) = 0
(T6,FAKE1) = 0
(T6,T6) = 1
(T6,T8) = 100
(T6,T9) = 99
(T6,FAKE2) = 99
(T6,FAKE3) = 99
(T6,T10) = 99
(T6,T7) = 1
(T6,FAKE4) = 1
(T6,FAKE5) = 1
(T6,FAKE7) = 1
(T6,T5) = 2
(T6,TT4) = 1
(T6,FAKE8) = 1
(T6,TT6) = 1
(T6,TT8) = 100
(T6,TT9) = 99
(T6,FAKE10) = 99
(T6,FAKE11) = 99
(T6,TT10) = 99
(T6,TT7) = 1
(T6,FAKE9) = 1
(T6,T3) = 1
(T6,FAKE12) = 1
(T8,T0) = 0
(T8,T2) = 0
(T8,FAKE6) = 0
(T8,T4) = 0
(T8,FAKE1) = 0
(T8,T6) = 0
(T8,T8) = 100
(T8,T9) = 99
(T8,FAKE2) = 99
(T8,FAKE3) = 99
(T8,T10) = 99
(T8,T7) = 1
(T8,FAKE4) = 1
(T8,FAKE5) = 1
(T8,FAKE7) = 1
(T8,T5) = 2
(T8,TT4) = 1
(T8,FAKE8) = 1
(T8,TT6) = 1
(T8,TT8) = 100
(T8,TT9) = 99
(T8,FAKE10) = 99
(T8,FAKE11) = 99
(T8,TT10) = 99
(T8,TT7) = 1
(T8,FAKE9) = 1
(T8,T3) = 1
(T8,FAKE12) = 1
(T9,T0) = 0
(T9,T2) = 0
(T9,FAKE6) = 0
(T9,T4) = 0
(T9,FAKE1) = 0
(T9,T6) = 0
(T9,T8) = 100
(T9,T9) = 100
(T9,FAKE2) = 100
(T9,FAKE3) = 100
(T9,T10) = 100
(T9,T7) = 1
(T9,FAKE4) = 1
(T9,FAKE5) = 1
(T9,FAKE7) = 1
(T9,T5) = 2
(T9,TT4) = 1
(T9,FAKE8) = 1
(T9,TT6) = 1
(T9,TT8) = 100
(T9,TT9) = 99
(T9,FAKE10) = 99
(T9,FAKE11) = 99
(T9,TT10) = 99
(T9,TT7) = 1
(T9,FAKE9) = 1
(T9,T3) = 1
(T9,FAKE12) = 1
(FAKE2,T0) = 0
(FAKE2,T2) = 0
(FAKE2,FAKE6) = 0
(FAKE2,T4) = 0
(FAKE2,FAKE1) = 0
(FAKE2,T6) = 0
(FAKE2,T8) = 100
(FAKE2,T9) = 99
(FAKE2,FAKE2) = 100
(FAKE2,FAKE3) = 100
(FAKE2,T10) = 100
(FAKE2,T7) = 1
(FAKE2,FAKE4) = 1
(FAKE2,FAKE5) = 1
(FAKE2,FAKE7) = 1
(FAKE2,T5) = 2
(FAKE2,TT4) = 1
(FAKE2,FAKE8) = 1
(FAKE2,TT6) = 1
(FAKE2,TT8) = 100
(FAKE2,TT9) = 99
(FAKE2,FAKE10) = 99
(FAKE2,FAKE11) = 99
(FAKE2,TT10) = 99
(FAKE2,TT7) = 1
(FAKE2,FAKE9) = 1
(FAKE2,T3) = 1
(FAKE2,FAKE12) = 1
(FAKE3,T0) = 0
(FAKE3,T2) = 0
(FAKE3,FAKE6) = 0
(FAKE3,T4) = 0
(FAKE3,FAKE1) = 0
(FAKE3,T6) = 0
(FAKE3,T8) = 100
(FAKE3,T9) = 99
(FAKE3,FAKE2) = 99
(FAKE3,FAKE3) = 100
(FAKE3,T10) = 100
(FAKE3,T7) = 1
(FAKE3,FAKE4) = 1
(FAKE3,FAKE5) = 1
(FAKE3,FAKE7) = 1
(FAKE3,T5) = 2
(FAKE3,TT4) = 1
(FAKE3,FAKE8) = 1
(FAKE3,TT6) = 1
(FAKE3,TT8) = 100
(FAKE3,TT9) = 99
(FAKE3,FAKE10) = 99
(FAKE3,FAKE11) = 99
(FAKE3,TT10) = 99
(FAKE3,TT7) = 1
(FAKE3,FAKE9) = 1
(FAKE3,T3) = 1
(FAKE3,FAKE12) = 1
(T10,T0) = 0
(T10,T2) = 0
(T10,FAKE6) = 0
(T10,T4) = 0
(T10,FAKE1) = 0
(T10,T6) = 0
(T10,T8) = 100
(T10,T9) = 99
(T10,FAKE2) = 99
(T10,FAKE3) = 99
(T10,T10) = 100
(T10,T7) = 1
(T10,FAKE4) = 1
(T10,FAKE5) = 1
(T10,FAKE7) = 1
(T10,T5) = 2
(T10,TT4) = 1
(T10,FAKE8) = 1
(T10,TT6) = 1
(T10,TT8) = 100
(T10,TT9) = 99
(T10,FAKE10) = 99
(T10,FAKE11) = 99
(T10,TT10) = 99
(T10,TT7) = 1
(T10,FAKE9) = 1
(T10,T3) = 1
(T10,FAKE12) = 1
(T7,T0) = 0
(T7,T2) = 0
(T7,FAKE6) = 0
(T7,T4) = 0
(T7,FAKE1) = 0
(T7,T6) = 0
(T7,T8) = 0
(T7,T9) = 0
(T7,FAKE2) = 0
(T7,FAKE3) = 0
(T7,T10) = 0
(T7,T7) = 1
(T7,FAKE4) = 1
(T7,FAKE5) = 1
(T7,FAKE7) = 1
(T7,T5) = 2
(T7,TT4) = 1
(T7,FAKE8) = 1
(T7,TT6) = 1
(T7,TT8) = 100
(T7,TT9) = 99
(T7,FAKE10) = 99
(T7,FAKE11) = 99
(T7,TT10) = 99
(T7,TT7) = 1
(T7,FAKE9) = 1
(T7,T3) = 1
(T7,FAKE12) = 1
(FAKE4,T0) = 0
(FAKE4,T2) = 0
(FAKE4,FAKE6) = 0
(FAKE4,T4) = 0
(FAKE4,FAKE1) = 0
(FAKE4,T6) = 0
(FAKE4,T8) = 0
(FAKE4,T9) = 0
(FAKE4,FAKE2) = 0
(FAKE4,FAKE3) = 0
(FAKE4,T10) = 0
(FAKE4,T7) = 0
(FAKE4,FAKE4) = 1
(FAKE4,FAKE5) = 1
(FAKE4,FAKE7) = 1
(FAKE4,T5) = 2
(FAKE4,TT4) = 1
(FAKE4,FAKE8) = 1
(FAKE4,TT6) = 1
(FAKE4,TT8) = 100
(FAKE4,TT9) = 99
(FAKE4,FAKE10) = 99
(FAKE4,FAKE11) = 99
(FAKE4,TT10) = 99
(FAKE4,TT7) = 1
(FAKE4,FAKE9) = 1
(FAKE4,T3) = 1
(FAKE4,FAKE12) = 1
(FAKE5,T0) = 0
(FAKE5,T2) = 0
(FAKE5,FAKE6) = 0
(FAKE5,T4) = 0
(FAKE5,FAKE1) = 0
(FAKE5,T6) = 0
(FAKE5,T8) = 0
(FAKE5,T9) = 0
(FAKE5,FAKE2) = 0
(FAKE5,FAKE3) = 0
(FAKE5,T10) = 0
(FAKE5,T7) = 0
(FAKE5,FAKE4) = 0
(FAKE5,FAKE5) = 1
(FAKE5,FAKE7) = 1
(FAKE5,T5) = 2
(FAKE5,TT4) = 1
(FAKE5,FAKE8) = 1
(FAKE5,TT6) = 1
(FAKE5,TT8) = 100
(FAKE5,TT9) = 99
(FAKE5,FAKE10) = 99
(FAKE5,FAKE11) = 99
(FAKE5,TT10) = 99
(FAKE5,TT7) = 1
(FAKE5,FAKE9) = 1
(FAKE5,T3) = 1
(FAKE5,FAKE12) = 1
(FAKE7,T0) = 0
(FAKE7,T2) = 0
(FAKE7,FAKE6) = 0
(FAKE7,T4) = 0
(FAKE7,FAKE1) = 0
(FAKE7,T6) = 0
(FAKE7,T8) = 0
(FAKE7,T9) = 0
(FAKE7,FAKE2) = 0
(FAKE7,FAKE3) = 0
(FAKE7,T10) = 0
(FAKE7,T7) = 0
(FAKE7,FAKE4) = 0
(FAKE7,FAKE5) = 0
(FAKE7,FAKE7) = 1
(FAKE7,T5) = 2
(FAKE7,TT4) = 1
(FAKE7,FAKE8) = 1
(FAKE7,TT6) = 1
(FAKE7,TT8) = 100
(FAKE7,TT9) = 99
(FAKE7,FAKE10) = 99
(FAKE7,FAKE11) = 99
(FAKE7,TT10) = 99
(FAKE7,TT7) = 1
(FAKE7,FAKE9) = 1
(FAKE7,T3) = 1
(FAKE7,FAKE12) = 1
(T5,T0) = 0
(T5,T2) = 0
(T5,FAKE6) = 0
(T5,T4) = 0
(T5,FAKE1) = 0
(T5,T6) = 0
(T5,T8) = 0
(T5,T9) = 0
(T5,FAKE2) = 0
(T5,FAKE3) = 0
(T5,T10) = 0
(T5,T7) = 0
(T5,FAKE4) = 0
(T5,FAKE5) = 0
(T5,FAKE7) = 0
(T5,T5) = 2
(T5,TT4) = 1
(T5,FAKE8) = 1
(T5,TT6) = 1
(T5,TT8) = 100
(T5,TT9) = 99
(T5,FAKE10) = 99
(T5,FAKE11) = 99
(T5,TT10) = 99
(T5,TT7) = 1
(T5,FAKE9) = 1
(T5,T3) = 1
(T5,FAKE12) = 1
(TT4,T0) = 0
(TT4,T2) = 0
(TT4,FAKE6) = 0
(TT4,T4) = 0
(TT4,FAKE1) = 0
(TT4,T6) = 0
(TT4,T8) = 0
(TT4,T9) = 0
(TT4,FAKE2) = 0
(TT4,FAKE3) = 0
(TT4,T10) = 0
(TT4,T7) = 0
(TT4,FAKE4) = 0
(TT4,FAKE5) = 0
(TT4,FAKE7) = 0
(TT4,T5) = 2
(TT4,TT4) = 2
(TT4,FAKE8) = 2
(TT4,TT6) = 2
(TT4,TT8) = 200
(TT4,TT9) = 198
(TT4,FAKE10) = 198
(TT4,FAKE11) = 198
(TT4,TT10) = 198
(TT4,TT7) = 2
(TT4,FAKE9) = 2
(TT4,T3) = 1
(TT4,FAKE12) = 1
(FAKE8,T0) = 0
(FAKE8,T2) = 0
(FAKE8,FAKE6) = 0
(FAKE8,T4) = 0
(FAKE8,FAKE1) = 0
(FAKE8,T6) = 0
(FAKE8,T8) = 0
(FAKE8,T9) = 0
(FAKE8,FAKE2) = 0
(FAKE8,FAKE3) = 0
(FAKE8,T10) = 0
(FAKE8,T7) = 0
(FAKE8,FAKE4) = 0
(FAKE8,FAKE5) = 0
(FAKE8,FAKE7) = 0
(FAKE8,T5) = 2
(FAKE8,TT4) = 1
(FAKE8,FAKE8) = 2
(FAKE8,TT6) = 2
(FAKE8,TT8) = 200
(FAKE8,TT9) = 198
(FAKE8,FAKE10) = 198
(FAKE8,FAKE11) = 198
(FAKE8,TT10) = 198
(FAKE8,TT7) = 2
(FAKE8,FAKE9) = 2
(FAKE8,T3) = 1
(FAKE8,FAKE12) = 1
(TT6,T0) = 0
(TT6,T2) = 0
(TT6,FAKE6) = 0
(TT6,T4) = 0
(TT6,FAKE1) = 0
(TT6,T6) = 0
(TT6,T8) = 0
(TT6,T9) = 0
(TT6,FAKE2) = 0
(TT6,FAKE3) = 0
(TT6,T10) = 0
(TT6,T7) = 0
(TT6,FAKE4) = 0
(TT6,FAKE5) = 0
(TT6,FAKE7) = 0
(TT6,T5) = 2
(TT6,TT4) = 1
(TT6,FAKE8) = 1
(TT6,TT6) = 2
(TT6,TT8) = 200
(TT6,TT9) = 198
(TT6,FAKE10) = 198
(TT6,FAKE11) = 198
(TT6,TT10) = 198
(TT6,TT7) = 2
(TT6,FAKE9) = 2
(TT6,T3) = 1
(TT6,FAKE12) = 1
(TT8,T0) = 0
(TT8,T2) = 0
(TT8,FAKE6) = 0
(TT8,T4) = 0
(TT8,FAKE1) = 0
(TT8,T6) = 0
(TT8,T8) = 0
(TT8,T9) = 0
(TT8,FAKE2) = 0
(TT8,FAKE3) = 0
(TT8,T10) = 0
(TT8,T7) = 0
(TT8,FAKE4) = 0
(TT8,FAKE5) = 0
(TT8,FAKE7) = 0
(TT8,T5) = 2
(TT8,TT4) = 1
(TT8,FAKE8) = 1
(TT8,TT6) = 1
(TT8,TT8) = 200
(TT8,TT9) = 198
(TT8,FAKE10) = 198
(TT8,FAKE11) = 198
(TT8,TT10) = 198
(TT8,TT7) = 2
(TT8,FAKE9) = 2
(TT8,T3) = 1
(TT8,FAKE12) = 1
(TT9,T0) = 0
(TT9,T2) = 0
(TT9,FAKE6) = 0
(TT9,T4) = 0
(TT9,FAKE1) = 0
(TT9,T6) = 0
(TT9,T8) = 0
(TT9,T9) = 0
(TT9,FAKE2) = 0
(TT9,FAKE3) = 0
(TT9,T10) = 0
(TT9,T7) = 0
(TT9,FAKE4) = 0
(TT9,FAKE5) = 0
(TT9,FAKE7) = 0
(TT9,T5) = 2
(TT9,TT4) = 1
(TT9,FAKE8) = 1
(TT9,TT6) = 1
(TT9,TT8) = 200
(TT9,TT9) = 199
(TT9,FAKE10) = 199
(TT9,FAKE11) = 199
(TT9,TT10) = 199
(TT9,TT7) = 2
(TT9,FAKE9) = 2
(TT9,T3) = 1
(TT9,FAKE12) = 1
(FAKE10,T0) = 0
(FAKE10,T2) = 0
(FAKE10,FAKE6) = 0
(FAKE10,T4) = 0
(FAKE10,FAKE1) = 0
(FAKE10,T6) = 0
(FAKE10,T8) = 0
(FAKE10,T9) = 0
(FAKE10,FAKE2) = 0
(FAKE10,FAKE3) = 0
(FAKE10,T10) = 0
(FAKE10,T7) = 0
(FAKE10,FAKE4) = 0
(FAKE10,FAKE5) = 0
(FAKE10,FAKE7) = 0
(FAKE10,T5) = 2
(FAKE10,TT4) = 1
(FAKE10,FAKE8) = 1
(FAKE10,TT6) = 1
(FAKE10,TT8) = 200
(FAKE10,TT9) = 198
(FAKE10,FAKE10) = 199
(FAKE10,FAKE11) = 199
(FAKE10,TT10) = 199
(FAKE10,TT7) = 2
(FAKE10,FAKE9) = 2
(FAKE10,T3) = 1
(FAKE10,FAKE12) = 1
(FAKE11,T0) = 0
(FAKE11,T2) = 0
(FAKE11,FAKE6) = 0
(FAKE11,T4) = 0
(FAKE11,FAKE1) = 0
(FAKE11,T6) = 0
(FAKE11,T8) = 0
(FAKE11,T9) = 0
(FAKE11,FAKE2) = 0
(FAKE11,FAKE3) = 0
(FAKE11,T10) = 0
(FAKE11,T7) = 0
(FAKE11,FAKE4) = 0
(FAKE11,FAKE5) = 0
(FAKE11,FAKE7) = 0
(FAKE11,T5) = 2
(FAKE11,TT4) = 1
(FAKE11,FAKE8) = 1
(FAKE11,TT6) = 1
(FAKE11,TT8) = 200
(FAKE11,TT9) = 198
(FAKE11,FAKE10) = 198
(FAKE11,FAKE11) = 199
(FAKE11,TT10) = 199
(FAKE11,TT7) = 2
(FAKE11,FAKE9) = 2
(FAKE11,T3) = 1
(FAKE11,FAKE12) = 1
(TT10,T0) = 0
(TT10,T2) = 0
(TT10,FAKE6) = 0
(TT10,T4) = 0
(TT10,FAKE1) = 0
(TT10,T6) = 0
(TT10,T8) = 0
(TT10,T9) = 0
(TT10,FAKE2) = 0
(TT10,FAKE3) = 0
(TT10,T10) = 0
(TT10,T7) = 0
(TT10,FAKE4) = 0
(TT10,FAKE5) = 0
(TT10,FAKE7) = 0
(TT10,T5) = 2
(TT10,TT4) = 1
(TT10,FAKE8) = 1
(TT10,TT6) = 1
(TT10,TT8) = 200
(TT10,TT9) = 198
(TT10,FAKE10) = 198
(TT10,FAKE11) = 198
(TT10,TT10) = 199
(TT10,TT7) = 2
(TT10,FAKE9) = 2
(TT10,T3) = 1
(TT10,FAKE12) = 1
(TT7,T0) = 0
(TT7,T2) = 0
(TT7,FAKE6) = 0
(TT7,T4) = 0
(TT7,FAKE1) = 0
(TT7,T6) = 0
(TT7,T8) = 0
(TT7,T9) = 0
(TT7,FAKE2) = 0
(TT7,FAKE3) = 0
(TT7,T10) = 0
(TT7,T7) = 0
(TT7,FAKE4) = 0
(TT7,FAKE5) = 0
(TT7,FAKE7) = 0
(TT7,T5) = 2
(TT7,TT4) = 1
(TT7,FAKE8) = 1
(TT7,TT6) = 1
(TT7,TT8) = 100
(TT7,TT9) = 99
(TT7,FAKE10) = 99
(TT7,FAKE11) = 99
(TT7,TT10) = 99
(TT7,TT7) = 2
(TT7,FAKE9) = 2
(TT7,T3) = 1
(TT7,FAKE12) = 1
(FAKE9,T0) = 0
(FAKE9,T2) = 0
(FAKE9,FAKE6) = 0
(FAKE9,T4) = 0
(FAKE9,FAKE1) = 0
(FAKE9,T6) = 0
(FAKE9,T8) = 0
(FAKE9,T9) = 0
(FAKE9,FAKE2) = 0
(FAKE9,FAKE3) = 0
(FAKE9,T10) = 0
(FAKE9,T7) = 0
(FAKE9,FAKE4) = 0
(FAKE9,FAKE5) = 0
(FAKE9,FAKE7) = 0
(FAKE9,T5) = 2
(FAKE9,TT4) = 1
(FAKE9,FAKE8) = 1
(FAKE9,TT6) = 1
(FAKE9,TT8) = 100
(FAKE9,TT9) = 99
(FAKE9,FAKE10) = 99
(FAKE9,FAKE11) = 99
(FAKE9,TT10) = 99
(FAKE9,TT7) = 1
(FAKE9,FAKE9) = 2
(FAKE9,T3) = 1
(FAKE9,FAKE12) = 1
(T3,T0) = 0
(T3,T2) = 0
(T3,FAKE6) = 0
(T3,T4) = 0
(T3,FAKE1) = 0
(T3,T6) = 0
(T3,T8) = 0
(T3,T9) = 0
(T3,FAKE2) = 0
(T3,FAKE3) = 0
(T3,T10) = 0
(T3,T7) = 0
(T3,FAKE4) = 0
(T3,FAKE5) = 0
(T3,FAKE7) = 0
(T3,T5) = 0
(T3,TT4) = 0
(T3,FAKE8) = 0
(T3,TT6) = 0
(T3,TT8) = 0
(T3,TT9) = 0
(T3,FAKE10) = 0
(T3,FAKE11) = 0
(T3,TT10) = 0
(T3,TT7) = 0
(T3,FAKE9) = 0
(T3,T3) = 1
(T3,FAKE12) = 1
(FAKE12,T0) = 0
(FAKE12,T2) = 0
(FAKE12,FAKE6) = 0
(FAKE12,T4) = 0
(FAKE12,FAKE1) = 0
(FAKE12,T6) = 0
(FAKE12,T8) = 0
(FAKE12,T9) = 0
(FAKE12,FAKE2) = 0
(FAKE12,FAKE3) = 0
(FAKE12,T10) = 0
(FAKE12,T7) = 0
(FAKE12,FAKE4) = 0
(FAKE12,FAKE5) = 0
(FAKE12,FAKE7) = 0
(FAKE12,T5) = 0
(FAKE12,TT4) = 0
(FAKE12,FAKE8) = 0
(FAKE12,TT6) = 0
(FAKE12,TT8) = 0
(FAKE12,TT9) = 0
(FAKE12,FAKE10) = 0
(FAKE12,FAKE11) = 0
(FAKE12,TT10) = 0
(FAKE12,TT7) = 0
(FAKE12,FAKE9) = 0
(FAKE12,T3) = 0
(FAKE12,FAKE12) = 1
Вычисление средних и дисперсии
Для фрагмента (tt4-fake9)
Вызвано распознавание шаблона для подграфа @ROOT:
начальная вершина TT4, конечная вершина FAKE9
Конструкция СЛЕДОВАНИЕ
Начало первого оператора: FAKE8
Окончание первого оператора: FAKE8
Начало второго оператора: TT6
Окончание второго оператора: TT7
Матрица для подстановки:
**********************************************************
TT4 ║ 1 1 1 1 ║
@TMP0 ║ 0 1 1 1 ║
@TMP1 ║ 0 0 1 1 ║
FAKE9 ║ 0 0 0 1 ║
**********************************************************
Вызвано распознавание шаблона для подграфа @TMP0:
начальная вершина FAKE8, конечная вершина FAKE8
Шаблон распознан как атомарная операция
Вызвано распознавание шаблона для подграфа @TMP1:
начальная вершина TT6, конечная вершина TT7
Конструкция ЦИКЛ
Вершина проверки условия: TT8
Дуга, входящая в тело цикла: TT8->TT9
Дуга, выходящая из тела цикла: TT10->TT8
Вероятность повторения тела цикла: 0.99
Вероятность выхода из цикла: 0.01
Матрица для подстановки:
**********************************************************
TT6 ║ 1 100 99 1 ║
TT8 ║ 0 100 99 1 ║
@TMP2 ║ 0 100 100 1 ║
TT7 ║ 0 0 0 1 ║
**********************************************************
Вызвано распознавание шаблона для подграфа @TMP2:
начальная вершина TT9, конечная вершина TT10
Конструкция СЛЕДОВАНИЕ
Начало первого оператора: FAKE10
Окончание первого оператора: FAKE10
Начало второго оператора: FAKE11
Окончание второго оператора: FAKE11
Матрица для подстановки:
**********************************************************
TT9 ║ 1 1 1 1 ║
@TMP3 ║ 0 1 1 1 ║
@TMP4 ║ 0 0 1 1 ║
TT10 ║ 0 0 0 1 ║
**********************************************************
Вызвано распознавание шаблона для подграфа @TMP3:
начальная вершина FAKE10, конечная вершина FAKE10
Шаблон распознан как атомарная операция
Вызвано распознавание шаблона для подграфа @TMP4:
начальная вершина FAKE11, конечная вершина FAKE11
Шаблон распознан как атомарная операция
Результат:
TT4 ║ 1 1 1 100 99 99 99 99 1 1 ║
FAKE8 ║ 0 1 1 100 99 99 99 99 1 1 ║
TT6 ║ 0 0 1 100 99 99 99 99 1 1 ║
TT8 ║ 0 0 0 100 99 99 99 99 1 1 ║
TT9 ║ 0 0 0 100 100 100 100 100 1 1 ║
FAKE10 ║ 0 0 0 100 99 100 100 100 1 1 ║
FAKE11 ║ 0 0 0 100 99 99 100 100 1 1 ║
TT10 ║ 0 0 0 100 99 99 99 100 1 1 ║
TT7 ║ 0 0 0 0 0 0 0 0 1 1 ║
FAKE9 ║ 0 0 0 0 0 0 0 0 0 1 ║
Потребление ресурсов:
*************************
TT4 ║ 0.64 ║
FAKE8 ║ 0 ║
TT6 ║ 0.27 ║
TT8 ║ 0.31 ║
TT9 ║ 0.55 ║
FAKE10 ║ 0 ║
FAKE11 ║ 0 ║
TT10 ║ 0.29 ║
TT7 ║ 0.38 ║
FAKE9 ║ 0 ║
*************************
Средние значения потребления ресурсов:
*****************************
TT4 ║ 115.5 ║
FAKE8 ║ 114.8 ║
TT6 ║ 114.8 ║
TT8 ║ 114.5 ║
TT9 ║ 115.4 ║
FAKE10 ║ 114.8 ║
FAKE11 ║ 114.8 ║
TT10 ║ 114.8 ║
TT7 ║ 0.38 ║
FAKE9 ║ 0 ║
*****************************
Дисперсии потребления ресурсов:
*****************************
TT4 ║ 1.309e+004 ║
FAKE8 ║ 1.309e+004 ║
TT6 ║ 1.309e+004 ║
TT8 ║ 1.309e+004 ║
TT9 ║ 1.309e+004 ║
FAKE10 ║ 1.309e+004 ║
FAKE11 ║ 1.309e+004 ║
TT10 ║ 1.309e+004 ║
TT7 ║ 0 ║
FAKE9 ║ 0 ║
*****************************