1. Задание 0-го уровня подробности файла протокола.

Командная строка:

fm test.graph /d0

Получаемый файл test.det.log:

Результат:

*******************************************************************************************

LS ¦ 1 5 4 3.2 0.8 4 1 ¦

LC ¦ 0 5 4 3.2 0.8 4 1 ¦

CS ¦ 0 5 5 4 1 5 1 ¦

B ¦ 0 5 4 4.2 0.8 5 1 ¦

A ¦ 0 5 4 3.2 1.8 5 1 ¦

CE ¦ 0 5 4 3.2 0.8 5 1 ¦

LE ¦ 0 0 0 0 0 0 1 ¦

*******************************************************************************************

Получаемый файл test.stat:

Фундаментальная матрица:

*******************************************************************************************

LS ¦ 1 5 4 3.2 0.8 4 1 ¦

LC ¦ 0 5 4 3.2 0.8 4 1 ¦

CS ¦ 0 5 5 4 1 5 1 ¦

B ¦ 0 5 4 4.2 0.8 5 1 ¦

A ¦ 0 5 4 3.2 1.8 5 1 ¦

CE ¦ 0 5 4 3.2 0.8 5 1 ¦

LE ¦ 0 0 0 0 0 0 1 ¦

*******************************************************************************************

Потребление ресурсов:

*************************

LS ¦ 2 ¦

LC ¦ 1 ¦

CS ¦ 5 ¦

B ¦ 10 ¦

A ¦ 5 ¦

CE ¦ 1 ¦

LE ¦ 1 ¦

*************************

Средние значения потребления ресурсов:

*****************************

LS ¦ 68 ¦

LC ¦ 66 ¦

CS ¦ 81 ¦

B ¦ 77 ¦

A ¦ 72 ¦

CE ¦ 67 ¦

LE ¦ 1 ¦

*****************************

Дисперсии потребления ресурсов:

*****************************

LS ¦ 5136 ¦

LC ¦ 5136 ¦

CS ¦ 5140 ¦

B ¦ 5136 ¦

A ¦ 5136 ¦

CE ¦ 5136 ¦

LE ¦ 0 ¦

*****************************

2. Задание 1-го уровня подробности файла протокола.

Командная строка:

fm test.graph /d1

Получаемый файл test.det.log:

Вызвано распознавание шаблона для подграфа @ROOT:

начальная вершина LS, конечная вершина LE

Конструкция ЦИКЛ

Вершина проверки условия: LC

Дуга, входящая в тело цикла: LC->CS

Дуга, выходящая из тела цикла: CE->LC

Вероятность повторения тела цикла: 0.8

Вероятность выхода из цикла: 0.2

Матрица для подстановки:

**********************************************************

LS ¦ 1 5 4 1 ¦

LC ¦ 0 5 4 1 ¦

@TMP0 ¦ 0 5 5 1 ¦

LE ¦ 0 0 0 1 ¦

**********************************************************

Вызвано распознавание шаблона для подграфа @TMP0:

начальная вершина CS, конечная вершина CE

Конструкция ВЕТВЛЕНИЕ

Матрица для подстановки:

**********************************************************

CS ¦ 1 0.8 0.2 1 ¦

@TMP1 ¦ 0 1 0 1 ¦

@TMP2 ¦ 0 0 1 1 ¦

CE ¦ 0 0 0 1 ¦

**********************************************************

Вызвано распознавание шаблона для подграфа @TMP1:

начальная вершина B, конечная вершина B

Шаблон распознан как атомарная операция

Вызвано распознавание шаблона для подграфа @TMP2:

начальная вершина A, конечная вершина A

Шаблон распознан как атомарная операция

Результат:

*******************************************************************************************

LS ¦ 1 5 4 3.2 0.8 4 1 ¦

LC ¦ 0 5 4 3.2 0.8 4 1 ¦

CS ¦ 0 5 5 4 1 5 1 ¦

B ¦ 0 5 4 4.2 0.8 5 1 ¦

A ¦ 0 5 4 3.2 1.8 5 1 ¦

CE ¦ 0 5 4 3.2 0.8 5 1 ¦

LE ¦ 0 0 0 0 0 0 1 ¦

*******************************************************************************************

Получаемый файл test.stat: тот же, что и в пункте 1.