2. Работа с тренажером схемных построений

1. Мозаичный набор схем

Используется программа TRENTEST– графический тренажер-тестер.

Выполняется мозаичный набор структурных схем.

Вариант 1

СФА 0.5: Структурная формула алгоритма

A091 = (Z1 - ((Z3 - Z1) & ( ( Z5 & (Z2 - ( Z4 & Z0 ))) - ( Z6 & (Z5 - Z2)))))

A091 = (Z1  ((Z3  Z1) & ( ( Z5 & (Z2  ( Z4 & Z0 )))  ( Z6 & (Z5  Z2)))))

ССА0.2: Структурная схема алгоритма

ШСА 0.1: Штрих-схема алгоритма

Вариант 2

СФА 0.6: Структурная формула алгоритма

A092 = (Z1 - ((Z3 - Z1) V ( ( Z5 & (Z2 - ( Z4 & Z0 ))) - ( Z6 & (Z5 - Z2)))))

A092 = (Z1  ((Z3  Z1) V ( ( Z5 & (Z2  ( Z4 & Z0 )))  ( Z6 & (Z5  Z2)))))

ССА0.3: Структурная схема алгоритма

ШСА 0.2: Штрих-схема алгоритма

РМУ 0.2Однозначность графических построений:

1) В изложенной технике структурных построений обеспечивается возможность однозначного построения ССА по заданной СФА.

2) Данное обстоятельство обеспечивает возможность контроля правильности учебных схемных построений на основе сравнения с эталоном.

2. Временные диаграммы параллельных алгоритмов

1. Построения временных диаграмм. Вариант 1

Вариант 1 диаграммы (A091). Автоматизация построений

Используется программа GRAMPRAL

СФА 2.7: Структурная формула алгоритма / У: Поток управления

A091 = (Z1  ((Z3  Z1) & ( ( Z5 & (Z2  ( Z4 & Z0 )))  ( Z6 & (Z5  Z2)))))

A091 = (Z1 - ((Z3 - Z1) & ( ( Z5 & (Z2 - ( Z4 & Z0 ))) - ( Z6 & (Z5 - Z2)))))

Набор формулы и данных:

ДИА 2.1: Диаграмма исполнения алгоритма

ЛД: Линейная (временная) диаграмма

СД: Сетевая (временная) диаграмма:

ручная доработка – указание причинно-следственных связей событий

2. Построения временных диаграмм. Вариант 2

1. Вариант 2 диаграммы (A092). Автоматизация построений

Используется программа GRAMPRAL.

СФА 2.8: Структурная формула алгоритма / У: Поток управления

// Замена обозначений: "" - "–"; "V" - "|"

A092 = (Z1  ((Z3  Z1) V ( ( Z5 & (Z2  ( Z4 & Z0 )))  ( Z6 & (Z5  Z2)))))

A092 = (Z1 - ((Z3 - Z1) V ( ( Z5 & (Z2 - ( Z4 & Z0 ))) - ( Z6 & (Z5 - Z2)))))

Набор формулы и данных

ДИА 2.2: Диаграмма исполнения алгоритма

ЛД: Линейная (временная) диаграмма

Вариант 2

СД: Сетевая (временная) диаграмма:

ручная доработка – указание причинно-следственных связей событий

3. Графический расчет длительности алгоритма

Исходные обозначения

Принимаются обозначения:

mai: Длительность (цикла) исполнения алгоритмаAi– общее обозначение;

mai': Длительность исполнения алгоритмаAi– отсчет данных по линииai;

mai": Длительность исполнения алгоритмаAi– графический расчет

(выполняется далее).

1. Непосредственный отсчет длительности

Отсчет длины линии по времени начального и конечного события:

mai=tai^о –tai^н,

где tai^н– время начала (цикла) исполнения алгоритмаAi,

tai^о– время окончания (цикла) исполнения алгоритмаAi.

Вариант 1

ma001' =ta001^о –ta001^н=115– 0 =115

Вариант 2

ma002' =ta002^о –ta002^н=100– 0 =100

3. Графический расчет длины линии

Расчет выполняется по критическому пути временного графа:

Вариант 1

