们不可能穷举飞行器在空中会出现的所有情况，只能进行合理的外延和类比”

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

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

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

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

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

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

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

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

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

    “当然，我们至少有20个T的数据，不过这都是绝密
 <本章未完请点击"下一页"继续观看!>