妙笔阁小说网手机小说首页小说搜索

返回《月之影面》

妙笔阁小说网(miaobige8.com)

首页 >> 月之影面 () >> 第三十八章 哥德尔的飞行训练
亲爱的书友,您现在访问的是转码页面,会导致更新不及时及无法正常下载,请访问真实地址:http://m.miaobige8.com/100794/

第三十八章 哥德尔的飞行训练(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所也没闲着,他们专门做了一种分组的存储机柜,每个机柜都是一个独立的存储单元。

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

王一男难得谦虚了一次

状态提示: 第三十八章 哥德尔的飞行训练
第1页完,继续看下一页