Модели и алгоритмы автоматизированной декомпозиции схем ЭВМ

ОГЛАВЛЕНИЕ
ВВЕДЕНИЕ.
1. ОПРЕДЕЛЕНИЕ ОБЪЕКТА ИССЛЕДОВАНИЯ И ПОСТАНОВКА ЗАДАЧИ
1.1. Анализ задачи разрезания и выбор математических моделей.
1.2. Формальная постановка задачи разрезания
1.3. Задача выбора структур данных для реализации алгоритмов декомпозиции схем
1.4. Анализ методов решения задачи разрезания.
2. ПРОБЛЕМА ВЫБОРА СТРУКТУР ДАННЫХ
2.1. Анализ структур данных и операций над ними.
2.2. Исследование операций над линейными структурами данных.
2.3. Исследование операций над древовидными и сетевыми структурами
2.4. Классификация базовых структур данных и матрица сложностей базовых операций.
2.5. Формальная постановка и методика решения задачи выбора структур данных.
2.6. Локальнооптимальный алгоритм выбора структур данных.
2.7. Выбор структур данных для последовательного алгоритма разрезания гиперграфа.
3. АЛГОРИТМЫ ДЕКОМПОЗИЦИИ СХЕМ ПО МЕТОДУ ДВОИЧНОЙ СВЕРТКИ.
3.1. Математическая модель процесса композиции и особенности алгоритмов
свертки.
3.2. Алгоритмы свертки без учета связности.
3.3. Алгоритмы свертки с учетом связности
3.4. Сравнительный анализ полученных результатов
3.5. Выбор структур данных
4. АЛГОРИТМ ДИХОТОМИЧЕСКОГО РАЗРЕЗАНИЯ ГИПЕРГРАФА ПО МЕТОДУ ВЕТВЕЙ И ГРАНИЦ
4.1. Математическая модель процесса дихотомического разрезания
гиперграфа по методу ветвей и границ.
4.2. Доказательство применимости метода ветвей и границ для декомпозиции
4.3. Схемы реализации метода ветвей и границ
4.4. Способы формирования дерева решений
4.5. Способы кодирования вершин дерева решений и оценка сверху их
емкостной сложности
4.6. Кодирование огибающей цепи.
4.7. Алгоритм дихотомического разрезания гиперграфа по методу ветвей и
границ.
4.8. Выбор структур данных и определение вычислительной сложности
алгоритма
5. ЭКСПЕРИМЕНТАЛЬНАЯ ЧАСТЬ.
5.1. Система автоматизированной декомпозиции схем
5.2. Экспериментальное исследование вычислительной сложности алгоритмов двоичной свертки
5.3. Исследование возможности применения алгоритма дихотомического разрезания гиперграфа по методу ветвей и границ и двоичной свертки для декомпозиции схем.
5.4. Экспериментальные исследования качественных характеристик алгоритмов
ЗАКЛЮЧЕНИЕ..
СПИСОК ЛИТЕРАТУРЫ