规则系学霸 第512章

作者:不吃小南瓜

邓敏容也想着,“刘院士果真有水平,怪不得刘总亲自到软件所去请人。”

“按照这个速度来说,整体验收也不了多长时间了。”

郭金华、邓敏容对刘贺敏的能力水平,都可以说是心服口服,他们索性也完全放开了,开始问起刘贺敏一些算法包的设计、功能问题。

这些都是他们理解的时候碰到的问题。

正常拉说刘贺敏能理解到这个程度,肯定已经完全弄懂了其他算法包的问题,但事实和想象的不太一样。

当他们问起的时候,刘贺敏总是推说,“我还没有研究这个……”

“那个也没研究……”

“不清楚。”

“能理解、能理解!”郭金华、邓敏容没问出个结果,心里也感到很奇怪,“刘院士都知道核心算法的功能,为什么会对一些普通的算法包不了解呢?甚至有些好像没看过……”

“有点不太对吧?”

郭金华和邓敏容对视一眼,出了办公室谈了几句还是琢磨不透。

楼下,三层。

战鹰-1的常规设计验收组,工作进展非常的顺利。

常规设计验收组的名义负责人是刘建昆,实际负责人则是杨聪、李建明以及孙梦飞,三个人都是国内最顶尖的飞机设计专家,他们加在一起可以说,就是国产战机的半边天,足以见得刘建昆以及航空集团,对战鹰-1设计报告的重视。

在一段时间对报告、详细设计书的研究后,他们都对战鹰-1有了细致化的了解,剩下的就只是各部分计算、论证工作。

比如,襟翼。

襟翼的设计需要计算的是,襟翼在平展时能给战斗机提供的向上动力参数,以及各状态本身设计会造成的阻力。

其他部分也差不多,都是计算设计本身的具体参数,相对‘智能控制系统’的高难度算法,常规论证相对简单的多,大部分都是计算内容,就算很难计算的部分,也可以详细进行论证。

所以常规部分验收工作,进展还是非常顺利的。

这天是分配工作阶段。

验收组完成了对设计整体的论证,剩下的就是各部分设计详细的论证和计算,就可以下放到各个小组进行了,每个小组都会负责一部分设计的论证、计算工作。

这是保密性的考虑。

只有验收组的核心人员、领导层,才能见到全部的设计报告,普通参与验收的人员,就只能见到负责的一小部分设计内容。

事实上,就算是核心人员、领导层,也不一定能拿到全部的报告。

常规部分验收组就只能见到战鹰-1设计的部分,不能拿到‘智能控制系统’的报告,两者是被直接分开的,全部都能见到的就只有领导层,详细来说就只有刘建昆一个人,其他即便是副总经理、总设计师,只要和验收无关的人,也不可能看到任何报告。

刘建昆全权负责验收工作,会听取飞机设计和智能控制系统两个验收组报告的结果,最终召开会议公布验收结果。

但是验收工作的过程,刘建昆就不参与了,主持详细论证工作分配会议的,也是几个顶级的飞机设计师。

杨聪是实际上的第一负责人,李建明和孙梦飞则是副手。

工作会议很快结束。

各个小组都拿到了负责部分的设计,就回到各自工作的地方分配任务了。

杨聪、李建明和孙梦飞还留在会议室里。

李建明的旁边坐着雷勇,他们都是沈城飞机研究所的;孙梦飞的旁边坐着鲍恩红,他们则来自武城飞机设计研究所。

雷勇和鲍恩红就是过来‘出差’,辅助回答一下验收组的提问,和验收组进行一些设计上的交接,他们也会全程旁观验收工作,以便遇到什么问题能够第一时间沟通。

两人是战鹰-1设计的实际参与者,杨聪、李建明和孙梦飞都没有在意,就直接谈起了战鹰-1 的设计问题。

李建明连声感叹,“在来之前,我总是想着战鹰-1设计问题肯定很大。赵院士很天才,谁都承认,但也太快了……”

“是啊,太快了!”孙梦飞也跟着感叹,他看向了鲍恩红,“我感觉你才刚过去。”

鲍恩红诚恳的摇头道,“赵院士确实……很难理解,大部分都是他独自完成,我和雷勇都没帮上什么。”

雷勇也认可的点头。

李建明继续道,“我看了全部,这是先进到连想象都没有的设计。在看之前,想象不出来,我大脑里都没有这些东西。”他说着叹气道,“真是,心服口服啊!我现在都想直接申请,停止j-31设计研发项目。没必要了。”

