|
131 Таким образом, представление разработанных математических моделей при их программной поддержке связано с целым рядом понятий, между которыми могут быть различные типы связей. На основе сформированных в главе требований, с учетом структуры моделей, исследованных в гл. 2, и предложенных в гл. 3 алгоритмов разработан программный комплекс СПГТР в условиях взаимной зависимости критериев и альтернатив на базе семантического расширения, получивший название Система анализа решений (САР). Основные характеристики Г1ЬС «САР» представлены на функциональной схеме рисунке 4.4. Центральной группой функций является поддержка математических моделей и семантического моделирования, в рамках которого реализовано программное представление всех разработанных математических моделей на основе объектно-ориентированного подхода. Поддерживаются различные методы критериального оценивания: явное задание, метод парных сравнений, сравнение относительно стандартов, копирование альтернатив и другие методы. Допускается задание произвольных связей между элементами модели. Поддерживаются количественные и качественные методы оценки альтернатив, связей и взаимодействий. Для построения моделей задач на базе семантической модели, реализованы формализованные процедуры, рассмотренные в гл.З, Реализованы методы анализа устойчивости полученных решений: малые изменения значений параметров и структуры модели, а также средства выделения важных и малозначимых элементов модели. Для решения задачи прогнозирования оценок во времени реализован метод динамических приоритетов, также позволяющий выполнять анализ устойчивости. Наконец, помимо математических моделей реализована среда вычислений, позволяющая ЛПР строить параметрические модели: задавать оценки в виде функциональных зависимостей, вводить фактор времени и т.п. |
списки шаблонов элементов, связей и альтернатив; набор шаблонов сетей и иерархий; среда вычислений; номер версии и поддержка возможностей сравнения различных версий моделей, и выполнением отката внесенных изменений. Класс шаблона элемента задается свойствами, описанными в его математической модели (3.2): имя элемента, формы детализации значения элемента, правило синтеза обобщенной оценки, списки связей различных видов и т.д. Реализованы методы добавления и удаления элемента, сохранения данных в ХМЬ формате. Класс шаблон связи основан на математической модели (3.3) и задается следующими свойствами: имя связи, тип связи, шкала (реализуется с помощью вспомогательной иерархии классов и т.д.), элементы, между которыми установлена связь, сила связи. Класс модели задачи соответствует математической модели (3.6) и описывается следующими основными свойствами: главной целью; набором управляющих критериев; средой вычислений. Основными компонентами, применяемыми в решающих моделях, являются сети, иерархии и составляющие их компоненты. При реализации их программных представлений использовались математические модели (3.7) (3.9). Для организации внешнего представления классов используется расширяемый язык разметки ХМЬ (Ех1еп$1Ые Магкир Ьап&иа§е) [21, 23], ставший международным стандартом при хранении и обмене данными. Разработанная форма представления моделей в формате ХМЬ приведена в прил. 5. Таким образом, представление разработанных математических моделей при их программной поддержке связано с целым рядом понятий, между которыми могут быть различные типы связей. Основные фрагменты программного 115 ^ кода, реализующего объектно-ориентированное представление моделей, приведены в прил. 4. 4.3. Функциональные характеристики программного комплекса На основе сформированных в § 4.1 требований, с учетом структуры математических моделей, исследованных в гл. 3, разработан программный комплекс поддержки принятия решений в условиях взаимной зависимости критериев и альтернатив на базе семантического расширения, получивший название НеПеогк Иесшоп Апа1у11с (МВА). Основные характеристики ПК 1ЧОА представлены на функциональной схеме рис. 4.2. Центральной группой функций является поддержка математических Я моделей и семантического моделирования, в рамках которого реализовано программное представление всех разработанных математических моделей на основе объектно-ориентированного подхода (§ 4.2). Поддерживаются различные методы критериального оценивания: явное задание, метод парных сравнений, сравнение относительно стандартов, копирование альтернатив и другие методы (прил. 1-3). Допускается задание произвольных связей между элементами модели (§ 1.3). Поддерживаются количественные и качественные методы оценки альтернатив, связей и взаимодействий. Для автоматизированного построения моделей задач на базе семантической модели, реализованы все формализованные процедуры, рассмотренные в § 3.4. Реализованы методы анализа устойчи* вости полученных решений: малые изменения значений параметров и структуры модели (§ 3.5), а также средства выделения важных и малозначимых элементов модели. Для решения задачи прогнозирования оценок во времени реализован метод динамических приоритетов(§ 3.5), также позволяющий выполнять анализ устойчивости. Наконец, помимо математических моделей реализована среда вычислений, позволяющая ЛПР строить параметрические модели: задавать оценки в виде функциональных зависимостей, вводить фактор времеШ• ни и т.п. |