商業(yè)決策優(yōu)化求解器軟件,繼芯片與操作系統(tǒng)之后的國(guó)之重器

日前,來(lái)自中國(guó)自主研發(fā)的兩款商業(yè)決策優(yōu)化求解器軟件成功登頂國(guó)際權(quán)威數(shù)學(xué)決策軟件測(cè)評(píng)排行榜,杉數(shù)科技拔得頭籌,阿里緊隨其后,引發(fā)了國(guó)人對(duì)于決策優(yōu)化求解器的關(guān)注。此前,由于國(guó)際競(jìng)爭(zhēng),芯片和操作系統(tǒng)已經(jīng)成為中國(guó)要舉全國(guó)之力突破的“卡脖子”工程,而Matlab等商業(yè)數(shù)學(xué)及科學(xué)仿真計(jì)算軟件被禁用,讓商業(yè)決策優(yōu)化求解器軟件成為了芯片與操作系統(tǒng)之后必須要掌握自主知識(shí)產(chǎn)權(quán)的國(guó)之重器。

商業(yè)決策優(yōu)化求解器軟件主要以工程軟件的形式,把數(shù)學(xué)優(yōu)化算法用于公共機(jī)構(gòu)與商業(yè)大規(guī)模復(fù)雜問(wèn)題的優(yōu)化求解,例如輸電網(wǎng)絡(luò)規(guī)劃與發(fā)電機(jī)組組合優(yōu)化調(diào)度、物流配送路線規(guī)劃與優(yōu)化、生產(chǎn)制造排產(chǎn)排班、商業(yè)店面選址規(guī)劃與優(yōu)化等,在實(shí)際的生產(chǎn)生活中具有極其重要的價(jià)值和意義。當(dāng)實(shí)際問(wèn)題越復(fù)雜、問(wèn)題規(guī)模越龐大的時(shí)候,越需要經(jīng)過(guò)證明可以信賴的大規(guī)模優(yōu)化工具,為決策提供質(zhì)量保證以及增強(qiáng)決策信心。

國(guó)際著名的大規(guī)模商業(yè)優(yōu)化求解器軟件Gurobi,已經(jīng)在中國(guó)的石油石化、鋼鐵冶金、物流快遞、電商倉(cāng)儲(chǔ)、生產(chǎn)制造、金融投資、媒體管理、網(wǎng)絡(luò)通訊、航空運(yùn)輸、電力市場(chǎng)等等行業(yè)得到廣泛應(yīng)用,截止2019年底在中國(guó)的學(xué)術(shù)許可累積申請(qǐng)數(shù)量已經(jīng)超過(guò)5萬(wàn)人次。另外一款著名的求解器軟件IBM ILOG CPLEX,同樣把數(shù)據(jù)科學(xué)和數(shù)學(xué)算法用于大規(guī)模商業(yè)問(wèn)題的優(yōu)化求解,例如幫助某物流公司重新分配鐵路運(yùn)輸線路而每年節(jié)省2600萬(wàn)美元。

美國(guó)亞利桑那州立大學(xué)的Hans Mittelmann教授針對(duì)多種開(kāi)源與商業(yè)數(shù)學(xué)規(guī)劃求解器進(jìn)行測(cè)評(píng)已有近20年的歷史,是公認(rèn)的可靠第三方測(cè)評(píng)平臺(tái)。2020年8月底,杉數(shù)科技、阿里達(dá)摩院和Gurobi研發(fā)的求解器在線性規(guī)劃單純形法測(cè)評(píng)中分別位列前三名,國(guó)產(chǎn)兩席入列。其中杉數(shù)科技自2019年7月上榜伊始,便是榜上第一。如今Gurobi重新進(jìn)入測(cè)評(píng),更是彰顯杉數(shù)求解器線性規(guī)劃能力全球頂級(jí)的水平。

商業(yè)決策優(yōu)化求解器軟件,繼芯片與操作系統(tǒng)之后的國(guó)之重器

  大國(guó)之爭(zhēng):商業(yè)決策優(yōu)化求解器

