
- •Млта: математическая логика и теория алгоритмов
- •Динамический анализ
- •Константные элементы
- •Параметрические обобщения повторителя и инвертора
- •Элемент задержки (delay) или сдвига (по времени)
- •Исходные данные
- •Динамическая модель
- •Динамический анализ
- •Динамический анализ
- •Сумма по модулю (разделительная дизъюнкция)
- •Константные элементы
- •Нулевой константный оператор
- •Единичный константный оператор
- •Дифференцирующие элементы
- •Единичный дифференцирующий элемент
- •Нулевой дифференцирующий элемент
Единичный константный оператор
// генератор единиц
СФ: Структурная формула
y491 = x491 V Nx491 = Rx491 V Nx491 = (R V N)x491 = C1x491 = c1 1
C0=RVN
СС: Структурная схема
БСО: Блок-схема объекта ШСО: Штрих-схема объекта
y491
x491 V R
C1
x491
y491 V # N R
C1
y491
x491 V N
x491 N
x491
x491
y491
Задание 2.7 Построение ССО методом мозаичного набора:
Уточнение структурной записи:
наличие структурной операции вилки
y 491= Rx491 V Nx491 = (R V# N)x491 = C0x491 = c0 0
C0=RV#N=V(R,N)#
Статический анализ
0:x490 = 0 y490 = 1
1: x490= 1y490= 1
ФТО: Функциональная таблица объекта
№ |
X491 |
y491 |
0 1 |
0 1 |
1 1 |
y491
1
0
x491
1
0
Динамический анализ:
На выходе сигнал неизменно единичный.
Дифференцирующие элементы
Единичный дифференцирующий элемент
СФ: Структурная формула
Y491 = x & Nmx491 = Rx491 & Nmx491 = (R & Nm)x491
D01 = = (R & Nm) = (R &# Nm)
y491 =D01x491 =x491
y491 =D01x491 =x491 – единичный оператор дифференцирования (переход 01)
Nm=NDm
СС: Структурная схема
БСО: Блок-схема объекта ШСО: Штрих-схема объекта
x491
y491 & # R
y491
x491 V
x491 V R
y491
x491
y491 & #
Nm
Nm
Nm
Nm
x491
y491
Динамический анализ
На выходе вырабатывается импульсный сигнал на передний фронт входного сигнала (переход 01).
Нулевой дифференцирующий элемент
СФО: Структурная формула объекта
y491 = Rmx491 & Nx491 = (Rm & N)x491
y491 = D10x491 = x491
D10 = = (N & Rm) = (N &# Rm)
D10 =– единичный оператор дифференцирования (переход 01)
Rm=RDm
ССО: Структурная схема объекта
БСО: Блок-схема объекта ШСО: Штрих-схема объекта
& &
y491
x491
Rm
x491
y491 #
Rm
N N
x491
y491
Динамический анализ
На выходе вырабатывается импульсный сигнал на задний фронт входного сигнала (переход 10).