李建明的话说进了杨聪、孙梦飞的心里,验收工作到现在进行了一半,别说是设计的对错了,单单是他们看到的整体构架、各部分设计细节,就有种‘不敢想象’的感觉。

好多部分的设计内容,他们只感觉是‘想不出来’。

接下来几人谈起了设计灵感。

“在尾翼的部分,根本是第一次见到那样的设计,找不到参考的东西。”李建明说道,“还有进风口,三进风口倒是能想象,可闭合的上进风口,我想到也不敢设计。”

“是啊。”

孙梦飞认可道,“折叠机翼,别开玩笑了?我刚看到这个设计,真是……脑子一片空白,机翼……折叠?科幻电影里有这样的吗?”

杨聪笑着摇摇头。

他比两人看到设计的时间都早,感叹的时候已经过去了,但还是无法想象,能做出这样的设计,他有些想不明白。

主要是,灵感来源。

正常来说做飞机设计,都需要很多的参考资料,倒不是说‘模仿、抄袭’之类,而是没有资料可参考,就很难直接去做设计,深入去思考的话,其实和人类的思维方式有关系。

人类的思考都是有基础的,比如,知道雪地的样子就可以想象南极。

但是,如果不知道呢?

古代生活在赤道线的人类,怎么能想象出南极是什么样子呢?他们连雪的没有见过!

知识、见识才是想象的基础,有基础才能进行扩展,而灵感也可以说,就是基础的扩展、也肯定会是已有知识的重新排列、组合,就像是文字一样,有‘灵’有‘感’两个字,才能组合在一起叫做‘灵感’,缺少了其中一个字,就不会有词语‘灵感’了。

所以他们不能理解,为什么赵奕能想到这些设计。

赵奕确实是拿到了一些设计资料,但他拿到的资料肯定没有他们见过的多,可他的设计却远远超出的资料范畴,有的部分甚至和已知资料完全无关,就比如折叠机翼,怎么想到的?

怎么论证的?

为什么会做出设计折叠机翼的决定?

等等。

这些是杨聪几人完全不理解的,他们感叹着讨论好几句,才想到还有其他人。

李建明开口问向雷勇,“雷勇,你知道赵院士的灵感来自哪里吗?”他担心雷勇不理解,还详细的解释道,“比如,折叠机翼的设计,是怎么想到的?看了哪些资料,或者……”

“我知道?”

“啊?”

“我知道。”雷勇肯定的点头,还补充了一句,“鲍恩红也知道。”

“是吗?来自哪里?”

雷勇忽然走到一边,拿起了自己的公文包,从里面抽出了一份文件,文件最上面的一页是个玩具飞机模型照片,他把那一页放在桌上,给李建明、杨聪等人看,随后道,“就是这个啊!”

“对!”

鲍恩红也点头道,“赵院士最初的灵感,就是这个玩具飞机模型。”

“——??”

“……??”

“!!!?”

杨聪、李建明以及孙梦飞互相看看,再仔细对照现在的设计,发现确实有一些地方具有相似性,也就是说赵奕的灵感,真的是来自一架玩具飞机模型?

这……

“或许应该买一些科幻电影的飞机模型、宇宙飞船模型之类的,扩展一下思维想象空间,就能做出更好、更高端的设计?”

三人忍不住琢磨起来。

第四百七十章 看不见它服役,我死不瞑目啊!

杨聪、李建明以及孙梦飞不知道的是,他们都被雷勇提供的消息误导了。

雷勇和鲍恩红觉得赵奕的灵感来自于模型飞机,实际上并不是这样的,赵奕做飞机设计根本不需要灵感,需要的只是找一个突破口。

当然了突破口不同,最终做出的设计也不同,但真要去说灵感,还是来自于雷勇和鲍恩红,来自于他们对玩具模型飞机的论证报告。

雷勇和鲍恩红觉得对玩具模型飞机进行论证,就像是完成一个考核作业一样,实际上,赵奕就是根据他们的论证,来对各部分进行的修正。

所以雷勇和鲍恩红在设计中,起到了非常重要的作用,只是他们自己不知道,还觉得赵奕真是很照顾他们,否则怎么解释什么都没做的情况下,赵奕还会对他们的工作非常满意,设计报告中就有他们的名字,并且还委以重任,让他们来航空集团这边辅助设计验收工作?

总之,他们是误会了。

