Алгоритмические методы и средства синтеза управляющих автоматов с хранимой логикой

ОГЛАВЛЕНИЕ
ВВЕДЕНИЕ
1. ОЦЕНКА СЛОЖНОСТИ УПРАВЛЯЮЩИХ АВТОМАТОВ ДА
И ВЫБОРА ТИПА УА ПРИМЕНИТЕЛЬНО К УСЛОВИЯМ ПРОЕКТА . II
1.1. Понятие управляющего автомата II
1.2. Сравнительная оценка способов организации МПА
1.3. Оценка стоимостных затрат на проектирование
и производство УА.
1.4. Сравнительная характеристика типов структурной организации УА.
1.5. Методы оптимального выбора типа УА применительно к условиям проектной задачи
1.6. Выводы и рекомендации
2. АНАЛИЗ МЕТОДОВ СИНТЕЗА УА С ХРАНИМОЙ ЛОГИКОЙ.
2.1. Характеристика задачи синтеза УА с хранимой
программируемой логикой .
2.2. Распределение микроопераций по полям .
2.2.1. Табличные методы распределения микроопераций
по полям.
2.2.2. Метод линейного программирования .
2.2.3. Метод ветвей и границ
3. АЛГОРИТМЫ РАСПРЕДЕЛЕНИЯ МИКРООПЕРАЦИЙ ПО
3.1. Формальная постановка задачи
3.2. Алгоритмы распределения микроопераций по
полям по принципу временной совместимости .
3.2.1. Описание алгоритма включениеисключение
3.2.2. Оценка вычислительных затрат на реализацию
алгоритма включениеисключение .
3.3. Алгоритм вершинное покрытие
3.3.1. Описание алгоритма
3.3.2. Оценка сложности .
3.4. Алгоритм поиск независимых множеств .
3.4.1. Описание алгоритма.
3.4.2. Оценка вычислительных затрат алгоритма
поиск независимых вершин .
3.5. Алгоритмы распределения микроопераций по полям
по принципу смешанной совместимости
3.5.1. Формализация задачи
3.5.2. Описание алгоритма распределения микроопераций
по полям по принципу смешанной совместимости
4. ПОДСИСТЕМ АВТОМАТИЗИРОВАННОГО СИНТЕЗА
УПРАВЛЯЮЩИХ АВТОМАТОВ ПСУА
4.1. Обобщенный алгоритм.
4.2. Структура ПСУА.
4.3. Препроцессор ПСУА .
4.3.1. Входной язык подсистемы препроцессора .
4.3.2. Контроль исходных данных
4.3.3. Блок построения структурной таблицы .
4.3.4. Блок кодирования
4.4. Блок распределения микроопераций по полям
ЗАКЛЮЧЕНИЕ.
ЛИТЕРАТУРА