在過去30余年中,世界領先的商業求解器一直掌握在一些海外企業及財團手中。對國內企業而言,長期以來只能購買海外進口產品。
近日,我國自主研發的“杉數數學規劃求解器”在世界知名求解器公測平臺、米特爾曼教授的測試集上位列第一,成為我國第一個自主研發的商業級別求解器,我國求解器的測試速度躋身世界頂尖商業求解器之列。
“其速度比第二名快了40%多。”中國運籌學會理事長、研究員胡旭東告訴科技日報記者,由美國亞利桑那州立大學漢斯·米特爾曼教授所維護的這一測試平臺,提供了多個商業和開源的數學規劃求解器的測評數據,這一測評成為人們了解和選擇求解器的窗口,也被求解器業界奉為軟件性能排名的事實標準。
求解器像是運籌學里的“芯片”
對于求解器,很多人都很陌生。那么到底什么是求解器?
“在運籌學里,對于數學規劃求解器的定義是,針對多種已經建立的線性、整數及各種非線性規劃模型,進行算法優化的求解器,可以看作一個‘黑盒子’軟件系統。”胡旭東說,求解器就像是運籌學里的“芯片”,絕大多數復雜系統的決策問題都需要用到數學規劃求解器,來尋求最優化的解決方案。
“求解器就好比是電腦的操作系統,解決不同問題的數學模型就是一個個軟件。一個求解器可以衍生出很多垂直的場景,盡管這些場景看上去差別很大,但本質上相通。救護車調度、航班規劃、庫存優化……這些從數據到決策的轉化工作,都可以利用運籌學模型與機器學習將實際問題轉化為數學模型求解。”胡旭東說。
國計民生都需要用到“黑盒子”
“大規模數學規劃求解器關系到國計民生的眾多方面。”制造杉數數學規劃求解器的杉數科技公司創始人葛冬冬表示。
連鎖快餐店應該如何選址,才能覆蓋盡可能多的人口?幾百個物流機器人的行進路線該如何實時設計,才能實現最高工作效率,又不發生碰撞?在打車系統中,乘客發出叫車需求,把這位乘客分配給哪個司機,才能實現路線最優,讓司機和乘客全滿意……這些問題的解決都需要求解器來幫忙。而且問題求解規模越大,就越依賴于求解器這一神秘“黑盒子”。
葛冬冬舉例說,永輝超市現在在上海已經有300多家店。此前,他們與杉數科技合作,用選址軟件做智能選址。“比如,今年計劃開50家店,明年開100家店,后年開150家店,利用求解器就可以算出這50家店該怎么開、開在哪,明年100家店該怎么開、開在哪,互相之間不會產生惡性競爭。”
斯坦福大學李國鼎工程講座教授、運籌學專家葉蔭宇曾表示,云計算、大數據與人工智能的井噴,出現了超大規模的大數據,這正是優化算法繁榮的基礎,人工智能想要進入新階段,也離不開優化算法的進一步發展。而優化算法想要實現自身作用,求解器是不可缺少的一個環節。
進口產品無法定制、存在安全隱患
但是,在過去30余年中,這種高精度求解器高度依賴進口。世界領先的商業求解器一直掌握在一些海外企業及財團手中。對國內企業而言,長期以來只能購買海外進口產品。
胡旭東表示,對于各大企業而言,購買的進口商業求解器不僅價格高昂,而且通常都是已經經過封裝、無法自主調整的算法代碼的“黑盒子”。
“以國家發展為例,基礎設施建設中的電網、水利系統、鐵路、高速公路建設等都涉及到類似的大規模優化算法問題,使用國際上成熟的商業求解器就意味著難以做出針對性改良,得到最優結果。”胡旭東說,“由于不了解國外求解器系統,此前許多企業遇到特定問題時,常常得不到最好的答案,‘黑盒子’永遠是封閉的,甚至不知道數據的傳輸是否安全。”此外,軍事上的戰略資源調度、航空領域的戰略部署等關乎國家安全的問題,也對自主知識產權的軟件有著根本性需求。無論從何種角度來說,這樣的軟件,國內必須得有自己的核心技術知識積累。
耗時長、人才少制約自主求解器發展
求解器研發是一項耗時長、見效慢,不能發論文的基礎性工作。
“由于開發難度大、開發周期長、資金需求高等種種原因,國內的優化算法求解器此前幾乎處于空白狀態。因為這就好像研發一枚芯片,要想做出可以供企業使用的芯片,有相當的技術門檻,需要千百次的試驗。求解器的開發也是一樣。”胡旭東說,求解器在技術層面要求非常高,將一個數學上高度復雜的系統,以百萬行級別的代碼工程化地實現出來,是很多國外求解器團隊走了30年的求索之路。計算速度和精度的每一點提升都需要無數的思考和嘗試,凝聚著研發團隊的辛勤汗水和思維火花。
“要做可靠的求解器,時間是必須要投入的。整數求解器部分我們做了2年以上,但整個預期是3—4年。國外的那些企業做的都是迭代的求解器,大家公認就需要這么長時間。”葛冬冬稱,國內做求解器,大多數公司往往等不了這么長的時間。“投入幾千萬、十來個人去做一個軟件,但3年后還不一定能出結果,面臨的現實壓力是很大的。”
除了時間投入外,人才也成為制約求解器國產化的因素。葛冬冬認為,開發求解器的人才需要具備3個特點。第一是數學功底好,優化算法功底扎實;第二是代碼能力強,有系統工程開發能力;第三是最好具有求解器開發經驗。“高校培養的學生,最大的弱點是解決多方面問題的綜合能力不足。另外高校團隊欠缺承續性,雖然代碼都會寫,但是一旦一位核心人才離開團隊,研發就會受到較大影響。而國內企業培養人才又有點急功近利,等不起一個人才慢慢成熟。”葛冬冬說。
揚子晚報網6月14日訊(通訊員張愛國記者梅建明)6月12日上午,事故當事
注意!今日暴雨來襲未來三天福建以陰雨天氣為主雨水上線,暫享清涼最新
流量時代,企業爭相發力線上,變著花樣引流不足為奇。即便是老牌企業如
愛范兒早報導讀披頭士最后一曲,AI協助完成ChatGPT推送重要更新多地高
提到工具,你想到的是什么?辦公場景中的掃描、傳輸、會議等工具,還是
上海市科學技術委員會近日印發《上海市“元宇宙”關鍵技術攻關行動方案
本場賽后,巴特勒和洛瑞出席了新聞發布會。記者向巴特勒提問:在控
作戰室內,編隊指揮員密切關注戰場態勢,指揮各艦迅速組成對空防御隊
相信大家對商務標書包括哪些內容,五羊本田哪些是獨立標?的問題都很疑
華夏時報記者付樂冉學東北京報道近日,《華夏時報》記者發現,微信支付
同花順數據顯示,2023年6月13日,浙富控股獲外資賣出67 14萬股,占流通
鄂軍贏得開門紅,13支三人女籃青年軍鏖戰江城---6月13日上午,“漢水杯
我從______大學光纖專業畢業后,于8月開始在縣通信分公司工作。我從事
北京遇上西雅圖演員表,京遇上西雅圖演員表的基本詳情介紹很多人還不知
兩年后,我才知道為什么趙麗穎的婚姻如此倉促,拖了這么久。2018年5月

