化系统和实际系统之间,是拓扑等价的,换句话来说,王一男已经完成了95%的工作,剩下的事情从时间上来说会耗费更多,但是从难度上来说,最困难的部分已经全部被王一男完成了。
剩下的都是力气活了。
赵天成和李飞对于这个妖孽的老大已经习惯了,可116的那些攻城狮哪见过这个呀。厚厚的眼镜片下面,都是小星星,甚至还有一个哥们,拿着打印的几页程序,一定要王一男签名。
说是以程序下酒的话,这两页Ada代码,至少要配两瓶老茅才行。
王一男很快就把剩下的工作分派下去,这回不用他再动手了,116所的攻城狮还有赵天成他们都抢着活干,用赵天成的话来说,
”这回要是再让老板出手,我们都可以一头撞死了“
很快,一周之后,所有需要补充和完善的代码就完成了,王一男他们用比较典型的模拟数据进行了神经网络的预学习,实际上就是相当于测试,找到代码中隐藏的问题并改正。
感谢DOD(米国国防部)设计的Ada语言在第一天就把稳定性放在最重要的位置,
感谢LLVM提供了如此优秀的基础架构和IR,使得哥德尔能理解Ada语言。实际上LLVM我们每个人几乎都会用到,因为水果机ios和MacOS都是利用LLVM架构起来的。
当然最感谢的还是王一男的天才架构能力,三天时间弄出来的牛X玩意。
这么庞大和复杂的系统,经过一周的迭代和回归之后,居然修正了绝大多数严重的bug,剩下的,只是一些格式错误和警告信息之类的bug,王一男决定无视。
周末,最后一组测试用例顺利运行完成。王一男在公司大声宣布。
”一切就绪,哥德尔系统可以开始学习飞行了!”
“明天放假,大家该玩玩,该睡睡”,
“下周一接着干”
王一男随即给杨总师打了个电话,告诉他这个好消息,并问他数据什么时候进场。
116所所积累的型号飞行数据,以及模拟数据,那是机密中的机密,比黄金贵重多了,当然不能随大部队一起过来。
杨总师说数据早就准备好了,就等王一男的通知呢,他马上联系空军的专机,明天就亲自护送过来。
第二天下午,一架空军的运输机就空运了两个集装箱过来,里面全是磁盘阵列,钱中华安排了部队护送到容与公司。
周一,所有人都聚集在哥德尔系统前,两个集装箱的东西不能直接全部接进来啊,光耗电就不得了。这段时间116所也没闲着,他们专门做了一种分组的存储机柜,每个机柜都是一个独立的存储单元。
通上电就能访问,再通过光纤,就能输入到哥德尔系统里面,这样就可以每次接入一个机柜的数据。
王
请收藏:https://m.bqgrar.com
(温馨提示:请关闭畅读或阅读模式,否则内容无法正常显示)