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

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

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

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

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

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

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

Общая тема:

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

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

Часть 2

ПАРАЛЛЕЛЬНЫЕ АЛГОРИТМЫ.

ВРЕМЕННЫЕ ДИАГРАММЫ.

(техника построений,

параметрический расчет и анализ)

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

5033.7219.0000-ПЗ

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

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

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

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

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

Учебная группа:

Работу выполнила

студентка _____________ фио

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

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

Работу принял

должность _____________ Житников А.П.

2007

1. Структурные формулы алгоритмов

1. Индивидуальное задание

Комплект исходных формул алгоритмов

Задан комплект A500 структурных формул алгоритмов:

А501 = Z₁((Z₃Z₁VZ₅) &Z₂(Z₄(Z₂ &Z₈) &Z₇Z₅)) 1-й вариант СФА

группы A500

A502 = Z₁((Z₃Z₁&Z₅) &Z₂(Z₄(Z₂ &Z₈) &Z₇Z₅)) 2-й вариант СФА

группы A500

A503 =Z₁((Z₃ _&¹ Z₁VZ₅) &Z₂(Z₄(Z₂ &Z₈) &Z₇¹Z₅)) 3-й вариант СФА группыA500

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

1. Стандартная форма формулы алгоритма

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

ИнФ: Инфиксная форма записи формулы

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

Вариант 1 (A501):

А501 = Z1((Z3Z1VZ5) &Z2(Z4(Z2 &Z8) &Z7Z5)) =

Вариант 2 (A502):

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

ПИнФ: Полная инфиксная форма

Вариант 1 (A501)

= Z1 - ((Z3 -Z1VZ5) &Z2 - (Z4 - (Z2 &Z8) &Z7 -Z5)) = Вариант 2 (A502)

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

Вариант 1 (A501)

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

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

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

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

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

Вариант 2 (A502)

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

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

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

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

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

Основная стандартная форма записи СФА

Вариант 1 (A501)

Явная операция суперпозиции:

A501 = (Z1(((Z3Z1)VZ5) & (Z2((Z4(Z2 &Z8)) & (Z7Z5))))) =

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

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

Вариант 2 (A502)

Явная операция суперпозиции:

A502 =(Z1  (((Z3  Z1) & Z5) & (Z2  ((Z4  (Z2 & Z8)) & (Z7  Z5))))) =

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

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

3. Контроль результатов

Выполняются обратные (контрольные) упрощения записи.

СФА 1.2: Вариант 1 (A501)

Удаление знака суперпозиции:

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

Удаление внешних скобок:

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

Пошаговое удаление скобок для суперпозиции:

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

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

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

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

СФА 1.3: Вариант 2 (A502)

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

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

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

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

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

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