第三十八章 哥德尔的飞行训练(1/2)

八小时以后，睡了一觉精神抖擞的王一男把所有人都召集起来，准备开工了。

当然116所的那几个ada攻城狮望着王一男的目光，跟望着五行山底下的妖怪，那是完全没有两样。

行家一伸手，就知有没有，之前他们对王一男这个boss，说实话是有点不怎么服气，整天在公司晃来晃去，吹牛打屁的，好像啥都不干的样子。理论方面，李文静是一个妖孽，连大佬们都服她，这个没话说，但是王一男，哼哼，写过ada么，这可是军标，军标啊。

貌似王一男连研究生都不是，就一个普普通通的本科毕业生，还是物理系的。你说你一物理系的本科，老老实实弄你的固体物理得了，跑到我们家自留地里充大只，几个意思啊。

他们仔细看了王一男三天的成果，有c++的代码，也有ada的模块。c++不说了，之前就知道王一男c/c++厉害，哥德尔系统大部分代码都是他写的。不过这么两天就能让整个流程跑起来，很不容易，虽说王一男之前解说整个方案的时候，看起来很简单。

就是ada到gcc再到dragonegg最后是llvm的ir，但是每一步都有一些特别的地方，比如说116所使用的ada扩展啊，gcc的运行环境啊，dragonegg就更扯了，116所的攻城狮这两天专门去看了这个项目，结果发现已经停滞两年了！代码库里面最新的代码居然编译不过。

原来发起的那帮人貌似都干别的去了。。。

王一男居然修改了所有的编译错误不算，还补上了所缺少的所有模块代码，他修正的dragonegg版本支持了最新的gcc和llvm版本。

原来以为这几天王一男弄好这些已经很不容易了。

打开ada的目录，看到密密麻麻的doc和ples的时候，116所的攻城狮直接崩溃了。原来将飞控系统的ada程序编译成llvm的ir代码只是热身而已，王一男将整个飞控系统的框架全部搭建好了，输入是飞行高度，速度等等飞行包线里面的各个点。形式化的是各个操纵面的状态，包括发动机的输出范围，输出就是实际获得的各种真实或者模拟数据。

也就是说，王一男实际上已经完成了一个独立的迭代系统，可以直接使用给哥德尔系统进行训练！

当然，这个系统跟实际的系统比较起来，做了大量的简化，比如说，原来发动机的推力曲线是一个复杂分阶段不规则的曲线，王一男直接用一个线性的输出代替了。

实际系统中双垂尾是可以差动的，也就是各有自己的偏转角度，为了简化问题，王一男直接设定为随动，也就是同步偏转。

不过用数学的术语来说，王一男的简化系统和实际系统之间，是拓扑等价的，换句话来说，王一男已经完成了95的工作，剩下的事情从时间上来说会耗费更多，但是从难度上来说，最困难的部分已经全部被王一男完成了。

剩下的都是力气活了。

赵天成和李飞对于这个妖孽的老大已经习惯了，可116的那些攻城狮哪见过这个呀。厚厚的眼镜片下面，都是小星星，甚至还有一个哥们，拿着打印的几页程序，一定要王一男签名。

说是以程序下酒的话，这两页ada代码，至少要配两瓶老茅才行。

王一男很快就把剩下的工作分派下去，这回不用他再动手了，116所的攻城狮还有赵天成他们都抢着活干，用赵天成的话来说，

”这回要是再让老板出手，我们都可以一头撞死了“

很快，一周之后，所有需要补充和完善的代码就完成了，王一男他们用比较典型的模拟数据进行了神经网络的预学习，实际上就是相当于测试，找到代码中隐藏的问题并改正。

感谢dod（米国国防部）设计的ada语言在第一天就把稳定性放在最重要的位置，

感谢llvm提供了如此优秀的基础架构和ir，使得哥德尔能理解ada语言。实际上llvm我们每个人几乎都会用到，因为水果机io架构起来的。

当然最感谢的还是王一男的天才架构能力，三天时间弄出来的牛x玩意。

这么庞大和复杂的系统，经过一周的迭代和回归之后，居然修正了绝大多数严重的bug，剩下的，只是一些格式错误和警告信息之类的bug，王一男决定无视。

周末，最后一组测试用例顺利运行完成。王一男在公司大声宣布。

”一切就绪，哥德尔系统可以开始学习飞行了！”

“明天放假，大家该玩玩，该睡睡”，

“下周一接着干”

王一男随即给杨总师打了个电话，告诉他这个好消息，并问他数据什么时候进场。

116所所积累的型号飞行数据，以及模拟数据，那是机密中的机密，比黄金贵重多了，当然不能随大部队一起过来。

杨总师说数据早就准备好了，就等王一男的通知呢，他马上联系空军的专机，明天就亲自护送过来。

第二天下午，一架空军的运输机就空运了两个集装箱过来，里面全是磁盘阵列，钱中华安排了部队护送到容与公司。

周一，所有人都聚集在哥德尔系统前，两个集装箱的东西不能直接全部接进来啊，光耗电就不得了。这段时间116所也没闲着，他们专门做了一种分组的存储机柜，每个机柜都是一个独立的存储单元。

通上电就能访问，再通过光纤，就能输入到哥德尔系统里面，这样就可以每次接入一个机柜的数据。

王一男难得谦虚了一次