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