安徽安慶市正式成立“老年助餐慈善基
記者日前從安慶市民政局獲悉,該市慈善會近日設立老年助餐慈善基金,共同守護老年人舌尖上的幸福。該基金專項用于資助城鄉社區老年食堂、社

安徽淮北積極落實2022年電網防汛度汛
近日,國網淮北供電公司工作人員來到110千伏中泰變電站開展防汛隱患排查。該公司積極落實2022年防汛度汛措施,提前細化應急預案,推進極端

安徽全椒縣完善拓展人力信息資源助企
今年以來,全椒縣不斷完善拓展人力資源信息庫、勞務對接信息庫、企業用工需求信息庫三庫信息資源,已摸排400多家次企業缺工崗位信息1 2萬個

宿州市埇橋區柔性引進博士推進鄉村振
宿州市埇橋區實施博士匯工程,柔性引進29名博士擔任副鄉鎮長或園區副主任,他們將為加快產業發展、推進鄉村振興強化智力支持。目前,博士專
安徽印發出臺全面實施零基預算改革方
為進一步提高財政資源配置效率和資金使用效益,省政府印發《安徽省全面實施零基預算改革方案》,明確從編制2023年預算起,在全省范圍內全面
5月份安徽居民消費價格同比上漲2.3%
近日,國家統計局安徽調查總隊發布了我省5月份居民消費價格統計數據。統計顯示,我省居民消費價格同比上漲2 3%,同比漲幅比上月回落0 4個百分
安徽多種方式引導群眾防范非法集資風
合肥地鐵1號線、3號線上滾動播放防范非法集資宣傳視頻,淮南市發布《致老年群眾的一封信》……6月份是一年一度防范和處置非法集資宣傳月,今
鐵路部門持續加大長三角地區運力投放
記者從中國鐵路上海局集團有限公司獲悉,隨著上海疫情防控形勢持續向好,為進一步適應旅客出行需要,助力復工復產,鐵路部門自6月10日起持續加
安徽六安持續精準施策全力促進工業發
六安市與蔚來汽車簽署合作協議,共建智能電動汽車零部件配套產業園區。該園區一期計劃2023年上半年投產,建成后將具備年產30萬噸鋁壓鑄產能,
安徽淮北全力維護外賣送餐員合法權益
為切實防范化解新業態領域重大風險隱患,強化外賣送餐員權益保障工作,淮北市市場監管局充分發揮職能作用,全力維護外賣送餐員合法權益。淮北
湖南漣源開展專項行動一對一為企業紓
位于漣源市的湖南三合美新材料科技有限公司,兩條生產線滿負荷運行,生產聚氨酯和巖棉復合板。因產品升級與產能擴充,急需新增兩條生產線,
湖南藍山縣進村入戶排查整治自建房安
老叔,這棟房屋墻體有開裂痕跡,要維修加固,安全重要!5月20日,藍山縣塔峰鎮果木村,黨員干部上門開展農村自建房安全隱患排查整治。連日來
一季度湖南萬元產值綜合能耗同比下降
近日,湖南省工業通信業節能監察中心發布一季度全省六大高耗能行業能源消耗統計監測報告。據該報告,一季度全省146家主要高耗能企業的萬元
濟南起步區一年來累計簽約優質項目11
萬里黃河第一隧濟南黃河濟濼路隧道建成通車,占地4000余畝的新能源乘用車零部件產業園加快施工……記者21日采訪獲悉,建設實施方案獲批復一
山東發布通知啟動傳統民居保護利用試
省住房城鄉建設廳、省財政廳近日聯合印發《關于做好傳統民居保護利用試點工作的通知》,在全省部署開展傳統民居保護利用試點工作。此次試點