
- •15.Двоичная и десятичная системы счисления. Перевод из одной системы в другую. Задание фал с помощью десятичных чисел.
- •3. Способы задания фал. Таблица истинности. Геометрическая интерпретация. Задание с помощью десятичных чисел. Задание с помощью формул.
- •6. Аксиомы алгебры логики. Закон нулевого и единичного множества, повторения, двойного отрицания, логического нуля и логической единицы.
- •7. Аксиомы алгебры логики. Переместительный, сочетательный и распределительный законы. Закон упрощения. Формулы де Моргана.
- •8. Стандартные формы фал.
- •21 .Минимизация фал с помощью карт Карно.
- •30. Особенные классы фал. Функции, сохраняющие константу 0 и 1. Линейные, монотонные, самодвойственные функции.
- •11. Теоремы о том, что функция Вебба и Шеффера образуют базис.
- •9. Понятие о функционально полных системах фал. Минимальные функционально-полные системы. Доказательство того, что системы (и, или, не}, {или, не}, (и, не} образуют базис.
- •Понятие о дискретном элементе и ду. Примеры дискретных элементов. Классификация релейных устройств
- •Общее число фал от п переменных. Фал от одной переменной.
- •Фал от двух переменных.
- •10. Понятие о суперпозиции фал. Представление фал в базисах {или, не} и {и, не}.
- •22. Анализ многотактных схем. Понятие о внутреннем состоянии и о полном состоянии схемы. .Составление таблиц переходов и выходов. Закон работы многотактной схемы.
- •24. Составление таблиц переходов по временной диаграмме. Минимизация таблицы переходов.
- •25. Состязания в многотактных схемах. Понятие о критических и некритических состязаниях.
- •26. Исключение критических состязаний за счет введения задержек и путем преобразования таблицы переходов.
- •29. Синтез синхронного автомата на rs - триггерах по заданным таблицам переходов и выходов.
24. Составление таблиц переходов по временной диаграмме. Минимизация таблицы переходов.
Для 1-й диаграммы: 1- вводится нач.состояние t1: S1=1, x1x2=00, z1z2=00; 2-для каждого нового такта вводится новое устоячивое состояние
ai=(1-7) – первичная ТП.
2 и 3 – непротиворечивое заполнение(совместимые строки). Таблица расширяется с учетом 2-й диаграммы: - нач.состояние 2-й ВВП совпадает с начальным состоянием 1-й; 2-для каждого нового такта вводится новое устоячивое состояние за исключением тех тактов, которые составляют отрезок ранее рассмотренной последовательности.
~ - знак безразличного состояния.
Одинаковые
строки определяют одинаковое состояние,
поэтому их можно объединить. Образуются
совместимые строки.
Е max – максимальное подмножество совместимых строк. Для мимизации ТП необходимо находить Emax. Алгоритм мимизации: 1- находятся множества Eij ожество строк, у которых в столбцах j проставлены цифры, в троке I или ~
2- находят множества для всех троек
3-
из полученных множеств исключаются те,
которые полностью входят в другие
множества.
Оставшиеся множества образуют Emax. 4-состаляется таблица покрытий:
В клетке проставляется метка, если данная строка входит в Emax. Находится min число столбцов такое, что каждая строка имеет метку хотя бы в одном столбце (задача покрытий). Q-конъюнкция дизъюнкции (каждая функция соответствует строке и составляется из обозначений столбцов, в которой стоит метка в этой строке);
Р
аскрываются
скобки и получается дизъюнкция конъюнкции,
каждая конъюнкция соответствует одному
из вариантов совмещения строк.
Производится совмещение строк
25. Состязания в многотактных схемах. Понятие о критических и некритических состязаниях.
р
еле
y1
включается через контакты 14-13 реле y2
р
еле
y1
и y2
остаются под током.
особенности перехода: включаются 2 реле одновременно (т.е. происходит состязание). Работа схемы становится зависимой от временных параметров срабатывания реле.
Включается у2 через контакт 11-13, реле у2 размыкает контакт 21-23, чем исключается возможность включения у2. следовательно вместо состязания 2 схемы приходит в состязание 4, что нарушает алгоритм работы схемы (критическое состязание)
26. Исключение критических состязаний за счет введения задержек и путем преобразования таблицы переходов.
Введение задержек. (01, 010)
t2>t3: необходимо обеспечить данный случай. Для тригерных схем включают линию задержек. Недостатки: медленность действий; необходимо рассматривать отдельно каждый случай состязания; неуниверсальный способ, т.е. не дает решение всегда.
Преобразование ТП: однотактный переход в котором есть состязание, заменяется на многотактный переход такой, что в каждом однотактном переходе, которые входят в многотактный, изменяется состояние одного реле.