為什么說(shuō)商業(yè)決策優(yōu)化求解器軟件是與芯片和操作系統(tǒng)同等重要的國(guó)之重器呢?又或者說(shuō),為什么商業(yè)決策優(yōu)化求解器的自主研發(fā)和國(guó)產(chǎn)化是大國(guó)之爭(zhēng)?商業(yè)決策優(yōu)化求解器究竟對(duì)國(guó)計(jì)民生有何重大影響?首先看個(gè)例子。

全球谷物供應(yīng)是一個(gè)超級(jí)龐大的體系。僅以法國(guó)為例,每年就產(chǎn)生約7000萬(wàn)噸谷物并向全球運(yùn)輸?shù)母鞣N距離加起來(lái)就長(zhǎng)達(dá)10億公里。而倉(cāng)儲(chǔ)供應(yīng)商是全球谷物供應(yīng)鏈中的重要一環(huán),他們?cè)诠任锍墒斓臅r(shí)候收集并運(yùn)輸谷物到倉(cāng)庫(kù)中,然后在隨后的整年中分銷給各地的客戶。此前,谷物倉(cāng)儲(chǔ)商都是根據(jù)經(jīng)驗(yàn)選擇運(yùn)輸路線和倉(cāng)庫(kù)地點(diǎn),典型的谷物倉(cāng)儲(chǔ)商要管理上百種不同的谷物以及數(shù)百個(gè)不同的收集與倉(cāng)儲(chǔ)地點(diǎn),同時(shí)還有龐大的下游客戶群,因此可能的組合就極為龐大。此外,谷物倉(cāng)儲(chǔ)商還要面臨天氣等帶來(lái)的風(fēng)險(xiǎn)和不確定性,往往要到最后一分鐘才能知道收集上來(lái)的谷物質(zhì)量與數(shù)量,再制定相應(yīng)的倉(cāng)儲(chǔ)和銷售策略。

法國(guó)某家以解決農(nóng)產(chǎn)品的收集、運(yùn)輸和倉(cāng)儲(chǔ)優(yōu)化問(wèn)題為目標(biāo)的軟件公司,利用農(nóng)業(yè)供應(yīng)鏈大數(shù)據(jù)以及數(shù)學(xué)優(yōu)化算法等產(chǎn)生經(jīng)過(guò)優(yōu)化的物流解決方案,通過(guò)集成商業(yè)決策優(yōu)化求解器軟件,可帶來(lái)10-15%的供應(yīng)鏈成本節(jié)約,以法國(guó)境內(nèi)的農(nóng)產(chǎn)品供應(yīng)鏈為例,這意味著每年10億公里的節(jié)約,相當(dāng)于每年30億歐元的成本節(jié)省。

決策優(yōu)化求解可以為法國(guó)農(nóng)作物物流帶來(lái)每年30億歐元的成本節(jié)約,這對(duì)于作為農(nóng)業(yè)大國(guó)、物流大國(guó)、糧食消耗大國(guó)等的中國(guó),特別是處于供給側(cè)改革的中國(guó)來(lái)說(shuō),無(wú)疑是具有國(guó)之重器的戰(zhàn)略價(jià)值。

  中國(guó)場(chǎng)景造就下一代世界級(jí)軟件

美國(guó)商業(yè)決策求解器三巨頭Gurobi、CPLEX以及Xpress中的CPLEX已經(jīng)誕生30多年,后被IBM收購(gòu)。CPLEX創(chuàng)始人后來(lái)在2008年創(chuàng)建了Gurobi,美國(guó)公司Fair Isaac在2008年收購(gòu)了英國(guó)公司Dash Optimization也就是Xpress軟件的創(chuàng)始公司。自2008年以后,美國(guó)的商業(yè)決策求解器產(chǎn)業(yè)開(kāi)始發(fā)展,進(jìn)而根據(jù)美國(guó)公司和全球其它國(guó)家企業(yè)的場(chǎng)景而打磨和迭代演進(jìn)。除了三巨頭外,Matlab、SAS、PTC等公司也在自己的工業(yè)工程和科學(xué)計(jì)算軟件中提供相應(yīng)的求解器功能。

