Министерство образования Российской Федерации

Уфимский государственный авиационный технический университет

Факультет ИРТ: Информатика и робототехника

Кафедра ПСИ: Проектирование систем информатики

Учебная дисциплина:

Млта: Математическая логика и теория алгоритмов

РГР: Расчетно-графическая работа

Общая тема:

ПАРАЛЛЕЛЬНЫЕ ЛОГИКО-АЛГОРИТМИЧЕСКИЕ СИСТЕМЫ

(алгоритмы и логика, аппаратная и программная реализация)

Часть 2

ТЕХНИКА ПОЛИМОРФНЫХ СТРУКТУРНЫХ ПОСТРОЕНИЙ ПАРАЛЛЕЛЬНЫХ АЛГОРИТМОВ

Пояснительная записка

5033.4542.0000-ПЗ

Направление подготовки:

654600: ИВТ: Информатика и вычислительная техника

Специальность:

220200: АСОИиУ: Автоматизированные системы обработки информации и управления

Курс обучения: 2

Учебная группа: АСОИ-232

Работу выполнил студент Абдульменова Л.

Зачетная книжка № 055542

Вариант задания: A400

Работу принял Житников А. П.

2007 г.

1. Исходные положения

1.1 Исходные данные для выполнения работы

1. Заданные структурные формулы алгоритма

Исходной основой выполнения работы является структурная формула алгоритма (СФА) согласно выданному варианту задания.

A400 = Z₁((Z₃_&¹Z₁ V Z₅)&Z₂ (Z₄(Z₂&Z₈)&Z₇¹ Z₅))

Предусматривается проработка 3-х вариантов СФА (A401,A402,A403).

Данная формула представляет 3-й вариант СФА: A400 =A403.

Промежуточный 2-й вариант (A402) СФА получается удалением вертикальных стрелок_&¹,¹с индексами (дополнительных проходных связей):

A402 = Z₁((Z₃Z₁ V Z₅)&Z₂ (Z₄(Z₂&Z₈)&Z₇Z₅))

Начальный 1-й вариант (A401) СФА – знак дизъюнкцииV(Или) меняется на знак конъюнкции & (И), получается только конъюнктивная форма:

A401 = Z₁((Z₃Z₁ & Z₅)&Z₂ (Z₄(Z₂&Z₈)&Z₇Z₅))

2. Комплект трех вариантов структурной формулы

В целом определяются 3 варианта СФА задания.

а) Тема 1: Базовые структуры – двухполюсные, ациклические, постоянные:

A401 = Z₁((Z₃Z₁ & Z₅)&Z₂ (Z₄(Z₂&Z₈)&Z₇Z₅))

1-й вариант СФА A400

// обычные параллельные структуры с замыканием параллельных ветвей алгоритмов по конъюнкции & (логической функции И);

A402 = Z₁((Z₃Z₁ V Z₅)&Z₂ (Z₄(Z₂&Z₈)&Z₇Z₅))

2-й вариант СФА A400

// проблемы замыкания по дизъюнкции V(логической функции ИЛИ).

б) Тема 2: Элементы многополюсных структур:

A403=A400= Z₁((Z₃_&¹Z₁ V Z₅)&Z₂ (Z₄(Z₂&Z₈)&Z₇¹ Z₅))

3-й вариант СФА A400

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

ИнФ: Инфиксная форма (записи СФА)

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

// Неявная операция суперпозиции

Нижние (подстрочные) индексы – согласно заданию

A401 = Z₁((Z₃Z₁ & Z₅)&Z₂ (Z₄(Z₂&Z₈)&Z₇Z₅))

1-й вариант СФА A400

A402 = Z₁((Z₃Z₁ V Z₅)&Z₂ (Z₄(Z₂&Z₈)&Z₇Z₅))

2-й вариант СФА A400

Строчные индексы – рабочая форма

A401 = Z₁((Z₃Z₁ & Z₅)&Z₂ (Z₄(Z₂&Z₈)&Z₇Z₅)) =

= Z1((Z3Z1 & Z5)&Z2 (Z4(Z2&Z8)&Z7Z5))

A402 = Z₁((Z₃Z₁ V Z₅)&Z₂ (Z₄(Z₂&Z₈)&Z₇Z₅)) =

= Z1((Z3Z1 V Z5)&Z2 (Z4(Z2&Z8)&Z7Z5))

РМУ 0.1Пробелы между символами

Между любыми символами (лексемами) формулы допускается любое число пробелов (нуль или более). Например:

СФА: Структурная формула алгоритма

Простановка пробелов:

A402 = Z₁((Z₃Z₁VZ₅)&Z₂(Z₄(Z₂&Z₈)&Z₇Z₅)) =

= Z₁ ( ( Z₃ Z₁ V Z₅ ) & Z₂ ( Z₄ ( Z₂ & Z₈ ) & Z₇ Z₅ ) ) =

= Z1((Z3Z1 V Z5)&Z2 (Z4(Z2&Z8)&Z7Z5)) =

= Z1 ( ( Z3 Z1 V Z5 ) & Z2 ( Z4 ( Z2 & Z8 ) & Z7 Z5 ) )