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

// общая длительность mai цикла исполнения алгоритмаAi

Обозначения:

mai': Длительность исполнения алгоритмаAi– замер по итоговой линииai

mai": Длительность исполнения алгоритмаAi– графический расчет

(выполняется далее)

Определить графически длительность алгоритма mai' иmai":

ma910' = 130 – непосредственный отсчет размера линии по графику;

ma910" = 130 – графический расчет размера линии по графику

Выполнить проверку результатов mai' =?mai":

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

(ma910' = 130) = (ma910" = 130) – равенство выполняется.

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

// Если данные не совпадают, то предпринимаются меры:

// поиск и устранение причин несоответствия.

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

Выполнить РДА: Расчет длительность исполнения алгоритма

Общий порядок выполнения работы – подэтапы Э341..Э345 этапа Э34:

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

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

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

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

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

A910 = (((Z1  Z2  (Z6 V (Z1  Z8))) & (Z3  Z4) )  Z1) =

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

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

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

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

A910 = (&( (Z1  Z2  V(Z6, (Z1  Z8)) ), (Z3  Z4) )  Z1)

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

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

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

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

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

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

ma910"' = (Max((mz1+mz2+Min(mz6,(mz1+mz8)), (mz3+mz4))+mz1

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

Подставить данные (длительности mziкомандZi) в ФРД

Провести расчет длительности алгоритма

// общая длительность mai цикла выполнения алгоритма Ai

ma910"' = Max((40 + 20 + Min(30, 40 + 10), (30 + 60)) + 40 =

= Max((60 + Min(30, 50), 90) + 40 =

= Max((60 + 30), 90) + 40 =

=Max(90, 90) + 40 =

= 90 + 40 = 130

Проверка результатов mai'" =?mai":

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

(ma910"' = 130) = (ma910" = ma910' = 130)

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

Если данные не совпадают, то предпринимаются меры:

поиск и устранение причин несоответствия.

Анализ:

синтаксис

семантика

прагматика – субъекты (автомат, персонал), присубъекты

Выводы

4. Э4: Подготовка вербальных текстов алгоритма

1. Вта: Вербальные тексты алгоритмов

Формируются програмоподобные вербальные тексты алгоритмов.

Формы исполнения записи текстов алгоритмов:

ГИ: Горизонтальное исполнение – полное соответствие структурным формулам алгоритмов (простая замена обозначений).

ВИ: Вертикальное исполнение – построчная запись операторов команд и дополнительное структурирование текста (выделение вложенных тел блоков информации дополнительными отступами).

Используются разные виды вербальных текстов:

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

• разные лексические группы – алгол-подобные, паскаль-подобоные, си-подобные, оккам-подобные формы и т.п.

РМУ 1.8 1) Подобие вербальных текстов алгоритмов программным языкам определяется по некоторым ключевым концептуальным аспектам.

2) Это не означает их абсолютного тождества. Кроме того, возможны различия разных версий программных языков, фирменные особенности расширений версий языков и т.п.

РМУ 1.9 Для исключения перегрузки вербальных текстов сигнальными выделениями проверки грамматики в редакторе Word (красные волнистые подчеркивания слов в редакторе Word) рекомендуется производить:

запись в словарь пользователя служебных слов (par, seq, parbegin, parend и т.п.) по мере их появления и сигнального высвечивания.

Примечание. Аналогичные меры возможны для широко используемых аббревиатур.