“干活啦”,李文静一巴掌打破了王一男的幻想。
”咱们这里面,写代码最牛是你,所以能者多劳,你就把整体框架先弄出来,我们负责补充啦“
”老大威武“,这回,连116所的程序员也跟在屁股后面喊上了,”老大威武!“
王一男想了一下,确实,整体框架这东西,人多了还真不一定有用,需要保证思路的一致性,让其他人来弄,他还真不放心,进度也没有保证。
“好吧,给我三天时间,我会给世界一个奇迹“
“让你们看看传说中卡马克。王”(卡马克是Doom的开发者,以独立开发游戏引擎而闻名于世,他一个人写了三代Doom游戏引擎)
王一男把自己关在一个独立的办公室里面,禁止任何人打扰他。
电话也关机,办公室里面一个冰箱是必须有的,他让人然后扛了一箱子雪碧和一箱子方便面进去,把张琪家里的那套价值好几十万的音响给勒索了过来,电话里他是这么说的,“音响没有,我就干不了活,我干不了活,116所的事情一定就砸了,116所的事情砸了,公司就开不下去了,你自己看着办吧”
之后整整三天时间,整个公司都能隐约听到重金属摇滚的声音。
三天后,门打开了,王一男胡子拉碴,神情憔悴的走了出来,对着门外的李文静和赵天成说,
“git里面我刚提交了版本,你们看看吧,所有文档都在doc目录下”
“所有示例代码都在samples目录下面”
“你们叫上116所的攻城狮一起研究吧,我去睡一觉”。
“八个小时之后,所有人一起开工!”
第39章 哥德尔的飞行训练()
八小时以后,睡了一觉精神抖擞的王一男把所有人都召集起来,准备开工了。
当然116所的那几个Ada攻城狮望着王一男的目光,跟望着五行山底下的妖怪,那是完全没有两样。
行家一伸手,就知有没有,之前他们对王一男这个Boss,说实话是有点不怎么服气,整天在公司晃来晃去,吹牛打屁的,好像啥都不干的样子。理论方面,李文静是一个妖孽,连大佬们都服她,这个没话说,但是王一男,哼哼,写过Ada么,这可是军标,军标啊。
貌似王一男连研究生都不是,就一个普普通通的本科毕业生,还是物理系的。你说你一物理系的本科,老老实实弄你的固体物理得了,跑到我们家自留地里充大只,几个意思啊。
他们仔细看了王一男三天的成果,有C++的代码,也有Ada的模块。C++不说了,之前就知道王一男CC++厉害,哥德尔系统大部分代码都是他写的。不过这么两天就能让整个流程跑起来,很不容易,虽说王一男之前解说整个方案的时候,看起来很简单。
就是Ada到Gcc再到DragonEgg最后是LLVM的IR,但是每一步都有一些特别的地方,比如说116所使用的Ada扩展啊,GCC的运行环境啊,DragonEgg就更扯了,116所的攻城狮这两天专门去看了这个项目,结果发现已经停滞两年了!代码库里面最新的代码居然编译不过。
原来发起的那帮人貌似都干别的去了。。。
王一男居然修改了所有的编译错误不算,还补上了所缺少的所有模块代码,他修正的DragonEgg版本支持了最新的GCC和LLVM版本。
原来以为这几天王一男弄好这些已经很不容易了。
打开Ada的目录,看到密密麻麻的Doc和Samples的时候,116所的攻城狮直接崩溃了。原来将飞控系统的Ada程序编译成LLVM的IR代码只是热身而已,王一男将整个飞控系统的框架全部搭建好了,输入是飞行高度,速度等等飞行包线里面的各个点。形式化的是各个操纵面的状态,包括发动机的输出范围,输出就是实际获得的各种真实或者模拟数据。
也就是说,王一男实际上已经完成了一个独立的迭代系统,可以直接使用给哥德尔系统进行训练!
当然,这个系统跟实际的系统比较起来,做了大量的简化,比如说,原来发动机的推力曲线是一个复杂分阶段不规则的曲线,王一男直接用一个线性的输出代替了。
实际系统中双垂尾是可以差动的,也就是各有自己的偏转角度,为了简化问题,王一男直接设定为随动,也就是同步偏转。
不过用数学的术语来说,王一男的简化系统和实际系统之间,是拓扑等价的,换句话来说,王一男已经完成了95%的工作,剩下的事情从时间上来说会耗费更多,但是从难度上来说,最困难的部分已经全部被王一男完成了。
剩下的都是力气活了。
赵天成和李飞对于这个妖孽的老大已经习惯了,可116的那些攻城狮哪见过这个呀。厚厚的眼镜片下面,都是小星星,甚至还有一个哥们,拿着打印的几页程序,一定要王一男签名。
说是以程序下酒的话,这两页Ada代码,至少要配两瓶老茅才行。
王一男很快就把剩下的工作分派下去,这回不用他再动手了,116所的攻城狮还有赵天成他们都抢着活干,用赵天成的话来说,
”这回要是再让老板出手,我们都可以一头撞死了“
很快,一周之后,所有需要补充和完善的代码就完成了,王一男他们用比较典型的模拟数据进行了神经网络的预学习,实际上就是相当于测试,找到代码中隐藏的问题并改正。
感谢DOD(米国国防部)设计的Ada语言在第一天就把稳定性放在最重要的位置,
感谢LLVM提供了如此优秀的基础架构和IR,使得哥德尔能理解Ada语言。实际上LLVM我们每个人几乎都会用到,因为水果机ios和MacOS都是利用LLVM架构起来的。
当然最感谢的还是王一男的天才架构能力,三天时间弄出来的牛X玩意。
这么庞大和复杂的系统,经过一周的迭代和回归之后,居然修正了绝大多数严重的bug,剩下的,只是一些格式错误和警告信息之类的bug,王一男决定无视。
周末,最后一组测试用例顺利运行完成。王一男在公司大声宣布。
”一切就绪,哥德尔系统可以开始学习飞行了!”
“明天放假,大家该玩玩,该睡睡”,
“下周一接着干”
王一男随即给杨总师打了个电话,告诉他这个好消息,并问他数据什么时候进场。
116所所积累的型号飞行数据,以及模拟数据,那是机密中的机密,比黄金贵重多了,当然不能随大部队一起过来。
杨总师说数据早就准备好了,就等王一男的通知呢,他马上联系空军的专机,明天就亲自护送过来。
第二天下午,一架空军的运输机就空运了两个集装箱过来,里面全是磁盘阵列,钱中华安排了部队护送到容与公司。
周一,所有人都聚集在哥德尔系统前,两个集装箱的东西不能直接全部接进来啊,光耗电就不得了。这段时间116所也没闲着,他们专门做了一种分组的存储机柜,每个机柜都是一个独立的存储单元。
通上电就能访问,再通过光纤,就能输入到哥德尔系统里面,这样就可以每次接入一个机柜的数据。
王一男难得谦虚了一次,他对杨总师说,
“我们前已经有了两个系统,都有自己的小名,其中一个看病的叫哥大夫”
“这个针对飞行器的人工智能,你也给它取个名字吧”
杨总师想了一会,“叫哥鲲鹏吧”,
“希望它能够做到,怒而飞,其翼若垂天之云“
”能帮助我们的型号战机,守护华国的天空“
”好名字“,王一男由衷的赞叹了一句。
他再次检查了供电,冷却,还有就是接入点的情况,然后对赵天成说,
”开始吧“
在一片寂静中,赵天成在终端上启动了训练脚本。不知道是不是错觉,王一男感到嗡嗡的电流声好像变大了一点,也变得欢快了一点。
这次训练程序,王一男他们做了一些改进,在一些关键节点上会输出调试信息,这样一是在训练过程中出现问题可以随时调整。
二是可以大概估算训练的进度。
三十分钟后,终端开始一行行的输出各种信息,第一个迭代节点完成了,王一男走过去,检查了一下输出的信息,
“嗯,一切正常”,他对杨总师说,
“从目前的速度来看,完成全部样本的训练,大概需要两周的时间”,
“这么久”,杨总师有点意外,”那训练完成之后,得到对我们有帮助的缺陷还需要多久。“
“根据我们以往的经验,训练时间和分析时间的比例大概是五比一”。王一男回答到。
“也就是说,大概十六天到十七天的时候,我们可以获得结果”,杨总师问到,
“如果没有什么特殊情况发生的话,是这样的”,王一男回答。
“这段时间,你们派人在这里盯着就行了,没必要人都在这里,我们这里也只需要一两个人处理一些小的异常”
“OK,我知道了”
“另外数据训练完之后,我会让钱中华的人帮忙就地销毁,家里有备份,放在这里虽然很安全,不过最安全的,还是销毁了好。”杨总师安排到。
“没问题”,王一男封存了所有的终端,除了他自己以及紧急情况得到授权的赵天成以外,任何人不能接触哥德尔系统。
于是在这个没人打搅的安静环境中,哥德尔系统开始学习飞行。
在哥德尔系统内部的信息空间中,没有人能够理解的结构在不断的产生,进化和消亡。
如果有更高维的智慧生命能够看到哥德系统的意识世界,然后把它翻译成人类能够理解的画面,大概是这样的。
一开始啥都没有,后来,神说要有重力,有空气,就有了重力,有了空气,有了阻力,也有了升力,
再后来各种形状的物体,在空气中,在风中,在不同密度和和速度的气流中飞行,有的升起,有的落下。
再后来,如果有人能看到的话,就会惊奇的发现,各种人类历史上出现过和没有出现过的飞行器气动布局,在哥德尔的意识世界中都出现了。
两翼面、三翼面、单垂直尾翼、双垂直尾翼、后掠翼、甚至前掠翼、升力体,翼身融合。
还有双体,三体飞行器,还有环状飞行器等等等等。
利用116所提供的22T的数据,经过两周的学习和进化,哥德尔学会了飞行。
各种形状,布局的飞行器,在哥德尔的操纵下,已经可以自如的在天空翱翔。
训练完成之后,就差最后一步了,那就是将最新版116所的飞行控制率软件输入到哥德尔系统中,然后进行模拟演算,寻找其中的缺陷。
杨总师亲自将装有最新飞控软件的硬盘带到帝都。
随着时间的流逝,他所受到压力也越来越大,连116所内部也出现了不少不同的声音,自从上次会议开过之后,杨总师将所有的赌注全部都押给了王一男,飞控软件连一行更新都没做。
116所内部就有人说这样太冒险了,总要有备份方案云云,建议杨总师成立一个单独的队伍对飞控软件进行改进。
杨总师就一句话,反正半年后我就辞职了,你们爱咋整咋整,这段时间,就别添乱了。
把硬盘交给王一男,杨总师说,
“这可是我身家性命,半辈子的名声啊”
“哎呀,客官您尽管放心,我这店虽小,那也是四九城里头一份,您就等着好消息吧”
王一男一把抢过硬盘,“小Case啦”,随手就连上哥德尔系统,启动了脚本。
大概三十分钟后,改进后的系统显示了预估的进度,38小时27分。
“好吧好吧,放假两天”
“都回去休息吧”,王一男说,
“老杨,要不要我带你在帝都玩两天?”
“不用了,我正好去部里面找几个老朋友聊聊天,也得为万一退休了提前做打算是不”
“嘿嘿”,王一男讪笑了两声。
“我现在只关心你们今年飞控一半的经费是多少”
第40章 鲲鹏飞天()
王一男给团队放了两天假,在结果没出来之前,所有人都被他从公司赶回去休息。
他在地下室放了一个睡袋,一头钻进去就呼呼大睡了起来,用王一男自己的话来说,“听着哥德尔系统的嗡嗡电流声,感觉睡的特别的香”。
预估的计算结束时间是第三天上午六点多一点,五点不到,王一男就被人从睡袋里拽了出来,他懵懵懂懂的去卫生间洗了把脸,出来一看,好家伙,人都齐了。杨总师,李文静,甚至连张琪都早早的坐在终端前占了一个好位置,张琪一看见王一男就问他的宝贝音响呢,没弄坏吧。
钱中华更是如临大敌一样在房间里转来转去,王一男走过去,“你咋比我还紧张呢”
“去,你以为谁都跟你一样没心没肺的啊”,
“这次演砸了,你顶多也就是挣不到一分钱,杨总师甚至116所可就麻烦了”
“连带你老头子也麻烦了对吧”,王一男笑着说,
“放一万个心,我有预感,结果会好的超乎你的想象”
六点眼看就要到了,房间里说话的声音慢慢变得越来越小,越来越小,最后,只剩下嗡嗡的电流声,和偶尔敲击键盘的声音。
六点一过,王一男感觉哥德尔系统运行的电流声貌似变得活跃了一些。
“你们有没有觉得这个嗡嗡声变快了”,王一男有点不敢相信的问。
“好像是的”,周围好几个人都点点头。
钱中华也不在房间里走来走去了,他踮起脚,从后面死死的盯着显示器,好像生怕错过点什么。
六点三十四分,离哥德尔系统预计的时间还有三分钟,蜂鸣声突然响了起来,
嘟嘟嘟嘟的声音,在寂静的房间里,显得那么刺耳。
王一男和杨总师对望了一眼,“还是你来看吧”,杨总师最后还是怂了,毕竟这结果可是关系到自己半