- •Млта: математическая логика и теория алгоритмов
- •Динамический анализ
- •Константные элементы
- •Параметрические обобщения повторителя и инвертора
- •Элемент задержки (delay) или сдвига (по времени)
- •Исходные данные
- •Динамическая модель
- •Динамический анализ
- •Динамический анализ
- •Сумма по модулю (разделительная дизъюнкция)
- •Константные элементы
- •Нулевой константный оператор
- •Единичный константный оператор
- •Дифференцирующие элементы
- •Единичный дифференцирующий элемент
- •Нулевой дифференцирующий элемент
Динамический анализ
Введение параметра времени
НПФ: Неявная параметрическая форма
y491 =Rx491 =x491
ЯПФ: Явная параметрическая форма
y491 (t) = Rx491 (t) = x491 (t)
Построения аналогичны
ВД: Временная диаграмма ЛС: Логическая схема
Константные элементы
СФО: Структурная формула объекта
y491 =F0x491 =C0x491 =C0x491 =C0(x491) =c00
y491 = F3x491 = C1x491 = C1 x491 = C1(x491) = c1 1
ССО: Структурная схема объекта
БСО: Блок-схема объекта ШСО: Штрих-схема объекта
x491
y491
С0
x491
y491
С1
С0
x491
y491
С1
x491 037x
y491
Сводная характеристика одноместных функций
Сводная таблица
x |
0 |
1 |
Вычисление |
Наименование функции |
y = F1x = C0x |
0 |
0 |
y = C0x = c0 0 |
Нулевая константная функция |
y = F2x = Rx |
0 |
1 |
y = Rx = x |
Функция повторения |
y = F3x = Nx |
1 |
0 |
y = Nx = 1 – x |
Функция инверсии (обращения) |
y = F4x = C1x |
1 |
1 |
y = C1x = c1 1 |
Единичная константная функция |
Параметрические обобщения повторителя и инвертора
Элемент задержки (delay) или сдвига (по времени)
Исходные данные
ФВО: Функциональное выражение объекта
y491 (t) = Dtmx 491 (t) = Stt–mx491 (t) = x491 (t-m)
где Dtm=Stt–m– оператор подстановки выраженияt–mвместо (во все вхождения) выраженияt;
в данном случае это оператор сдвига параметра времени.
СФ: Структурная формула
ЯПФ: Явная (полная) параметрическая форма
(относительно параметра t)
y491 (t) = Dtmx491 (t) = x (t-m):
НПФ: Неявная (сокращенная) параметрическая форма
(относительно параметраt)
y491 =Dmx491
ЛИ: Логическая интерпретация
yравноmединиц (времени) назад былоx
СС: Структурная схема
БСО: Блок-схема объекта ШСО: Штрих-схема объекта
x491
y491
X491
y491
x491
y491
Dm
Dm
m
Динамическая модель
ЛС: Логическая схема системы анализа
Заполнения параметров элемента:
Задержки 0.5 сек.
Динамический анализ
Запуск и параметры настройки модели
Результаты работы:
ВД: Временная диаграмма ЛС: Логическая схема
Установлена длительность задержки 0.5 сек.
Динамический анализ
Запуск и параметры настройки модели
Результаты работы:
ВД: Временная диаграмма ЛС: Логическая схема
2.1 Индивидуальная настройка элемента задержки
Задать личный параметр задержки в тысячных долях секунды:
m= 0.137s
Установлена длительность задержки 0.137 сек.
На диаграмме представлен сдвиг графика d(2) относительно графикаd(1) на 0.137 сек
Задержанный повторитель и инвертор
Задержанный повторитель
Общее соотношение:
DmR=RDm=Rm
где Rm– обозначение задержанного повторителя;
Rm=RDm=Dm – определение задержанного повторителя.
Задержанный повторитель – это повторитель с задержкой выходного сигнала:
это модель реального повторителя с паразитной внутренней задержкой.
Эквивалентные (операторные) схемы:
2.2 Индивидуальный вариант выполнения работы:
x1 →x1491,
x2 →x2491,
y→y491
где 491 – последние три цифры в номере nnn491 зачетной книжки.
Конъюнктор (И, And)
Исходные построения
Общие данные
СФО: Структурная формула объекта
Y491 = &(x1491,x2491) = (x1491&x2491) = (x1491,x2491)&
// префиксная, инфиксная, постфиксная формы записи
Варианты записи:
y=x1x2
ЛИ: Логическая интерпретация
x491 равно x1491 и x2491
y491 equal x1491 and x2491
ССО: Структурная схема объекта
БСО: Блок-схема объекта ШСО: Штрих-схема объекта
x1491
y491
&
x1491
y491
&
x2491
x1491
ЛС: Логическая схема системы анализа
Функциональные соотношения
(по номерам комбинаций состояний входов)
0: x1491 = 0 x2491 = 0 y491 = 0
1: x1491 = 0 x2491 = 1 y491 = 0
2: x1491 = 1 x2491 = 0 y491 = 0
3: x1491 = 1x2491 = 1y491 = 1
ФТО: Функциональная таблица объекта – таблица истинности
Форма 1
№ |
x1491x2491 |
Y491 |
0 1 2 3 |
00 01 10 11 |
0 0 0 1 |
Форма 2 // Аналог таблицы Карно
& |
0 |
1 |
0 |
0 |
0 |
1 |
0 |
1 |
ФГО: Функциональный график объекта
y491
1
x1491
0
00 01
10 11
x490
ФВ: Функциональное (арифметическое) выражение
y = Min(x1491,x2491) = ((x1491+x2491)–|x1491–x2491|)/2