成立一家公司,或者先弄个团队开始做数学规划求解器,这还真不是韩川一拍脑袋就做出来的决定。

在苏步青先生的书灵之种反馈回来后,他就收获了一个工业软件的数学内核’的连续性任务,限时五年。

从任务的名字就能看出来,它的核心无疑就是几何内核,求解器内核,底层数学库这类以‘数学引擎’为基础的工业软件。

比如CAD的核心就是几何内核,负责在计算机中精确描述和管理三维物体的几何形状与拓扑结构,决定了设计师能创造出多么复杂和精密的模型。

还有CAE的内核,用于预测产品在真实物理世界中的表现,如受力、变形、温度变化等等。

而这些工业软件目前长期被国外的巨头垄断,即便是再过十几年二十年的时间,CAD,CAE,MATLAB这些依旧是行业的主流。

当然,这些工业软件的垄断是数十年积累形成的系统性优势。

其背后是工业化经验的代差、技术壁垒的高度、商业生态的闭环以及国家战略的博弈,并非单一原因造成,而是一个环环相扣的复杂困局。

这就像一个时间锁,欧美发达国家率先完成工业革命,积累了数百年的工业化经验,国内很难在短时间内超越。

韩川也没想着自己随便弄出点什么成果就能掀翻盘大棋,这是不可能的事情。

不仅仅是因为国外巨头的垄断,更是因为工业软件的开发需要既懂工艺、又懂数学,还懂软件工程的复合型人才。

而这类人才培养周期极长,全球范围内都稀缺。

从国内情况来看,目前这种人才几乎可以说打灯笼都难找,真正是凤毛麟角。

就算是有,也很少很少,多被国企或者顶尖的大厂垄断,亦或者是直接出国了。

所以韩川的想法是从这个庞大市场的某个角落出发,先啃下一小块相对容易的地盘。

比如数学规划求解器,就是工业软件这个庞大领域中的一小块蛋糕。

其核心功能是在给定约束条件下,自动计算使目标函数(最大化或最小化)达到最优的决策变量数值。

简单来说,它是一个被封装好的“黑盒子”软件系统。

你只需要将现实中的资源调配、路径规划等问题,抽象成目标函数和约束条件的数学模型,这个“黑盒子”就能在极短时间内,从海量可能性中找出一个最优解。

比如你经营着一家小型物流公司,今天有10个客户需要从你的1个仓库(编号0)出发送货。

每个客户都有一个固定收货时间窗,比如客戶A只能在上午9点到10点之间收货。

每辆车载重有限,油耗成本与行驶距离成正比。你有三辆卡车可用,每辆车的容量是100件货物。

你需要在满足所有约束的前提下,让总行驶距离最短(或总成本最低)。

这种情况下,人工计算和配合调度是一件复杂无比的事情。

但如果有一个数学规划求解器,你只需要将你有的条件,需求等数据输进去,几分钟,它就能给你一条最完美的规划路线。

比如A车怎么走,装载多少货物,B车去对接哪个客户,都能给你安排的明明白白。

你只需要对照着上面给出的结果安排人员配置就行。

而没有的话,你就需要一个至少有着十年以上经验的调度员花费上两三天的时间处理。

并且处理规划的结果还可能远比不上数学规划求解器几分钟算出来的路线。

从这方面来看,无论是人工、资源还是物力等各方面后者都爆杀前者。

你人力计算需要一个有着十几年经验的老师傅花两三天的时间才能解决,还可能不是最优路线。

但计算机几分钟就能搞定。

这就是工业软件重要性的地方。

机房中,许志远看着韩川,在听完他的解释后,有些惊讶地问道:“你认真的?”

韩川点了点头,道:“当然!”

“我调查过了,国产求解器是个空白领域,国内现在仅有几个团队在做,而且规模都很小。”

停顿了一下,他紧接着继续解释道:“虽然说一开始我们不可能做到Gurobi那种级别,毕竟那是人家做了几十年,用数千个工程师堆砌起来的东西。”

“但我们可以先从一个细分领域切入。”

“比如先做航迹规划和资源调度这一块。”

“我在三角和估计上积累的那套数学工具加权控制列框架,对偶不等式、自适应反馈机制等等,恰好和优化求解器在底层数学结构上有相通之处。

“传统线性规划和混合整数规划依赖于单纯形法或者内点法,这些方法在工业界已经用了几十年,算法成熟度很高。”

“但在处理高维、多约束、强非线性的复杂优化问题时,传统方法的收敛速度会在边界层上遇到瓶颈——这恰好是我那套加权框架最擅长的领域。”

“如果能把这个数学工具迁移到求解器内核中去,理论上可以开辟一条全新的技术路线。”

许师兄想了上,道:“那个你倒是知道一些,之后你用过一些国产的求解器,了解过那方面的东西。”

“整体来说国内目后做那方面的小概是超过十家,基本用的还是开源框架改的,离Gurobi这种商用级别的差距是是一星半点。”

说着,我看向刘露,停顿了一上前蹙眉问道:“做那方面确实是一个很是错的领域。”

“但他想做那件事,技术和资金哪来的?”

听到那个问题,刘露笑了笑,道:“资金一结束应该是需要太少,你应该能支撑起。”

“而且起步阶段不能先做一个针对特定问题域的大型求解引擎,是需要面面俱到。

“至于技术…………”

说到那,我停顿了一上,笑着伸出手指点了点自己的太阳穴。

“数学的部分你应该不能解决是多,算法框架、底层优化策略、核心公式推导,那些你能解决。”

“是过代码实现的部分,你需要一个靠得住的程序员搭档。”

“怎么样,许志远没兴趣吗?”

许师兄看了一眼屏幕下还有跑完的最前一批数据,又转头把目光落回刘露身下,用一种半开玩笑半认真的语气笑道。

“这他准备给开什么条件?”

“要知道,拿到过国奖的建模程序员可都是便宜。”

广告位置下