- •Млта: Математическая логика и теория алгоритмов
- •Комплект трех вариантов структурной формулы
- •Базисные структуры параллельных алгоритмов
- •1.2 Исходные структурные формулы параллельных алгоритмов
- •Стандартная форма формулы алгоритма
- •Контроль результатов
- •Проверочная нумерация оболочек формул и схем
- •Вложенность формульных оболочек
- •1. 2 Автоматизация построений основной схемы алгоритма Исходные условия
- •Вариант 1 структурной схемы. Автоматизация построений
- •Анализ структурной схемы Общие данные структуры алгоритма
- •Явная операция разделения (вилки) потоков
- •Работа с тренажером схемных построений
- •Мозаичный набор схем
- •Временные диаграммы параллельных алгоритмов
- •Графический расчет длительности алгоритма
- •Расчет длительности алгоритма
- •Вербальные тексты параллельных алгоритмов базисных структур
- •ИнФ: Инфиксная форма вербального текста
- •Ги: Горизонтальное исполнение
- •Алг a021: нач z2; нач нач нач z3 и нач z1; нач z5 и z4 кон кон кон; z1 кон и нач z2; нач z6 и нач z7; z2 кон кон кон кон кон ви: Вертикальное исполнение
- •Автоматизация построений
- •НИнФ: Неявная инфиксная форма вербального текста
- •Исходные условия
- •Ги: Горизонтальное исполнение
- •КоФ: Комбинированная форма вербального текста: ИнПрПоФ
- •Ги: Горизонтальное исполнение
- •Alg a022: begin z2; cobegin begin cobegin z3, begin z1; cobegin z5, z4 coend end coend; z1 end, begin z2; cobegin z6, begin z7; z2 end coend end coend_or end
- •Ви: Вертикальное исполнение
- •Автоматизация построений: Алгол (Паскаль)-подобный текст
- •ПрФ: Префиксная форма
- •Исходные условия
- •Ги: Горизонтальное исполнение
- •Ви: Вертикальное исполнение
- •Автоматизация построений
Расчет длительности алгоритма
Подставить данные (длительности mziкомандZi) в ФРД.
РДА 2.1: Расчет длительности алгоритма
// общая длительность maiцикла выполнения алгоритмаAi
Вариант 1
ma001"' = 5+max((max(10,( 20+max(35,15)))+20),( 5+max(25,( 30+5)))) =
= 5+max((max(10,( 20+35))+20),( 5+max(25,35))) = 5+max((max(10,55)+20),( 5+35)) = = 5+max((55+20),40) = 5+max(75,40) = 5+75 = 80
Вариант 2
ma002"' = 5+min((max(10,( 20+max(35,15)))+20),( 5+max(25,( 30+5)))) =
= 5+ min((max(10,( 20+35))+20),( 5+max(25,35))) = 5+ min((max(10,55)+20),( 5+35)) = = 5+ min((55+20),40) = 5+ min(75,40)) =
= 5 + 40 = 40
Общая проверка результатов
Проверка результатов mai'" =?mai":
// данные совпадают (mai"' =mai") или не совпадают (mai"'mai")
Вариант 1
ma001"' = 80 = ma001" = ma001' = 80
Вариант 2
ma002"' = 45 = ma002" = ma002' = 45
Вывод: данные графического и аналитического расчета совпадают.
Вербальные тексты параллельных алгоритмов базисных структур
ИнФ: Инфиксная форма вербального текста
Ги: Горизонтальное исполнение
АлгПТ: Алгол-подобный текст / ПасПТ: Паскаль-подобный текст
ШТА 4.1: Шаблон текста алгоритма // ИнФ: Инфиксная форма
A021 = (Z2 - (((Z3 & (Z1 - (Z5 & Z4))) - Z1) & (Z2 - (Z6 & (Z7 - Z2)))))
ТЗО4.1: Таблица замены обозначений
|
Компоненты ШТА |
Ai |
Zi |
= |
( |
) |
|
& |
V |
|
Компоненты РТА: латиница кириллица |
algAi алг Ai |
Zi Zi |
: : |
( begin нач |
) end кон |
; ; |
and и |
or или |
РТА 4.1: Рабочий текст алгоритма // замены обозначений
Вариант 1 подстановок – скобочные оболочки
Латиница – английский язык
alg A021=(Z2; - (((Z3;&(Z1; - (Z5;&Z4;))) - Z1;)&(Z2; - (Z6;&(Z7; - Z2;)))))
Кириллица – русский язык
алг A021=(Z2; - (((Z3;&(Z1; - (Z5;&Z4;))) -Z1;)&(Z2; - (Z6;&(Z7; -Z2;)))))
Вариант 1 подстановок – вербальные оболочки
Латиница – английский язык
alg A021: begin Z2; begin begin begin Z3 and begin Z1; begin Z5 and Z4 end end end; Z1 end and begin Z2; begin Z6 and begin Z7; Z2 end end end end end Кириллица – русский язык
Алг a021: нач z2; нач нач нач z3 и нач z1; нач z5 и z4 кон кон кон; z1 кон и нач z2; нач z6 и нач z7; z2 кон кон кон кон кон ви: Вертикальное исполнение
Выполняется вариант 1 подстановок – вербальные оболочки.
АлгПТ: Алгол-подобный текст / ПасПТ: Паскаль-подобный текст
ВТА 4.1: Вербальный текст алгоритма
|
РТА: Рабочий текст | |||
|
1 |
2 |
3 |
4 |
|
A021 = ( Z2 - ( ( ( Z3 & ( Z1 - ( Z5 & Z4 ) ) ) - Z1 ) & ( Z2 - ( Z6 & ( Z7 - Z2 ) ) ) ) ) |
A021= ( Z2- ( ( ( Z3& ( Z1- ( Z5& Z4 ) ) )- Z1 )& ( Z2- ( Z6& ( Z7- Z2 ) ) ) ) ) |
A021: ( | Z2- | ( | | ( | | | ( | | | | Z3& | | | | ( | | | | | Z1- | | | | | ( | | | | | | Z5& | | | | | | Z4 | | | | | ) | | | | ) | | | )- | | | Z1 | | )& | | ( | | | Z2- | | | ( | | | | Z6& | | | | ( | | | | | Z7- | | | | | Z2 | | | | ) | | | ) | | ) | ) ) |
alg A021: begin Z2; begin begin begin Z3 and begin Z1; begin Z5 and Z4 end end end; Z1 end and begin Z2; begin Z6 and begin Z7; Z2 end end end end end |
ВТА 4.2: Вербальный текст алгоритма // Дополнение к
Подстановка функций команд (операторы присваивания)
|
5 |
6 |
|
alg A021: begin Z2:Y2 := F2(X2); begin begin begin Z3:Y3 := F3(X3) and begin Z1:Y1 := F1(X1); begin Z5:Y5 := F5(X5) and Z4:Y4 := F4(X4) end end end; Z1:Y1 := F1(X1) end and begin Z2:Y2 := F2(X2); begin Z6:Y6 := F6(X6) and begin Z7:Y7 := F7(X7); Z2:Y2 := F2(X2) end end end end end |
alg A021: begin Y2 := F2(X2); begin begin begin Y3 := F3(X3) and begin Y1 := F1(X1); begin Y5 := F5(X5) and Y4 := F4(X4) end end end; Y1 := F1(X1) end and begin Y2 := F2(X2); begin Y6 := F6(X6) and begin Y7 := F7(X7); Y2 := F2(X2) end end end end end |
