Миллер Р. Теория переключательных схем. Том 1. Комбинационные схемы

М.: Наука, 1970. — 416 с.Книга является первым томом двухтомной монографии, посвященной теории переключательных (релейных) устройств и конечных автоматов.
Основное внимание в книге уделено вопросам анализа и синтеза комбинационных устройств релейного действия. Приведено краткое описание цифровых вычислительных машин. Подробно изложены основные положения теории булевых алгебр и рассмотрена ее связь с теорией структур и теорией групп. Большое внимание уделено проблеме минимизации наиболее общего типа схем, содержащего два уровня элементов. Рассмотрены методы синтеза многовыходных схем с использованием теории функциональной декомпозиции. Приведены стандартные решения по синтезу релейных устройств и их реализация на криогенных элементах. В конце каждой главы приводятся упражнения и дается краткий библиографический обзор.
Книга представляет интерес для широкого круга специалистов в области вычислительной техники и теории релейных устройств и конечных автоматов.Дискретные устройства
Введение.
Основные функциональные блоки вычислительной машины.
Представление чисел.
Эффективность выбора оснований.
Двоичная система счисления.
Представление чисел кодами.
Представление нечисловой информации.
Запоминающее устройство.
Устройства ввода-вывода.
Арифметические устройства.
Устройства управления.
Параллельная машина Illiac.
Последовательная машина LGP.
Увеличение скорости работы цифровых вычислительных машин.
Из истории развития вычислительных машин в США.
Применение дискретных устройств в связи.
Другие применения дискретных устройств.Теория булевых алгебр и ее применение к основам переключательных схем
Введение.
Основные аксиомы булевой алгебры.
Теоремы и тождества.
Применение теории булевых алгебр в теории множеств и в логике.
Применение теории булевых алгебр к контактным цепям.
Применение теории булевых алгебр к бесконтактным цепям.
Булевы функции и канонические формы их представления.
Связи теории булевых алгебр с теорией групп и теорией структур.
Карты Карно.
Представления в виде- кубов.
Симметричные функции.
Однородные и пороговые функции.
Переключательные функции.
Функциональная декомпозиция.
Выводы.Комбинационные переключательные схемы. Синтез схем, описываемых нормальными формами
Введение.
Структура комбинационных схем.
Комплексы кубов.
Минимизация нормальных форм — задача покрытия.
Простые импликанты и *-алгоритм.
Экстремали, <-операция и ветвящийся процесс.
Алгоритм извлечения.
#-операция.
Алгоритм локального извлечения.
Минимизированные покрытия.
Табличный метод минимизации Квайна—Мак-Класки.Многовыходные и многоярусные комбинационные схемы
Введение.
Минимизация многовыходных схем — метод преобразований.
Метод меток.
Разложение покрытия комплекса кубов на множители.
Анализ логических схем без обратных связей.
Синтез булева графа методами декомпозиции.Переключательные схемы с двухсторонней проводимостью
Введение.
Схемы с древовидной структурой (релейные деревья).
Планарные и двойственные схемы.
Симметричные схемы.
Выявление полностью симметричных функций.
Булевы матрицы.
Удаление узлов и введение узлов в матрицах соединений.
Криотронные логические схемы.
Выводы.