Минск: БГУИР, Поттосин Юрий Васильевич, 2011/2012 учебный год
Содержание
Минимизация системы полностью определенных булевых функций
Минимизация системы слабо определенных булевых функций
Полные системы булевых функций
Реализация булевых функций комбинационными схемами
Реализация булевых функций с помощью ПЛМ
Синтез комбинационных схем методом факторизации
Двухблочная разделительная декомпозиция полностью определенных булевых функций
Двухблочная разделительная декомпозиция не полностью определенных булевых функций
Неразделительная декомпозиция булевых функций
Многоблочные разделительные декомпозиции
Декомпозиция системы слабо определенных булевых функций
Модели дискретного автомата
Преобразование автомата Мура в автомат Мили и обратно
Алгебра событий. Основные соотношения. Теорема Клини о регулярных событиях
Задача анализа автомата
Синтез автоматов по регулярным событиям
Минимизация числа состояний полностью определенного автомата
Задача минимизации числа состояний частичного автомата. Получение автоматата по правильной групперовке
Совместимость состояний автомата. Установление совместимости состояний
Нахождение максимальных совместимых множеств. Оценка их числа
Нахождение минимальной правильной группировки
Нахождение правильной группировки, близкой к минимальной
Задача кодирования состояний. Число вариантов кодирования
Получение функций возбуждения триггеров для автомата с закодированными состояниями
Подстановочный способ кодирования состояний
Метод «желательных соседств» для кодирования состояний
Итеративный метод кодирования состояний автомата
Явление состязаний. Условие отсутствия опасных состязаний
Кодирование состояний асинхронного автомата, обеспечивающее прямые переходы (рассмотрение пар переходов)
Кодирование состояний асинхронного автомата, обеспечивающее прямые переходы (рассмотрение пар К-множеств)
Кодирование состояний асинхронного автомата соседними кодами
Микропрограммный автомат. Граф-схема алгоритма
Построение автомата Мура для микропрограммного автомата
Построение автомата Мили для микропрограммного автомата
Секвенциальный автомат. Формы секвенциального автомата
Отношения между секвенциальными автоматами
Интерпретации системы секвенций
Реализация секвенциальных автоматов на ПЛМ
Оптимизирующие преобразования секвенциальных автоматов
Понятие эксперимента с автоматами. Задачи, решаемые в ходе эксперимента
Дерево преемников
Диагностическая задача. Диагностическое дерево
Задача установки. Установочное дерево
Задачи распознавания автоматов. Задача распознавания повреждений
Содержание
Минимизация системы полностью определенных булевых функций
Минимизация системы слабо определенных булевых функций
Полные системы булевых функций
Реализация булевых функций комбинационными схемами
Реализация булевых функций с помощью ПЛМ
Синтез комбинационных схем методом факторизации
Двухблочная разделительная декомпозиция полностью определенных булевых функций
Двухблочная разделительная декомпозиция не полностью определенных булевых функций
Неразделительная декомпозиция булевых функций
Многоблочные разделительные декомпозиции
Декомпозиция системы слабо определенных булевых функций
Модели дискретного автомата
Преобразование автомата Мура в автомат Мили и обратно
Алгебра событий. Основные соотношения. Теорема Клини о регулярных событиях
Задача анализа автомата
Синтез автоматов по регулярным событиям
Минимизация числа состояний полностью определенного автомата
Задача минимизации числа состояний частичного автомата. Получение автоматата по правильной групперовке
Совместимость состояний автомата. Установление совместимости состояний
Нахождение максимальных совместимых множеств. Оценка их числа
Нахождение минимальной правильной группировки
Нахождение правильной группировки, близкой к минимальной
Задача кодирования состояний. Число вариантов кодирования
Получение функций возбуждения триггеров для автомата с закодированными состояниями
Подстановочный способ кодирования состояний
Метод «желательных соседств» для кодирования состояний
Итеративный метод кодирования состояний автомата
Явление состязаний. Условие отсутствия опасных состязаний
Кодирование состояний асинхронного автомата, обеспечивающее прямые переходы (рассмотрение пар переходов)
Кодирование состояний асинхронного автомата, обеспечивающее прямые переходы (рассмотрение пар К-множеств)
Кодирование состояний асинхронного автомата соседними кодами
Микропрограммный автомат. Граф-схема алгоритма
Построение автомата Мура для микропрограммного автомата
Построение автомата Мили для микропрограммного автомата
Секвенциальный автомат. Формы секвенциального автомата
Отношения между секвенциальными автоматами
Интерпретации системы секвенций
Реализация секвенциальных автоматов на ПЛМ
Оптимизирующие преобразования секвенциальных автоматов
Понятие эксперимента с автоматами. Задачи, решаемые в ходе эксперимента
Дерево преемников
Диагностическая задача. Диагностическое дерево
Задача установки. Установочное дерево
Задачи распознавания автоматов. Задача распознавания повреждений