那么,無(wú)論是杉數(shù)科技還是阿里,憑什么在最近幾年的時(shí)間內(nèi)就在最重要的商業(yè)決策優(yōu)化算法領(lǐng)域擊敗成熟的美國(guó)軟件呢?首先,杉數(shù)科技和阿里所競(jìng)爭(zhēng)的領(lǐng)域叫單純形法線性規(guī)劃,在Mittelmann榜單中還有線性規(guī)劃的其它算法以及整數(shù)規(guī)劃、非線性規(guī)劃等數(shù)學(xué)優(yōu)化的其它算法領(lǐng)域。線性規(guī)劃的單純形方法被認(rèn)為是現(xiàn)代數(shù)學(xué)規(guī)劃也是運(yùn)籌學(xué)學(xué)科的開(kāi)端,是20世紀(jì)計(jì)算科學(xué)的十大算法之一。數(shù)學(xué)規(guī)劃又稱數(shù)學(xué)優(yōu)化,是運(yùn)籌學(xué)的一個(gè)重要分支,包括了線性規(guī)劃、整數(shù)規(guī)劃、非線性規(guī)劃等研究方向,而線性規(guī)劃單純形法是其中的一大重要算法。

商業(yè)決策優(yōu)化求解器軟件,繼芯片與操作系統(tǒng)之后的國(guó)之重器

杉數(shù)科技聯(lián)合創(chuàng)始人、COPT杉數(shù)優(yōu)化求解器項(xiàng)目負(fù)責(zé)人葛冬冬博士畢業(yè)于斯坦福大學(xué)管理科學(xué)與工程系,目前擔(dān)任中國(guó)運(yùn)籌學(xué)會(huì)理事、上海財(cái)經(jīng)大學(xué)交叉科學(xué)研究院院長(zhǎng),曾主持多項(xiàng)國(guó)家和省級(jí)科研項(xiàng)目,在頂級(jí)國(guó)際期刊和會(huì)議上發(fā)表多篇學(xué)術(shù)論文,為多個(gè)國(guó)內(nèi)外標(biāo)桿企業(yè)提供技術(shù)服務(wù)。葛冬冬介紹,基于數(shù)學(xué)優(yōu)化算法的商業(yè)決策優(yōu)化求解器軟件,主要是解決實(shí)際的軟件工程問(wèn)題,需要真實(shí)的業(yè)務(wù)場(chǎng)景才能打磨出優(yōu)秀的求解器軟件。傳統(tǒng)上的杉數(shù)求解器開(kāi)發(fā)的幾年里,用來(lái)試煉的國(guó)內(nèi)提供的工業(yè)場(chǎng)景已經(jīng)達(dá)到了上億級(jí)別的系統(tǒng)求解,對(duì)于求解器軟件的測(cè)試和提高,提供了極其豐富的資源。

2015年開(kāi)始,我國(guó)經(jīng)濟(jì)進(jìn)入了一個(gè)新階段,原有的經(jīng)濟(jì)增長(zhǎng)動(dòng)力已經(jīng)不足以支撐新的發(fā)展需求。2015年11月,中央首提“供給側(cè)改革”,強(qiáng)調(diào)對(duì)供給側(cè)不斷優(yōu)化,普遍提高社會(huì)生產(chǎn)力。而2016年的時(shí)候,中國(guó)大數(shù)據(jù)產(chǎn)業(yè)和大數(shù)據(jù)科技向政企的滲透已經(jīng)達(dá)到了一個(gè)階段性成果,政企已經(jīng)完成了第一波的大數(shù)據(jù)積累,迫切需要高級(jí)分析技術(shù)對(duì)累積的大數(shù)據(jù)進(jìn)行分析和用于生產(chǎn)優(yōu)化。這些都在客觀上為商業(yè)決策優(yōu)化求解器軟件,打開(kāi)了市場(chǎng)空間。在另一方面,經(jīng)過(guò)改革開(kāi)放40多年的發(fā)展,中國(guó)已經(jīng)是世界制造第一大國(guó)、網(wǎng)絡(luò)零售第一大國(guó)、貿(mào)易第一大國(guó)、世界第二大經(jīng)濟(jì)體等,中國(guó)的商業(yè)場(chǎng)景規(guī)模已經(jīng)遠(yuǎn)超越歐美地區(qū)。

