Солвер QuSolve для оптимизации промышленных процессов

Компания «Квантовые системы» (QuSolve) представила солвер OptJet, предназначенный для решения сложных промышленных задач. Импортонезависимый продукт OptJet – отечественная альтернатива ушедших с российского рынка зарубежных компаний – производителей солверов CPLEX и Gurobi.

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

Для решения задач такого масштаба в условиях жестких ограничений существует специализированное ПО – так называемые решатели, или солверы. Многолетними лидерами этого рынка были компании IBM (солвер CPLEX) и Gurobi (солвер под одноименным брендом), однако в последние годы появились китайские решатели COPT и OptVerse (последний разработан Huawei), а с недавних пор стало доступно и российское решение OptJet.

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

Как подчеркивают в QuSolve, успешное внедрение солвера на крупном предприятии не всегда возможно в формате установки ПО «из коробки» – в ситуациях, когда улучшение оптимизируемого показателя всего на 1% создает эффект в сотни миллионов рублей, важную роль играет глубокий бизнес-анализ, предваряющий перевод проблемы на язык математики. Специалисты команды QuSolve при внедрении своего решения готовы глубоко погружаться в бизнес- и технологические процессы заказчика, чтобы обеспечить бесшовную интеграцию, приживаемость и, как следствие, реальный экономический эффект.

Тем не менее заказчики, имеющие опыт трансляции бизнес-задач в логико-математическую форму, могут эффективно использовать солвер OptJet самостоятельно. Набор настроек солвера позволяет ускорять поиск решения, используя знания о внутренней структуре задачи.

Еще одна категория потенциальных пользователей солвера – компании-разработчики собственных программных комплексов, таких как ERP-системы, САПР, MES и BI. В большинстве подобных систем важную роль играет функционал, связанный с оптимизацией, ядром которого является солвер. До последнего времени в такие системы встраивались иностранные солверы, а теперь появилась возможность их бесшовно импортозаместить.

Для ознакомления с солвером доступна демоверсия, ограниченная 100 тыс. переменных. Солвер OptJet поддерживает работу с ОС Windows 7 и выше, macOS 12+ на базе Intel, Linux с glibc версии 2.27 и выше, с установленным Python версии 3.9–3.11.