Методология проектирования аналитических программных систем для организации их функционального взаимодействия на основе формальных моделей предметной области

• Автор: Антонов, Вячеслав Викторович
• Шифр специальности: 05.13.11
• Научная степень: Докторская
• Год защиты: 2015
• Место защиты: Уфа
• Количество страниц: 294 с. : ил.

ОГЛАВЛЕНИЕ

ИСПОЛЬЗУЕМЫЕ ТЕРМИНЫ, ОПРЕДЕЛЕНИЯ И СОКРАЩЕНИЯ

ВВЕДЕНИЕ
ГЛАВА 1. АНАЛИЗ СУЩЕСТВУЮЩИХ ПОДХОДОВ И МЕТОДОВ К ПРОЕКТИРОВАНИЮ ПРОГРАММНЫХ КОМПЛЕКСОВ ДЛЯ ПОСТРОЕНИЯ АНАЛИТИЧЕСКИХ ИНФОРМАЦИОННЫХ СИСТЕМ
1.1. Анализ общих проблем проектирования и построения программных комплексов интегрированных с OLAP технологиями
1.2. Проблемы применения формальных методов моделирования процессов проектирования программных комплексов для систем с неполной информацией и высокой сложностью открытой предметной области
1.3. Анализ программных средств реализации многомерных хранилищ данных для открытой предметной области
1.4 Анализ программных комплексов реализующих OLAP-технологии как метода обработки многомерных данных в открытой предметной области

Выводы по главе 1

ГЛАВА 2. РАЗРАБОТКА МЕТОДОЛОГИЧЕСКИХ ОСНОВ ПРОЕКТИРОВАНИЯ ПРОГРАММНОГО КОМПЛЕКСА

АДАПТИВНОГО К ИЗМЕНЕНИЮ ХАРАКТЕРИСТИКИ ОБЪЕКТОВ ОТКРЫТОЙ ПРЕДМЕТНОЙ ОБЛАСТИ
2.1. Анализ процессного подхода при создании адаптивного программного комплекса для организации проектного менеджмента, основанного на формальной модели жизненного цикла систем
2.2. Теоретико-множественная модель бизнес-процессов для организационного, проектного и производственного менеджмента создания адаптивного программного комплекса
2.3. Теоретико-множественная модель стадий жизненного цикла адаптивного программного комплекса
2.4. Архитектура структуры семантического аспекта адаптивного программного комплекса для организации взаимодействия функциональных программ, обеспечения интегрированной системы аналитического анализа объектов
Выводы по главе 2
ГЛАВА 3. РАЗРАБОТКА МЕТОДА ПРОЕКТИРОВАНИЯ
КАТЕГОРИЙНОЙ МОДЕЛИ АДАПТИВНОГО ПРОГРАММНОГО КОМПЛЕКСА ДЛЯ ОРГАНИЗАЦИИ ВЗАИМОДЕЙСТВИЯ ФУНКЦИОНАЛЬНЫХ ПРОГРАММ
3.1. Формальный алгоритм построения программного комплекса, реализующего интегрированную учетную систему
3.2. Анализ типов функций принадлежности проектирования динамической структуры гетерогенного хранилища данных
3.3. Теоретические основы проектирования адаптивного