ma001" =mz1 +mz2 +mz4 +mz5 +mz2 = 35 + 20 + 15 + 25 + 20 = 115

Вариант 2

ma002" = mz1 + mz2 + mz0 + mz1 =35+20+10 + 35= 100

РМУ 2.1 Критический путьвременного графа:

это "плотная" последовательность работ (без "зазоров"), в которой изменение длительности любой работы влияет на общую длительность комплекса работ

4. Проверка результатов

Выполняется проверка соотношения mai' =?mai":

Вариант 1

ma001' =115 =ma001" =115

Вариант 2

ma002' =100 =ma002" =100

Вывод: данные графического отсчета и расчета совпадают.

2.1.4. Аналитический расчет длительности алгоритма

5. Подготовка формулы расчета длительности

СФА: Структурная формула алгоритма / У: Поток управления

ИнФ: Инфиксная форма

ПИнФ: Полная инфиксная форма

Вариант 1

A091 = (Z1  ((Z3  Z1) & ( ( Z5 & (Z2  ( Z4 & Z0 )))  ( Z6 & (Z5  Z2)))))

Вариант 2

A092 = (Z1  ((Z3  Z1) V ( ( Z5 & (Z2  ( Z4 & Z0 )))  ( Z6 & (Z5  Z2)))))

удаление наружных скобок (не нужны для последующего)

Вариант 1

A091 = Z1  ((Z3  Z1) & ( ( Z5 & (Z2  ( Z4 & Z0 )))  ( Z6 & (Z5  Z2))))

Вариант 2

A092 = Z1  ((Z3  Z1) V ( ( Z5 & (Z2  ( Z4 & Z0 )))  ( Z6 & (Z5  Z2))))

ШФР: Шаблон формулы расчета

КоФ: Комбинированная форма

ИнПрФ: Инфиксно-префиксная форма

Вариант 1 // пошаговое построение

= Z1  ((Z3  Z1) & ( ( Z5 & (Z2  ( Z4 & Z0 )))  ( Z6 & (Z5  Z2)))) =

= Z1  &((Z3  Z1),( ( Z5 & (Z2  ( Z4 & Z0 )))  ( Z6 & (Z5  Z2)))) =

= Z1  &((Z3  Z1),(&( Z5,(Z2  ( Z4 & Z0 )))  ( Z6 & (Z5  Z2)))) =

= Z1  &((Z3  Z1),(&( Z5,(Z2  &( Z4,Z0 )))  ( Z6 & (Z5  Z2)))) =

= Z1  &((Z3  Z1),(&( Z5,(Z2  &( Z4,Z0 )))  &(Z6,(Z5  Z2))))

Вариант 2 // пошаговое построение

= Z1((Z3Z1)V( (Z5 & (Z2(Z4 &Z0 )))(Z6 & (Z5 Z2)))) =

= Z1V((Z3Z1),( (Z5 & (Z2(Z4 &Z0 )))(Z6 & (Z5 Z2)))) =

= Z1V((Z3Z1),(&(Z5,(Z2(Z4 &Z0 )))(Z6 & (Z5 Z2)))) =

= Z1V((Z3Z1),(&(Z5,(Z2&(Z4,Z0 )))(Z6 & (Z5 Z2)))) =

= Z1V((Z3Z1),(&(Z5,(Z2&(Z4,Z0 )))&(Z6,(Z5 Z2))))

// операция суперпозиции () остается в инфиксах

// операции конъюнкции (&) и дизъюнкции (V) выносятся в префиксы

ТЗО: Таблица замены обозначений

Компоненты ШФР	Ai	Zi		&	V
Компоненты ФРД	mai	mzi	+	Max	Min

ФРД: Формула расчета длительности

// получается из ИнПрФ заменой обозначений по ТЗО

Вариант 1

ma001"'=

= mz1+max((mz3+mz1),(max(mz5,(mz2+max(mz4,mz0 )))+max(mz6,(mz5+mz2))))

Вариант 2

ma002"' =

= mz1+ min((mz3+ mz1),(max(mz5,( mz2+ max(mz4, mz0 )))+ max(mz6,( mz5+ mz2))))