第477章 上超算
我隻想當一個安靜的學霸 作者：術小城 投票推薦 加入書簽 留言反饋
第477章 上超算
沈奇來到書房，鋪開紙卷，開始推導計算。
n-s方程的問題即描述不可壓縮流體動力學的問題，這個問題涉及不可壓縮黏性流體的n-s方程解的存在性和光滑性。
n-s方程項目組已經把前麵的論述做完了，現在隻差最後一步，找到不可壓縮黏性流體的n-s方程解的存在性和光滑性的完整解。
沈奇認為四個關鍵式子中，式（1）是最重要的一把鑰匙，所以周雨安將其列為式（1），放在最前麵。
麵對困擾了人們多年的千禧難題n-s方程，周雨安能做到這一步，體現出了巨大的學術進步和較高的數學水平。
最後一擊交到了沈奇手中，他做出一項新的計算，對式（1）補充邊界條件，即對空間坐標給出周期性邊界條件和初始條件。
“一點點，還差一點點。”
思路越來越清晰，難題的偽裝被沈奇一層層剝去，最後一層麵紗包覆在最終答案上，揭開它，破解它。
經過沈奇完善，式（1）到（3）確定了初始條件和邊界條件，唯一還不能確定的是壓強p（t，x）。
好幾年的醞釀，一年來的不斷探討、具體執行，最近一個月的集火攻堅，n-s方程項目推進到此刻，壓強無法阻擋沈奇前進的步伐。
沈奇得到一組希爾伯特空間的向量函數f（t，x）=（f1（t，x），f2（t，x），f3（t，x））∈r^3，他一鼓作氣，算出了歐氏空間的標量積，以及最重要的一個範數。
n-s方程的最後一層神秘麵紗於今夜被揭開，在沈奇的書房中。
沈奇在紙上寫出一個式子，這是整個項目的最後一個式子，相對於前麵長篇累牘的偏微分方程組，最終的結論並不算太複雜：
Σ（iiuk（t，）ii^2l2（Ω）+∫iigraduk（η，）ii^2l2（q）dη）≤Σ∫iifk（η，）ii^2l2（q）dη
“是的，這就是n-s方程具有普遍意義的通解，我終於找到你了！”沈奇握緊拳頭揮動兩下，他衝出書房，想要親親閨女和老婆。
“算了，天亮再親吧。”沈奇看到牆上的掛鍾，現在是淩晨2點，老婆和閨女已經睡了。
沈奇迴到書房，驗證了一遍，這個通解滿足式（1）-（4），它是毫無疑問的正確答案。
沈奇整理完手稿，一輪朝陽升起。
“你熬了一通宵？”歐葉起床了，娃還沒睡醒。
“n-s方程搞定了，今後能讓我熬夜的項目不多了。”沈奇坐上餐桌，和歐葉共進早餐。
“搞定了，太好了，給我瞅瞅唄。”歐葉很振奮，她天天喂奶，在家坐月子，奶媽當久了其實也很無聊。
雖然專業不對口，但n-s方程的解決，對於歐葉來說也相當於一劑興奮劑。
沈奇將n-s方程的手稿呈遞給老婆：“我整理過了，不過還是有點亂，這是初版，請歐博士過目、斧正。”
歐葉不看前麵無比複雜的推導計算和論述，她直接翻到後麵的結論頁，盯著n-s方程的通解，眼睛也不眨：“就這個呀？”
“對，就這玩意。”沈奇點點頭，喝杯咖啡提神。
短時間內歐葉難以吃透沈奇的手稿，她的直覺告訴她，老公又做了一件超級牛的事情：“祝賀你老公，但你還是要注意身體，別熬夜。”
“老婆最棒了。”沈奇親了歐葉一口，忽然心血來潮，將手稿的最後一頁，也就是寫著n-s方程通解的這頁抽出來，拿筆在紙上寫到：愛女沈諾菲64天，其父破納維-斯托克斯方程，其母首驗通過。
“你留紀念呢！”歐葉噗的一聲笑了，說到：“諾菲其母因專業不對口，笑而不語，就是打醬油的。”
沈奇把手稿交給歐葉：“最後一頁是最重要的結論頁，這頁手稿是我狀態最神勇時寫下的第一版手稿，請諾菲母後保存此頁，今後交於諾菲，代代相傳。”
歐葉接過手稿：“等會兒我讓翠萍姐，拿出去裱起來。”
沈奇摟著老婆哈哈大笑：“如此甚好！”
來到中心，沈奇重新寫了最後一頁，將200多頁的手稿掃描為pdf格式，隨後召集威騰、周雨安、蕭俊龍開會。
“通解我已經算出來了，接下來請三位分別驗證，等你們的消息哦。”熬了一宿的沈奇靠咖啡因強行提神，看上去神采奕奕，實際上他已經很疲憊了。
“大佬果然是大佬啊！”蕭俊龍激動的跳了起來，威騰、周雨安同樣振奮。
威騰等三人每人找一個安靜獨立的空間，各自驗證n-s方程破解方案。
沈奇在中心補覺，一覺醒來，滿血複活。
人工驗證不是一兩天就能搞定的，在人工驗證的同時，沈奇開始聯係燕大超算中心，預約深騰x8810的使用權。
深騰係列超算是同一家中國公司研發製造的，燕大幾年前購買了當時最新的超算深騰x8810，命名為“未名一號”，經過幾年的運行、摸索，“未名一號”趨於成熟穩定，排名全球超算top20之內。
人工驗證主要是從邏輯思路上進行正向逆向的推導、核查，海量的數據處理和預測，沒有一個人類可以搞定，沈奇也搞不定，必須使用超算。
燕大超算中心主任聽說沈奇想使用“未名一號”驗證n-s方程，他絕對支持，為沈奇預留了使用時間。
威騰、周雨安、蕭俊龍三人非常熟悉這套n-s方程破解方案，其中很多工作就是他們完成的。
即便如此，最先完成人工手動驗證的威騰，還是花費了一個多禮拜的時間。
“哇喔，完美，奇，看來我們真的解決了n-s方程，至少邏輯上沒有問題。”威騰和沈奇握手、擁抱，兩位菲獎得主聯手完成了一個課題。
過了幾天，周雨安、蕭俊龍完成人工驗證，沒問題，上超算吧！
燕大超算中心迎來了由沈奇、威騰領銜的n-s方程項目組。
“未名一號”已經啟動，燕大超算中心的研究員們摩拳擦掌做好了一切準備，就等沈教授一聲令下開啟運算程序。
(本章完)
沈奇來到書房，鋪開紙卷，開始推導計算。
n-s方程的問題即描述不可壓縮流體動力學的問題，這個問題涉及不可壓縮黏性流體的n-s方程解的存在性和光滑性。
n-s方程項目組已經把前麵的論述做完了，現在隻差最後一步，找到不可壓縮黏性流體的n-s方程解的存在性和光滑性的完整解。
沈奇認為四個關鍵式子中，式（1）是最重要的一把鑰匙，所以周雨安將其列為式（1），放在最前麵。
麵對困擾了人們多年的千禧難題n-s方程，周雨安能做到這一步，體現出了巨大的學術進步和較高的數學水平。
最後一擊交到了沈奇手中，他做出一項新的計算，對式（1）補充邊界條件，即對空間坐標給出周期性邊界條件和初始條件。
“一點點，還差一點點。”
思路越來越清晰，難題的偽裝被沈奇一層層剝去，最後一層麵紗包覆在最終答案上，揭開它，破解它。
經過沈奇完善，式（1）到（3）確定了初始條件和邊界條件，唯一還不能確定的是壓強p（t，x）。
好幾年的醞釀，一年來的不斷探討、具體執行，最近一個月的集火攻堅，n-s方程項目推進到此刻，壓強無法阻擋沈奇前進的步伐。
沈奇得到一組希爾伯特空間的向量函數f（t，x）=（f1（t，x），f2（t，x），f3（t，x））∈r^3，他一鼓作氣，算出了歐氏空間的標量積，以及最重要的一個範數。
n-s方程的最後一層神秘麵紗於今夜被揭開，在沈奇的書房中。
沈奇在紙上寫出一個式子，這是整個項目的最後一個式子，相對於前麵長篇累牘的偏微分方程組，最終的結論並不算太複雜：
Σ（iiuk（t，）ii^2l2（Ω）+∫iigraduk（η，）ii^2l2（q）dη）≤Σ∫iifk（η，）ii^2l2（q）dη
“是的，這就是n-s方程具有普遍意義的通解，我終於找到你了！”沈奇握緊拳頭揮動兩下，他衝出書房，想要親親閨女和老婆。
“算了，天亮再親吧。”沈奇看到牆上的掛鍾，現在是淩晨2點，老婆和閨女已經睡了。
沈奇迴到書房，驗證了一遍，這個通解滿足式（1）-（4），它是毫無疑問的正確答案。
沈奇整理完手稿，一輪朝陽升起。
“你熬了一通宵？”歐葉起床了，娃還沒睡醒。
“n-s方程搞定了，今後能讓我熬夜的項目不多了。”沈奇坐上餐桌，和歐葉共進早餐。
“搞定了，太好了，給我瞅瞅唄。”歐葉很振奮，她天天喂奶，在家坐月子，奶媽當久了其實也很無聊。
雖然專業不對口，但n-s方程的解決，對於歐葉來說也相當於一劑興奮劑。
沈奇將n-s方程的手稿呈遞給老婆：“我整理過了，不過還是有點亂，這是初版，請歐博士過目、斧正。”
歐葉不看前麵無比複雜的推導計算和論述，她直接翻到後麵的結論頁，盯著n-s方程的通解，眼睛也不眨：“就這個呀？”
“對，就這玩意。”沈奇點點頭，喝杯咖啡提神。
短時間內歐葉難以吃透沈奇的手稿，她的直覺告訴她，老公又做了一件超級牛的事情：“祝賀你老公，但你還是要注意身體，別熬夜。”
“老婆最棒了。”沈奇親了歐葉一口，忽然心血來潮，將手稿的最後一頁，也就是寫著n-s方程通解的這頁抽出來，拿筆在紙上寫到：愛女沈諾菲64天，其父破納維-斯托克斯方程，其母首驗通過。
“你留紀念呢！”歐葉噗的一聲笑了，說到：“諾菲其母因專業不對口，笑而不語，就是打醬油的。”
沈奇把手稿交給歐葉：“最後一頁是最重要的結論頁，這頁手稿是我狀態最神勇時寫下的第一版手稿，請諾菲母後保存此頁，今後交於諾菲，代代相傳。”
歐葉接過手稿：“等會兒我讓翠萍姐，拿出去裱起來。”
沈奇摟著老婆哈哈大笑：“如此甚好！”
來到中心，沈奇重新寫了最後一頁，將200多頁的手稿掃描為pdf格式，隨後召集威騰、周雨安、蕭俊龍開會。
“通解我已經算出來了，接下來請三位分別驗證，等你們的消息哦。”熬了一宿的沈奇靠咖啡因強行提神，看上去神采奕奕，實際上他已經很疲憊了。
“大佬果然是大佬啊！”蕭俊龍激動的跳了起來，威騰、周雨安同樣振奮。
威騰等三人每人找一個安靜獨立的空間，各自驗證n-s方程破解方案。
沈奇在中心補覺，一覺醒來，滿血複活。
人工驗證不是一兩天就能搞定的，在人工驗證的同時，沈奇開始聯係燕大超算中心，預約深騰x8810的使用權。
深騰係列超算是同一家中國公司研發製造的，燕大幾年前購買了當時最新的超算深騰x8810，命名為“未名一號”，經過幾年的運行、摸索，“未名一號”趨於成熟穩定，排名全球超算top20之內。
人工驗證主要是從邏輯思路上進行正向逆向的推導、核查，海量的數據處理和預測，沒有一個人類可以搞定，沈奇也搞不定，必須使用超算。
燕大超算中心主任聽說沈奇想使用“未名一號”驗證n-s方程，他絕對支持，為沈奇預留了使用時間。
威騰、周雨安、蕭俊龍三人非常熟悉這套n-s方程破解方案，其中很多工作就是他們完成的。
即便如此，最先完成人工手動驗證的威騰，還是花費了一個多禮拜的時間。
“哇喔，完美，奇，看來我們真的解決了n-s方程，至少邏輯上沒有問題。”威騰和沈奇握手、擁抱，兩位菲獎得主聯手完成了一個課題。
過了幾天，周雨安、蕭俊龍完成人工驗證，沒問題，上超算吧！
燕大超算中心迎來了由沈奇、威騰領銜的n-s方程項目組。
“未名一號”已經啟動，燕大超算中心的研究員們摩拳擦掌做好了一切準備，就等沈教授一聲令下開啟運算程序。
(本章完)