打破国际垄断,中国首款高水平工业级别整数规划求解器出炉

4年前,杉数科技和上海财经大学签约开展产学研全面合作,并发布了中国首个运筹学算法平台LEAVES,这是我国第一个成规模的运筹学算法求解器。

4年后的今天,杉数科技正式发布COPT2.0整数规划求解器,这是中国首款高水平工业级别整数规划求解器。

杉数科技联合创始人、上海财经大学交叉科学研究院院长葛冬冬自豪地说,这是国产数学规划求解器史上的又一次重大突破。它的推出将加速我国企业的数智化转型,填充我国在关键领域“建模与仿真”技术最重要的基础模块数学规划求解器的空白。

什么是求解器?

葛冬冬介绍,求解器就像是运筹学里的“芯片”,绝大多数复杂系统的决策问题都需要用到数学规划求解器,来寻求最优化的解决方案。

比如几百个物流机器人的行进路线该如何实时设计,才能效率最高又不发生碰撞?在打车系统中当乘客发出要车请求,把这位乘客分配给哪个司机最优?

“计算的过程我们叫它求解器,从国际到民生,它涉及到我们生活和国家运行的方方面面。比如航天航空、能源、工业4.0,都非常高度依赖于求解器。还有电商、仓储物流、交通、军事,完全依赖于求解器。”

葛冬冬表示,京东的无人小车AGV调度问题,就是用求解器解决的。目前在碳排放的约束下如何统一规划生产,也可以用求解器解决掉。

但是2017年之前,中国在求解器上是完全空白的状态,这种高精度求解器高度依赖进口。2016年7月罗小渠、葛冬冬、王子卓、王曦四位斯坦福博士联合创立了杉数科技。

谈起当初创业的初衷,葛冬冬说,就是希望研发出中国自己的求解器。

2017年,杉数科技和上海财经大学合作发布了中国首个运筹学算法平台LEAVES; 2019年5月推出中国首个商用线性规划求解器COPT‪‪‪‪。现在COPT2.0整数规划求解器也正式出炉。凭借自身强大创新精神和研发投入,杉数科技打破数学规划求解国际市场垄断。

在研发的过程中,上海财经大学的很多老师还有学生参与到推动国产求解器的建设中。上财副校长陈信元表示,通过一系列的合作,老师们获得了非常宝贵的第一手科研数据,实际经验,对于未来的科研素材和科研问题,有着极大的增益作用。

“特别是在和供应链,新零售,互联网共享经济、金融科技等多个项目的合作,对我国多个行业的龙头企业的核心技术难题解决,起到了明显的帮助。也非常符合财大经世济国的校训。而学生们也可以获得更多的实习机会,接触到最前沿的科研和实际问题,以及未来更大的职场空间。“

他希望上财与杉数科技的合作,可以再为祖国科技新军里再添上一颗璀璨的明星。

杉数科技近期还完成了近2亿元规模C轮融资,用于产品研发与推广、团队建设等。联合创始人&CEO罗小渠介绍,将在关键技术研发上,继续增强投入。

来源:周到上海       作者:董川峰