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

УДК 004.832 А.А. Зуенко Институт информатики и математического моделирования технологических процессов Кольского НЦ РАН МОДЕЛИРОВАНИЕ ФИЗИЧЕСКИХ СИСТЕМ В РАМКАХ ПАРАДИГДМЫ ПРОГРАММИРОВАНИЯ В ОГРАНИЧЕНИЯХ* Аннотация В работе предлагается подход, позволяющий моделировать физические системы в рамках парадигмы программирования в ограничениях с использованием специализированных матрицеподобных структур (С-систем). Описывается оригинальный авторский метод распространения ограничений, реализующий вывод на С-системах. Подобное представление позволяет одну и ту же модель использовать для получения ответов на различные вопросы прогностического, диагностического и управленческого типов, причем сам механизм вывода остается без изменений. Ключевые слова: программирование в ограничениях, физическая система, качественная модель, распространение ограничений, матричное представление ограничений. А.А. Zuenko MODELLING OF PHYSICAL SYSTEMS WITHIN THE FRAMEWORK OF THE PARADIGM OF CONSTRAINT PROGRAMMING Abstract In this paper, we propose an approach that allows modeling physical systems within the framework of constraint programming paradigm, using specialized matrix-like structures (С-systems). An original author's method of constraint propagation, realizing inference on С-systems, is described. Such a representation allows one and the same model to be used to obtain answers to various questions of prognostic, diagnostic and management types, and the mechanism of inference remains unchanged. Keywords: constraint programming, physical system, qualitative model, constraint propagation, matrix-like representation of constraints. Введение В работе предлагается подход, позволяющий моделировать физические системы в рамках парадигмы программирования в ограничениях с исполь­ зованием специализированных матрицеподобных структур (С-систем). Подобное представление позволяет одну и ту же модель использовать для получения ответов на различные вопросы прогностического, диагностического и управленческого типов, причем сам механизм вывода остается без изменений. Другими словами, перечисленные выше задачи предлагается решать в виде задач удовлетворения ограничений (Constraint Satisfaction Problem - CSP) [1 -3 ]. В отличие от предыдущих работ цикла в настоящей статье для *Работа выполнена при финансовой поддержке РФФИ (проекты №№ 16-07-00562-а, 16-07-00377-а, 16-07-00313-а, 16-07-00273-а, 15-07-02757-а). 98