Технологии     История развития COR-технологии

COR (Constraint-Oriented Reasoning) технология - это набор библиотек и инструментов, предназначенный для быстрого и эффективного создания средств поддержки принятия решений (COR-приложений).

СOR-технология включает в себя:

• интегрированную среду разработки приложений;
• компилятор основанного на правилах объектно-ориентированного языка программирования;
• среду выполнения правил и библиотеку стандартных предикатов, процедур и функций;
• смешанно-целочисленный решатель с пресолвером;
• набор библиотек, реализующих графическое моделирование и пользовательский интерфейс.

COR IDE - это интегрированная среда быстрой разработки пользовательских COR-приложений. Каждое приложение определяется описаниями объектов и наборами правил, обеспечивающими построение моделей, проверку их целостности и правильности, а также трансляцию моделей в математическую формулировку оптимизационной задачи.

Основные черты COR IDE:

• Внешний вид и поведение аналогичные MS Visual Studio;
• Наличие средств управления проектами;
• Поддержка контекстной чувствительности и автозаполнения;
• Собственный основанный на правилах объектно-ориентированный язык программирования;
• Редактор палитры объектов;
• Возможность встраивания в наборы правил функций, написанных на C/C++.

Смешанно-целочисленный решатель MIO - это входящая в комплект поставки COR-приложений библиотека (dll), реализующая решение смешанно-целочисленной задачи линейного программирования. Встроенный в COR-технологию решатель MIO разработан в сотрудничестве с У.Х.Малковым (ЦЭМИ РАН, Москва) и содержит в себе специальный блок - пресолвер, обеспечивающий существенное сокращение размеров типовых задач перед обращением к симплекс-методу. MIO позволяет решать задачи практически любого размера (сотни тысяч переменных и ограничений), а по скорости решения, среди наиболее известных решателей задач линейного программирования, занимает промежуточное место между самыми быстрыми (Cplex, Xpress) и сравнительно медленными (Lindo, LP-Solve).