Введение
1. О задаче создания СПР функционального типа 15
1.1 СПР функционального типа и задачи их синтеза и верификации 15
1.2 СПР функционального типа и распознавание образов 26
1.3 Алгоритмические основы теории распознавания частично упорядоченных объектов 27
1.4 СПР функционального типа и теория поиска и хранения информации 34
1.5 Уточнение постановки задачи 40 *
Выводы по первой главе 43
2. Исчисление граней 44
2.1 Исчисление граней. Математическая модель 44
2.2 Особенности программной реализации исчисления граней 51
2.3 Некоторые алгоритмы исчисления граней 53
2.4 Минимизация покрытий подмножеств декартова произведения граней 58
Выводы по второй главе 60
3. Обобщенные графики отображений и алгоритмы верификации их непротиворечивости и полноты 61
3.1 Математическая модель СПР 61
3.2 Верификация непротиворечивости моделей СПР 66
3.3 Верификация полноты моделей СПР 67
Выводы по третьей главе 69
4. Синтез информационных сред, реализующих функциональные отображения 70
4.1 Синтез информационной среды в виде подграфика функционального отображения 70
4.2 Модифицированные алгоритмы распознавания 72
4.3 Алгоритм верификации полноты на основе модифицированного алгоритма 77
4.4 Использование структурных свойств решающего правила для ускорения принятия решений 79
4.5 Сложность алгоритмов распознавания 89
Выводы по четвертой главе 109
ГЛАВА 5. Программный комплекс POOREX 2002 и методика создания экспертных систем на его основе 110
5.1 Краткое описание программного комплекса POOREX 2002 110
5.2. Обменный формат для представления исходных данных и информационных сред 114
5.2.1 Схемы формата XSD 114
5.2.2 Схемы формата DTD 120
5.3 Методика создания и применения СПР с использованием программного комплекса POOREX 2002 122
Выводы по пятой главе 125
ГЛАВА 6. Экспериментальное исследование методики синтеза и верификации СПР 126
6.1 Примеры синтеза и верификации СПР 126
6.1.1 Предметная область «Genetics» 126
6.1.2 Предметная область «Substance State» :...141
6.2 Применение разработанных методов в федеральной системе
учета и контроля ядерных материалов 153
6.2.1 Подготовка исходных данных на POOREX 2002 ...155
6.2.2 Модификация АРМ 156
6.2.3 Исследование временных характеристик алгоритмов распознавания предметной области «Restricted combinations» 159
6.3 Исследование времени работы алгоритмов распознавания на случайных наборах данных ; 163
6.3.1 Исследование зависимости времени работы алгоритмов разделения от размерности области 163
6.3.2 Исследование зависимости времени работы алгоритмов распознавания от размерности области 164
6.3.3 Исследование зависимости времени работы алгоритмов разделения от числа граней решающей функции 166
6.3.4 Исследование зависимости времени распознавания от числа граней решающей функции 166
Выводы по шестой главе 167
Заключение 169
Список используемой литературы 172
Приложения 180
