СОДЕРЖАНИЕ
Введение .
Глава I. Состояние вопроса и постановка задач
1.1. Модель поведения субъекта в управлении
1.2. Троичные векторы дискретного тмерного пространства
1.3. Троичные векторы как прообразы принимаемых решений .
1.4. Субаксиоматическое моделирование и таблицы решений .
1.5. Задача оубаксиоматического программирования
Глава 2. Методология оубаксиоматического моделирования .
2.1. Условия существования субаксиоматической модели
2.2. Алгоритм моделирования
2.3. Язык моделирования .
2.4. Пример оубаксиоматического моделирования.
Глава 3. Методика оубаксиоматического программирования .
3.1. Критерий оптимальности
3.2. Метод последовательного обхода и построения дерева перебора на множестве условий
3.3. Лес решений .
3.4. Теорема об однородных строках троичной матрицы .
3.5. Алгоритм оптимизации исходного описания.
3.6. О параметрах стратегии выбора условий вет
вления при формировании дерева решений .
3.7. О предпочтительности сбалансированной схемы
3.8. Алгоритм Еыбора ветвящейся вершины
3.9. Ретранслированиыетаблицы решений
3 Исследование зависимости средней длины ветвей дерева от числа висячих вершин
Глава 4. Практическая реализация задач субаксиоматического моделирования и программирования в системах, автоматизированного проектирования программного обеспечения АСУ
4.1. Язык кодирования логических и арифметических операторов
4.2. Средства трансляции языка кодирования
4.3. Пример проектирования программного модуля
4.4. Основные характеристики препроцессора.
Анализ результатов и выводы.
Литература
- Київ+380960830922