- •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
- •Построение временной диаграммы
- •Заключение
Ациклические многополюсные структуры алгоритмов
Исходные условия
Исходная структурная формула алгоритма (СФА)
Задана исходная формула алгоритма:
// модификация исходной формулы по разделу Error: Reference source not found
СФА: Структурная формула алгоритма / У: Поток управления
ИнФ: Инфиксная форма
СИнФ: Сокращенная инфиксная форма:
РМУ 1.10 Выписать СФА согласно исходному заданию.
// нижние (подстрочные) индексы – согласно заданию
A910 = (Z1 Z2 (Z6 V Z1 1Z8)& Z3 &1Z4) Z1 =
= (Z1 Z2 (Z6 $ Z1 1Z8)& Z3 &1Z4) Z1
РМУ 1.11 Выровнять индексы текста формулы
// строчные индексы – рабочая форма
= (Z1Z2 (Z6VZ11Z8)&Z3&1Z4)Z1 =
// дополнительная модификация записи – при необходимости
= (Z1Z2 (Z6VZ1(L1)Z8)&Z3(&,L1)Z4)Z1
Данная СФА задает (в сокращенной инфиксной форме записи) ациклический двухполюсный в целом параллельный алгоритм с многополюсными составляющими компонентами.
РМУ 1.12 1) Между любыми символами (лексемами) допускается любое число пробелов (нуль или более):
A910 = (Z1Z2(Z6VZ11Z8)&Z3&1Z4)Z1 =
= (Z1 Z2 (Z6 V Z1 1 Z8) & Z3 &1 Z4) Z1 =
= (Z1Z2(Z6VZ11Z8)&Z3&1Z4)Z1 =
= ( Z1 Z2 ( Z6 V Z1 1 Z8 ) & Z3 &1 Z4 ) Z1
2) Варианты записи различаются по наглядности (и читабельности) записи и дополнительной трудоемкости работы с формулами.
Комплект текстов алгоритмов
Этап э1: Подготовка стандартной полной формы формулы
Стандартная форма формулы алгоритма
По исходной СФА строится стандартная СФА – полная инфиксная форма.
СФА: Структурная формула алгоритма / У: Поток управления
ИнФ: Инфиксная форма записи формулы
СИнФ: Сокращенная инфиксная форма
A910 = (Z1 Z2 (Z6 V Z1 1 Z8)& Z3 &1 Z4) Z1 =
ПИнФ: Полная инфиксная форма // пошаговое построение
// Поэтапная простановка неявных операций суперпозиции:
// последовательная запись операторов соответствует
// операция суперпозиции (" – " или " ")
= (Z1 –Z2 – (Z6VZ1 –1 –Z8) &Z3 –&1 –Z4) –Z1 =
= (Z1 –&1 –Z2VZ3 – (Z4 &Z5 –1 –Z6)) –Z3 –Z1 =
// Простановка недостающих пар операционных скобок:
// приоритет операции суперпозиции (–,) выше приоритета операций
// конъюнкции (&) и дизъюнкции (V)
= (Z1 –Z2 –(Z6V(Z1 –1 –Z8))&Z3 –&1 –Z4)–Z1 =
= (Z1 –Z2 –(Z6V(Z1 –1 –Z8))&(Z3 –&1 –Z4))–Z1 =
= ((Z1 –Z2 –(Z6V(Z1 –1 –Z8)))&(Z3 –&1 –Z4))–Z1 =
= (((Z1 –Z2 –(Z6V(Z1 –1 –Z8)))&(Z3 –&1 –Z4))–Z1)
РМУ 1.13 Рекомендуется пошаговая простановка очередных пар скобок (на основе копирования предыдущего результата в новую строку) – резко снижается вероятность ошибок.
Основная стандартная форма записи СФА
// строчная индексация
A910 =(((Z1Z2(Z6V(Z11Z8)))&(Z3&1Z4))Z1)=
// подстрочная и надстрочная индексация (нижние индексы)
A910 = (((Z1 Z2 (Z6 V (Z1 1 Z8))) & (Z3 &1 Z4)) Z1) =
Обратные (контрольные) упрощения записи
= (((Z1Z2(Z6V(Z1Z8)))&(Z3&1Z4))Z1)=
= ((Z1Z2(Z6V(Z1Z8)))&(Z3&1Z4))Z1 =
= (Z1Z2(Z6V(Z1Z8))&(Z3&1Z4))Z1 =
= (Z1Z2(Z6V(Z1Z8))&Z3&1Z4)Z1 =
= (Z1Z2(Z6VZ1Z8)&Z3&1Z4)Z1
РМУ 1.14 Смотрите РМУ 1 .1
Этап э2: Построение структурной схемы
Структурная схема алгоритма
На основе заданной формулы строится схема алгоритма.
ССА: Структурная схема алгоритма / У: Поток управления
ШСС: Шаблон структурной схемы
A910 = (((Z1 Z2 (Z6 V (Z1 1 Z8))) & (Z3 &1 Z4)) Z1) =
A910 = (((Z1 – Z2 –(Z6 V (Z1 – 1 – Z8))) & (Z3 – &1 – Z4)) – Z1) =