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