3. Бесскобочная запись структурных формул

СФА 3.13: Структурная формула алгоритма / СФ: Скобочная форма

A502 = Z₁ #(#(Z₃ Z₁) ,Z5)V ,#(Z₂ ((Z₄ #(Z₂ , Z₈)&) ,#(Z₇Z₅) &)&)=

СФА 3.14: Структурная формула алгоритма / БФ: Бесскобочная форма

= Z₁ ##Z₃ Z₁,Z5V ,#Z₂ Z₄ #Z₂ , Z₈& ,#Z₇Z₅&&

При необходимости парные операции выделяются любым способом, например, подчеркиванием, фоном и т.п., например:

A502 = Z₁ ##Z₃ Z₁,Z5V ,#Z₂ Z₄ #Z₂ , Z₈& ,#Z₇Z₅&&=

= Z₁ ##Z₃ Z₁,Z5V ,#Z₂ Z₄ #Z₂ , Z₈& ,#Z₇Z₅&&=

= Z₁ ##Z₃ Z₁,Z5V ,#Z₂ Z₄ #Z₂ , Z₈& ,#Z₇Z₅&&=

= Z₁ ##Z₃ Z₁,Z5V ,#Z₂ Z₄ #Z₂ , Z₈& ,#Z₇Z₅&&

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

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

Вариант 1

A501 = (Z1  (((Z3  Z1) V Z5) & (Z2  ((Z4  (Z2 & Z8)) & (Z7  Z5)))))

A501 = (Z1 - (((Z3 - Z1) | Z5) & (Z2 - ((Z4 - (Z2 & Z8)) & (Z7 - Z5)))))

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

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

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

Вариант 2

A502 = (Z1(((Z3Z1) &Z5) & (Z2((Z4(Z2 &Z8)) & (Z7Z5)))))

A502 = (Z1 - (((Z3 - Z1) & Z5) & (Z2 - ((Z4 - (Z2 & Z8)) & (Z7 - Z5)))))

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

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

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

2. Временные диаграммы параллельных алгоритмов базисных структур

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

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

A501 = (Z1  (((Z3  Z1) V Z5) & (Z2  ((Z4  (Z2 & Z8)) & (Z7  Z5)))))

A501 = (Z1 - (((Z3 - Z1) | Z5) & (Z2 - ((Z4 - (Z2 & Z8)) & (Z7 - Z5)))))

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

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

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

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

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

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

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

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

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

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

A502 = (Z1(((Z3Z1) &Z5) & (Z2((Z4(Z2 &Z8)) & (Z7Z5)))))

A502 = (Z1 - (((Z3 - Z1) & Z5) & (Z2 - ((Z4 - (Z2 & Z8)) & (Z7 - Z5)))))

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

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

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

Вариант 2

Вариант 1 – для сопоставления

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

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

Вариант 2

Вариант 1 – для сопоставления

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

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

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

mai=tai^о –tai^н,

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

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

Вариант 1

ma991' =ta991^о –ta991^н=105 – 0 = 105

Вариант 2

ma992' =ta992^о –ta992^н= 105– 0 =105

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

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

Вариант 1

ma991" =mz1 +mz2 +mz4 +mz8 = 15 + 5 + 45 + 40 = 105

Вариант 2

ma992" =mz1 +mz2 +mz4 +mz8 = 15 + 5 + 45 + 40 = 105

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

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

// данные совпадают (mai' =mai") или не совпадают (mai'mai")

Вариант 1

ma1' = 105 ma1" = 110

Вариант 2

ma992' = 105 ma992" = 105

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

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

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

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

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

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

Вариант 1

A501 = (Z1(((Z3Z1)VZ5) & (Z2((Z4(Z2 &Z8)) & (Z7Z5))))) =

Вариант 2

A502 = (Z1(((Z3Z1) &Z5) & (Z2((Z4(Z2 &Z8)) & (Z7Z5)))))=

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

Вариант 1

= Z1(((Z3Z1)VZ5) & (Z2((Z4(Z2 &Z8)) & (Z7Z5)))) =

Вариант 2

= Z1(((Z3Z1) &Z5) & (Z2((Z4(Z2 &Z8)) & (Z7Z5)))) =

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

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

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

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

= Z1  ((V (Z3  Z1) Z5) & (Z2  ((Z4  (Z2 & Z8)) & (Z7  Z5)))) =

= Z1  (& (V (Z3  Z1) Z5) ,(Z2  ((Z4  (Z2 & Z8)) & (Z7  Z5)))) =

= Z1  (& (V (Z3  Z1) Z5) ,(Z2  ((Z4  & (Z2, Z8)) & (Z7  Z5)))) =

= Z1  (& (V (Z3  Z1) Z5) ,(Z2  (& (Z4  & (Z2, Z8)), (Z7  Z5))))

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

= Z1  ((& (Z3  Z1) Z5) & (Z2  ((Z4  (Z2 & Z8)) & (Z7  Z5)))) =

= Z1  (& (& (Z3  Z1) Z5) ,(Z2  ((Z4  (Z2 & Z8)) & (Z7  Z5)))) =

= Z1  (& (& (Z3  Z1) Z5) ,(Z2  ((Z4  & (Z2, Z8)) & (Z7  Z5)))) =

= Z1  (& (& (Z3  Z1) Z5) ,(Z2  (& (Z4  & (Z2, Z8)), (Z7  Z5))))

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

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

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

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

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

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

= Z1  (& (V( (Z3  Z1) Z5) ,(Z2  (& (Z4  & (Z2, Z8)), (Z7  Z5))))

Вариант 1

Ma501"= mz1  (max (min (mz3  mz1) mz5) ,(mz2  (max (mz4  & (mz2, mz8)), (mz7  mz5))))

Вариант 2

ma502"' = mz1  (max (max (mz3  mz1) mz5) ,(mz2  (max (mz4  & (mz2, mz8)), (mz7  mz5))))