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