- •Млта: Математическая логика и теория алгоритмов
- •Комплект трех вариантов структурной формулы
- •Базисные структуры параллельных алгоритмов
- •1.2 Исходные структурные формулы параллельных алгоритмов
- •Стандартная форма формулы алгоритма
- •Контроль результатов
- •1. 2 Автоматизация построений основной схемы алгоритма Исходные условия
- •Вариант 1 структурной схемы. Автоматизация построений
- •Анализ структурной схемы Общие данные структуры алгоритма
- •Проверочная нумерация оболочек формул и схем
- •Вложенность формульных оболочек
- •Явная операция разделения (вилки) потоков
- •Работа с тренажером схемных построений
- •Мозаичный набор схем
- •Временные диаграммы параллельных алгоритмов
- •Графический расчет длительности алгоритма
- •Расчет длительности алгоритма
- •Вербальные тексты параллельных алгоритмов базисных структур
- •ИнФ: Инфиксная форма вербального текста
- •Ги: Горизонтальное исполнение
- •Алг a601: нач z2; нач нач нач нач нач нач z0; z2 кон и z1 кон; z0 кон и z8 кон и нач z3; z5 кон кон и нач z7; z4 кон кон кон ви: Вертикальное исполнение
- •Автоматизация построений
- •НИнФ: Неявная инфиксная форма вербального текста
- •Исходные условия
- •Ги: Горизонтальное исполнение
- •КоФ: Комбинированная форма вербального текста: ИнПрПоФ
- •Ги: Горизонтальное исполнение
- •Alg a602: begin z2; cobegin cobegin cobegin begin cobegin begin z0; z2 end, z1 coend; z0 end, z8 coend, begin z3; z5 end coend_or, begin z7; z4 end coend end
- •Ви: Вертикальное исполнение
- •Автоматизация построений: Алгол (Паскаль)-подобный текст
- •ПрФ: Префиксная форма
- •Исходные условия
- •Ги: Горизонтальное исполнение
- •Ви: Вертикальное исполнение
- •Автоматизация построений
Министерство образования Российской Федерации
Уфимский государственный авиационный технический университет
Факультет ИРТ: Информатика и робототехника
Кафедра ПСИ: Проектирование систем информатики
Учебная дисциплина:
Млта: Математическая логика и теория алгоритмов
РГР: Расчетно-графическая работа
Общая тема:
ПАРАЛЛЕЛЬНЫЕ ЛОГИКО-АЛГОРИТМИЧЕСКИЕ СИСТЕМЫ
(алгоритмы и логика, аппаратная и программная реализация)
Часть 2
ТЕХНИКА ПОЛИМОРФНЫХ СТРУКТУРНЫХ ПОСТРОЕНИЙ ПАРАЛЛЕЛЬНЫХ АЛГОРИТМОВ
Пояснительная записка
5033.7544.0000-ПЗ
Направление подготовки:
654600: ИВТ: Информатика и вычислительная техника
Специальность:
220200: АСОИиУ: Автоматизированные системы обработки информации и управления
Курс обучения: 2
Учебная группа: АСОИ-232
Работу выполнил студент Ахмадуллин Б. Р.
Зачетная книжка № 055544
Вариант задания: A600
Работу принял Житников А. П.
2007 г.
1. Исходные положения
1.1 Исходные данные для выполнения работы
Заданные структурные формулы алгоритма
Исходной основой выполнения работы является структурная формула алгоритма (СФА) согласно выданному варианту задания.
A600 = Z2((((Z0Z2 & Z1)Z0 & Z8) V Z31Z5)&Z7&1Z4)
Предусматривается проработка 3-х вариантов СФА (A601,A602,A603).
Данная формула представляет 3-й вариант СФА: A600 =A603.
Промежуточный 2-й вариант (A602) СФА получается удалением вертикальных стрелок&1,1с индексами (дополнительных проходных связей):
A602 = Z2((((Z0Z2 & Z1)Z0 & Z8) V Z3Z5)&Z7Z4)
Начальный 1-й вариант (A601) СФА – знак дизъюнкцииV(Или) меняется на знак конъюнкции & (И), получается только конъюнктивная форма:
A601 = Z2((((Z0Z2 & Z1)Z0 & Z8) & Z3Z5)&Z7Z4)
Комплект трех вариантов структурной формулы
В целом определяются 3 варианта СФА задания.
а) Тема 1: Базовые структуры – двухполюсные, ациклические, постоянные:
A601 = Z2((((Z0Z2 & Z1)Z0 & Z8) & Z3Z5)&Z7Z4)
1-й вариант СФА A600
// обычные параллельные структуры с замыканием параллельных ветвей алгоритмов по конъюнкции & (логической функции И);
A602 = Z2((((Z0Z2 & Z1)Z0 & Z8) V Z3Z5)&Z7Z4)
2-й вариант СФА A600
// проблемы замыкания по дизъюнкции V(логической функции ИЛИ).
б) Тема 2: Элементы многополюсных структур:
A603= A600 = Z2((((Z0Z2 & Z1)Z0 & Z8) V Z31Z5)&Z7&1Z4)
3-й вариант СФА A600
СФА: Структурная формула алгоритма / У: Поток управления
ИнФ: Инфиксная форма (записи СФА)
СИнФ: Сокращенная инфиксная форма
// Неявная операция суперпозиции
Нижние (подстрочные) индексы – согласно заданию
A601 = Z2((((Z0Z2 & Z1)Z0 & Z8) & Z3Z5)&Z7Z4)
1-й вариант СФА A600
A602 = Z2((((Z0Z2 & Z1)Z0 & Z8) V Z3Z5)&Z7Z4)
2-й вариант СФА A600
Строчные индексы – рабочая форма
A601 = Z2((((Z0Z2 & Z1)Z0 & Z8) & Z3Z5)&Z7Z4) =
= Z2((((Z0Z2 & Z1)Z0 & Z8) & Z3Z5)&Z7Z4)
A602 = Z2((((Z0Z2 & Z1)Z0 & Z8) V Z3Z5)&Z7Z4) =
= Z2((((Z0Z2 & Z1)Z0 & Z8) V Z3Z5)&Z7Z4)
РМУ 0.1Пробелы между символами
Между любыми символами (лексемами) формулы допускается любое число пробелов (нуль или более). Например:
СФА: Структурная формула алгоритма
Простановка пробелов:
A602 = Z2((((Z0Z2 & Z1)Z0 & Z8) V Z3Z5)&Z7Z4) =
= Z2 ( ( ( ( Z0 Z2 & Z1 ) Z0 & Z8 ) V Z3 Z5 ) & Z7 Z4 ) =
= Z2((((Z0Z2 & Z1)Z0 & Z8) V Z3Z5)&Z7Z4) =
= Z2 ( ( ( ( Z0 Z2 & Z1 ) Z0 & Z8 ) V Z3 Z5 ) & Z7 Z4 )