以杉數(shù)科技為某國(guó)內(nèi)大型民營(yíng)制造企業(yè)提供的排產(chǎn)優(yōu)化項(xiàng)目為例:該制造企業(yè)有上百個(gè)工廠、數(shù)百個(gè)車間,每個(gè)工廠都數(shù)十家供應(yīng)商,涉及數(shù)萬(wàn)種多種原材料,零部件和二級(jí)部件等,約束條件有環(huán)保要求、出口要求、特供材料分配等多種復(fù)雜條件,需要把所有的工廠放到一起進(jìn)行排產(chǎn)優(yōu)化——每個(gè)月初對(duì)未來(lái)30天進(jìn)行精確排產(chǎn),要求細(xì)化到每個(gè)小時(shí)每個(gè)車間的生產(chǎn)計(jì)劃,然后再對(duì)之后的26周進(jìn)行滾動(dòng)預(yù)測(cè)——其中涉及的變量高達(dá)5000萬(wàn)到上億。過(guò)去,這家在國(guó)內(nèi)數(shù)字化和精細(xì)化已經(jīng)遙遙領(lǐng)先的制造企業(yè),利用了美國(guó)的排產(chǎn)軟件為每個(gè)工廠指定最優(yōu)計(jì)劃,各工廠自行優(yōu)化排產(chǎn)之后,還需要大量的人工干預(yù)來(lái)協(xié)調(diào)生產(chǎn),現(xiàn)在采用了把所有工廠放在一起進(jìn)行整體優(yōu)化的思路,雖然更能做好全局優(yōu)化,但是問(wèn)題規(guī)劃極大。這家制造企業(yè)甚至請(qǐng)來(lái)了MIT的一些教授,但最終杉數(shù)科技在3個(gè)小時(shí)就實(shí)現(xiàn)“30+26”的大周期排產(chǎn)優(yōu)化、日常優(yōu)化只需要不到2個(gè)小時(shí),成功地實(shí)現(xiàn)了比國(guó)外求解器和國(guó)外方案更優(yōu)的國(guó)產(chǎn)化替代。

以求解器為核心的商業(yè)決策優(yōu)化

商業(yè)決策優(yōu)化求解器與芯片和操作系統(tǒng)一樣,并不能單獨(dú)解決實(shí)際的商業(yè)決策優(yōu)化問(wèn)題,而是需要先對(duì)實(shí)際的商業(yè)決策優(yōu)化問(wèn)題進(jìn)行數(shù)學(xué)建模,再使用求解器進(jìn)行求解。杉數(shù)科技聯(lián)合創(chuàng)始人及CEO羅小渠介紹,杉數(shù)科技是目前國(guó)內(nèi)唯一獨(dú)立的商業(yè)決策優(yōu)化求解器軟件提供商,同時(shí)也提供復(fù)雜商業(yè)決策優(yōu)化問(wèn)題建模服務(wù),運(yùn)用運(yùn)籌學(xué)和數(shù)學(xué)優(yōu)化算法以及人工智能算法等,為企業(yè)提供大規(guī)模商業(yè)決策優(yōu)化解決方案,公司業(yè)務(wù)在2019年進(jìn)入了爆發(fā)期。

商業(yè)決策優(yōu)化求解器軟件,繼芯片與操作系統(tǒng)之后的國(guó)之重器

