出来的”，王一男疑惑的问到
“这就涉及到一个覆盖率的问题了”，
“我们提取出事故那一瞬间战斗机的姿态，飞行高度，温度，风速以及战斗机的各项参数，输入到超级计算机之后，确实成功的重现了事故的状况”
“但是在出现事故之前，我们不可能穷举飞行器在空中会出现的所有情况，只能进行合理的外延和类比”
“我们没有想到的是，刚巧在那种特定的高度，空气密度，风速和飞行状态下，鸭翼后方的一个涡流出现了意料之外的破碎”
“从而产生了一个额外的不稳定负压”
“飞行控制率没有考虑到这个负压的出现，还是按照常规的方案控制舵面”
“这就造成了一个正反馈，飞机很快就进入了尾旋”
王一男点了点头，“了解了”
“第二个问题，飞行控制率是不是用ADA语言描述的？”（ADA是米国军方开发的专门为军方服务的程序设计语言，所以说兔子的真爱其实是鹰酱），王一男问
“没错，网上的传言都是真的”
王一男松了一口气，ADA是语法非常严格的程序设计语言，在哥德尔系统设计的初期，王一男他们曾经涉足过，所以对ADA语言的形式化还是很有研究，如果这样的话，将所有飞行控制率自动形式化是有可能的
“最后一个问题，所有中间状态的控制率在各种情况下的模拟和实际数据，都还有吧”
“当然，我们至少有20个T的数据，不过这都是绝密中的绝密”
王一男转向钱中华，“还有一个问题，我不知道该问你还是杨总师”
“什么问题”，钱中华问，“这儿有我的事吗？”
“当然，钱你们谁来出”，王一男理所当然的说，
“帮忙归帮忙，费用当然要说好了，如果要接这活，哥德尔系统的所有计算资源都得投进来”，
“没费用，你让我们都喝西北风啊”
杨总师有点要蒙圈，
“你先等等，什么费用不费用的”，杨总师问
“你的意思是你有办法解决我们的问题？”
“怎么可能呢，就算你能弄到米国F25的飞控系统也没用啊，咱们的控制率，复杂程度要甩F25几条街”
王一男笑了笑，“按照传统的思路当然没办法，我也不会写飞控软件”
“但是从神经网络的角度来看，你们面临的问题一点都不特殊”
“限定的领域，流体力学本质上还是比较简单的，实际的速度，温度，空气密度，风速等等，就这么一些外部因素”
“有限的元素，控制面，发动机，升力体”
“足够多的训练样本，你们有20T的原始数据啊”
“有这些东西，就足够哥德尔系统发挥了”
“我有把握能够发现你们控制率里面绝大多数缺陷，并进行迭代改正“
”只要你们的数据足够完