第441章 我又不是聖人
張密廓其實本該已經離開了星城。
之所以選擇留在星城,主要還是因為咽不下這口氣。
張妻廓一直都是不喜歡做聲的性子,但往往這種人性格更為執拗。說得更接地氣些就是認死理。侄子已經讓自家老哥坐高鐵過來給先接走了,然後又打電話回單位請了個假。
然後張密廓便決定在星城更那個女人先耗上了。
不管是怎麼處理,哪怕是耗個一年半載去起訴都行,他也得把這個理講明白。
張密廓也不是沒想過找喬源想想辦法。
人家上大學,能認識最牛的人脈大概就是教授。
但他們班畢競不一樣,最牛的人脈是同學。
如果放到剛畢業的時候碰到這種事情,說不定他還真直接給喬源打電話來額。
但工作了這兩年之後讓張密廓也明白了許多事情。
到了喬源這種層級的大人物,如果願意幫他的話,自然會幫。
如果不願意幫他的話,肯定也是有許多理由的。 一個電話過去,讓對方為難的話,說不定還會斷了本來還有幾分的室友之情。
更別提喬源大二剛開學沒多久就去燕北大學了,在拋去寒暑假,大家做室友的時間滿打滿算其實還不到一年。加上這麼多年都沒了什麼聯繫,突然有事兒了直接找過去,張寥廓也拉不下那個臉。
他甚至猜到了今天滬爺胡申浩主動在群里e他,聊起這個事,未必沒有讓喬源看到的意思。可惜聊了大半天,喬源一直也沒在群里冒泡。
當然,張妻廓也能理解這一點。畢竟喬源現在的地位跟以前不一樣了。
以前讀書的時候,他也曾天真的認為,大人物說一句話任何時候都很好使。
但在單位里工作這幾年他算是深刻明白了為什麼古人會說縣官不如現管。
甚至有時候位置越高,越難處理那些雞毛蒜皮的小事。
畢竟真到了一定地位,就必須得愛護羽毛了。換句話說得要臉,行事自然不能跟他們這樣的小人物一般肆無忌憚。更別提喬源只是在學術界有巨大聲望。
總之,張妻廓的想法也很簡單。這種他覺得自己完全占理的事,壓根不想動用喬源的這層關係。要用也是等以後萬一真遇到過不去的坎了再用。
【寫到這裡我希望讀者記一下我們域名𝖳𝖶看書📕𝗌𝗁𝗎.𝗍𝗐】
現在最讓他糾結的就是家人的擔憂。
酒店裡張密廓一直在忙著在微信里安撫老爹老媽。順便等著官方的電話。
終於電話來了。 是個陌生的號碼,不過看到是星城的手機號,張寥廓毫不猶豫的便直接接通。
「喂,你好,請問是張寥廓先生嗎?」
電話里傳來一個中年男人聲音,很陌生。
好在這兩天張妻廓接到陌生的電話多了,已經免疫了。
而且對方的聲音聽起來很溫和,能感覺到善意。
「我是,請問您是?」
「哦,你好。我姓徐,叫徐學寧。目前擔任星南大學的副校長。」
這個自我介紹讓張寥廓愣了愣。
星南大學的名頭他自然聽說過。可以說是整個星南省最知名的大學,即便放到省外名氣也很大。即便分數線暫時比江大差了那麼一點,但如果是工科的優勢專業,顯然星南大學的畢業證要更實用。這麼一所知名雙一流大學的副校長主動找到自己,著實讓張寥廓心裡打起了嘀咕。
當然也讓他想到了一種可能。
「您好,徐校長,您打這個電話是?」
「是這樣的,我聽說你是江大數學系畢業的,喬源院士你應該認識吧?」 張妻廓猶豫了兩秒,還是應了句:「嗯,認識。喬院士在江大時是我的室友。」
聽到他這個回答,對面的語氣明顯更熱情了幾分。
「難怪了。張先生,不瞞你說,喬院士對發生你在身上的事情很重視。
但你也應該能理解,鑑於喬院士的身份,有些事不好出面。
正好我們跟喬院士正在籌建的院士站是我和喬院士那邊對接的。
所以他專門給我打了個電話,委託我在力所能及的範圍內幫你一把。
你要是現在不忙的話,能不能來一趟星南大學,先把當時的情況跟我詳細說一下。」
聽了這番話,張妻廓連忙應道:「好的,徐校長,那我現在就打車過去。」
「哦,對了,差點忘了你是來星城旅遊的。而且現在時間也不早了。這樣,你加我微信,把位置發給我,我安排個司機過去接你。」在張密廓感受到來自星南學術界的溫暖時,楊證道正在向喬源提著建議。
此時兩人已經回到了燕北國際數學研究中心喬源的辦公室里。
「我覺得您像今天這樣直接插手網絡上的熱門事件還是不太妥當。」
如果換了簡從以或者孔令霄大概會用更委婉的方式去勸諫喬源。 但楊證道的性子明顯更為直接,提意見時沒有那麼多的彎彎繞繞。
「我有直接插手嗎?我只是給合作院士站的招聘事宜提一些建議而已。」
顯然喬源壓根不覺得這是多大的事情,隨口應付了句。
理由也很充分。
他的確只是提了個建議而已。
至於這個建議最終能不能落實,又好不好落實,那就不是他需要考慮的問題了。
總之喬源覺得自己有理有據,但楊證道並沒有選擇和他爭辯,只是用那種你說的話你自己信不信的眼神看著他。「哎,好吧,咱們說正經的,我用這種方式幫一下我之前的室友,而不是通過你,其實也有其他方面的考慮。」喬源坐到自己位置上,嘆了口氣後,認真說道。
「有別的考慮?」楊證道確認了句。
「當然。不然你以為我喜歡麻煩自己?」
喬源下意識眨了眨眼,隨後一本正經的解釋道:「你想沒想過未來基層管理系統正式試運行之後,最麻煩的事情是什麼?」楊證道搖了搖頭,很實誠的答道:「這好像不是我需要考慮的問題。」
喬源一拍桌子道:「說得對,你是不需要考慮,但我這個設計者需要考慮啊。」
隨後壓根不給楊證道反應的時間,喬源便繼續闡述起了他的理由。 「喬貝恩政務系統上線之後最麻煩的問題其實就是未來的精細化管理。
我說得更不客氣些,就是以前那種基層什麼事都想糊弄過去的心態得有改變。
有法得依法,有規定就照規定辦事。地方規定不合理或者跟上位法有衝突就得改。
總之以前那套按鬧分配的做法肯定是行不通了。哪怕上網把現場視頻曝光,也不能掐頭去尾。我覺得這次就是很好的機會。由我這個喬貝恩的設計者出手來定個調子。」
喬源這番鏗鋯有力的說辭差點把楊證道給說服了。
是的,還差了點。
「喬院士,您說這些話的時候,跟我剛入伍的時候,老班長忽悠我的表情差不多。」
楊證道如是說道。
喬源微愣,然後乾脆手一攤,說道:「行吧,那我說實話。以上只是一方面,主要是老大遇到的這事兒,讓我想到了在江大時一段不太愉快的經歷。我的那段經歷你肯定也是知道的。
所以我就想打個電話,因為能讓我心情舒暢。而我心情舒暢了處理問題的效率也能更高。年輕人的意難平,你應該懂。而且我不保證下次遇到這種事兒一定會交給你處理。」
說完後,喬源頓了頓,又認真說道:「以上是我最後的意見,你可以把這些寫進日報里。對了,為什麼你們都覺得我是會愛護羽毛的人?」楊證道被問住了,半晌不知道說什麼。
「既然當年我的老師和袁老都能為了我調動資源去做一些事情,為什麼我就不行? 難道我的名聲比老師和袁老更重要?再說了,我連學術聲望都不那麼在乎,更別提這種小事兒了。」喬源又補充了句。
「明白了。」楊證道點了點頭,感覺有些懊惱。
雖然他的建議的確沒什麼私心,但回頭想想又的確有些越界了。
「行吧,你先去忙,我晚上打算加會班。」
喬源如是道。
楊證道點頭離開,喬源也正式開始工作。
加班不是託詞。
航天局收集到的那些數據給了喬源很大的啟發。
他雖然已經大概找到了求解n-s方程的方法,但還是太慢了。
但在聽完了航天局的匯報後喬源又有了一個很大膽的猜想,如果他的猜想是正確的就能大大簡化求解過程,在節省算力的同時還能大幅度提升效率。在經典數學層面求解n-s方程,就是在給定了邊界條件後,通過方程計算出一個速度場和壓力場共同作用下的湍流狀態那些複雜且看似毫無規律的流動模式。如果能把n-s方程的解空間直接組織成一個辮子代數的表示空間,就能用他最熟悉的方法去求解。但問題是要做這種轉化需要一個自然基底。
比如當他想要要定義聯絡マ=+a,其中a是方程中的速度場,那麼對應非線性項(-v)就可以被表達為聯絡的曲率項。而在喬源的q(n)群理論中,這個曲率項會自然地被量子化。
這個時候問題來了。 量子化後的非線性項在當下的(n)群環境下是沒法處理的。因為沒有展開的理論基礎,或者說沒有一個定理或者引理去分解這一項。但根據航天局收集到的數據,在q=e&qt;in/4時,辮子操作女對應的曲率本徵值是離散的,並且還恰好與中心荷c(q)的整數倍一一對應。這個時候就給喬源提供了一個天然的自然基底,也就是辮子渦旋態。
在有了這個自然基底之後就意味著理論上來說,n-s在拓撲下的解,可以直接按照這些離散曲率本徵值展開。這一步其實和傅立葉展開的原理很像。無非是傅立葉展開的基底是平面波,而(n)群理論中是辮狀渦旋態。如果以上他的推導都是正確的話,意味著就能用這種方法根據初始邊界條件,去計算每個時間段的流場結構。雖然經典n-s方程中渦線重聯是一個高度非線性的局部過程,其結果對初始條件非常敏感,但如果帶入到n)框架中,這一過程其實是由辮子操作的閉合規則決定的。
每次重聯都會直接改變拓撲荷q,但同時總拓撲荷又是守恆的,因為局部的拓撲荷變化,必然會引起其他位置的拓撲荷變化來抵消。這個定理直接保證了重聯後的渦線構型不是任意的,而是由重聯前的辮子表示唯一確定。
這是之前喬源在論文裡早已經證明過了的重要定理。也是n-s方程可以求解的關鍵。
現在再帶入到了數據提供的自然基底,就能讓喬源大幅度縮減三維不可壓縮n-s方程的求解速度。之前喬源在航天局並沒有公布這個想法,是因為一切都是猜測,他還沒有直接上手測試。
所以喬源打算先試一試看這個預感能否成立。
很快,喬源就在這一假設前提下,把基於辮子渦旋態展開的整套公式都推導了出來。
接下來的工作就是設定一組初始條件和邊界條件後,交給超算去模擬了。
顯然這是喬貝恩最擅長的工作。這也是喬源設計喬貝恩這款通用人工智慧的初衷。
接下來不需要他去構建理論模型,喬貝恩自然會針對不同的情況,去構造各種可能的情況,諸如自然剪切流,槽道湍流又或者翼型擾流等,去驗證這套方法是否能快速計算出代數意義下的精確解。
當然這個代數精確解是在(n)架構下得出的。
因為中間將n-s方程轉化成辮子代數結構的過程,導致了宏觀的微觀化。 用數學的話說就是喬源的拓撲保護機制在q無限趨近於1時是會退化的。
但經典n-s方程對應的是q=1的情況。
所以對於原始的經典n-s方程來說,這只是一個變形極限下的漸進精確解。
當然如果在轉化為具體工程上,因為所有拓撲態構成了一個無限集合,跟傅立葉級數有無限多項類似。所以到了工程領域最終肯定因為截斷、離散、近似變成半解析數值解。
雖然不算完美,但只要能快速計算出來,就已經是數學上極大的進步了。
對於具體的工程應用而言也是極大的進步。
起碼能讓天氣預報,或者風預報的精確度可以質變式的提升。
比如風的登陸預測,不會再出現風成型一周前,n家預測機構,給出n種不同路徑這種尷尬的情況。大體位置會收攏在一個相對精確的範圍之內,比如原本超過一周的風路徑預報誤差可以從之前上千公里,控制在兩百公里以內,甚至更低。最關鍵的是,在提升精確度的同時,還能極大的節省算力資源。
當然最重要的還是在各個不同工程場景方面的應用。
比如不管是各種飛行器的氣動設計也好,機場塔的臨場應變指揮也好,這套模型都能發揮出極大的作用。尤其是在塔指揮這種需要快速應變的領域,這款模型能在極短時間內通過機場傳感器收集到的風向風力,不同類型機型起降時間等數據,快速計算出低空風切變,微下擊爆流,尾流消散等等情況,極大提升塔調度效率的同時,還能保證安全性。對於喬源自己而言,大概就是完成了對全世界數學家的承諾,在近期內給出了他能求解n-s方程的證據。完成這一切後,喬源照例和楊證道一起回家。
不過今天回家的路上,楊證道有些沉默。
喬源也沒理他,自行在腦子裡默默復盤著今天的推導。 畢竟明天一早起床後,喬貝恩給出的結果不那麼理想的話,他可能還要對這套公式再做些修補。最重要的是喬源並不認為自己做的不對,雖然他能理解楊證道是為了他好,但他的思想自由度還是不能被干擾的。就這樣來到門前,楊證道跟喬源道別時,突然很鎮重開口說了句:「喬院士,我覺得有必要解釋一下。我並不是怕承擔責任才會給出那些建議。單純是我覺得您沒必要因為一些小事情陷入負面輿論。」「我知道啊。」
喬源點了點頭,然後看了眼楊證道,隨口說道:「所以我只是不接受你的建議,對你也沒什麼意見。」楊證道點了點頭,準備轉身離開。
喬源手搭在門把手上,又補充了句:「不止是我的室友老大,如果是老簡又或者你的前輩老孔,以及你以後要是遇到這類麻煩,我也會想辦法做點什麼。所以拜託你們不要總想著給我立個沒有任何私心的聖人人設,我也壓根做不到的。不說一人得道雞犬升天,但如果可以,我肯定還是希望能讓身邊的人活得更舒坦些。」
說完喬源直接打開門走進了自家別墅,在開門的一瞬間帶著生活氣息的聲音也隨之傳了出來。有媽媽的喝罵聲,娃娃的咯咯笑聲…
直接到房門關上,聲音又被隔斷。
剛剛喬源的話和被門遮掩住的聲音,在這一瞬間讓楊證道突然有種說不清道不明的感慨……
之所以選擇留在星城,主要還是因為咽不下這口氣。
張妻廓一直都是不喜歡做聲的性子,但往往這種人性格更為執拗。說得更接地氣些就是認死理。侄子已經讓自家老哥坐高鐵過來給先接走了,然後又打電話回單位請了個假。
然後張密廓便決定在星城更那個女人先耗上了。
不管是怎麼處理,哪怕是耗個一年半載去起訴都行,他也得把這個理講明白。
張密廓也不是沒想過找喬源想想辦法。
人家上大學,能認識最牛的人脈大概就是教授。
但他們班畢競不一樣,最牛的人脈是同學。
如果放到剛畢業的時候碰到這種事情,說不定他還真直接給喬源打電話來額。
但工作了這兩年之後讓張密廓也明白了許多事情。
到了喬源這種層級的大人物,如果願意幫他的話,自然會幫。
如果不願意幫他的話,肯定也是有許多理由的。 一個電話過去,讓對方為難的話,說不定還會斷了本來還有幾分的室友之情。
更別提喬源大二剛開學沒多久就去燕北大學了,在拋去寒暑假,大家做室友的時間滿打滿算其實還不到一年。加上這麼多年都沒了什麼聯繫,突然有事兒了直接找過去,張寥廓也拉不下那個臉。
他甚至猜到了今天滬爺胡申浩主動在群里e他,聊起這個事,未必沒有讓喬源看到的意思。可惜聊了大半天,喬源一直也沒在群里冒泡。
當然,張妻廓也能理解這一點。畢竟喬源現在的地位跟以前不一樣了。
以前讀書的時候,他也曾天真的認為,大人物說一句話任何時候都很好使。
但在單位里工作這幾年他算是深刻明白了為什麼古人會說縣官不如現管。
甚至有時候位置越高,越難處理那些雞毛蒜皮的小事。
畢竟真到了一定地位,就必須得愛護羽毛了。換句話說得要臉,行事自然不能跟他們這樣的小人物一般肆無忌憚。更別提喬源只是在學術界有巨大聲望。
總之,張妻廓的想法也很簡單。這種他覺得自己完全占理的事,壓根不想動用喬源的這層關係。要用也是等以後萬一真遇到過不去的坎了再用。
【寫到這裡我希望讀者記一下我們域名𝖳𝖶看書📕𝗌𝗁𝗎.𝗍𝗐】
現在最讓他糾結的就是家人的擔憂。
酒店裡張密廓一直在忙著在微信里安撫老爹老媽。順便等著官方的電話。
終於電話來了。 是個陌生的號碼,不過看到是星城的手機號,張寥廓毫不猶豫的便直接接通。
「喂,你好,請問是張寥廓先生嗎?」
電話里傳來一個中年男人聲音,很陌生。
好在這兩天張妻廓接到陌生的電話多了,已經免疫了。
而且對方的聲音聽起來很溫和,能感覺到善意。
「我是,請問您是?」
「哦,你好。我姓徐,叫徐學寧。目前擔任星南大學的副校長。」
這個自我介紹讓張寥廓愣了愣。
星南大學的名頭他自然聽說過。可以說是整個星南省最知名的大學,即便放到省外名氣也很大。即便分數線暫時比江大差了那麼一點,但如果是工科的優勢專業,顯然星南大學的畢業證要更實用。這麼一所知名雙一流大學的副校長主動找到自己,著實讓張寥廓心裡打起了嘀咕。
當然也讓他想到了一種可能。
「您好,徐校長,您打這個電話是?」
「是這樣的,我聽說你是江大數學系畢業的,喬源院士你應該認識吧?」 張妻廓猶豫了兩秒,還是應了句:「嗯,認識。喬院士在江大時是我的室友。」
聽到他這個回答,對面的語氣明顯更熱情了幾分。
「難怪了。張先生,不瞞你說,喬院士對發生你在身上的事情很重視。
但你也應該能理解,鑑於喬院士的身份,有些事不好出面。
正好我們跟喬院士正在籌建的院士站是我和喬院士那邊對接的。
所以他專門給我打了個電話,委託我在力所能及的範圍內幫你一把。
你要是現在不忙的話,能不能來一趟星南大學,先把當時的情況跟我詳細說一下。」
聽了這番話,張妻廓連忙應道:「好的,徐校長,那我現在就打車過去。」
「哦,對了,差點忘了你是來星城旅遊的。而且現在時間也不早了。這樣,你加我微信,把位置發給我,我安排個司機過去接你。」在張密廓感受到來自星南學術界的溫暖時,楊證道正在向喬源提著建議。
此時兩人已經回到了燕北國際數學研究中心喬源的辦公室里。
「我覺得您像今天這樣直接插手網絡上的熱門事件還是不太妥當。」
如果換了簡從以或者孔令霄大概會用更委婉的方式去勸諫喬源。 但楊證道的性子明顯更為直接,提意見時沒有那麼多的彎彎繞繞。
「我有直接插手嗎?我只是給合作院士站的招聘事宜提一些建議而已。」
顯然喬源壓根不覺得這是多大的事情,隨口應付了句。
理由也很充分。
他的確只是提了個建議而已。
至於這個建議最終能不能落實,又好不好落實,那就不是他需要考慮的問題了。
總之喬源覺得自己有理有據,但楊證道並沒有選擇和他爭辯,只是用那種你說的話你自己信不信的眼神看著他。「哎,好吧,咱們說正經的,我用這種方式幫一下我之前的室友,而不是通過你,其實也有其他方面的考慮。」喬源坐到自己位置上,嘆了口氣後,認真說道。
「有別的考慮?」楊證道確認了句。
「當然。不然你以為我喜歡麻煩自己?」
喬源下意識眨了眨眼,隨後一本正經的解釋道:「你想沒想過未來基層管理系統正式試運行之後,最麻煩的事情是什麼?」楊證道搖了搖頭,很實誠的答道:「這好像不是我需要考慮的問題。」
喬源一拍桌子道:「說得對,你是不需要考慮,但我這個設計者需要考慮啊。」
隨後壓根不給楊證道反應的時間,喬源便繼續闡述起了他的理由。 「喬貝恩政務系統上線之後最麻煩的問題其實就是未來的精細化管理。
我說得更不客氣些,就是以前那種基層什麼事都想糊弄過去的心態得有改變。
有法得依法,有規定就照規定辦事。地方規定不合理或者跟上位法有衝突就得改。
總之以前那套按鬧分配的做法肯定是行不通了。哪怕上網把現場視頻曝光,也不能掐頭去尾。我覺得這次就是很好的機會。由我這個喬貝恩的設計者出手來定個調子。」
喬源這番鏗鋯有力的說辭差點把楊證道給說服了。
是的,還差了點。
「喬院士,您說這些話的時候,跟我剛入伍的時候,老班長忽悠我的表情差不多。」
楊證道如是說道。
喬源微愣,然後乾脆手一攤,說道:「行吧,那我說實話。以上只是一方面,主要是老大遇到的這事兒,讓我想到了在江大時一段不太愉快的經歷。我的那段經歷你肯定也是知道的。
所以我就想打個電話,因為能讓我心情舒暢。而我心情舒暢了處理問題的效率也能更高。年輕人的意難平,你應該懂。而且我不保證下次遇到這種事兒一定會交給你處理。」
說完後,喬源頓了頓,又認真說道:「以上是我最後的意見,你可以把這些寫進日報里。對了,為什麼你們都覺得我是會愛護羽毛的人?」楊證道被問住了,半晌不知道說什麼。
「既然當年我的老師和袁老都能為了我調動資源去做一些事情,為什麼我就不行? 難道我的名聲比老師和袁老更重要?再說了,我連學術聲望都不那麼在乎,更別提這種小事兒了。」喬源又補充了句。
「明白了。」楊證道點了點頭,感覺有些懊惱。
雖然他的建議的確沒什麼私心,但回頭想想又的確有些越界了。
「行吧,你先去忙,我晚上打算加會班。」
喬源如是道。
楊證道點頭離開,喬源也正式開始工作。
加班不是託詞。
航天局收集到的那些數據給了喬源很大的啟發。
他雖然已經大概找到了求解n-s方程的方法,但還是太慢了。
但在聽完了航天局的匯報後喬源又有了一個很大膽的猜想,如果他的猜想是正確的就能大大簡化求解過程,在節省算力的同時還能大幅度提升效率。在經典數學層面求解n-s方程,就是在給定了邊界條件後,通過方程計算出一個速度場和壓力場共同作用下的湍流狀態那些複雜且看似毫無規律的流動模式。如果能把n-s方程的解空間直接組織成一個辮子代數的表示空間,就能用他最熟悉的方法去求解。但問題是要做這種轉化需要一個自然基底。
比如當他想要要定義聯絡マ=+a,其中a是方程中的速度場,那麼對應非線性項(-v)就可以被表達為聯絡的曲率項。而在喬源的q(n)群理論中,這個曲率項會自然地被量子化。
這個時候問題來了。 量子化後的非線性項在當下的(n)群環境下是沒法處理的。因為沒有展開的理論基礎,或者說沒有一個定理或者引理去分解這一項。但根據航天局收集到的數據,在q=e&qt;in/4時,辮子操作女對應的曲率本徵值是離散的,並且還恰好與中心荷c(q)的整數倍一一對應。這個時候就給喬源提供了一個天然的自然基底,也就是辮子渦旋態。
在有了這個自然基底之後就意味著理論上來說,n-s在拓撲下的解,可以直接按照這些離散曲率本徵值展開。這一步其實和傅立葉展開的原理很像。無非是傅立葉展開的基底是平面波,而(n)群理論中是辮狀渦旋態。如果以上他的推導都是正確的話,意味著就能用這種方法根據初始邊界條件,去計算每個時間段的流場結構。雖然經典n-s方程中渦線重聯是一個高度非線性的局部過程,其結果對初始條件非常敏感,但如果帶入到n)框架中,這一過程其實是由辮子操作的閉合規則決定的。
每次重聯都會直接改變拓撲荷q,但同時總拓撲荷又是守恆的,因為局部的拓撲荷變化,必然會引起其他位置的拓撲荷變化來抵消。這個定理直接保證了重聯後的渦線構型不是任意的,而是由重聯前的辮子表示唯一確定。
這是之前喬源在論文裡早已經證明過了的重要定理。也是n-s方程可以求解的關鍵。
現在再帶入到了數據提供的自然基底,就能讓喬源大幅度縮減三維不可壓縮n-s方程的求解速度。之前喬源在航天局並沒有公布這個想法,是因為一切都是猜測,他還沒有直接上手測試。
所以喬源打算先試一試看這個預感能否成立。
很快,喬源就在這一假設前提下,把基於辮子渦旋態展開的整套公式都推導了出來。
接下來的工作就是設定一組初始條件和邊界條件後,交給超算去模擬了。
顯然這是喬貝恩最擅長的工作。這也是喬源設計喬貝恩這款通用人工智慧的初衷。
接下來不需要他去構建理論模型,喬貝恩自然會針對不同的情況,去構造各種可能的情況,諸如自然剪切流,槽道湍流又或者翼型擾流等,去驗證這套方法是否能快速計算出代數意義下的精確解。
當然這個代數精確解是在(n)架構下得出的。
因為中間將n-s方程轉化成辮子代數結構的過程,導致了宏觀的微觀化。 用數學的話說就是喬源的拓撲保護機制在q無限趨近於1時是會退化的。
但經典n-s方程對應的是q=1的情況。
所以對於原始的經典n-s方程來說,這只是一個變形極限下的漸進精確解。
當然如果在轉化為具體工程上,因為所有拓撲態構成了一個無限集合,跟傅立葉級數有無限多項類似。所以到了工程領域最終肯定因為截斷、離散、近似變成半解析數值解。
雖然不算完美,但只要能快速計算出來,就已經是數學上極大的進步了。
對於具體的工程應用而言也是極大的進步。
起碼能讓天氣預報,或者風預報的精確度可以質變式的提升。
比如風的登陸預測,不會再出現風成型一周前,n家預測機構,給出n種不同路徑這種尷尬的情況。大體位置會收攏在一個相對精確的範圍之內,比如原本超過一周的風路徑預報誤差可以從之前上千公里,控制在兩百公里以內,甚至更低。最關鍵的是,在提升精確度的同時,還能極大的節省算力資源。
當然最重要的還是在各個不同工程場景方面的應用。
比如不管是各種飛行器的氣動設計也好,機場塔的臨場應變指揮也好,這套模型都能發揮出極大的作用。尤其是在塔指揮這種需要快速應變的領域,這款模型能在極短時間內通過機場傳感器收集到的風向風力,不同類型機型起降時間等數據,快速計算出低空風切變,微下擊爆流,尾流消散等等情況,極大提升塔調度效率的同時,還能保證安全性。對於喬源自己而言,大概就是完成了對全世界數學家的承諾,在近期內給出了他能求解n-s方程的證據。完成這一切後,喬源照例和楊證道一起回家。
不過今天回家的路上,楊證道有些沉默。
喬源也沒理他,自行在腦子裡默默復盤著今天的推導。 畢竟明天一早起床後,喬貝恩給出的結果不那麼理想的話,他可能還要對這套公式再做些修補。最重要的是喬源並不認為自己做的不對,雖然他能理解楊證道是為了他好,但他的思想自由度還是不能被干擾的。就這樣來到門前,楊證道跟喬源道別時,突然很鎮重開口說了句:「喬院士,我覺得有必要解釋一下。我並不是怕承擔責任才會給出那些建議。單純是我覺得您沒必要因為一些小事情陷入負面輿論。」「我知道啊。」
喬源點了點頭,然後看了眼楊證道,隨口說道:「所以我只是不接受你的建議,對你也沒什麼意見。」楊證道點了點頭,準備轉身離開。
喬源手搭在門把手上,又補充了句:「不止是我的室友老大,如果是老簡又或者你的前輩老孔,以及你以後要是遇到這類麻煩,我也會想辦法做點什麼。所以拜託你們不要總想著給我立個沒有任何私心的聖人人設,我也壓根做不到的。不說一人得道雞犬升天,但如果可以,我肯定還是希望能讓身邊的人活得更舒坦些。」
說完喬源直接打開門走進了自家別墅,在開門的一瞬間帶著生活氣息的聲音也隨之傳了出來。有媽媽的喝罵聲,娃娃的咯咯笑聲…
直接到房門關上,聲音又被隔斷。
剛剛喬源的話和被門遮掩住的聲音,在這一瞬間讓楊證道突然有種說不清道不明的感慨……