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

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

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

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

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

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

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

Часть 7

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

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

5033.8220.0000-ПЗ

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

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

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

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

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

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

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

студентка

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

Вариант задания: А570

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

должность

2008

1. НАЧАЛЬНАЯ ОЗНАКОМИТЕЛЬНАЯ СХЕМА

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

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

1. Работа с пробной схемой. Статический анализ

2. Подготовка набора модельной схемы

1.1.2 Модель для статического моделирования

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

Установка УГО выключателя.

Установка УГО светоизлучающего диода:

Проведение связи элементов:

Нумерация узлов схемы:

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

Включается режим анализа (переходных процессов).

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

Выводится временная диаграмма

Включается клавиша The Vertical:

вертикальное расположение окон.

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

Включаeтся клавишаNode Valtagesдля отображения состояний узлов.

Обновление состояний:

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

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

а) Вместо переключателя устанавливается генератор сигналов (стимулов):

Component / Digital Primitivis / Stimulus Cenerators / Stim1 // на 1 выход

б) Выполняется настройка параметров генератора

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

1. Подготовка модели

в) Выполняется настройка режима моделирования

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

Анализ:

в данном случае (единственный узел 1) состояние выхода (y) схемы полностью повторяет состояние входа (x) схемы.

3. Режим анимации с генератором сигнала

1. Подготовки режима анимации

Включение режима анимации:

Появляется окно настройки режима анимации

запуск цикла моделирования:

Оптимальная длительность шага моделирования для наблюдения и анализа соотношений срабатывания входа и выхода: 2

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

Индивидуальный вариант выполнения работы:

x→x920,

y→y920

1. Инвертор

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

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

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

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

y920 =F2x920 =Nx920 =N(x920)

построение ССО методом мозаичного набора:

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

N

x920

y920

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

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

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

2. Подготовка модели

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

Задается нумерация узлов

Запуск модели:

Выводится окно:

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

0: x920 =0y920 =1

1: x920 =1y920 =0

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

№	x920	y920
0 1	0 1	1 0

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

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

O:y920=Nx920=N(x920) = 1–x920

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

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

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

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

Y920 = Nx920 = 1–x920:

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

Y920(t) =Nx920(t) = 1–x920(t)

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

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

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

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

Запуск режима моделирования:

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

Режим анимации:

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

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

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

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

y920=F1x920=Rx920=x920

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

y920=F1x920=Rx920

построение ССО методом мозаичного набора:

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

R

x920

y920

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

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

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

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

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

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

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

0: x920= 0y920= 0

1: x920= 1y920= 1

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

№	x920	y920
0 1	0 1	0 1

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

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

O:y920 =Rx920 =R(x920) =x920

Динамический анализ

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

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

Y920 =Rx920 =x920

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

Y920(t) =Rx920(t) =x920(t)

Построения аналогичны

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