Алгоритм построения схемы без рисков по днф.
Пусть задана функция nпеременных
Выбирается номер переменной i=1
Представляется искомая функция как сумма трех блоков
f(x1) = A v B (xi) v C(x1i)
Для xiопределяем пары наборовδ1δ2,на которых функция равна 1 и которая отличается только значениемxi.
Для каждой полученной пары δ1δ2 определяем значения на выходах группы конъюнкцииA
Если A(δ1) =A(δ2) = 1, то риск отсутствует, еслиA= 0, то для пары образуем конъюнкцию, которая сохраняет значение 1 на обоих наборахδ1иδ2и не зависит отxi.
Увеличиваем iна 1 и конец, еслиIбольшеn, иначе возвращаемся в пункт2.
Пример:
Есть функция трех переменных.φi(x1,x2,x3) = ⌐x1⌐x3vx2x3
i= 1 – риска нет
i= 2 – риска нет
i = 3
B = x2x3
C = ⌐x1x3
A = 0
* | 1 | 1 |
0 | * | 0 |
0 | 1 | x3 |
B = 1 C = 0
B = 0 C = 1
Следовательно δ1= 011, δ1= 010
Следовательно A= ⌐x1x2, тогда окончательно φ(x1,x2,x3) = ⌐x1⌐x3vx2x3v⌐x1x2
Существует два способа для определения конъюнкций, исключающих явление риска:
С помощью операции обобщенного склеивания
если часть функции y1=RXivS⌐Xi=RSvRXivS⌐Xi
в примереR=x2,S= ⌐x1
С помощью карт Карно
В карте Карно симметричные клетки отличаются только одним разрядом xi , следовательно если в симметричной клетке 1 , а она входит в разное покрытие, то возможен риск и эти 1 надо объединить введя дополнительное покрытие.
|
|
|
| --------- | x2 | |
|
|
| --------- |
| x1 | |
|
| 1 | 0 | 0 | 1 |
|
| | | 0 | 0 | 1 | 1 |
|
| x3 |
|
|
|
|
|
КНФ
Схему аналогично представлена виде A,B,Cблоков, причем в группеAxiне входит в группуBиCвходит в прямом и инверсном виде. Риск возможен только если с выхода группы на двух комбинациях получается на двух комбинациях 1. В этом случае 0 на выходе обеспечивается на комбинацииδ1группыB, а на комбинацииδ2группы С или наоборот.
если τB> τCто получаем:
если τB<= τCто получаем:
Идея построения схемы без риска – по КНФ, формирование на выходе группы 0 на комбинациях δ1иδ2
- Теория автоматов. Уровни представления эвм.
- Операционные элементы. (оэ)
- Процессор гса:
- Достоинства и недостатки.
- Операционное устройство для выполнения операций алгебраического сложения двоичных чисел.
- Суммирование при использовании прямого кодирования.
- Суммирование чисел при использовании обратного кода.
- Дополнительный код.
- Модифицированный код.
- Пример суммирования.
- Конечные автоматы.
- Теория конечных автоматов
- Способы задания функций переходов.
- Автоматы ( с выходным преобразователем)
- Способы задания автоматов
- Способы задания автомата Миля
- Преобразование автоматов из Миля в Мура и обратно Понятие эквивалентности автоматов
- Преобразование Мура в Миля
- Техника преобразований.
- Обратный переход. Построение Мура для заданного Миля.
- Частичные или не полностью определенные автоматы.
- Синтез конечных автоматов.
- Абстрактный синтез конечных автоматов.
- Построение дерева входных последовательностей.
- Структурный этап синтеза автоматов.
- Основные этапы структурного синтеза.
- Типы памяти.
- Основные типы триггеров.
- Пример структурного синтеза синхронного автомата.
- `Временная диаграмма.
- Этап минимизации автомата при абстрактном синтезе. Минимизация полностью определенного автомата.
- Алгоритмы минимизации на основе треугольной матрицы.
- Минимизация числа состояний частичного автомата.
- Минимизация частичного автомата.
- Абстрактный этап синтеза конечного автомат. (неканонический метод).
- Алгоритм перехода от граф схемы микропрограммы к автомату Мура.
- Учет взаимодействия проекционного и управляющего автоматов. Алгоритм получения.
- Алгоритм получения частичного автомата.
- Множество входных значений.
- Кодирование состояний синхронного автомата.
- Кодирование соседними кодами.
- Минимизация числа переключений элементов памяти.
- Универсальный способ кодирования (для синхронного автомата).
- Автомат с дешифратором.
- Асинхронные автоматы.
- Этапы синтеза асинхронного автомата.
- Реализация асинхронного rs триггера на логических элементах.
- Установочные входы в триггерах.
- Синхронные элементы памяти.
- Требования, предъявляемые к синхросигналу.
- Синтез синхронного rs триггера.
- Синтез триггера с задержкой.Реализация асинхронного t триггера.
- Исключение состязаний элементов памяти в синхронных автоматах.
- Структура автоматов на плм и пзу.
- Явление рисков в комбинационных узлах.
- Исключение влияние рисков.
- Построение схем без риска.
- Алгоритм построения схемы без рисков по днф.
- Алгоритм построения схемы без риска.
- Автоматы, языки и грамматики.
- Задача распознавания цепочек языка.
- Классификация грамматик по Хомскому.
- Примеры построения грамматик.
- Грамматика для выполнения арифметических операций.
- Соответствие конечных автоматов и автоматных грамматик.
- Этапы для заданной автоматной грамматики.
- Этапы для заданной автоматной грамматики.
- Недетерминированные конечные автоматы.
- Преобразование недетерминированного автомата в детерминированный.
- Преобразование некоторых типов грамматики к автоматному ввиду.
- Алгоритм получения правил, не содержащих правил вывода нетерминальных символов.
- Построение распознавателей и преобразователей.
- Построение распознавателей.
- Алгоритм построения преобразователя.