奇宝宝一样缠着李文静，

”文静啊，这个公式里面，是不是可以把阻力作为常量“，

”不可能，阻力跟速度的三次方成正比，在跨音速领域，表征出来是非线性的，要想化简，需要使用黎曼代数里面的。。。“

”那这个涡流的升力效应，是不是可以用公式7-12-9代替呢“

”如果加上一个边界效应的话，理论上是可以的，但是计算时候，需要。。。。“

经过将近一个月的努力，116所几乎所有的人都吃住在容与公司，当然王一男，李文静，赵克勤他们也基本都没有休息的时间。

联合攻关组首先完成了基于流体力学，空气动力学的真实环境形式化，简单来说，就是直接将飞行器的3d模型输入哥德尔系统，然后模拟其在各种速度，高度范围内的各种姿态，阻力和升力，以及传感器的各种数据表现。

这就为哥德尔系统的样本训练打下了基础，只有哥德尔系统理解飞行器各个传感器的数据，才能在有限的时间内对神经网络进行训练和迭代。否则，所有的计算都要通过超算，一是在可控的时间内，几乎不能达到训练的效果，而是可能会忽略真实环境下的一些表现。

接下来的工作，主要就是容与公司跟116所的软件工程师一起完成了，基本不需要流体力学，空气动力学的专家参与。王一男，李文静他们送走了116所的大部队。

他们接下来的主要工作，就是将所有飞控系统的程序转换成哥德尔系统能够理解的控制率输入哥德尔系统中，然后将116所所积累的全部飞行数据，包括飞控系统在实际飞行中，出现这些飞行数据时所采取的策略，全部输入哥德尔系统。

最终，找出可以改进的缺陷。

当然，所有跟飞行器相关的数据，样本，包括神经网络的权重矩阵，都存储在哥德尔系统的一个单独区域中。像华国和米国的核钥匙一样，只有116所的代表和容与公司的代表同时插入秘钥，才能取出数据进行迭代或者计算。