求解器是工業軟件中的核心計算引擎,用于自動解決數學、邏輯或優化問題。求解器是尋找最優解的信息化工具,工作流程是通過建模輸入問題(問題建模)、根據模型選擇求解算法(選擇算法)、利用特定算法尋找最優解(求解過程)、輸出結果供用戶分析和決策(輸出結果)。
求解器起源于上世紀50年年代,發展到目前,求解器已經擁有多種類型,包括線性規劃求解器、整數規劃求解器、非線性規劃求解器、約束滿足求解器、啟發式求解器等類型。根據網格算法不同,求解器分為結構求解器和非結構求解器兩大類。
根據新思界產業研究中心發布的《
2025-2029年中國求解器市場行情監測及未來發展前景研究報告》顯示,求解器能在大規模問題中快速找出最優解,且可解的數學規劃問題非常寬泛,在金融、保險、能源電力、石油石化、航空航天、工業制造、媒體管理、網絡通訊、交通物流、集成電路設計等領域應用廣泛。
目前市面上求解器主要分為開源求解器(如SCIP、HiGHS)、商用求解器(如GUROBI、IBM CPLEX)兩大類。求解器技術門檻高、研發難度大、研發風險較高,長期以來,全球商用求解器市場被美國Gurobi Optimization公司、IBM公司)、美國FICO公司等壟斷。但作為工業軟件核心計算引擎,求解器國產替代意義重大,近年來,為避免陷入受制于人局面,國產求解器研發正在崛起。
我國求解器相關研制企業有華天軟件(DCS)、華中科技大學(CBA)、智因科技、阿里巴巴達摩院(MindOpt)、華為(天籌AI求解器)、聯想(Le-OPT求解器)、杉數科技(COPT)、圖靈量子、中國科學院軟件研究所等。
近年來,隨著技術及產品迭代,國產求解器競爭優勢日益明顯。如阿里巴巴達摩院的MindOpt在工信部產業發展促進中心舉辦的首屆能源電子產業創新大賽中獲得冠軍,2024年MindOpt入選工信部發布的《人工智能賦能新型工業化典型應用入選案例公示名單》。
新思界
行業分析人士表示,由于技術門檻高、研發難度大,歐美企業在全球求解器市場保持著持領先地位。求解器是工業軟件的核心計算模塊,其發展水平直接關系著工業軟件行業整體競爭力,為支持我國工業軟件行業發展和創新,我國企業正逐漸打破國際技術壟斷,逐步建立起完善、高效、自主化的高性能求解器體系。