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

Оглавление
1 Введение
1.1 Актуальность задачи качественного исследования автоматных моделей и предмет диссертации
1.2 Основные определения и обозначения
1.3 Цели и структура работы
1.4 Научная новизна, практическая значимость и апробация полученных результатов
2 Теоретическое и алгоритмическое обеспечение программного комплекса РЕДУКТОР1
2.1 Критерии наличия в монотонной модели некоторых динамических свойств
2.2 Теоремы редукции.
2.3 Алгоритмическое обеспечение программного комплекса .
2.3.1 Основные структуры данных
2.3.2 Алгоритм построения гомоморфизмов и синтеза гомоморфных автоматов.
2.3.3 Алгоритм построения множеств состояний редуцированной системы
2.3.4 Алгоритмы вычисления операций над множествами .
2.3.5 Алгоритм упрощения логических выражений
3 Реализация программного комплекса
3.1 Структура программного комплекса.
3.1.1 Функциональная часть
3.1.2 Интерфейсная часть
3.2 Реализация программного комплекса .
3.2.1 Реализация основных алгоритмов .
3.2.2 Реализация программного интерфейса
3.2.3 Реализация вспомогательных алгоритмов.
3.3 Методика использования
4 Применения программного комплекса
4.1 Анализ автоматной модели общего вида.
4.2 Исследование простой автоматной модели экономического взаимодействия.
Литература