了最新的GCC和LLVM版本。
原来以为这几天王一男弄好这些已经很不容易了。
打开Ada的目录，看到密密麻麻的Doc和Samples的时候，116所的攻城狮直接崩溃了。原来将飞控系统的Ada程序编译成LLVM的IR代码只是热身而已，王一男将整个飞控系统的框架全部搭建好了，输入是飞行高度，速度等等飞行包线里面的各个点。形式化的是各个操纵面的状态，包括发动机的输出范围，输出就是实际获得的各种真实或者模拟数据。
也就是说，王一男实际上已经完成了一个独立的迭代系统，可以直接使用给哥德尔系统进行训练！
当然，这个系统跟实际的系统比较起来，做了大量的简化，比如说，原来发动机的推力曲线是一个复杂分阶段不规则的曲线，王一男直接用一个线性的输出代替了。
实际系统中双垂尾是可以差动的，也就是各有自己的偏转角度，为了简化问题，王一男直接设定为随动，也就是同步偏转。
不过用数学的术语来说，王一男的简化系统和实际系统之间，是拓扑等价的，换句话来说，王一男已经完成了95%的工作，剩下的事情从时间上来说会耗费更多，但是从难度上来说，最困难的部分已经全部被王一男完成了。
剩下的都是力气活了。
赵天成和李飞对于这个妖孽的老大已经习惯了，可116的那些攻城狮哪见过这个呀。厚厚的眼镜片下面，都是小星星，甚至还有一个哥们，拿着打印的几页程序，一定要王一男签名。
说是以程序下酒的话，这两页Ada代码，至少要配两瓶老茅
第三十八章 哥德尔的飞行训练(2/7)