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

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

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

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

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

МЛТА:

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

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

Шифр: 5033.4350.0000-ПЗ

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

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

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

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

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

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

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

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

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

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

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

2003

СОДЕРЖАНИЕ

ВВЕДЕНИЕ. 5

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Функции модели. 52

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

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

Работа модели. 53

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

2.1.2 Программная модель команды в среде MathLab. 55

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

Работа модели. 57

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

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

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

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

2.1.4 Концептуальная модель алгоритма. 65

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

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

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

2.1.5 Программная модель алгоритма в среде MathLab. 68

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

Набор общей модели среды алгоритмического объекта. 68

Формирование схемы модели EnvMPMA.. Ошибка! Закладка не определена.

Подготовка параметров построения временной диаграммы.. Ошибка! Закладка не определена.

Построение временной диаграммы.. Ошибка! Закладка не определена.

ЗАКЛЮЧЕНИЕ. Ошибка! Закладка не определена.

ВВЕДЕНИЕ

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

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

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

Выполняется подготовка различных текстов заданного алгоритма, которые строятся: