Введение
1. Анализ состояния исследований и разработок в области динамических интегрированных экспертных систем и имитационного моделирования
1.1. Анализ областей применения динамических интегрированных экспертных систем 10
1.2. Анализ универсальных инструментальных средств построения ДИС 13
1.2.1. Критерий: объектно-ориентированная технология (связи между объектами, отношения между объектами, иерархия объектов) 15
1.2.2. Критерий: представление знаний (правила, процедуры, использование естественного языка) 15
1.2.3. Критерий: механизм рассуждений (прямой/обратный выводы, сканирование правил, метарассуждения, одновременное выполнение правил и/или процедур) 15
1.2.4. Критерий: графическое представление объектов 16
1.2.5. Критерий: клонирование объектов и их групп 16
1.2.6. Критерий: графические пользовательские интерфейсы 16
1.2.7. Критерий: многопользовательская кооперативная разработка приложений 16
1.2.8. Критерий: наличие встроенной в ИС системы/подсистемы моделирования внешнего мира 17
1.3. Научные и технологические проблемы построения динамических интегрированных экспертных систем 17
1.4. Анализ задачно-ориентированной методологии построения интегрированных экспертных систем и поддерживающего инструментария - комплекса АТ-ТЕХНОЛОГИЯ 19
1.4.1. Концептуальные основы задачно-ориентированной методологии построения ИЭС. 19
1.4.2. Особенности развития задачно-ориентированной методологии и инструментального комплекса АТ-ТЕХНОЛОГИЯ для построения динамических ИЭС 26
1.5. Анализ современного состояния исследований и разработок в области имитационного моделирования 36
1.5.1. Методологический аспект 37
1.5.2. Формально-концептуальный аспект 40
1.5.3. Интеграционный аспект 46
1.5.4. Инструментально-технологический аспект 47
1.5.5. Прикладной аспект проблематики имитационного моделирования 51
1.6. Цели и задачи диссертации 52
Выводы 53
2 . Разработка языка рдоат и методов построения имитационных моделей сложных технических и организационно-технических систем дискретного типа 55
2.1. Постановка задачи 55
2.2. Описание имитационной модели дискретных СТС/СОТС на основе использования РДО-метода 59
2.3. Разработка языка РДО для описания имитационных моделей дискретных СТС/СОТС на основе развития РДО-метода 64
2.3.1. Требования к языку описания имитационных моделей дискретных СТС/СОТС 64
2.3.2. Разработка языка РДО для описания имитационных моделей дискретных СТС/СОТС 65
2.4. Разработка алгоритмов лексического, синтаксического и семантического анализа языка
РДО и синтеза целевого текста 74
2.4.1. Алгоритм лексического анализа 74
2.4.2. Алгоритм синтаксического анализа 77
2.4.3. Алгоритм семантического анализа 79
2.4.4. Алгоритм синтеза целевого текста 82
2.5. Модель рабочей памяти 84
2.6. Особенности представления объектов (ресурсов) СТС/СОТС на языке РДОАТ и на ЯПЗ, использующемся в задачно-ориентированной методологии 87
2.7. Модель интеграции компонентов имитационных моделей на языке РДО с другими компонентами динамической ИЭС 87
2.8. Методы использования параметров ресурсов в ходе темпорального вывода 89
2.9. Содержание и последовательность этапов имитационного эксперимента 90
Выводы 92
3. Проектирование и программная реализация компонентов подсистемы имитационного моделирования 94
3.1. Функциональные требования к подсистеме имитационного моделирования 94
3.2. Общая архитектура подсистемы имитационного моделирования 95
3.3. Разработка диаграмм состояний компонентов подсистемы имитационного моделирования 97
3.3.1. Диаграмма состояний редактора визуальных объектов 98
3.3.2. Диаграмма состояний транслятора РДОАТ 99
3.3.3. Диаграмма состояний редактора кадров анимации и правил отображения 100
3.3.4. Диаграмма состояний визуализатора 102
3.3.5. Диаграмма состояний компонента поддержки расчета состояний ИМ 103
3.4. Особенности программной реализации компонентов подсистемы имитационного
моделирования 104
3.4.1. Основные классы, реализующие компоненты подсистемы имитационного моделирования 104
3.4.2. Реализация пользовательского интерфейса подсистемы имитационного моделирования 110 3.5. Технологическая схема реализации имитационного эксперимента построения ИМ дискретных СТС/СОТС 111
3.6. Тестирование взаимодействия подсистемы имитационного моделирования, темпорального решателя и универсального АТ-РЕШАТЕЛЯ 114
Выводы 119
4. Апробация и внедрение разработанных программных средств 120
4.1. Экспериментальное исследование инструментальных программных средств подсистемы имитационного моделирования 120
4.1.1. Критерий «Трудоемкость создания основных элементов ИМ» 121
4.1.2. Критерий «Корректность описания ИМ» 122
4.1.3. Критерий «Трудоемкость создания кадров анимации и правил отображения» 122
4.1.4. Критерий «Возможность проверки состояний ИМ без визуального наблюдения» 124
4.2. Технология построения имитационных моделей дискретных СТС/СОТС средствами
подсистемы имитационного моделирования 125
Выводы 137
Заключение 138
Список сокращений 139
Список литературы
