· 通用优化求解器是面向运筹优化问题的通用解决方案，可以高效解决来自能源电力、工厂排产、交通运输等应用场景中的决策优化问题。因其通用性和不可替代性，求解器被认为是现代化智能决策的核心引擎，也是工业软件领域核心技术之一。

· 目前通用优化求解器的大部分市场是被国外所占领，例如Gurobi（美国）、CPLEX（美国）、Xpress（英国）、Mosek（丹麦）等。上述产品集成了建模与求解功能，在关键问题上求解性能也处于领先地位。

研究内容

通用优化求解器研发。针对大规模的混合整数线性规划问题，进一步研究和开发混合整数线性规划的预处理技巧；针对混合整数线性规划问题高质量可行解获取困难的问题，进一步完善混合整数线性规划启发式算法的调用策略，研究多种启发式联合调用并行求解的高质量可行解共享策略。

AI4OPT 技术及与先进算力融合。针对大模型辅助建模难以保证模型准确性的问题，研究以形式化证明工具辅助大模型建模的方法；针对通用求解器参数设置困难无法自适应调节的问题，基于贝叶斯优化方法对参数模型进行定量刻画，以实现参数自适应调整；研究通用求解器 CPU多线程并行架构，以加速通用求解器多线程的性能，探讨在不同硬件平台上的性能表现，并分析各硬件特性对算法效率的影响。

深入研究垂直行业求解器研发。针对不同行业优化问题的特性，通过对特定优化问题结构的检测，进而启动相应的定制化算法的方式实现通用求解器技术和定制化求解算法的结合，以实现在通用求解器的基础上衍生垂直行业求解器，为航空业、物流和制造业等特定行业开发高效的垂直行业求解器。

目前通用优化求解器的大部分市场是被国外所占领，例如Gurobi（美国）、CPLEX（美国）、Xpress（英国）、Mosek（丹麦）等。上述产品集成了建模与求解功能，在关键问题上求解性能也处于领先地位。

研究成果

已自主研发XOPT（仙鹏求解器），该优化求解器支持线性规划和混合整数线性规划问题求解，支持Linux/Windows/MacOS等多个操作系统，且提供了命令行和python编程接口。

与南方航空公司在优化求解器开发与应用方向联合开展了航空领域垂直行业求解器项目。研发了基于 following-on-fixing 和基于一阶算法的快速启发式方法和软件，相关算法均已集成到通用求解器中，为下一步开发航空专用求解器提供了良好的基础。

优化求解器团队与国内多家大型企业（中广核、华为、广铁集团、美团/顺丰等）均开展过密切合作，为下一步加速优化求解器的应用落地与推广打下了良好基础。

研究中心

通用优化求解器研发及应用

研究内容

研究成果

合作联系

联系方式

办公地点