10月21日,達摩在杭州云棲大會上,院求優化阿里巴巴達摩院發布求解器MindOpt全新版本,解器在原有“線性規劃”基礎上新增“黑盒優化”、升級“在線優化”等重點功能,覆蓋并開放單機版下載,黑盒為企業和科研人員提供免費的難題優化能力。
求解器是達摩求解數學規劃問題的軟件,廣泛應用于云計算、零售、金融、制造、交通、能源等領域,是深埋于智能決策場景底層的“終極利器”。求解器研發難度大,而黑盒優化則是難中之難,它主要是針對優化目標和約束條件無直接描述的黑盒復雜系統。由于缺失函數的一階和二階導數信息,因此無法使用經典優化方法,只能通過試驗或模擬仿真不斷獲取目標和約束的估值,盡可能接近全局最優解。一個典型案例就是工廠煉鋼投料配比的問題,要用最小的成本實現最佳產出,就需要引入黑盒優化技術。
煉鋼投料配比問題
達摩院求解器MindOpt的黑盒模塊這次新增了ZORO和CobBO兩種高效的針對高維黑盒問題的算法,可以更快地得到可行解,且目標值往往更優,在煉鋼投料配比中的表現比之前最佳算法提升兩倍多,能夠幫助企業降本增效。為了加速黑盒優化的發展,達摩院聯合阿里云天池推出了黑盒優化數據集和在線測評榜RABBO,提供來自實際應用的黑盒問題及評測方案,幫助研究人員不斷打磨算法,以此推動整個研究領域的進步。
據了解,由于技術壁壘高,幾十年來,高性能商用求解器技術始終由少數歐美企業主導。達摩院自主研發出求解器MindOpt,首先用于阿里云計算資源調度優化,一年節省成本數億元。去年12月底,達摩院求解器向社會免費開放測試,是國內首個免費開放的商用求解器。當前版本能夠用單純形法、網絡流法、內點法來解決線性規劃問題,實力強勁,其中前兩項當前名列國際權威的Mittelmann榜單第一名。