ОГЛАВЛЕНИЕ
ВВЕДЕНИЕ
1. О задаче создания СПР функционального типа.
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 Верификация полноты моделей СПР .
Выводы по третьей главе.
4. Синтез информационных сред, реализующих функциональные отображения.
4.1 Синтез информационной среды в виде подграфика функционального отображения.
4.2 Модифицированные алгоритмы распознавания
4.3 Алгоритм верификации полноты на основе модифицированного алгоритма
4.4 Использование структурных свойств решающего правила для ускорения принятия решений.
4.5 Сложность алгоритмов распознавания
Выводы по четвертой главе.
ГЛАВА 5. Программный комплекс X и методика создания экспертных систем на его основе
5.1 Краткое описание программного комплекса X .
5.2. Обменный формат для представления исходных данных и информационных сред.
5.2.1 Схемы формата X.
5.2.2 Схемы формата .
5.3 Методика создания и применения СПР с использованием
программного комплекса X
Выводы по пятой главе..
ГЛАВА 6. Экспериментальное исследование методики синтеза и верификации СПР.
6.1 Примеры синтеза и верификации СПР.
6.1.1 Предметная область i.
6.1.2 Предметная область
6.2 Применение разработанных методов в федеральной системе учета и контроля ядерных материалов.
6.2.1 Подготовка исходных данных на X .
6.2.2 Модификация АРМ.
6.2.3 Исследование временных характеристик алгоритмов распознавания предметной области iii
6.3 Исследование времени работы алгоритмов распознавания на случайных наборах данных
6.3.1 Исследование зависимости времени работы алгоритмов разделения от размерности области.
6.3.2 Исследование зависимости времени работы алгоритмов распознавания от размерности области
6.3.3 Исследование зависимости времени работы алгоритмов разделения от числа граней решающей функции.
6.3.4 Исследование зависимости времени распознавания от числа
граней решающей функции.
Выводы по шестой главе
Заключение
Список используемой литературы
- Київ+380960830922