Теория - переключательная функция
Cтраница 1
Теории переключательных функций посвящено много работ, среди которых следует выделить [5, 7, 8] как наиболее фундаментальные. [1]
Теория многозначных переключательных функций в последнее время находит применение при построении схем ЦВТ из многозначных элементов, работающих с сигналами, квантованными по нескольким ( трем и более) уровням. [2]
Теория булевых переключательных функций хорошо разработана, что обеспечило базу для логического проектирования с использованием булевых элементов. [3]
Дальнейшее изложение теории переключательных функций основано на несколько другой их интерпретации. По определению конъюнкция тогда и только тогда равна единице, когда оба ее аргумента равны единице. Для равенства конъюнкции нулю достаточно, чтобы хотя бы один из ее аргументов обращался к нулю. [4]
Рассматриваются основы алгебры логики, теории переключательных функций, теории асинхронных потенциальных и синхронных автоматов, синтез цифровых узлов ( триггеров, счетчиков, сдвигающих регистров, мультиплексоров, демультиплексоров, сумматоров), применение интегральных схем для проектирования цифровых устройств, а также архитектура, система команд, шинные приемопередатчики, проектирование микроконтроллеров на микропроцессорах, разработка программного обеспечения. Наряду с известными приводятся разработанные автором в последние годы новые методики анализа и синтеза цифровых устройств. [5]
 |
Минтермы и макстермы двух переменных. [6] |
Минтермы и макстермы играют важнейшую роль в теории переключательных функций и ее практических приложениях. Устройства, реализующие все 2 минтерма ( макстерма), называются полнъши дешифраторами с прямыми ( инверсными) выходами. Если дешифратор реализует только один минтерм ( макстерм), то его принято называть детектором состояния. В цифровых устройствах детекторы состояния используются для обнаружения на выходах схем одной определенной комбинации значений сигналов. [7]
Часть I) изложены элементарные основы алгебры логики и теории переключательных функций и цифровых автоматов, позволяющие простейшими формальными методами решать разнообразные задачи проектирования цифровых устройств на ИС. Для описания законов функционирования, анализа и синтеза цифровых устройств широко применяется оригинальный математический аппарат, основанный на использовании операторов переходов и решении систем логических уравнений. [8]
Для эффективного использования материала этих глав необходимо знать основы алгебры логики и теории переключательных функций, а также элементы теории цифровых автоматов, относящихся к классам асинхронных потенциальных и синхронных автоматов. [9]
Целью этапа абстрактного синтеза является определение закона функционирования синтезируемого узла в терминах теории автоматов и теории переключательных функций, то есть получение таблиц переходов и таблиц истинности. На этапе структурного синтеза выполняется кодирование этих таблиц буквами двузначного структурного алфавита, синтез и оптимизация функциональной схемы узла и оценка ее качества. [10]
Для удобства пользователей учебное пособие разбито на две части: Часть I, содержащую основы теории переключательных функций и цифровых автоматов, и Часть II, посвященную описанию интегральных схем ( ИС) и проектированию на их основе электронных устройств, широко используемых в цифровых системах. Такое сочетание материала позволяет использовать учебное пособие как для подготовки высококвалифицированных специалистов в области проектирования цифровых устройств, так и при решении практических задач синтеза электронных узлов на основе ИС. [11]
 |
Матричный десятичный сумматор. [12] |
Такие схемы могут быть построены с помощью формальных методов теории многозначных переключательных функций. На рис. 120 приведена схема матричного десятичного сумматора, построенная без учета сигналов переноса из младшего десятичного разряда. [13]
Как видно из приведенной системы аксиом, операции а V b и а 0 b симметричны в том смысле, что если в аксиоме i) заменить ш на 0 и, наоборот, заменить 0 на ( о; все знаки V заменить на знаки 0 и, наоборот, все знаки О заменить на знаки V. Это свойство булевых алгебр называется дуальностью, то есть аксиома i) является дуальной аксиоме / а) и наоборот. В теории переключательных функций какую-либо теорему можно доказать с помощью аксиом точно так же, как была доказана дуальная теорема с помощью дуальных аксиом. Таким образом, из двух дуальных теорем достаточно доказать одну. [14]
Страницы: 1