赵奕也不在乎误会不误会,他没有必要独揽全功,把所有的功劳都归在自己身上,分给其他人一些也是很正常的。

现在他甚至没有考虑飞机设计验收工作,只专注于np问题的研究。

赵奕并没有开始做论证,真正去着手解决np问题,因为他还没有想好怎么去解决,从哪里入手去解决,而是在正常的学习工作生活中,不断对问题进行深入的思考。

这种思考能带来很多的思路,有稍微好一些的思路,他就会记录下来。

在连续近一个月的思考后,赵奕都感觉自己有些神经了,他走在路上的时候,都不断念叨着语言逻辑问题。

“下一个大质数是什么数字?一个个验证,验证到x是质数,问题解决。”

“验证x是解决问题的最快途径,也就是过程p。如果x是已知的质数,也就是在验证过程中,可以去推导在x和原点数字之间,是否存在其他大质数,但验证次数就会是有限集合,而不是无限的多项式……”

“把问题加上‘平方号’会是什么?”

“大质数的平方肯定不是质数,但它有且只有一个正常因数,问题的平方不一定能用语言来确切做描述,但是可以这么理解……”

“乌拉乌拉~~~”

赵奕思考着语言逻辑问题,感觉头都有点大了,他做的当然不是语言问题,而是纯粹的数学逻辑问题,等他必须要把语言表达的逻辑弄通透,才能够把问数学化,从而以纯数学的方法来解决,否则解决的过程就可能会遇到逻辑不清晰的问题。

两个多星期后。

赵奕差不多理清了逻辑关系,随身的本子上密密麻麻记录了很多内容,他知道可以开始正式做研究了。

当找到了问题的突破口,把问题完全转化为数学后,相对来说就简单了许多,当然了论证过程并不简单。

np=p?。

前面的np是无法直接运算的多项式,而对应的p则是多项式中的某一个特例,也就是解决np问题的最快最有效的方法。

那么可以假设存在寻找p的方法y,使得能从np推导出y,再以y推导出p,就能够直接解决np问题。

y就是np问题的答案。

如果y被证明存在,并且能够表达出来,就说明存在可行的特定方法,可以解决复杂无规律、并且只能靠一个个去验证的np问题。

y不存在,证明出来,就说明np问题无法解决。

两者都完成了np问题的证明。

np问题确实是非常复杂的,是千禧年七大数学猜想的第一个,实际上,因为问题非常的简单,只牵扯到逻辑问题,赵奕能用《因果律》直接得到答案,而答案就是‘y不存在’,也就是不存在特定的方法,能够直接解决np问题,答案并不出乎意料,因为九成以上的数学家都认为np问题没有结果,关键就是怎么去证明‘y不存在’。

赵奕想到的办法是图形法。

在三维坐标系中设定一点a,点a向四周发散出无数不规则、无规律的线段,密密麻麻的充斥整个坐标系,而存在一个终点s,有且只有一条线段的终点是s。

如果从原点a出发去寻找s,就必须要一条条的验证,因为a散发出了无数条线段,一一去做验证计算量就太庞大了。

那么是否能找到一个表达式y,使得从原点a的周边范围做判断,就能够按照表达式y,找出那条通往s的线段p?

假设表达式y是存在的,可以终点s以及线段p,反论证表达式y,再以y去反推原地a,反推的过程中,只需要证明y和a、p没有任何相关性,就可以确定y是不存在的。

赵奕想好了证明的方法,就开始闭关在教职工宿舍里做研究了。

这一闭关就是一个星期。

钱虹才清闲了一段时间,就发现自己又要做‘外卖’工作,每一次送饭过去的时候,看向赵奕的眼神都充满了幽怨,同时也期待赵奕是否能完成np问题的研究。

这次只有她一个人知道,赵奕具体是在研究什么。

其他人还觉得赵奕还沉浸于各种技术类的研发中,根本不知道赵奕又重新回归了数学,研究的还是千禧年七大猜想的第一个。

“让其他人知道的话,肯定会是个重磅炸弹吧!”

“估计数学界会沸腾起来!”

“周教授会大声说:赵奕啊,终于回归征途,重新开始研究数学了……”

于此同时。

航空集团对战鹰-1设计的常规验收工作已经完成,验收结果让所有参与工作的人感到惊讶,因为他们所做的计算论证结果,和设计报告中给出的结果完全一致。

中途产生了不一致的情况,第二次计算就发现是他们计算错误。

这种准确率……