программного комплекса и формальный алгоритм их применения при построении информационной аналитической системы
3.4. Метод проектирования динамической структуры гетерогенного хранилища данных удовлетворяющих требованиям системной инженерии с применением OLTP технологий Выводы по главе 3 ГЛАВА 4. РАЗРАБОТКА ФОРМАЛЬНО-МАТЕМАТИЧЕСКОГО МЕТОДА ПРОЕКТИРОВАНИЯ АДАПТИВНОГО ПРОГРАММНОГО КОМПЛЕКСА ОСНОВАННОГО НА ПЕРЕНАСТРАИВАЕМЫХ СТРУКТУРАХ ВЗАИМОДЕЙСТВИЯ ФУНКЦИОНАЛЬНЫХ ПРОГРАММ
4.1. Формально-математический метод построения модели адаптивного программного комплекса ориентированного на реализацию интегрированной системы учета объектов открытой предметной области
4.2. Формально-математический метод проектирования хранилища данных и знаний адаптивного программного комплекса с применением OLAP технологий и предметно-ориентированных кросс- платформенных языков программирования
4.3. Контур адаптации программного комплекса, на основе цикла Дёминга.
4.4. Применение формальной категорийной модели создания адаптивного программного комплекса для автоматизированной системы учета населения
Выводы по главе
ГЛАВА 5. РАЗРАБОТКА НЕЧЕТКОГО ФОРМАЛЬНОГО МЕТОДА ПРОЕКТИРОВАНИЯ ИНТЕЛЛЕКТУАЛЬНОГО ХРАНИЛИЩА ДЛЯ АДАПТИВНОГО ПРОГРАММНОГО КОМПЛЕКСА
5.1. Формальный метод проектирования интеллектуального хранилища данных при совместном использовании учетных систем и технологий OLAP
5.2. Подход к формированию структуры информационной системы для открытой предметной области и определения требований к адаптивному программному комплексу
5.3. Структурирование программного комплекса на основе категорийной модели госудаственных учетов
Выводы по главе
ГЛАВА 6. СПЕЦИФИКА ПРОГРАММНОГО КОМПЛЕКСА ДЛЯ РЕАЛИЗАЦИИ УЧЕТОВ С ПРИМЕНЕНИЕМ ИНТЕЛЛЕКТУАЛЬНЫХ ХРАНИЛИЩ ДАННЫХ. ПРИМЕНЕНИЕ ДЛЯ АНАЛИТИЧЕСКОГО АНАЛИЗА ОПРЕДЕЛЕННОЙ ПРЕДМЕТНОЙ ОБЛАСТИ
6.1. Структура и краткая характеристика разработанного программного комплекса "Факт"
6.2. Архитектура программных компонент обеспечения функционирования программного комплекса "Факт"

6.3. Архитектура информационной системы регистрационного учета населения на базе программного комплекса "Факт"
6.4. Архитектура информационной системы "Программа Информирования, Анализа и Контроля (ПИАК)" на базе программного комплекса "Факт"
6.5. Оценка исследований эффективности предложенных методов проектирования и реализации программного комплекса на примерах применения программного комплекса в различных предметных областях
Выводы по главе 6 ЗАКЛЮЧЕНИЕ
СПИСОК ИСПОЛЬЗОВАННОЙ ЛИТЕРАТУРЫ

к функции принадлежности. Была построена полноценная алгебраическая система, в рамках которой введено представление о нечетком множестве как “континууме степеней принадлежности”, определены базовые отношения и операции над нечеткими множествами (равенство, вложенность, дополнение, объединение, перссечение)[20]. В 1975 г. на базе этой работы Э. Мамдани и С. Ассилиан спроектировали первый функционирующий на основе этой алгебры контроллер и применили его в промышленности[160]. Так началась эра промышленного нечеткого управления. Создание управляющей системы, основанной на алгебраических принципах нечетких множеств, заключается в отображении описывающих ее входы на описывающие ее выходы нечетких множеств. Указанные правила называются предикативными, а механизм, позволяющий с их помощью отображать нечеткие множества входов на выходы, принято называть механизмом нечетких выводов. Детали реализации данного механизма нечетких выводов определяют как алгоритмику, которая образована последовательностью четырех базовых действий: фазификации, логического вывода, композиции и дефазификации. Введение затем понятия лингвистической переменной, с нечеткими множествами в качестве значений, породили новый формальный аппарат для работы с неопределенностями и описания процессов интеллектуальной деятельности, который получил название нечеткая логика. Нечетко-множественные формализмы для нас - это наиболее естественный язык моделирования неопределенности, способ соотнесения одних нечетких объектов с другими.
Теория множеств, являясь фундаментом математики, вместе с тем сама оказалась до конца необоснованной, основные вопросы обоснования математики и логики оказалась тесно связанными с философией. Результаты, полученные Гёделем, доказали невозможность построения всеобщей аксиоматической системы. Введение нечетких множеств обеспечило основу для развития заложенной Заде в 1970—73 гг. нечеткой логики (Fuzzy Logic) — более гибкого подхода к анализу рассуждений и моделированию сложных