Вариант 1 диаграммы (a571). Автоматизация построений
СФА 2.2: Структурная формула алгоритма / У: Поток управления
A571 = (Z2 (((Z0 & Z8) Z2) & Z3) ((Z4 & (Z8 Z2)) & (Z6 Z7)))
A571 = (Z2 – (((Z0 & Z8) – Z2) & Z3) – ((Z4 & (Z8 – Z2)) & (Z6 – Z7)))
Набор формулы и данных:
ДИА 2.2: Диаграмма исполнения алгоритма
ЛД: Линейная (временная) диаграмма
СД: Сетевая (временная) диаграмма:
ручная доработка – указание причинно-следственных связей событий
нумерация
# # # # & & & &
Построения временных диаграмм. Вариант 2
Вариант 2 диаграммы (A142). Ручные построения
СФА 2.3: Структурная формула алгоритма
A572 = (Z2 (((Z0 & Z8) Z2) & Z3) ((Z4 V (Z8 Z2)) V (Z6 Z7)))
БСА2.2: Блок-схема алгоритма // узел &1 заменяется узломV1
#1 Z0 Z2 Z2
#4 &2 V3 Z4
A572: xa572 ya572 #2 &1 V4 #3
Z8 Z8 Z2
Z3 Z6 Z7
ДИА 2.3: Диаграмма исполнения алгоритма
mz2 = 5 5 z2 5 &1 xa572 ya572
V3
z0 mz0 = 30 #1 &2 V4
z8 10 #2 mz8 = 10
mz3 = 25 z3 #4
z4 #3 mz4 = 35
z6 mz6 = 40
z7 mz7 = 20
a572 ma570'
= ? = 55
e572
0 1 3 2 1 3 3 2 1 1 0
t 0 10
100 tн tо 75
Вариант 2 диаграммы (A142). Автоматизация построений
СФА 2.4: Структурная формула алгоритма / У: Поток управления
A572 = (Z2 (((Z0 & Z8) Z2) & Z3) ((Z4 V (Z8 Z2)) V (Z6 Z7)))
A572 = (Z2 – (((Z0 & Z8) – Z2) & Z3) – ((Z4 | (Z8 – Z2)) | (Z6 – Z7)))
A572 = (Z2–(((Z0&Z8)–Z2)&Z3)–((Z4|(Z8–Z2))|(Z6–Z7)))
Набор формулы и данных
ДИА 2.4: Диаграмма исполнения алгоритма
ЛД: Линейная (временная) диаграмма
Вариант 2
Вариант 1 – для сопоставления
СД: Сетевая (временная) диаграмма
Вариант 2
#2 #1 #3 #4 &2 &1 V4 V3
Вариант 1 – для сопоставления
#2 #1 #4 #3 &2 &1 &4 &3
Расчеты параметров алгоритмов
Графический расчет длительности алгоритма
Исходные обозначения
Принимаются обозначения:
mai: Длительность (цикла) исполнения алгоритмаAi– общее обозначение;
mai': Длительность исполнения алгоритмаAi– отсчет данных по линииai;
mai": Длительность исполнения алгоритмаAi– графический расчет
(выполняется далее).
Непосредственный отсчет длительности
Отсчет длины линии по времени начального и конечного события:
mai=taiо –taiн,
где taiн– время начала (цикла) исполнения алгоритмаAi,
taiо– время окончания (цикла) исполнения алгоритмаAi.
Вариант 1
ma571' =ta571о –ta571н= 120 – 20 = 100
Вариант 2
ma572' =ta572о –ta572н=75– 20 =55
Графический расчет длины линии
Расчет выполняется по критическому пути временного графа:
Вариант 1
ma571" =mz2 + (mz0 +mz2) + (mz6 +mz7) =
= 5 + (30 + 5) + (40 + 20) =
= 5 + 35 + 60 = 100
Вариант 2
ma572" =mz2 + (mz0 +mz2) + (mz8 +mz2) =
= 5 + (30 +5) + (10 +5) =
= 5 + 35 +15=55
Проверка результатов
Выполняется проверка соотношения mai' =?mai":
// данные совпадают (mai' =mai") или не совпадают (mai'mai")
Вариант 1
ma571' = 100=ma571" = 100
Вариант 2
ma572' = 55 =ma572" = 55
Вывод: данные графического отсчета и расчета совпадают.
Аналитический расчет длительности алгоритма
Подготовка формулы расчета длительности
СФА 3.1: Структурная формула алгоритма / У: Поток управления
ИнФ: Инфиксная форма
ПИнФ: Полная инфиксная форма
Вариант 1
A571 = (Z2(((Z0 &Z8)Z2) &Z3)((Z4 & (Z8Z2)) & (Z6Z7))) =
Вариант 2
A572 = (Z2(((Z0 &Z8)Z2) &Z3)((Z4V(Z8Z2))V(Z6Z7))) =
// удаление наружных скобок (не нужны для последующего)
Вариант 1
= Z2(((Z0 &Z8)Z2) &Z3)((Z4 & (Z8Z2)) & (Z6Z7)) =
Вариант 2
= Z2(((Z0 &Z8)Z2) &Z3)((Z4V(Z8Z2))V(Z6Z7)) =
ШФР 3.1: Шаблон формулы расчета
КоФ: Комбинированная форма
ИнПрФ: Инфиксно-префиксная форма
Вариант 1 // пошаговое построение
= Z2((&(Z0,Z8)Z2) &Z3)((Z4 & (Z8Z2)) & (Z6Z7)) =
= Z2&((&(Z0,Z8)Z2),Z3)((Z4 & (Z8Z2)) & (Z6Z7)) =
= Z2&((&(Z0,Z8)Z2),Z3)(&(Z4, (Z8Z2)) & (Z6Z7)) =
= Z2&((&(Z0,Z8)Z2),Z3)&(&(Z4, (Z8Z2)), (Z6Z7)) =
Вариант 2 // пошаговое построение
= Z2((&(Z0,Z8)Z2) &Z3)((Z4V(Z8Z2))V(Z6Z7)) =
= Z2&((&(Z0,Z8)Z2),Z3)((Z4V(Z8Z2))V(Z6Z7)) =
= Z2&((&(Z0,Z8)Z2),Z3)(V(Z4, (Z8Z2))V(Z6Z7)) =
= Z2&((&(Z0,Z8)Z2),Z3)V(V(Z4, (Z8Z2)), (Z6Z7)) =
ТЗО 3.1: Таблица замены обозначений
Компоненты ШФР |
Ai |
Zi |
|
& |
V |
Компоненты ФРД |
mai |
mzi |
+ |
Max |
Min |
ФРД 3.1: Формула расчета длительности
Вариант 1
ma571"' =mz2 +max((max(mz0,mz8) +mz2),mz3) +max(max(mz4, (mz8 +mz2)), (mz6 +mz7))
Вариант 2
ma572"' =mz2 +max((max(mz0,mz8) +mz2),mz3) +min(min(mz4, (mz8 +mz2)), (mz6 +mz7))