华轩科技那边的推进速度比李东想象的还要快。
会议结束的第二天,林伟就把整个技术团队分成了三个攻关小组,分别负责算法适配、硬件接口调试和流场仿真验证。
那帮工程师也连夜飞回了魔都总部,开始搭建21版本算法的工程化部署环境。
同时,中科院计算技术研究所的孙宁生团队直接把他们的高性能计算集群开放出来,专门用于前期的并行化压力测试。
甚至连水木那边的姚启智院士都安排了交叉信息研究院的两个博士后,专门对接算法在异构平台上的调度优化方案。
虽然这些事,李东都不需要全程参与。
但是这一周的时间里,他也连夜赶工,将降维算法21的完整数学框架全部整理成了一份详细的技术文档交了出去。
这份文档足足有四十七页,每一步推导都标注了对应的数学定理和引理出处。
连刘若传看完都感叹,这哪是技术文档,这简直是一本教科书。
所以现在李东要做的,只是在那些科研人员推进过程中遇到理论层面的问题时,给他们讲清楚。
比如昨天晚上,张默的团队在做谱分解的数值离散化时就碰到了一个问题。
当网格的雷诺数超过临界阈值后,基底函数的正交性会出现数值漂移,导致消去项重新耦合回来。
李东花了大概二十分钟,在线上会议里给他们讲了一遍如何通过引入自适应的正交化校正算子,在每一步迭代中动态修正基底的正交偏差。
这种东西,对李东来说就是顺手的事。
后续真正需要他全程参与的,是后面最关键的系统联调与精度验证。
到了那一步,算法不再是跑在服务器上的一堆代码了,而是要真正适配进华轩科技的光刻控制系统里,和硬件的传感器、执行器形成闭环。
这个过程中,理论误差上界和工程实测误差之间的吻合度,直接决定了整套系统能不能用、敢不敢用。
而这个误差上界的严格数学证明,目前只有李东自己能给出来。
所以林伟在会上就说了,精度验证阶段大概在一个半月以后启动,那个时候李东就必须到场了。
在那之前,他该上课上课,该干嘛干嘛。
……
上午十点,燕大理教二楼。
李东面前摊著一本《量子场论导引》。
周启峰正在讲台上讲课,黑板上是一串拉格朗