Исследование математических моделей экономики средствами системы ЭКОМОД

Описываются результаты продолжающихся работ по развитию компьютерной системы поддержки математического моделирования экономики. Обоснование необходимости такой системы, программа ее создания и эскиз ее структуры изложены ранее. С тех пор указанная система ЭКОМОД была реализована и опробована на простых моделях. В системе осуществлена автоматизация и связь воедино всех этапов процесса разработки и исследования математических моделей: построение модели с учетом накопленного опыта; проверка модели на полноту и самосогласованность; оснащение модели данными; создание вариантов вычислительных экспериментов с моделью; интерпретация и хранение результатов. Задача нахождения сходства моделей решается с помощью выделения и изучения групп морфизмов моделей, записанных в канонической форме. Широкому применению системы ЭКОМОД препятствует в основном отсутствие достаточно эффективных и универсальных решателей для больших систем нелинейных уравнений и неравенств. Опытная эксплуатация показала, что система ЭКОМОД служит эффективным средством контроля содержательной правильности модели и способна анализировать ее структуру. В данной работе описываются реализованные к настоящему времени средства контроля и анализа модели и приводятся примеры результатов автоматического анализа некоторой достаточно сложной и реалистичной модели рыночной экономики.