- •5033.4350.0000-Пз
- •Введение
- •Теория алгоритмов
- •Исходные положения
- •Общее содержание второй части задания
- •Виды текстов алгоритмов
- •Ациклические двухполюсные структуры алгоритмов
- •Исходные условия
- •Комплект текстов алгоритмов
- •Этап э1: Подготовка стандартной полной формы формулы
- •Стандартная форма формулы алгоритма
- •Этап э2: Построение структурной схемы
- •Структурная схема алгоритма
- •Э21: Построение основной схемы – без оболочек
- •Э22: Группирование элементов
- •Э23: Проверочная нумерация оболочек
- •Э25 Повышение явного соответствия формул и схем
- •Э251 Явная операция разделения потоков
- •Э252 Разделение парных операций
- •Э253 Двухмерные структурные формулы
- •Э254 Псевдографика структурной схемы
- •Э255 Набор схемы графического тренажера
- •Этап э3: Работа с временной диаграммой алгоритма
- •Э31 Задание длительности исполнения команд
- •Э32 Построение временной диаграммы сетевого типа
- •Э33 Графический расчет длительности алгоритма
- •Э34 Аналитический расчет длительности алгоритма
- •Э4: Подготовка вербальных текстов алгоритма
- •Вта: Вербальные тексты алгоритмов
- •Дополнительные функциональные обозначения
- •ИнФ: Инфиксная форма
- •ИнФ': Неявная инфиксная форма
- •ПрФ: Префиксная форма
- •Ациклические многополюсные структуры алгоритмов
- •Исходные условия
- •Комплект текстов алгоритмов
- •Этап э1: Подготовка стандартной полной формы формулы
- •Стандартная форма формулы алгоритма
- •Этап э2: Построение структурной схемы
- •Структурная схема алгоритма
- •Построение основной схемы (без оболочек)
- •Этап э3: Работа с временной диаграммой алгоритма
- •Э31 Задание длительности исполнения команд
- •Э32 Построение временной диаграммы сетевого типа
- •Э33 Графический расчет длительности алгоритма
- •Э34 Аналитический расчет длительности алгоритма
- •Э4: Подготовка вербальных текстов алгоритма
- •Вта: Вербальные тексты алгоритмов
- •Дополнительные функциональные обозначения
- •Переключательные ациклические структуры алгоритмов
- •Концептуальная модель команды
- •Функции модели
- •Блок функций аппаратной модели команды
- •Индексация обозначений
- •Работа модели
- •Уточнение функции индикации
- •Работа с программной моделью команды в средеMathLab
- •Вывод схемы модели на экран
- •Построение временной диаграммы
- •Настройки дополнительных параметров диаграммы
- •Концептуальная модель алгоритма
- •Ациклические двухполюсные структуры алгоритмов
- •Модельная схема алгоритма
- •Функциональная система алгоритма
- •Программная модель алгоритма в средеMathLab
- •Подготовка файла модели
- •Формирование схемы моделиEnvMpma
- •Построение временной диаграммы
- •Заключение
Построение основной схемы (без оболочек)
ШСА: Штрих-схема алгоритма / ГИ: Горизонтальное исполнение
По отношению к исходной двухполюсной схеме (подраздел 1.2.2.2Error: Reference source not found):
в ветви Z1–1–Z8появляется проходная выходная связь1=(L1):
на основе узла вилки # с меткой 1 (L1) дополнительного выходного полюса;
в ветви Z3–&1–Z4появляется проходная входная связь&1=(&,L1):
на основе узла конъюнктивной сборки & с меткой 1 (L1) дополнительного входного полюса;
в целом между параллельными ветвями Z1–1–Z8иZ3–&1–Z4появляется дополнительная связь (1,&1).
Примечание. 1) По структурной формуле может создаваться впечатление наличия обратной связи в составе алгоритмической структуры:
вход &1дополнительной связи (1,&1) визуально предшествует выходу1.
2) Такое впечатление может подкрепляться видом связи на схеме.
3) Однако, дополнительная связь представляет собой соединение мостикового типа, которое (само по себе) не образует обратных связей.
2) Однако, в составе общей двухполюсной структуры появляются многополюсные компоненты:
ветвь (Z3&1Z4) = (Z3&1Z4) имеет два входа и один выход по передаче управления – многополюсник (трехполюсник);
ветвь (Z11Z8) = (Z11Z8) имеет один вход и два выхода по передаче управления – также многополюсник (трехполюсник);
3) Структуры алгоритмов, содержащие многополюсные компоненты, не поддаются описанию обычными формулами булевого типа. Для их описания используются специальные средства – структурные формулы стрелочного типа.
Примечание3. 1) Любую структуру можно описать без булевых выражений только с использованием стрелочных средств – это универсальное структурное средство. Однако при этом, в общем случае, резко снижается читабельность формул.
2) Бесстрелочные булевы средства являются существенно более читабельными и наглядными. Однако они применимы для описания только двухполюсных структур алгоритмов.
3) Для многополюсных структур целесообразным является оптимальное сочетание булевых и стрелочных средств.
Примечание4. 1) Впервые аналитические средства структурного описания алгоритмов появились (50-е гг. ХХ в.) для переключательных структур последовательных алгоритмов (с логическими условиями). Это были стрелочные структурные формулы алгоритмов, которые получили название:
ЛСА: Логические схемы алгоритмов [1].
2) Позднее (70-е гг. ХХ в.) для структурного описания параллельных алгоритмов появились аналогичные стрелочные структурные формулы, которые получили название:
ПЛСА: Параллельные логические схемы алгоритмов [1].
3) Булевы средства для аналитического структурного описания (двухполюсных) последовательных и параллельных алгоритмов формировались (в 60-е, 70-6 гг.) в автоматизации производства [ ] и вычислительной технике [2]. Кроме того, предлагались многочисленные разновидности и модификации подобных средств структурного описания последовательных и параллельных алгоритмов (в явно и неявной форме представления булевых отношений), например [3].