- •Млта: математическая логика и теория алгоритмов
- •Описание алгоритма
- •Исходный текст программной реализации
- •Алгоритм a101: Единичный алгоритм
- •Описание алгоритма
- •Исходный текст программной реализации
- •Алгоритм a211: Последовательность двух команд
- •Описание алгоритма
- •Исходный текст программной реализации
- •Алгоритм a222: Параллельная конъюнкция двух команд
- •Исходное общее описание алгоритма
- •Многопоточные представления
- •Исходный текст программной реализации
- •Алгоритм a323: Параллельная конъюнкции трех команд
- •Исходное общее описание алгоритма
- •Многопоточные представления
- •Исходный текст программной реализации
Алгоритм a101: Единичный алгоритм
Описание алгоритма
СФА: Структурная формула алгоритма
Алгоритм этапа обработки (основного перехода тех. операции):
A101 = (Z1) = Z1
Алгоритм операционного цикла // включая загрузку и разгрузку
A = (Zz – A101 – Zr) = (Zz – (Z1) – Zr) = (Zz –Z1 – Zr)
ССА: Структурная схема алгоритма
Вариант 1 Вариант 2
ДИА: Диаграмма исполнения алгоритма: mz9 = 10
ВТА: Вербальный текст алгоритма / ПиПТ: Питон-подобный текст
ГИ: Горизонтальное исполнение
ШТА: Шаблон текста алгоритма
A101 = (Z1) =Z1
A101 =Z7
РТА: Рабочий текст алгоритма
algA101():Zh1()
ВИ: Вертикальное исполнение
ШТА: Шаблон текста алгоритма РТА: Рабочий текст алгоритма
A101 A101= A101= A101= alg A101():
= ( ( |
Z1 Zh1()
( Z1|Z1
Z1 ) )
)
Исходный текст программной реализации
ВИ: Вертикальное исполнение
defeA101(ccrt,hCycles):
hCycles.Zh(ccrt.techsys.head1) //Zh1() - типовой цикл СГ9
Алгоритм a211: Последовательность двух команд
Описание алгоритма
СФА: Структурная формула алгоритма
Алгоритм этапа обработки (основного перехода тех. операции):
A211 = (Z1 –Z9) =Z1 –Z9
Алгоритм операционного цикла // включая загрузку и разгрузку
A = (Zz – A211 – Zr) = (Zz – (Z1 – Z9) – Zr) = (Zz – Z1 – Z9 – Zr)
ССА: Структурная схема алгоритма
Вариант 1 Вариант 2
ДИА: Диаграмма исполнения алгоритма: mz1 = 20,mz9 = 90
ВТА: Вербальный текст алгоритма / ПиПТ: Питон-подобный текст
ГИ: Горизонтальное исполнение
ШТА: Шаблон текста алгоритма
A211 = (Z1–Z9) =Z1–Z9
A211 = Z1–Z9
РТА: Рабочий текст алгоритма
algA211( ):Zh1( );Zh9( )
ВИ: Вертикальное исполнение
ШТА: Шаблон текста алгоритма РТА: Рабочий текст алгоритма
A211 A211= A211= A211= A211= alg A211( ):
=
( ( |
Z1 – | Z1 Zh1( )
( Z1 – | Z1 – | Z9 | Z9 Zh9( )
Z1 Z9 | Z9
– ) )
Z9
)
Исходный текст программной реализации
ВИ: Вертикальное исполнение
def eA211(ccrt, hCycles): # alg A211( ):
hCycles.Zh(ccrt.techsys.head1) # Zh1( ) - типовой цикл СГ9
hCycles.Zh(ccrt.techsys.head9) # Zh9( ) - типовой цикл СГ1
Алгоритм a222: Параллельная конъюнкция двух команд
Исходное общее описание алгоритма
СФА: Структурная формула алгоритма
Алгоритм этапа обработки (основного перехода тех. операции):
A222 = (Z1 &Z9) = (Z1#&Z9) = #( Z1, Z9)& = #Z1,Z9&
Алгоритм операционного цикла // включая загрузку и разгрузку
A = (Zz – A222 – Zr) = (Zz – (Z1 & Z9) – Zr)
ССА: Структурная схема алгоритма
Вариант 1 Вариант 2
ДИА: Диаграмма исполнения алгоритма: mz1 = 10,mz9 = 90
Многопоточные представления
ССА: Структурная схема алгоритма / Вариант 3
Дополнительный поток (thread):
команда Z3, упакованная в поток
Основной поток (Main)
Структурные операторы:
FZi = F(Zi) = Fork(Zi) – оператор узла вилки:
упаковка в поток и вызов команды Zi в потоке
JZi= J&Zi = J&(Zi) = Join_&(Zi) – оператор узла сборки:
ожидание (wait) завершения команды Zi
ВТА: Вербальный текст алгоритма / ПиПТ: Питон-подобный текст
ГИ: Горизонтальное исполнение
ШТА: Шаблон текста алгоритма
A222 = (Z1 &Z9 = (Z1#&Z9 = #(Z1Z9)& = #Z1,Z9 & =
= # Z1Z9 & =#Z1Z9&=#Z1Z9&=
= FZ9Z1JZ9 =FZ9–Z1–J&Z9
РТА: Рабочий текст алгоритма
alg A222 ( ): Fork(Zh9( )); Zh1( ); Join_&(Zh9( ))
ВИ: Вертикальное исполнение
ШТА: Шаблон текста алгоритма РТА: Рабочий текст алгоритма
A222 = alg A222( ):
| FZ9 Fork(Zh9( ))
| Z1 Zh1( )
| J&Z9 Join_&(Zh9( ))