Автоматизированное проектирование средств поддержки принятия решений на основе компонентно-модульного подхода и алгоритмов псевдобулевой оптимизации

• Автор: Балашов, Сергей Юрьевич
• Шифр специальности: 05.13.12
• Научная степень: Кандидатская
• Год защиты: 2003
• Место защиты: Воронеж
• Количество страниц: 150 с. : ил.

Введение
1. Анализ систем поддержки принятии решений и средств автоматизации их разработки, направления по совершенствованию технологии автоматизированного проектирования СППР
1.1. Анализ методов и инструментальных сред, используемых в системах поддержки принятия решений

1.2. Технология проектирования и разработки промышленных экспертных систем

1.3. Методы решения задач и их повторное использование в системах поддержки принятия решений

1.4. Цель и задачи исследования

2. Методика автоматизации проектирования прикладных систем поддержки принятия решений и формирование базы знаний методов принятия решений
2.1. Разработка методики автоматизированного проектирования систем поддержки принятия решений

2.2. Формирование базы знаний методов принятия решений на основе их классификации

2.3. Разработка базы знаний методов принятия решений и формальной спецификации задачи

2.4. Основные выводы главы

3. Математическое моделирование задач оптимального синтеза структуры программного обеспечения СППР на основе градиентных методов оптимизации
3.1. Построение комбинаторной модели рационального выбора СППР, проектируемой на основе набора компонентов
3.2. Разработка оптимальной компонентной структуры прикладной
СППР в подсистеме автоматизированного проектирования
3.3. Разработка вероятностного алгоритма оптимального выбора вариантов СППР, создаваемых на основе набора программных компонентов
3.4. Основные выводы главы
4. Реализация и применение подсистемы автоматизированного проектирования прикладных СППР
4.1. Разработка структуры подсистемы автоматизированного проектирования прикладных СППР
4.2. Реализация повторного использования методов поддержки принятия решений в подсистеме автоматизированного проектирования СППР
4.3. Характеристики прикладных СППР Альтернатива и Конкурс, созданных с применением подсистемы автоматизированного проектирования прикладных СППР
4.4. Основные выводы главы Заключение Литература Приложения
ВВЕДЕНИЕ
Актуальность


Трудах всероссийской конференции Интеллектуализация управления в социальных и экономических системах Воронеж, гг. Международной научнотехнической конференции Системные проблемы качества, математического моделирования и информационных технологий МоскваВоронежСочи г. Воронежского государственного технического университета. Публикации. По теме диссертационной работы опубликовано 9 печатных работ. Структу ра и объем работы. Диссертация состоит из введения, четырех глав, заключения, списка литературы из 2 наименований и приложения. Основной объем работы составляют 2 страниц текста, рисунков и 6 таблиц. Во введении обоснована актуальность работы, дана ее краткая характеристика, показаны основные пути решения сформулированных задач. В первой главе диссертации проводится обзор и анализ методов и инструментальных сред, используемых в системах поддержки принятия решений, рассматривается технология проектирования и разработки промышленных экспертных систем, изучаются методы решения задач и их повторное использование в системах поддержки принятия решений, ставится цель и задачи исследования. Показано, что в области инженерии знаний, целью которой является исследование и разработка прикладных программных систем, основанных на знаниях и моделирующих работу экспертов в трудно формализуемых предметных областях, все еще остаются актуальными проблемы повторного использования существующих методов решения задач. Основная причина этого заключена в трудности формального описания задач, решаемых в инженерии знаний, что, несомненно, является следствием сложности рассматриваемых предметных областей. Вторая глава посвящена разработке методики автоматизированного проектирования прикладных систем поддержки принятия решений, в которой выделяется ряд типовых задач и определяется механизм решения задачи путем формального разбиения ее на подзадачи и покрытия ее типовыми методами принятия решений. В основу предлагаемой технологии положен тот факт, что в принятии решений, как и в любой другой области, можно выделить ряд действий, которые семантически и с формальной точки зрения совпадают. Соответственно, для реализации такого рода действий могут быть использованы типовые элементы как некоторые структуры, формируемые специальным образом. Для подзадач метод может также строится на основе типового элемента ЗАДАЧА. Следовательно, можно строить иерархические методымодели принятия решений. На основе проведенной классификации методов принятия решений формируется набор типовых задач многокритериальной оптимизации. Дано, Требуется определить ориентирован на представление в базе знаний методов решения задач. Формируется база знаний методов принятия решений, предназначенная для хранения этих методов в форме, удобной для автоматизированной разработки прикладных систем поддержки принятия решений и допускающая возможность повторного использования методов решения задач. База знаний методов решения задач составляет ядро системы автоматизированного проектирования прикладных систем поддержки принятия решений. Особенность предложенной методики автоматизированного проектирования прикладных систем поддержки принятия решений заключается в том, что она предназначена для класса задач, в которых основой для принятия решения является информация числового характера, так как эти задачи наиболее распространены в инженерной практике и во многих случаях нечисловую задачу можно свести к числовой. В третьей главе диссертационной работы рассматриваются вопросы формализации принципов модульного программирования в виде программного комплекса многоальтернативной оптимизации и практической реализации его на примере проектирования прикладных систем поддержки принятия решений. С целью формирования оптимизационной модели выявляется взаимно однозначное соответствие между методами принятия решений прикладной системы поддержки принятия решений и функциональными проектирующими элементами. Обобщенную математическую формулировку рассматриваемой задачи предлагается записывать в виде многокритериальной задачи дискретного программирования с ограничениями.