第138章 才學了一年?!(2/2)
——
解決網格對齊問題的核心,在於構造一個基於李群旋轉的修正算子。
這個數學結構需要在紙面上先推導清楚,才能轉化為代碼。
他從書包里抽出一沓空白的A4草稿紙,然後拿出一支中性筆。
刷刷唰。
筆尖在紙上划過的聲音,在安靜下來後的宿舍中顯得格外清晰。
林葉的腦海中,那團破碎的渦旋被抽象成了一個矢量場。
傳統的有限體積法在計算通量時,總是假設通量垂直於網格面,這在笛卡爾網格處理斜向流動時,就像是用方塊去拼圓,必然會產生鋸齒般的誤差。
「要消除這個誤差,不能改變網格,只能改變觀察網格的方式。」
林葉寫下了一行算子定義:【Φcorr=AdR(Φ—u)】
「利用李群的伴隨作用,構造一個局部的旋轉算子。在計算每一個網格界面的通量之前,先將流場矢量旋轉到與網格線平行的方向,計算完通量後,再旋轉回去。」
「這樣,對於算法而言,流體永遠是順著網格流動的,數值耗散將被降到最低。」
隨著思路的打通,草稿紙上布滿了密密麻麻的李代數符號so(3)、反對稱矩陣ω^,以及指數映射ep(日w)。
時間緩緩過去。
不知過了多久,旁邊正在死磕一道數學分析證明題的蘇昭宇感到有些尿急。
他放下筆,輕手輕腳地走向衛生間,路過林葉身後時,出於學霸的本能好奇,他下意識地往林葉的桌面上瞄了一眼。
只一眼,他的腳步就釘在了原地。
映入眼帘的,是一堆他從未見過的,如同天書般的符號系統。
「這是————微分幾何?不對,這是流體力學?也不像————」
蘇昭宇看著那行V·(R·F·R^T),瞳孔微微收縮。
每一個符號他都認識,但組合在一起,那種嚴密的邏輯美感和深邃的抽象程度,讓他瞬間明白—這絕不是本科階段的知識,甚至可能不是碩士階段的。
這是一種將高深的幾何拓撲直接應用於物理底層的數學語言。
他雖然也早已預習了本科數學的所有內容,但是面對林葉寫出來的這些東西————
蘇昭宇咽了口唾沫,默默地走進衛生間。
沖水的時候,他看著鏡子裡的自己,苦澀地想道:「我還可能追上嗎?」
等他出來時,林葉已經停筆了。
理論部分的推導完成。
這一部分對於他來說實在是談不上有多難,特別是他下午在實驗室的時候就已經將這個問題進行了十分深入的思考,現在就解決了這個問題,只能說是正常速度。
而接下來,就是將數學語言翻譯成機器語言了。
換成之前,這一步他應該就會直接交給項目組內負責算法這一部分工作的師兄師姐們解決了。
只不過,從國際數學家大會回來之後,他就考慮到之後總有需要自己親自寫算法的時候。
在偏微分方程以及流體力學這個領域,和計算數學之間的關係是十分緊密的。
有備無患,於是他就開始系統性地學習起了計算機,而過程中,更是成功激活了兩次計算機修煉空間,算上之前的,他已然完成了四次計算機能力的修煉。
也讓他如今的計算機能力突破到了102%的程度,此外還有一些額外的功能,比如對於接觸到的任何計算機知識,理解能力+10%;同時還有在計算機領域觸類旁通的能力;此外,他的編程能力也得到了大幅提升。
於是乎,這帶來的就是,他現在的計算機能力,強的可怕。
打開筆記本電腦,手指懸停在鍵盤上,深吸一口氣。
這一刻,那些關於內存管理、指針操作、並行算法優化的記憶,瞬間湧上心頭。
噠噠噠噠噠噠一密集的鍵盤敲擊聲驟然響起,屏幕上的代碼行如瀑布般流淌而下。
他的手速相當快,這大概也是計算機能力提升之後附帶的額外效果。
恐怕比起那些速記員的速度都差不多了。
哪怕是網文界那些著名的觸手怪見到後估計都要自愧不如。
而正躺在床上玩手機的王博文被這動靜吸引了,他是圖靈班的,從小就是個編程狂魔,對鍵盤聲特別敏感。
「這手速————」
王博文好奇地探出頭,看向林葉的屏幕。
這一看,他的眼珠子差點瞪出來。
屏幕上是黑底綠字的Linu終端界面,林葉正在用Vim編輯器寫C++代碼。
「這是————OpenFOAM的底層架構?」搞過無人機大賽,親手寫過飛控的王博文,一眼就認出了那些複雜的類繼承結構,「臥槽,林神你在手搓CFD求解器?」
最讓王博文震驚的不是林葉在寫什麼,而是他怎麼寫。
林葉幾乎不看文檔,不查API,那些複雜的指針引用、模板類、內存分配函數,就像是刻在他腦子裡一樣,行雲流水地被敲了出來,而且代碼風格極度規範,縮進完美,注釋清晰,甚至還用上了極其風騷的位運算優化。
「林神————」王博文忍不住從床上爬下來,站在林葉身後,語氣中充滿了敬畏,「你這C++水平————有點東西啊!這熟練度,沒個十年的功力下不來吧?」
「我從小跟我爸學編程,自認手速已經夠快了,跟你這一比,我感覺我就是個那二指禪的老大爺一樣。」
王博文一臉期待地問道:「林神,你幾歲開始學編程的?小學?還是幼兒園?」
林葉敲完一個函數的最後一個大括號,停下手,回頭想了想。
雖然他確實是最近半個月才開始系統性的學習的,但是嘛,他去年就已經激活了第一次計算機修煉空間了。
看了看眼前王博文期待的表情。
於是他誠實地回答:「也沒多久,大概是去年開始學的吧。」
「6
」
王博文臉上的笑容僵住了。
「去————去年?」他的聲音拔高了八度,「才學了一年?!」
「嗯,主要是為了做科研方便,順便學的,我現在搞的這些研究,都挺需要了解算法的。」林葉補充道。
王博文捂著胸口,跟蹌地退後兩步,一屁股坐在自己的椅子上,滿臉的生無可戀。
「一年————順便學的————」
「我特麼學了十年,還不如人家順便學的一年————」
而旁邊一直聽著的蘇昭宇也是嘴角抽了抽。
他萬萬沒想到,林葉竟然還有這樣的一手,不僅數學好,甚至連計算機都能夠讓人家考進圖靈班的王博文都震驚成這個樣子。
簡直不是人!
而看著這兩人那一副世界觀崩塌的樣子,一直在旁邊默默圍觀的王澤軒聳聳肩。
看吧,他白天的時候就說過了,要提前做好心理準備,不然的話到時候被林哥打擊到了,可別怪他沒有提醒啊!