Средства разработки и анализа алгоритмов решения задач структурного синтеза на графах

ОГЛАВЛЕНИЕ
ВВЕДЕНИЕ.
1 ИССЛЕДОВАНИЕ ПРОЦЕССА АЛГОРИТМИЗАЦИИ ЗАДАЧ СТРУКТУРНОГО СИНТЕЗА И ПОСТАНОВКА ЗАДАЧИ.
1.1 Анализ основных этапов процесса решения задачи структурного
синтеза
1.2 Постановка задачи разработки языка формального описания
алгоритмов решения задач структурного синтеза
1.3 Автоматическая генерация описаний структур данных.
1.4 Анализ вычислительной и емкостной сложности алгоритмов
Выводы.
2 РАЗРАБОТКА ЯЗЫКА ОПИСАНИЯ АЛГОРИТМОВ СТРУКТУРНОГО СИНТЕЗА И ТРАНСЛЯТОРА С НЕГО.
2.1 Абстракции объектов языка формального описания алгоритмов
решения задач структурного синтеза.
2.2 Анализ алгоритмов решения задач на графах и определение
совокупности операций над абстракциями, используемыми для их описания.
2.3 Определение синтаксиса и семантики конструкций языка
2.4 Выбор механизма способа трансляции
2.5 Преобразование контекстносвободной грамматики языка
формального описания.
3 РАЗРАБОТКА СРЕДСТВ ОЦЕНКИ И КЛАССИФИКАЦИЯ СПОСОБОВ СНИЖЕНИЯ ВЫЧИСЛИТЕЛЬНОЙ СЛОЖНОСТИ АЛГОРИТМОВ
3.1 Оценка вычислительной сложности по описанию на языке и
разработка анализатора
3.2 Оценка временной сложности с учетом реализации множеств
3.3 Классификация способов снижения вычислительной сложности и
выработка рекомендаций по их применению.
4 ОПИСАНИЕ АВТОМАТИЗИРОВАННОЙ СИСТЕМЫ РАЗРАБОТКИ АЛГОРИТМОВ И ПРИМЕРЫ ЕЕ ИСПОЛЬЗОВАНИЯ.
4.1 Структура автоматизированной системы разработки алгоритмов.
4.2 Разработка транслятора.
4.3 Разработка макрогенератора описаний абстракций объектов.
4.4 Методика разработки алгоритмов с использованием средств
автоматизации
4.5 Пример последовательный алгоритм разрезания гиперграфа схемы.
4.6 Пример уравновешенная двоичная свертка без учета связности
Выводы.
ВЫВОДЫ.
СПИСОК ЛИТЕРАТУРЫ