第三十八章 哥德尔的飞行训练
八小时以后，睡了一觉精神抖擞的王一男把所有人都召集起来，准备开工了
当然116所的那几个Ada攻城狮望着王一男的目光，跟望着五行山底下的妖怪，那是完全没有两样
行家一伸手，就知有没有，之前他们对王一男这个Boss，说实话是有点不怎么服气，整天在公司晃来晃去，吹牛打屁的，好像啥都不干的样子理论方面，李文静是一个妖孽，连大佬们都服她，这个没话说，但是王一男，哼哼，写过Ada么，这可是军标，军标啊
貌似王一男连研究生都不是，就一个普普通通的本科毕业生，还是物理系的你说你一物理系的本科，老老实实弄你的固体物理得了，跑到我们家自留地里充大只，几个意思啊
他们仔细看了王一男三天的成果，有C++的代码，也有Ada的模块bqg226♜ccC++不说了，之前就知道王一男C/C++厉害，哥德尔系统大部分代码都是他写的不过这么两天就能让整个流程跑起来，很不容易，虽说王一男之前解说整个方案的时候，看起来很简单
就是Ada到Gcc再到DragonEgg最后是LLVM的IR，但是每一步都有一些特别的地方，比如说116所使用的Ada扩展啊，GCC的运行环境啊，DragonEgg就更扯了，116所的攻城狮这两天专门去看了这个项目，结果发现已经停滞两年了！代码库里面最新的代码居然编译不过
原来发起的那帮人貌似都干别的去了bqg226♜ccbqg226♜
王一男居然修改了所有的编译错误不算，还补上了所缺少的所有模块代码，他修正的DragonEgg版本支持了最新的GCC和LLVM版本
原来以为这几天王一男弄好这些已经很不容易了
打开Ada的目录，看到密密麻麻的Doc和Samples的时候，116所的攻城狮直接崩溃了原来将飞控系统的Ada程序编译成LLVM的IR代码只是热身而已，王一男将整个飞控系统的框架全部搭建好了，输入是飞行高度，速度等等飞行包线里面的各个点形式化的是各个操纵面的状态，包括发动机的输出范围，输出就是实际获得的各种真实或者模拟数据
也就是说，王一男实际上已经完成了一个独立的迭代系统，可以直接使用给哥德尔系统进行训练！
当然，这个系统跟实际的系统比较起来，做了大量的简化，比如说，原来发动机的推力曲线是一个复杂分阶段不规则的曲线，王一男直接用一个线性的输出代替了
实际系统中双垂尾是可以差动的，也就是各有自己的偏转角度，为了简化问题，王一男直接设定为随动，也就是