- •Млта: Математическая логика и теория алгоритмов
- •Комплект трех вариантов структурной формулы
- •Базисные структуры параллельных алгоритмов
- •1.2 Исходные структурные формулы параллельных алгоритмов
- •Стандартная форма формулы алгоритма
- •Контроль результатов
- •1. 2 Автоматизация построений основной схемы алгоритма Исходные условия
- •Вариант 1 структурной схемы. Автоматизация построений
- •Анализ структурной схемы Общие данные структуры алгоритма
- •Проверочная нумерация оболочек формул и схем
- •Вложенность формульных оболочек
- •Явная операция разделения (вилки) потоков
- •Работа с тренажером схемных построений
- •Мозаичный набор схем
- •Временные диаграммы параллельных алгоритмов
- •Графический расчет длительности алгоритма
- •Расчет длительности алгоритма
- •Вербальные тексты параллельных алгоритмов базисных структур
- •ИнФ: Инфиксная форма вербального текста
- •Ги: Горизонтальное исполнение
- •Ви: Вертикальное исполнение
- •Автоматизация построений
- •НИнФ: Неявная инфиксная форма вербального текста
- •Исходные условия
- •Ги: Горизонтальное исполнение
- •КоФ: Комбинированная форма вербального текста: ИнПрПоФ
- •Ги: Горизонтальное исполнение
- •Alg a092: begin z1; cobegin begin z3; z1 end, begin cobegin z5, begin z2; cobegin z4, z0 coend end coend ; cobegin z6, begin z5; z2 end coend end coend_or end
- •Ви: Вертикальное исполнение
- •Автоматизация построений: Алгол (Паскаль)-подобный текст
- •ПрФ: Префиксная форма
- •Исходные условия
- •Ги: Горизонтальное исполнение
- •Автоматизация построений
Министерство образования Российской Федерации
Уфимский государственный авиационный технический университет
Факультет ИРТ: Информатика и робототехника
Кафедра ПСИ: Проектирование систем информатики
Учебная дисциплина:
Млта: Математическая логика и теория алгоритмов
РГР: Расчетно-графическая работа
Общая тема:
ПАРАЛЛЕЛЬНЫЕ ЛОГИКО-АЛГОРИТМИЧЕСКИЕ СИСТЕМЫ
(алгоритмы и логика, аппаратная и программная реализация)
Часть 2
ТЕХНИКА ПОЛИМОРФНЫХ СТРУКТУРНЫХ ПОСТРОЕНИЙ ПАРАЛЛЕЛЬНЫХ АЛГОРИТМОВ
Пояснительная записка
5033.4567.0000-ПЗ
Направление подготовки:
654600: ИВТ: Информатика и вычислительная техника
Специальность:
220200: АСОИиУ: Автоматизированные системы обработки информации и управления
Курс обучения: 2
Учебная группа: АСОИ-231
Работу выполнил студент Любцова Л. В.
Зачетная книжка № 055567
Вариант задания: A090
Работу принял Житников А. П.
2006 г.
1. Исходные положения
1.1 Исходные данные для выполнения работы
Заданные структурные формулы алгоритма
Исходной основой выполнения работы является структурная формула алгоритма (СФА) согласно выданному варианту задания.
A090 = Z1(Z31Z1 V ((Z5&Z2(Z4&Z0))(Z6&Z5&1Z2)))
Предусматривается проработка 3-х вариантов СФА (A091,A092,A093).
Данная формула представляет 3-й вариант СФА: A090 =A093.
Промежуточный 2-й вариант (A092) СФА получается удалением вертикальных стрелок&1,1с индексами (дополнительных проходных связей):
A092 = Z1(Z3Z1 V ((Z5&Z2(Z4&Z0))(Z6&Z5 Z2)))
Начальный 1-й вариант (A091) СФА – знак дизъюнкцииV(Или) меняется на знак конъюнкции & (И), получается только конъюнктивная форма:
A091 = Z1(Z3Z1 & ((Z5&Z2(Z4&Z0))(Z6&Z5 Z2)))
Комплект трех вариантов структурной формулы
В целом определяются 3 варианта СФА задания.
а) Тема 1: Базовые структуры – двухполюсные, ациклические, постоянные:
A091 =Z1(Z3Z1 & ((Z5&Z2(Z4&Z0))(Z6&Z5 Z2))) 1-й вариант СФАA090
// обычные параллельные структуры с замыканием параллельных ветвей алгоритмов по конъюнкции & (логической функции И);
A092 = Z1(Z3Z1 V ((Z5 &Z2(Z4&Z0))(Z6&Z5 Z2)))
2-й вариант СФА A930
// проблемы замыкания по дизъюнкции V(логической функции ИЛИ).
б) Тема 2: Элементы многополюсных структур:
A093=A090= Z1(Z31Z1 V ((Z5&Z2(Z4&Z0))(Z6&Z5&1Z2))) 3-й вариант СФА A090
СФА: Структурная формула алгоритма / У: Поток управления
ИнФ: Инфиксная форма (записи СФА)
СИнФ: Сокращенная инфиксная форма
// Неявная операция суперпозиции
Нижние (подстрочные) индексы – согласно заданию
A091 =Z1(Z3Z1 & ((Z5&Z2(Z4&Z0))(Z6&Z5Z2))) 1-й вариант СФАA090
A092 =Z1(Z3Z1 V((Z5&Z2(Z4&Z0))(Z6&Z5 Z2))) 2-й вариант СФАA090
Строчные индексы – рабочая форма
A091 = Z1(Z3Z1 & ((Z5&Z2(Z4&Z0))(Z6&Z5Z2))) =
= Z1(Z3Z1 & ((Z5&Z2(Z4&Z0))(Z6&Z5 Z2)))
A092 = Z1(Z3Z1 V ((Z5&Z2(Z4&Z0))(Z6&Z5 Z2))) =
= Z1(Z3Z1 V ((Z5&Z2(Z4&Z0))(Z6&Z5 Z2)))
РМУ 0.1Пробелы между символами
Между любыми символами (лексемами) формулы допускается любое число пробелов (нуль или более). Например:
СФА: Структурная формула алгоритма
Простановка пробелов:
A092 = Z1(Z3Z1 V ((Z5&Z2(Z4&Z0))(Z6&Z5Z2))) =
= Z1 ( Z3 Z1 V ( ( Z5 & Z2 ( Z4 & Z0 ) ) ( Z6 & Z5 Z2 ) ) ) =
= Z1(Z3Z1 V ((Z5&Z2(Z4&Z0))(Z6&Z5 Z2))) =
= Z1 ( Z3 Z1 V ( ( Z5 & Z2 ( Z4 & Z0 ) ) ( Z6 & Z5 Z2 ) ) )