5033.4350.0000-Пз

63

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

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

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

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

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

МЛТА:

МАТЕМАТИЧЕСКАЯ ЛОГИКА И ТЕОРИЯ АЛГОРИТМОВ

РАСЧЕТНО-ГРАФИЧЕСКАЯ РАБОТА

Шифр: 5033.4350.0000-ПЗ

Профиль обучения:

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

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

220100: ВМКСС:Вычислительные машины, комплексы, системы и сети.

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

Учебная группа: ВМ-218

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

Студент _____________ Сарбашев К.В.

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

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

старш. преподаватель _____________ Житников А.П.

2003

СОДЕРЖАНИЕ

ВВЕДЕНИЕ 6

1 ТЕОРИЯ АЛГОРИТМОВ 7

1.1 Исходные положения 7

Общее содержание второй части задания 7

Виды текстов алгоритмов 7

1.2 Ациклические двухполюсные структуры алгоритмов 8

1.2.1 Исходные условия 8

1.2.2 Комплект текстов алгоритмов 10

1.2.2.1 Этап Э1: Подготовка стандартной полной формы формулы 10

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

1.2.2.2 Этап Э2: Построение структурной схемы 12

Структурная схема алгоритма 12

Э21: Построение основной схемы – без оболочек 12

Э22: Группирование элементов 13

Э23: Проверочная нумерация оболочек 13

Э25 Повышение явного соответствия формул и схем 15

Э251 Явная операция разделения потоков 15

Э252 Разделение парных операций 16

Э253 Двухмерные структурные формулы 17

Э254 Псевдографика структурной схемы 19

Э255 Набор схемы графического тренажера 19

1.2.2.3 Этап Э3: Работа с временной диаграммой алгоритма 21

Э31 Задание длительности исполнения команд 21

Э32 Построение временной диаграммы сетевого типа 21

Э33 Графический расчет длительности алгоритма 22

Э34 Аналитический расчет длительности алгоритма 22

1.2.2.4 Э4: Подготовка вербальных текстов алгоритма 24

ВТА: Вербальные тексты алгоритмов 24

Дополнительные функциональные обозначения 24

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

ИнФ': Неявная инфиксная форма 29

ПрФ: Префиксная форма 35

1.3 Ациклические многополюсные структуры алгоритмов 38

1.3.1 Исходные условия 38

1.3.2 Комплект текстов алгоритмов 39

1.3.2.1 Этап Э1: Подготовка стандартной полной формы формулы 39

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

1.3.2.2 Этап Э2: Построение структурной схемы 40

Структурная схема алгоритма 40

Построение основной схемы (без оболочек) 40

1.3.2.3 Этап Э3: Работа с временной диаграммой алгоритма 43

Э31 Задание длительности исполнения команд 43

Э32 Построение временной диаграммы сетевого типа 43

Э33 Графический расчет длительности алгоритма 44

Э34 Аналитический расчет длительности алгоритма 44

1.3.2.4 Э4: Подготовка вербальных текстов алгоритма 45

ВТА: Вербальные тексты алгоритмов 45

Дополнительные функциональные обозначения 45

1.4 Переключательные ациклические структуры алгоритмов 50

1.5 Циклические структуры алгоритмов 50

2 математическая логика 51

2.1 Аппаратная реализация алгоритмов и математические модели 51

2.1.1 Концептуальная модель команды 53

Схема модели команды 53

Функции модели 54

Блок функций аппаратной модели команды 54

Индексация обозначений 55

Работа модели 55

Уточнение функции индикации 56

2.1.2 Работа с программной моделью команды в среде MathLab 57

Вывод схемы модели на экран 57

Построение временной диаграммы 57

Настройки дополнительных параметров диаграммы 60

2.1.3 Концептуальная модель алгоритма 63

2.1.3.1 Ациклические двухполюсные структуры алгоритмов 63

Модельная схема алгоритма 63

Функциональная система алгоритма 65

2.1.4 Программная модель алгоритма в среде MathLab 66

Подготовка файла модели 66

Формирование схемы модели EnvMPMA 71

Построение временной диаграммы 72

ЗАКЛЮЧЕНИЕ 74