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