王一男对总装的领导点了点头，”不好意思，在发言之前，我有几个问题先问一下杨总师，就两分钟，不会耽误大家时间的”

王一男把杨总师和钱中华拉到门外，对杨总师说，

”我有几个问题要问你，很重要，你一定要如实回答“

“你问吧，在不涉及比这次研讨会更高密级的情况下，我都会如实回答的”，杨总师说。

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

本章未完，请点击"下一页"继续阅读！ 第3页 / 共5页