,在家坐月子,nǎi妈当久了其实也很无聊。
虽然专业不对口,但n-s方程的解决,对于欧叶来说也相当于一剂兴奋剂。
沈将n-s方程的手稿呈递给老婆:“我整理过了,不过还是有点乱,这是初版,请欧博士过目、斧正。”
欧叶不看前面无复杂的推导计算和论述,她直接翻到后面的结论页,盯着n-s方程的通解,眼睛也不眨:“这个呀?”
“对,这玩意。”沈点点头,喝杯咖啡提神。
短时间内欧叶难以吃透沈的手稿,她的直觉告诉她,老公又做了一件超级牛的事情:“祝贺你老公,但你还是要注意身体,别熬夜。”
“老婆最棒了。”沈亲了欧叶一口,忽然心血来潮,将手稿的最后一页,也是写着n-s方程通解的这页抽出来,拿笔在纸写到:爱女沈诺菲64天,其父破纳维-斯托克斯方程,其母首验通过。
“你留纪念呢!”欧叶噗的一声笑了,说到:“诺菲其母因专业不对口,笑而不语,是打酱油的。”
沈把手稿jiāo给欧叶:“最后一页是最重要的结论页,这页手稿是我状态最神勇时写下的第一版手稿,请诺菲母后保存此页,今后jiāo于诺菲,代代相传。”
欧叶接过手稿:“等会儿我让翠萍姐,拿出去裱起来。”
沈搂着老婆哈哈大笑:“如此甚好!”
来到心,沈重新写了最后一页,将200多页的手稿扫描为pdf格式,随后召集威腾、周雨安、萧俊龙开会。
“通解我已经算出来了,接下来请三位分别验证,等你们的消息哦。”熬了一宿的沈靠咖啡因强行提神,看去神采奕奕,实际他已经很疲惫了。
“大佬果然是大佬啊!”萧俊龙激动的跳了起来,威腾、周雨安同样振奋。
威腾等三人每人找一个安静独立的空间,各自验证n-s方程破解方案。
沈在心补觉,一觉醒来,满血复活。
人工验证不是一两天能搞定的,在人工验证的同时,沈开始联系燕大超算心,预约深腾x8810的使用权。
深腾系列超算是同一家国公司研发制造的,燕大几年前购买了当时最新的超算深腾x8810,命名为“未名一号”,经过几年的运行、摸索,“未名一号”趋于成熟稳定,排名全球超算top20之内。
人工验证主要是从逻辑思路进行正向逆向的推导、核查,海量的数据处理和预测,没有一个人类可以搞定,沈也搞不定,必须使用超算。
燕大超算心主任听说沈想使用“未名一号”验证n-s方程,他绝对支持,为沈预留了使用时间。
威腾、周雨安、萧俊龙三人非常熟悉这套n-s方程破解方案,其很多工作是他们完成的。
即便如此,最先完-g人工手动验证的威腾,还是花费了一个多礼拜的时间。
“哇喔,完美,,看来我们真的解决了n-s方程,至少逻辑没有问题。”威腾和沈握手、拥抱,两位菲奖得主联手完成了一个课题。
过了几天,周雨安、萧俊龙完-g人工验证,没问题,超算吧!
燕大超算心迎来了由沈、威腾领衔的n-s方程项目组。
“未名一号”已经启动,燕大超算心的研究员们摩拳擦掌做好了一切准备,等沈教授一声令下开启运算程序。
479章 纳维-斯托克斯方程遇上未名一号
沈对超算心黄主任点点头,说到:“开始吧。”
研究员启动自主研发的数值试验软件,命令“未名一号”对输入的原始数据进行分析、计算。
“未名一号”拥有百亿亿次每秒的计算能力,是e级超级计算机。
n-s方程的原始数据瞬间放大为一千九百多万个偏微分方程和一千三百多万个常微分方程,数据来源基于沈他们的那200多页手稿方案。
任何一个人类计算完一千九百多万个偏微分方程和一千三百多万个常微分方程,至少都要花费两辈子的时间。
处理完巨量的偏微分方程、常微分方程,“未名一号”立即给出了超过千万幅的压力等高线图、速度流线图。分析完这些图谱,又需要花费一个人类两辈子的时间。