Введение
Глава I. Состояние вопроса и постановка задач 12
1.1. Модель поведения субъекта в управлении... 14
1.2. Троичные векторы дискретного щ-мерного пространства 15
1.3. Троичные векторы как прообразы принимаемых решение 17
1.4. Субаксиоматическое моделирование и таблицы решении 19
1.5. Задача субаксиоматического программирования 23
Глава 2. Методология субаксиоматического моделирования 25
2.1. Условия существования субаксиоматической модели 25
2.2. Алгоритм моделирования 32
2.3. Язык моделирования 34
2.4. Пример субаксиоматического моделирования... 40
Глава 3. Методика субаксиоматического программирования 51
3.1. Критерий оптимальности 51
3.2. Метод последовательного обхода и построения дерева перебора на множестве условий 54
3.3. Лес решений 59
3.4. Теорема об однородных строках троичной матрицы 6
3.5. Алгоритм оптимизации исходного описания... 62
3.6. О параметрах стратегии выбора условий ветвления при формировании дерева решений 63
3.7. О предпочтительности сбалансированной схемы.. 68
3.8. Алгоритм выбора ветвящейся вершины 70
3.9. Ретранслированиывтаблицы решений 73
3.10. Исследование зависимости средней длины ветвей дерева от числа висячих вершин 77
Глава 4. Практическая реализация задач субаксиоматического моделирования и программирования в системах, автоматизированного проектирования программного обеспечения АСУ ... 83
4.1. Язык кодирования логических и арифметических операторов 83
4.2. Средства трансляции языка кодирования 84
4.3. Пример проектирования программного модуля... 89
4.4. Основные характеристики препроцессора 95
Анализ результатов и выводы 104
Литература
