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

А. Я. Фридман (сущностей): объекты, процессы и данные (или ресурсы). Объекты образуют иерархию, отражающую организационную и пространственную структуру моделируемой системы, каждый из них может включать множество процессов, совокупность которых описывает преобразование некоторого множества входных ресурсов во множество его выходных данных. В результате выполнения какого-либо процесса данные меняются, система переходит в новое состояние. Отношения в МПО могут связывать подмножества любых ранее определенных в ней элементов. Постановку задачи моделирования ЛПР осуществляет путем задания исходной ситуации — конечного списка имен ресурсов или фактов касательно состояния ДИПК. Экспертная система (ЭС) ССМ анализирует этот список и МПО, чтобы сформировать полную ситуацию, затрагивающую связный фрагмент модели, который содержит все интересующие ЛПР ресурсы, причем объект принятия решений (ОПР) есть корневой объект этого фрагмента, определяющий минимальный организационный уровень решения поставленной задачи. Полная ситуация может содержать альтернативные структуры подчиненной ОПР группы объектов, если они были предусмотрены при разработке МПО. Для этого либо используется декомпозиция некоторых объектов по классификатору ИЛИ, либо указывается возможность альтернативных путей получения входных ресурсов объектов. Следовательно, любая полная ситуация определяет множество достаточных ситуаций, каждая из которых уже не содержит альтернатив, поскольку в ней каждый объект с декомпозицией по ИЛИ заменяется одним из своих подобъектов и выбирается один из заданных альтернативных наборов ресурсов. Сценарий [15] — последовательность достаточных ситуаций для выбранного ОПР — определяет конкретную структуру реализации задачи, на его основе можно автоматически сформировать корректное задание на имитацию поведения ДИПК по этому сценарию. Естественно, для имитации необходимо обеспечить наличие входных данных, то есть временных рядов значений для всех входных ресурсов достаточной (или полной, если предусмотрено изменение структуры ДИПК в ходе имитации) ситуации и начальных значений всех внутренних ресурсов. При наличии аналитических моделей процессов, во время имитации вызываются исполнители процессов — программы или функции, реализующие эти модели. Если аналитические модели по каким-либо причинам отсутствуют, исполнителями процессов и ресурсов могут служить наборы эвристических правил, которые хранятся в ЭС ССМ, специализированной для исследования ДИПК [15]. Классификация ситуаций может выполняться на каждом шаге имитации для ОПР либо любого объекта, которому подчинен ОПР. Класс текущей ситуации сообщается пользователю (ЛПР), который должен решить, в какой класс ситуаций он считает необходимым перевести моделируемый фрагмент. Если требуется изменить класс ситуаций, то модуль классификации выдает ЛПР для выбора один или несколько вариантов рекомендуемых достаточных ситуаций (структур моделируемого фрагмента), предпочтительных в выбранном классе. Таким образом, в ССМ управление объектом сводится к выбору достаточных ситуаций в процессе моделирования. Цель классификации ситуаций состоит в сужении набора структур, допустимых на текущем шаге. Для этого, как принято в классической теории оптимального управления, достаточные ситуации сравниваются по значению некоторого функционала (критерия качества ), зависящего от управлений и состояний объекта управления. Вообще говоря, критерий качества любого элемента модели может содержать любые ресурсы, к которым этот элемент имеет доступ согласно МПО, то есть все входные и выходные ресурсы для процессов (кроме настроечных параметров их критерия качества), а для объектов - все ресурсы их самих и доминируемых ими объектов. Кроме того, при формировании критериев качества необходимо учитывать дополнительные структурные ограничения, зависящие от принятого способа координации взаимодействий его элементов [15, 26]. Таким образом, классификация ситуаций для всей МПО или любого ее связного фрагмента ставится следующим образом: на множестве правильно построенных достаточных ситуаций, реализуемых во фрагменте или модели, требуется найти ситуацию(и), предпочтительную по критерию качества ОПР. ВЕСТНИК Кольского научного центра РАН 2/2018(10) 103