QuSolve Солвер для комбинаторных вычислений в промышленности

Основные статьи:

• APS (Advanced Planning and Scheduling) - система синхронного планирования
• Логистическая информационная система (классификации и методы)

Солвер (или решатель от англ. solver) – это оборудование и программа для поиска решений задач оптимизации с помощью различных алгоритмов.

2022

Бета-тестирование солвера

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

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

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

На фоне ухода крупных западных игроков (в том числе IBM), которые предоставляли российским предприятиям услуги по оптимизации, спрос на российские разработки в этой отрасли резко вырос. QuSolve работает в рамках стратегии по импортозамещению, и выпуск своего солвера – одна из ключевых целей – позволит заместить решения зарубежных компаний Gurobi и CPLEX.

Солвер QuSolve позволяет находить оптимальные решения задач в таких областях, как планирование и графикование производства, управление логистикой (расчет оптимальных маршрутов, повышение плотности погрузки) и др., вне зависимости от дополнительных условий или переменных. Также QuSolve планирует выпустить интерфейс, который позволит пользователям с помощью обычных инструментов прикладного программирования самим переводить управленческие запросы на логический язык.

Разработка солвера

12 апреля 2022 года российская компания QuSolve сообщила о том, что ведет разработку собственного солвера – это сложный софт, который рассчитывает наилучшее решение для заданного пользователем сценария, он используется при оптимизации бизнес-процессов в промышленности и логистике.

Выпуск запланирован на вторую половину 2022 года.

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

До начала 2022 года QuSolve делала вычисления на японском солвере Fixstars. Теперь команда в тестовом режиме использует собственную разработку. Собственный солвер позволяет QuSolve ускорить вычисления и еще более персонализировать их под клиента. Бизнес-процессы динамичны, поэтому нужно иметь доступ к внутреннему программному коду солвера, чтобы быстро менять настройки, адаптировать их под ситуацию, собирать статистику поведения системы.

QuSolve планирует, что ее солвер может заменить аналоги от зарубежных провайдеров, которые покинули российский рынок в марте 2022 года. Речь, в том числе, идет об IBM, которая продвигает свой солвер CPLEX, и другой американской компании – Gurobi. QuSolve также планирует предоставлять свой солвер другим компаниям, занимающимся вычислениями. Это позволит российским игрокам оставаться независимыми от зарубежных решений.

В России, как известно, нет дефицита в сильных математиках и инженерах, но они работают, в основном, на иностранном программном обеспечении и оборудовании. Это ограничивает применимость солверов в решении задач, существующих в российском бизнесе. Выпустив свой собственный солвер, мы сможем полностью замкнуть контур вычислений внутри компании и обеспечить таким образом 100% импортозамещение оптимизационных расчетов для промышленности, – объясняет Дмитрий Васильков, основатель и генеральный директор QuSolve.

Задачи комбинаторной оптимизации можно найти во многих сферах: от сортировки городских велосипедов по станциям до оптимального расположения нефтяных скважин. Для каждого клиента QuSolve проводит анализ производственных процессов и предлагает решения по их оптимизации.