“boss,你为什么要打击他们的积极性,特别是那位小姑娘,太可怜了,她做错了什么吗?”坐在车中,夏晴问道。
车窗外人来人往,大家都在为了生活而奔波,理想很美好,现实却很残酷。李默说道:“她没有错,错的是选错了方向,也许她若干年后会感激今天的决定。”
夏晴若有所思,这位年纪不大的boss,总能说出一些令人深省的话。
现在的李默忽然发现爆肝对他来说似乎成了一件稀松平常的事情。
回到燕大的第一天,他就开始了“闭关”。
虽然敬业的助理夏晴总是批评他这种爆肝方式是在拿生命开玩笑,但事实上即便李默并不是刻意地这么做,但对解决问题地渴望在促使着他这么去做。
912委托的任务迫在眉睫,一个优秀的火箭发动机意味着什么不言而喻,李默感觉此时的肩膀上是满满的压力。
这种感觉每每让他回忆起第一次尝试解决考拉兹猜想时的心情,当时他总觉得心中有块大石头,若是解不开的话,连去操场打球都没那个动力。
从本质上来讲,这种对未知的探索欲,似乎是一样的?
现在湍流就是他需要探索的未知。
描述湍流现象的纳维-斯托克斯方程诞生于19世纪,它以经典牛顿体系为基础,理论上能够在初始条件已知的情况下,测算任意一种流体的运动。然而一直以来有个大问题:它是一个非线性偏微分方程,求解非常困难,没有一种数学工具能够解出这些方程。
“求解困难,人力不可解?”李默盯着草稿上复杂的数学方程式,这是他根据912火箭怪人提供的数据总结出来的方程式,它是navier-okes方程的一个引申版本,可以更加精确的描述火箭点燃仓中究竟发生了什么。
这些方程式的难点在于未知的条件太多了,初始条件的提出也是很困难的。从随机数学的角度来看,湍流就是一个典型的初始条件敏感依赖问题。如果初始条件存在微小的偏差,那么方程式的解中就可能出现明显的区别。
“也许可以用直接数值模拟来解决这个问题。”他觉得头脑中灵感迸发,因为一般情况下的流体都被认为是连续介质,即任意小的流体质点内都包含了足够大量的分子,从而分子的涨落对于流体质点本身的运动几乎没有影响,所以可以采用尽可能精确的数值方法来解决这些复杂的方程。
有了目标的李默精神抖擞,他打开电脑,现在需要的就是制作一个可以运行d全数值模拟的计算机程序。
“小花,你在吗?”他再次唤醒人工智能程序,如果说制作程序的任务谁最能胜任,莫过于外星程序编写的智能程序。
屏幕上光标闪烁:“主人,我在!”
“你可以制作复杂的计算机程序吗?”李默在电脑上输入。
小花:“当然可以,但为了程序与需求更好的契合,主人需要授权小花访问人类互联网。”
李默犹豫了一下,这已经不是人工智能第一次提出这种条件了,不过想着完成任务后的小花会被“删除”记忆。
他在电脑上输入:“批准授权,此授权只限于访问计算机编程类知识。”
小花:“授权获得批准,计算机编程知识获取中.......”
知识获取完成比他预想的要快很多,2个小时后,他被电脑音箱传出的声音惊醒了。
小花:“主人,计算机编程知识获取完毕,正在优化中......”
“优化完毕.....请输入您需要分析的数据,小花会根据这些数据制作出应用程序。”
现在只需要把这些实验数据输入电脑了,李默看着手边密密麻麻的手稿,皱了皱眉头,没办法,湍流与其说是一个数学问题,其实根本上就是一个数字问题。
把这些数据和它们的数学逻辑关系完全输入电脑中本身就是一个浩瀚的工程。
24小时....
48小时....
72小时....
日出....
日落.....
键入最后一个数字,李默正要伸一个舒服的懒腰,电脑上出现的一行字吸引了他的注意力。
小花:“主人,根据优化后的笔记本cpu算力计算,分析这些数据需要4500小时。”
4500小时?那不就是200多天吗?李默现在才意识到他忽略了湍流的复杂性,这些数据比较一些超级项目,也许并不算多,但它们之间存在着千丝万缕的结构关系,以笔记本电脑cpu的计算力根本不能胜任。
不行,太久了,火箭发动机的设计等不了这么长的时间。
“小花,可以缩短时间吗?”李默输入。
小花:“也许我可以采用一些别的手段,但是需要主人授权我访问外部网络。”
李默这时想起了在研发j抗体的过络抓取国外医院的病例。
通过网络获得计算力的唯一办法就是控制一些国外超级计算机,把它们当做肉鸡一样,运算自己的程序。
难道小花真是这样打算的?她难道不知道那些国外超级计算机的大部分采取的是物理防御手段吗?
国外的超级计算机中心,采用的都是硬备份方法,把所需要计算的程序通过硬盘加载的方法写入超级计算机,这些计算机并不与网路相连接。
这样再高明的黑客在物理防御面前也无能为力,所以国际上从来没有听说过那台超算被人入侵了。
想到这里,他在键盘上输入:“小花,你有突破物理防御