除了前面提到的某制造企業(yè)大規(guī)模排產(chǎn)優(yōu)化問(wèn)題外,杉數(shù)科技還為國(guó)內(nèi)某零售連鎖超市門(mén)店選址進(jìn)行了優(yōu)化。該零售連鎖超市之前采用的選址方式是以200米200米面積對(duì)城市劃分格子,然后派人掃街進(jìn)行數(shù)據(jù)統(tǒng)計(jì),統(tǒng)計(jì)數(shù)據(jù)包括商業(yè)地產(chǎn)周圍是否有綠化帶、臺(tái)階是否超過(guò)3級(jí)、周圍是否有肯德基和ATM、周邊人口信息等等,進(jìn)入篩選范圍后再談判,這個(gè)過(guò)程過(guò)于復(fù)雜和消耗人力,成本也高。杉數(shù)科技以預(yù)期營(yíng)收最大化為優(yōu)化目標(biāo),根據(jù)各種大數(shù)據(jù)進(jìn)行優(yōu)化分析計(jì)算,對(duì)200米200米的小格子給予“0或1”的打分,排出TOP 100名單后再與之前的人工作業(yè)結(jié)果對(duì)比,如果能覆蓋之前70%的結(jié)果就視為有效,而杉數(shù)科技實(shí)際達(dá)到了80%-90%的覆蓋率且更精確。該零售連鎖超市最后選用杉數(shù)科技的解決方案,僅在上海地區(qū)就能以同類零食連鎖商門(mén)店40%的數(shù)量,覆蓋同樣的人口。不僅大幅節(jié)約了掃街的人力和成本,更提高了店面選址的效率。

羅小渠介紹,在2016年杉數(shù)科技成立的時(shí)候,當(dāng)時(shí)對(duì)企業(yè)介紹商業(yè)決策優(yōu)化的概念,并不能引起企業(yè)很高的認(rèn)同。到了近兩年,企業(yè)大數(shù)據(jù)建設(shè)進(jìn)入了新的階段,原有依靠報(bào)表和大屏可視化展示等已經(jīng)不能繼續(xù)體現(xiàn)大數(shù)據(jù)建設(shè)的成果,大量頭部企業(yè)開(kāi)始關(guān)注在大數(shù)據(jù)的基礎(chǔ)上,用高級(jí)分析和數(shù)學(xué)優(yōu)化算法對(duì)實(shí)際的商業(yè)決策問(wèn)題進(jìn)行優(yōu)化分析。用數(shù)據(jù)驅(qū)動(dòng)決策,用數(shù)據(jù)分析說(shuō)話,已經(jīng)成為企業(yè)運(yùn)營(yíng)的新常態(tài)。

特別是我國(guó)近幾年發(fā)展智能制造,一批批燈塔工廠已經(jīng)興起,智能制造已經(jīng)從建設(shè)智能產(chǎn)線和設(shè)備上云等,進(jìn)入到了利用高級(jí)算法進(jìn)行生產(chǎn)調(diào)度、制定生產(chǎn)計(jì)劃以及產(chǎn)供銷協(xié)同的新階段。而我國(guó)作為消費(fèi)大國(guó),近幾年來(lái)消費(fèi)升級(jí),消費(fèi)者對(duì)不同消費(fèi)品的千人千面需求大增,這導(dǎo)致極強(qiáng)的不確定性,不斷變化的消費(fèi)需求導(dǎo)致要求極強(qiáng)的多品種和小批量生產(chǎn)供應(yīng)鏈柔性,很多頭部企業(yè)都進(jìn)入到了需要大規(guī)模優(yōu)化商業(yè)決策的階段了。

