Введение.
Часть 1. Основные математические модели
цифровых интегральных схем
Глава 1. Вычислительные и управляющие логические
устройства основные понятия, определения, задачи . .
1.1. Основные модели
1.1.1. Булевы функции.
1.1.2. Конечные автоматы. Схемы из функциональных элементов и управляющие программы
1.2. Декомпозиция и минимизация булевых функций
1.3. Монотонные системы и надежность
1.4. Базисы.
1.5. Общие вопросы синтеза дискретных логических устройств.
1.6. Методы синтеза схем из функциональных элементов . .
1.7. Постановка задач.
Глава 2. Методы многошаговой декомпозиции булевых
функций. Функционалы качества
2.1. Основные модели
2.2. Методы декомпозиции булевых функций.
2.3. Основные функционалы качества. Оптимизация
Глава 3. Булевы функции и их математикоинформационные
модели
3.1. Формулы, их строение и компьютерное представление .
3.2. Отношения на множестве канонических формул.
Разбиение множества формул на классы эквивалентности. Упорядочивание формул
3.3. Конструктивные операции над формулами.
3.4. Порождающие и порожденные формулы
3.5. Точные оценки мощности некоторых подклассов бесповторных формул, порожденных данной
Часть 2. Многокритериальная оптимизация синтеза цифровых интегральных схем. Аналитическое решение
Глава 4. Структурнофункциональная декомпозиция
в классах функции , v, Ф и
4.1. Параллельная декомпозиция. Функционалы качества .
4.2. Последовательная декомпозиция. Функционалы качества
4.3. Анализ показателей качества параллельной
и последовательной декомпозиции
Глава 5. Структурнофункциональная параллельная
декомпозиция в классах полиномов Жегалкина, ДНФ и КНФ.
5.1. Моделирование одного шага декомпозиции произвольной булевой функции
5.2. Функционалы качества.
5.3 Принцип двойственности и декомпозиция.
5.4. Минимизация числа функций отрицания в классе ДНФ
5.5. Способы декомпозиции. Математическая модель декомпозиции одной функции.
5.6. Исследование математической модели базовый случай. Области минимизации показателей качества декомпозиции.
Глава 6. Анализ глубины произвольных булевых функций в стандартных базисах на основе параллельной декомпозиции .
6.1. Конструктивные операции над строением булевой формулы
6.2. Зависимость между значениями сложности и минимальной глубины бесповторной булевой формулы .
6.3. Минимальная глубина бесповторной формулы и разбиения числа ее переменных на положительные
целые слагаемые.
6.4. Продолжение исследования минимальной глубины бесповторной булевой формулы.
6.5. Основная зависимость минимальной глубины произвольной булевой формулы от ее сложности
6.6. Глубина некоторых симметрических функций.
6.7. Верхние оценки показателей качества декомпозиции в произвольном базисе
Глава 7. Синтез схем из функциональных элементов и
управляющих программ на основе структурно
функциональной декомпозиции.
7.1. Минимизация схем по сложности и глубине
7.2. Минимизация числа транзисторов и времени задержки
схем и числа команд в управляющих программах
7.3. Надежность схем из функциональных элементов. Математические модели.
Часть 3. Многокритериальная оптимизация синтеза цифровых интегральных схем на основе математического моделирования.
Глава 8. Моделирование структурнофункциональной параллельной декомпозиции системы булевых функций. Алгоритмы
8.1. Оптимизирующие логикокомбинаторные преобразования
8.1.1. Удаление фиктивных переменных.
8.1.2. Минимизация булевых функций. Скобочные формулы 7 8.1.3. Частичные булевы функции.
8.2. Моделирование декомпозиции произвольной булевой функции на основе функционалов качества
8.3. Моделирование совместной декомпозиции систем булевых функций в базисе общего вида. Минимизация сложности.
8.4. Моделирование декомпозиции булевой функции в двухместном базисе. Минимизация глубины
8.5. Анализ глубины схемы в различных базисах
Глава 9. Математическое моделирование синтеза в базисе
микросхем
9.1. Математические модели микросхем.
9.2. Минимизация числа логических элементов
9.3. Минимизация глубины схемы
9.4. Синтез комбинационных автоматов в базисе ПЛМ
9.5. Методика программной реализации алгоритмов логического управления
9.6. Описание программ
9.7. Результаты вычислительного эксперимента.
Часть 4. Приложения теории цифровых автоматов . . .
Глава . Логическое управление цикловым манипулятором . .
.1. Основные понятия
.2. Цикловой манипулятор.
.2.1. Принцип геометрического кодирования положения звеньев манипулятора.
.2.2. Управление манипулятором
.3. Цикловой манипулятор как конечный автомат.
.4. Регулятор как конечный автомат
.5. Простейший манипулятор.
Глава . Основные дискретные математические модели для обеспечения безопасности движения летательных аппаратов
.1. Историческая справка.
.2. Основные понятия и обозначения.
.3. Математическая модель оптимального разведения в пространстве двух летательных аппаратов.
.4. Классификация случаев для установившегося полета .
.4.1. Движение по одной прямой
.4.2. Движение по пересекающимся траекториям
без прямого столкновения
.4.3. Движение по пересекающимся траекториям
с возможным столкновением.
.5. Общий случай разведения.
.6. Классификация случаев для ситуации взлетпосадка . .
.7. Цифровой автомат для управления движением летательного аппарата.
Заключение
Литература
- Київ+380960830922