Труды КНЦ вып.40 (ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ вып. 6/2016(40))

УДК 004.832 Р.А. Македонов, А.А. Зуенко Институт информатики и математического моделирования технологических процессов Кольского НЦ РАН МОДЕЛЬ QDE КАК ОСНОВА КАЧЕСТВЕННОГО МОДЕЛИРОВАНИЯ ДИНАМИЧЕСКИХ СИСТЕМ* Аннотация В статье описываются особенности качественной модели дифференциальных уравнений - QDE. В рамках данного подхода разработана упрощенная модель развития торговых предприятий, применимая для качественных рассуждений о свойствах моделируемой системы и прогнозах ее развития. Использование качественных моделей позволяет избежать необходимости выдвижения необоснованных предположений о неизвестных параметрах модели предметной области и делает процесс моделирования интуитивно-понятным для конечного пользователя. Ключевые слова: динамические системы, качественное моделирование, задача удовлетворения ограничений. R.A. Makedonov, A.A. Zuenko QDE-MODEL AS A BASIS FOR QUALITATIVE SIMULATION OF DYNAMICAL SYSTEMS Abstract The article describes the features of qualitative model of differential equations - QDE. Under this approach, we developed a simplified model of the evolution of commercial enterprises, applicable for qualitative reasoning about the properties of such systems and forecast of its evolution. The use of qualitative models eliminates the necessity for unfounded hypothesizing about the unknown parameters of the subject domain model and makes the modeling more intuitive for the end user. Keyw ords : dynamical systems, qualitative modeling, constraint satisfaction problem. Введение В реальных системах бывает трудно выявить точные соотношения между переменными в моделируемой системе, но все еще остается возможность установить некоторые качественные зависимости между ними [1]. Кроме того, даже при наличии строгой аналитической модели, для ее применения требуется знать значения всех параметров модели, измерение которых может быть сильно осложнено. В такой ситуации пользователь пытается заменить значения неизвестных параметров предполагаемыми значениями, надеясь, что они не слишком отличаются от истинных. Применение качественных моделей позво­ ляет избежать необходимости выдвижения необоснованных предположений. Работа выполнена при финансовой поддержке РФФИ (проекты №№ 14-07-00205а, 15-07-02757-а, 16-07-00273а, 16-07-00377а, 16-07-00313а, 16-07-00562а). 10