葛冬冬強(qiáng)調(diào),打榜國(guó)際權(quán)威求解器軟件榜單,這本身并不意味著能夠真正解決實(shí)際的大規(guī)模商業(yè)決策優(yōu)化問(wèn)題,打榜本身只需要算法優(yōu)化方面的小技巧即可,而實(shí)際的商業(yè)決策問(wèn)題才是真正的挑戰(zhàn)。杉數(shù)科技的核心產(chǎn)品為COPT優(yōu)化求解器,目前提供開(kāi)源版、單機(jī)版與服務(wù)器版,包括了線性、混合線性整數(shù)規(guī)劃、非線性優(yōu)化等多個(gè)模塊。自2019年7月發(fā)布可求解大規(guī)模復(fù)雜商業(yè)問(wèn)題的COPT 1.0版本以來(lái),該求解器已經(jīng)成功應(yīng)對(duì)了5000萬(wàn)到上億變量的單純型法線性規(guī)劃求解問(wèn)題,并且其整數(shù)規(guī)劃模塊也成功應(yīng)用于多個(gè)國(guó)家敏感項(xiàng)目的國(guó)產(chǎn)化替代方案中。

作為國(guó)產(chǎn)軟件,杉樹(shù)COPT求解器目前支持包括Windows、Linux和MacOS等在內(nèi)的所有主流操作系統(tǒng)(均為64位系統(tǒng)),并提供Python、PuLP、Pyomo、C、C++、C#、Java、AMPL和GAMS等主流計(jì)算語(yǔ)言接口以及支持ARM64平臺(tái)。該求解器在過(guò)去兩年已經(jīng)廣泛部署于杉數(shù)科技的智慧供應(yīng)鏈與工業(yè)4.0智能系統(tǒng),應(yīng)用于大量頭部企業(yè),包括百威、好麗友、小米、商飛等,并作為唯一全國(guó)產(chǎn)軟件還在深空探索、民航、電網(wǎng)、石油、信息安全等多個(gè)國(guó)家重大項(xiàng)目上做出了獨(dú)特的貢獻(xiàn)。與杉數(shù)科技不同,阿里主要通過(guò)阿里云提供求解器服務(wù)。

總結(jié)而言:2020年,正值十四五開(kāi)局規(guī)劃之年,又逢中華民族偉大復(fù)興的戰(zhàn)略全局以及世界未有之百年大變局。商業(yè)決策優(yōu)化求解器作為與芯片和操作系統(tǒng)同等重要的國(guó)之重器,在大規(guī)模優(yōu)化公共服務(wù)和商業(yè)運(yùn)營(yíng)中起著極為重要的作用,以杉數(shù)科技和阿里為代表的中國(guó)科技企業(yè)已經(jīng)先行一步,為中國(guó)建立硬科技競(jìng)爭(zhēng)力而不懈努力!

(免責(zé)聲明:本網(wǎng)站內(nèi)容主要來(lái)自原創(chuàng)、合作伙伴供稿和第三方自媒體作者投稿,凡在本網(wǎng)站出現(xiàn)的信息,均僅供參考。本網(wǎng)站將盡力確保所提供信息的準(zhǔn)確性及可靠性,但不保證有關(guān)資料的準(zhǔn)確性及可靠性,讀者在使用前請(qǐng)進(jìn)一步核實(shí),并對(duì)任何自主決定的行為負(fù)責(zé)。本網(wǎng)站對(duì)有關(guān)資料所引致的錯(cuò)誤、不確或遺漏,概不負(fù)任何法律責(zé)任。
任何單位或個(gè)人認(rèn)為本網(wǎng)站中的網(wǎng)頁(yè)或鏈接內(nèi)容可能涉嫌侵犯其知識(shí)產(chǎn)權(quán)或存在不實(shí)內(nèi)容時(shí),應(yīng)及時(shí)向本網(wǎng)站提出書(shū)面權(quán)利通知或不實(shí)情況說(shuō)明,并提供身份證明、權(quán)屬證明及詳細(xì)侵權(quán)或不實(shí)情況證明。本網(wǎng)站在收到上述法律文件后,將會(huì)依法盡快聯(lián)系相關(guān)文章源頭核實(shí),溝通刪除相關(guān)內(nèi)容或斷開(kāi)相關(guān)鏈接。 )