Вестник Кольского научного центра РАН. 2013, №1.

Достаточная ситуация получается из соответствующей ей полной ситуации путем выбора альтернатив, предпочтительных по результатам классификации ситуаций. Достаточные ситуации должны быть предварительно классифицированы по структурам реализации исследуемой системы и упорядочены внутри каждого класса по критерию доминирования вклада одного из скалярных критериев качества объекта, на котором находится лицо, принимающее решение (J111P), в обобщенный критерий качества этого объекта. Контекстно-ориентированный подход к управлению ограничениями в ССКМ основывается на следующей классификации ограничений: 1) ограничения, которые описывают конструкции, допустимые в системе моделирования - ограничения системы моделирования, 2) ограничения, характерные для элементов (типов элементов) модели, которые используются в исследуемой предметной области - ограничения предметной области', 3) ограничения, присущие элементам (типам элементов), которые входят в данный фрагмент модели (ситуацию) - ограничения фрагмента модели', 4) ограничения на значения переменных, формируемые в процессе имитации в рамках заранее выбранного фрагмента модели - ограничения этапа имитации. Программно контекстно-ориентированное управление ограничениями осуществляется на уровне семантического интерфейса реляционных баз данных (БД) ССКМ. Разработанный семантический интерфейс реляционной БД обеспечивает возможность декларативного ввода в систему ограничений, контролирует корректность взаимодействия блоков модели, обеспечивая возможность отслеживать действия блоков модели над общими данными на основе анализа гибко модифицируемых и оперативно подгружаемых предметно-ориентированных ограничений. Применение реляционных баз данных обусловливается необходимостью сопровождать открытую модель предметной области и обеспечивать точность реализации запросов, как в фактографических информационных системах. Эти аспекты работы подробно освещены в [8]. Перечислим некоторые достоинства контекстно-ориентированного управления ограничениями в системах концептуального моделирования: • возможность активировать только те контекстные ограничения, которые актуальны для исследуемой в текущий момент модели предметной области. Это позволяет гибко перенастраивать и оперативно анализировать как ограничения, общие для всего класса допустимых моделей, так и специфичные для конкретной предметной области (фрагмента модели, шага имитации), способствуя уменьшению трудоемкости задач, решаемых в рамках предлагаемого подхода; • на основе анализа контекстов на этапе построения модели обеспечивается более детальный контроль корректности ее структуры, состава и правильности подключения расчетных модулей; • на этапе имитации путем сопоставления незапланированных запросов и контекстных ограничений отслеживаются некорректные обращения к БД системы моделирования. Трансляция контекстных ограничений в запросы к БД системы моделирования обеспечивает возможность контролировать корректность данных моделирования путем оценки результатов запросов. Реляционная БД системы моделирования - это конечное множество таблиц. Таблица состоит из схемы и конкретных данных, где схема - конечный набор атрибутов, причем каждому атрибуту соответствует множество значений, называемое доменом. Задача оценки запроса (точнее, конъюнктивного запроса) над БД соответствует конкретному примеру задачи удовлетворения ограничений [9], что достигается простой заменой терминов: “атрибуты” заменяются на “переменные”, “таблицы” и “запросы” - на “ограничения”, “домены” - на “области возможных значений переменных”. С целью ускорения исполнения запросов к БД происходит их предварительное преобразование, обеспечивающее сужение области поиска за счет анализа внутренней структуры запроса. Такой анализ также сводится к решению задачи удовлетворения ограничений. Применение контекстно-ориентированного подхода к обработке ограничений позволило объединить преимущества таких направлений, как ситуационное концептуальное моделирование и программирование в ограничениях (constraints programming), а также реализовать эти преимущества при автоматизации контроля корректности процесса моделирования. Далее более подробно обсудим особенности интеллектуальной технологии моделирования сложных нестационарных объектов с иерархической структурой, которая основана на 82