10. Э254 Псевдографика структурной схемы

Строится штрих-схема алгоритма средствами псевдографики шрифтовых наборов знаков.

ШСС: Шаблон структурной схемы алгоритма

// переключить редактор Word на шрифт Courier New:

A910 = #|Z3Z4––––––––|&Z1 =

|Z1Z2#|Z6––|V|

|Z1Z8|

Дополнительные преобразования

# &

A910 = ––|–Z3–Z4–––––––––––|–Z1––> =

| # V |

|–Z1–Z2–|–Z6––––|–|

|–Z1–Z8–|

A910: # Z3 Z4 & Z1

= –––––|––+––+–––––––––––––|––+––––> =

| Z1 Z2 # Z6 V |

|––+––+––|––+–––––|–|

| Z1 Z8 |

|––+––+––|

// примерно аналогично способу алфавитного набора релейно-контактных и

// бесконтактных логических схем для программируемых контроллеров

ШСА: Штрих-схема алгоритма – псевдографика

// Литерное исполнение

// Используются литеры псевдографики: ├ ┤ ┼ │ ─

A910: # Z3 Z4 & Z1

──────┼──┼──┼──────────────┼──┼───>

│ Z1 Z2 # Z6 V │

├──┼──┼──┼──┼─────┼──┤

│ Z1 Z8 │

├──┼──┼──┤

Очевидно взаимнооднозначное соответствие СФА и ССА в концепции обобщенных текстов семиотики.

12. Э255 Набор схемы графического тренажера

На основе представленной техники исполнения СФА и ССА обеспечивается:

• взаимно-однозначное соответствие и взаимная обратимость разных форм представления текстов параллельных алгоритмов;

• различные задачи формализации и автоматизации структурных построений;

• в частности – возможность построения графического тренажера и тестера графических построений параллельных алгоритмов.

Пример:

3. Этап э3: Работа с временной диаграммой алгоритма

Порядок выполнения – подэтапы Э31..Э34 этапа Э3

1. Э31 Задание длительности исполнения команд

РМУ 1.8 Задать (выписать) массив длительности исполнения команд.

ДИК: Длительности mziисполнения командZi:

mz1	mz2	mz3	mz4	mz6	mz8
40	20	30	60	30	10

РМУ 1.9 1) Данные назначаются самостоятельно (в условных единицах).

2) Целесообразно отразить структурные особенности алгоритма при его исполнении во времени (это зависит от соотношения длительности команд).

2. Э32 Построение временной диаграммы сетевого типа

РМУ 1.10 Выполняется полное построение ДИА сетевого типа, включая:

• шкалу времени t;

• линии zi жизненного цикла всех объектов Zi (по порядку номеров i);

• линию aiжизненного цикла объектаAi(полный цикл);

• вертикальные (и наклонные) линии причинно-следственных связей событий;

• эпюру загрузки ресурсов eiобъектаAi– занятые исполнители (число занятых процессоров процессов).

ДИА: Диаграмма исполнения алгоритма // Системный стандарт

ГИ: Горизонтальное исполнение

//A910 = (((Z1Z2(Z6V(Z1Z8))) & (Z3Z4))Z1)

// Длительность ma910 (цикла) исполнения алгоритма A910

// определяется (контролируется) в интервале времени

// от срабатывания входа xa910 до срабатывания выхода ya910

// по передаче управления

// При дизъюнктивном объединении параллельных ветвей

// (дизъюнктивная сборка) контролируется только более раннее событие

// При заданном сочетании длительностей исполнения команд

// не контролируется общее завершение исполнения ветви:

// ((Z1Z2(Z6V(Z1Z8))) & (Z3Z4)) =

// ((Z1Z2(Z6V(Z1Z8))) #& (Z3Z4)) =

// = (#((Z1Z2(Z6V(Z1Z8))), (Z3Z4))&

// ((Z₁Z₂(Z₆V(Z₁Z₈)))&(Z₃Z₄)) = ((Z₁Z₂(Z₆V(Z₁Z₈)))#&(Z₃Z₄)) =

#((Z₁Z₂(Z₆V(Z₁Z₈))), (Z₃Z₄))&

РМУ 1.7 В принятом системном стандарте обеспечивается полный изоморфизм (взаимное структурное соответствие) структурных формул, структурных схем и сетевых временных диаграмм параллельных алгоритмов

(и, далее – вербальных тестов алгоритмов).

ДП: Диаграмма последовательностей // Стандарт UML

ВИ: Вертикальное исполнение