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

Автоматизация синтеза баз данных системы. сценариев, постоянные коэффициенты и т. п.). Временные данные - это, как правило, промежуточные или целевые результаты вариантов моделирования. При повторных реализациях моделирования временные данные либо заменяются, либо хранятся в виде версий. Постоянные и временные данные записываются в ходе моделирования на внешние запоминающие устройства и составляют БД предметной области. Временные данные могут удаляться при завершении моделирования. Оперативные данные создаются и хранятся в памяти только в процессе выполнения соответствующей программы и уничтожаются по ее завершению. Предложенное разделение на классы позволяет использовать аппарат имен, исполнителей и типов исполнителей при автоматической генерации БДПО и анализе КМПО на целостность и разрешимость. Логическая структура БДПО определяется структурой исполнителей для постоянных и временных данных. Основной “границей” между БДПО и БД КМПО по типу включенных в нее данных является использование значений данных, а по типу задач - анализ ситуаций. Поэтому главный справочник БДПО “Данные КМПО” имеет вид, показанный на рис. 15. В дополнение к обычному числовому полю “кол_зн” (количество значений данного) и соответствующему ему memo-полю “Значения”, аналогичным полям справочников “Данные ЭС” (рис. 10) и “Значения данных ЭС” (рис. 11), в него введены еще поля “кодзншах” и “кодзншт”, содержащие максимальное и минимальное значение кодов значений данного. Поскольку при программной реализации ССМ принято соглашение, что коды значений каждого данного представляют собой последовательности натуральных чисел без пропусков, причем для переменных направление увеличения этих кодов совпадает с направлением увеличения самих значений, такая структура справочника значений данных КМПО позволяет проводить все процедуры контроля корректности формирования любых подмножеств значений данного без обращения к самим значениям. В этом же справочнике хранятся коды значений данных по умолчанию (default). кодг кол-во зн-й код зншах код зншіп список зн-й default Рис. 15. Справочник “Данные КМПО” Значительную часть БДПО составляют базы исходных данных, в которых, как уже отмечалось, хранятся и экспериментальные данные (ЭД), и данные сценариев. Обычно для каждого листьевого параметра/переменной с типом исполнителя DB создается отдельная база исходных данных с двумя основными полями: дата-время и код значения данного, выбираемый из списка допустимых значений. Обоснование такого решения дано ниже [9, 10]. Характерной чертой исследуемых с помощью ССМ нестационарных ППК является изменение значений многих их характеристик во времени. Некоторые изменения можно описать функциональными зависимостями (тип исполнителя GEN). Для определения значений таких данных в некоторый момент t достаточно задать функцию изменения и начальные условия: Y = F(Yo, X, t) или dY/dt =f(Yo, X , to). (1) При этом в БДПО имеет смысл хранить только значения параметров уравнений (1) - Y 0 и X с привязкой к конкретной временной точке t 0 . Значения данных для произвольного времени вычисляются в процессе моделирования с помощью соотношения (1). Однако в реальных пространственных системах возможность функционального описания динамики характеристик ограничена, так как сложность самих систем и их взаимодействия с окружающим миром не позволяет выявить или учесть все значимые параметры и формализовать взаимосвязи между ними. Некоторые аналитические взаимосвязи параметров исследуемой системы удается определить (выявить) только в результате проведения моделирования. Основная часть изменяющихся характеристик задается в виде временных рядов. Рассмотрим несколько типичных ситуаций формирования временных рядов значений 108 ВЕСТНИК Кольского научного центра РАН 1/2016(24)