第三十一章 一个叫王一男的妖怪(2/2)

“你们现在使用超级计算机对飞行状态进行模拟，可以做到替代多少比例的实际飞行”，

“基本上可以做到完全一致”，杨总师回答到。

“那不对啊，如果完全一致的话，理论上出事故的那几次，在超级计算机上也是可以模拟出来的”，王一男疑惑的问到。

“这就涉及到一个覆盖率的问题了”，

“我们提取出事故那一瞬间战斗机的姿态，飞行高度，温度，风速以及战斗机的各项参数，输入到超级计算机之后，确实成功的重现了事故的状况”

“但是在出现事故之前，我们不可能穷举飞行器在空中会出现的所有情况，只能进行合理的外延和类比”

“我们没有想到的是，刚巧在那种特定的高度，空气密度，风速和飞行状态下，鸭翼后方的一个涡流出现了意料之外的破碎”

“从而产生了一个额外的不稳定负压”

“飞行控制率没有考虑到这个负压的出现，还是按照常规的方案控制舵面”

“这就造成了一个正反馈，飞机很快就进入了尾旋”

王一男点了点头，“了解了”。

“第二个问题，飞行控制率是不是用ada语言描述的？”（ada是米国军方开发的专门为军方服务的程序设计语言，所以说兔子的真爱其实是鹰酱），王一男问。

“没错，网上的传言都是真的”

王一男松了一口气，ada是语法非常严格的程德尔系统设计的初期，王一男他们曾经涉足过，所以对ada语言的形式化还是很有研究，如果这样的话，将所有飞行控制率自动形式化是有可能的。

“最后一个问题，所有中间状态的控制率在各种情况下的模拟和实际数据，都还有吧”

“当然，我们至少有20个t的数据，不过这都是绝密中的绝密”

王一男转向钱中华，“还有一个问题，我不知道该问你还是杨总师”

“什么问题”，钱中华问，“这儿有我的事吗？”

“当然，钱你们谁来出”，王一男理所当然的说，

“帮忙归帮忙，费用当然要说好了，如果要接这活，哥德尔系统的所有计算资源都得投进来”，

“没费用，你让我们都喝西北风啊”

杨总师有点要蒙圈，

“你先等等，什么费用不费用的”，杨总师问。

“你的意思是你有办法解决我们的问题？”

“怎么可能呢，就算你能弄到米国f25的飞控系统也没用啊，咱们的控制率，复杂程度要甩f25几条街。”

王一男笑了笑，“按照传统的思路当然没办法，我也不会写飞控软件。”

“但是从神经网络的角度来看，你们面临的问题一点都不特殊”

“限定的领域，流体力学本质上还是比较简单的，实际的速度，温度，空气密度，风速等等，就这么一些外部因素”

“有限的元素，控制面，发动机，升力体”

“足够多的训练样本，你们有20t的原始数据啊”

“有这些东西，就足够哥德尔系统发挥了”

“我有把握能够发现你们控制率里面绝大多数缺陷，并进行迭代改正“

”只要你们的数据足够完整，也就是样本数量足够大，按照之前的经验，除了发现缺陷以外，整体效率还能提升50以上“

”我不信，你别骗我“，显然杨总师还是不愿意相信。

”你知道前几天撸啊撸百战百胜的的美美美美小猪吗“，王一男问。

”知道啊，我们所里面的打撸啊撸的小年轻都仔细研究过她的比赛了，大家一致认为她后面有一个强大的人工智能。“

”不可能是人类所能达到的水平“

”美美美美小猪是我们的员工，你明白了吧“

杨总师呆住了，“不会吧”

王一男转向钱中华，“费用怎么说，没有一千万软妹币别想让我们出手啊，连电费都不够呢”

“经费不是问题”，钱中华还没说话呢，杨总师已经回过神来了，“飞控系统是我们某型号战斗机的大脑”

“只要能解决大脑的问题，我们可以把整个飞控今年的预算分一半给你们”。

王一男傻傻的问钱中华，“你们有钱还是他们有钱？”

钱中华回手就一巴掌拍他脑袋上，你说呢，“他们一架飞机要卖几个亿软妹币”，

“你说谁有钱”。

“别急着高兴，要是解决不了，我估计自己也干不下去了，回头带着一帮手下吃穷你”，杨总师说。

“哈哈，你这么说，我有点想故意演砸了，能弄你们一票大神过来，那也值啊”，王一男说。

“想都别想，你真有把握？”钱中华问到，“千万别勉强”

“八成把握吧，只要116所这边的数据足够”。

“数据绝对没问题，我们所有成功或者失败的数据，全部都完整保存下来了“，杨总师说到。

”三个月时间，我保证给某型战斗机一个全新的大脑“，王一男也是豁出去了。

“问题是，说服里面这帮人不容易啊”，回头看了看会议室里的一帮大佬，王一男还是心里有点发虚，

”你相信我容易，让他们相信我那可太难了“。