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

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

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

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

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

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

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

Общая тема:

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

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

Часть 7

БУЛЕВЫ И ВРЕМЕННЫЕ БУЛЕВЫ ФУНКЦИИ И СОСТАВНЫЕ ВЫСКАЗЫВАНИЯ

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

5033.4491.0000-ПЗ

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

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

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

САПР: Системы автоматизированного проектирования

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

Учебная группа: САПР-230

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

студент _____________ Манаев Р. Н.

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

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

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

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

2007

1. Начальная ознакомительная схема

(ознакомление с инструментальным программным продуктом)

1. Набор простой схемы

1. Простой объект моделирования

1. Исходная принципиальная схема

1

На рисунке 1.1 представлена принципиальная схема объекта моделирования

// В качестве выключателя используется переключатель

S

Выключатель

+

0

Источник питания

E 5V

L 10W 5V

–

Электролампа

Рисунок 1.1 – Исходная схема лампы с выключателем

Выключатель

Светодиод: визуальная индикация

состояния цепи

2. Набор модельной схемы

2. Статический анализ схемы

Окно настройки параметров временной диаграммы

Временная диаграмма

Включается клавиша The Vertical:вертикальное расположение окон.

Появляется два окна:

Появляется отображения состояния узла 1:1

3. Модель для динамического анализа

4. Динамический анализ работы схемы

Настройка режима моделирования

2. Двухполюсные логические элементы

1. Инвертор

1. Исходные построения

   1. Общие сведения

ФФО: Функциональная формула (операционного) объекта

Варианты записи:

Операторная форма

y491 = F2x491 = Nx491 = N(x491)

где N– инвертор

// функциональный преобразователь операции функции

Специальные формы

Непосредственно в текстовом процессоре Word

// без формульного редактора

y491 =x'491

ССО: Структурная схема объекта

УГО: Условное графическое обозначение элемента

// с внешними полюсами связей – тестовая система

БСО: Блок-схема объекта ШСО: Штрих-схема объекта

E:

N

x491

y491

1

x491

y491

x491

y491

N y

2. Статическая модель тестовой схемы с инвертором

   2. Целевая схема модели

Логическая схема тестовой системы

Пример настройки параметров УГО

Принимаются следующие параметры

Включается режим отображения состояний узлов и режим анимации:

5. Статический анализ работы схемы

ВД: Временная диаграмма ЛС: Логическая схема

0: x491= 0 y491 = 1

1: x491 = 1y491 = 0

ФТО: Функциональная таблица объекта

№	x491	y491
0 1	0 1	1 0

ФГО: Функциональный график объекта

1

y491

0

x491

0

1

ФВО: Функциональное (арифметическое) выражение объекта

O:y491 =Nx491 =N(x491) = 1–x491

3. Динамическая модель тестовой схемы с инвертором

   1. Дополнительные данные

Введение параметра времени

НПФ: Неявная параметрическая форма

y491 = Nx491 = 1–x491:

ЯПФ: Явная параметрическая форма

y491 (t) =Nx491(t) = 1–x491 (t)

2. Целевая схема модельной системы

Логическая схема тестовой системы

Настройки параметров УГО элемента.

Установка номеров узлов схемы

4. Динамический анализ тестовой схемы с инвертором

   1. Подготовка и запуск цикла моделирования

Окно параметров

ВД: Временная диаграмма ЛС: Логическая схема

2. Повторитель (репитор)

1. Исходные построения

1. Общие сведения

ФФО: Функциональная формула (операционного) объекта

Варианты записи:

Операторная форма

y491 = F1x491 = Rx491 = x491

где R– повторитель (репитор).

// функциональный преобразователь операции функции

Специальные формы

Непосредственно в текстовом процессоре Word

// без формульного редактора

y491 =x491

ЛИ: Логическая интерпретация

y491 равноx491 // Верно, что 491x

y491equalx491

ССО: Структурная схема объекта

УГО: Условное графическое обозначение элемента

// с внешними полюсами связей – тестовая система

БСО: Блок-схема объекта ШСО: Штрих-схема объекта

R

x491

y491

1

x491

y491

x491

y491

R

2. Статическая модель тестовой схемы с инвертором

1. Целевая схема модели

Логическая схема тестовой системы

2. Исходные данные

СФО: Структурная формула объекта

y491 =F1x491 =Rx491

ЛИ: Логическая интерпретация

y491 равноx491 // Верно, чтоx491

0491yequalx491

ССО: Структурная схема объекта

Б

СО: Блок-схема объекта ШСО: Штрих-схема объекта

x491

y491

R

R

x491

y491

1

x491

y491

4. Статический анализ

Статическая модель

ВД: Временная диаграмма ЛС: Логическая схема

0: x491 = 0y491 = 0

1: x491 = 1y491 = 1

ФТО: Функциональная таблица объекта

№	x491	y491
0 1	0 1	0 1

y491

ФГО: Функциональный график объекта

1

0

x491

1

0

ФВ: Функциональное (арифметическое) выражение

O:y491 =Rx491 =R(x491) =x491

Примечание 2.1 Эквивалентная схема

1) Исходная схема с оператором y491 =F1x491 =Rx491 эквивалента схеме без оператораy491 =x491:

2) Соответствующая модельная схема:

// Прямое соединение входа на выход