第415章 拓荒和追趕
一個小時後,在所有人的注視下,肖宿敲完了最後一行代碼,推了一下鍵盤:
「好了,現在重新跑一次。」
眾人瞬間回神,連忙行動起來。
周偉按下按鈕,這一次進度條像被解開了什麼枷鎖一樣開始流暢地推進。
通信帶寬占用率從百分之九十八掉到了百分之七,節點負載曲線均勻得像教科書上的理想均衡圖。
進度條平穩爬過之前卡住的位置,商空間降維核心計算在一個半小時後完成,降維之後的有效設計空間維度只有原始變量空間的幾十分之一。
後續的凸優化求解收斂曲線平滑得無可挑剔,目標函數值以近乎完美的二次收斂速率逼近全局極小值。
當天傍晚,監控大屏上跳出一行綠色的粗體字:計算完成,全局最優解已收斂。
控制室里登時爆發出熱烈的掌聲和歡呼聲。
錢衛華站在肖宿旁邊,心裡翻湧的情緒說不清是激動還是感慨。
「肖教授,這套框架一旦跑通,我們算力研究院的名字就要掛在最頂級的材料科學期刊上了。
一套能把材料設計從試錯變成逆向求解的通用工具,簡直難以想像。」
肖宿淡淡的點了點頭,看著屏幕上最終收斂的那組最優解,腦子裡已經在自動對接下一步的計劃了。
這套參數給出的合金體系是以鈦鋁金屬間化合物為基體的,通過鈮和釩的協同微合金化調控層錯能,在保持鈦合金級別的低密度的同時,把高溫強度提升了將近三倍,疲勞極限直接翻了一番,熱加工窗口寬到足夠用現有產線直接做中試了。
利用這樣的材料,機器人關節完全可以實現在不增重的前提下把力控精度拉到亞微米級,隱身衣模板的硬度能比鎳基模具高出一倍,航空發動機中溫段的抗氧化性數據接近了現役高溫合金加防護塗層之後的水平。
而這還只是第一輪結果,框架本身是通用的,後續向高熵合金、非晶合金、難熔金屬這些方向推廣,只是換一組輸入參數的事而已。
目的已經達到,肖宿也就可以打道回府了,後續的保密手續、材料上報自然有高長安來安排。
很快,高長安走到他身邊,低聲說車已經安排好了,肖宿點點頭,轉身往下走。
錢衛華親自送肖宿下樓,在門口握了握他的手。
他心裡還有一堆關於新通信架構的後續部署問題想問,但也知道今天不是時候,最後只笑著說了一句:
「肖教授,下次要是還有項目,直接來找我啊,隨時都可以。」
……
從國家算力研究院回來之後,肖宿花了一天時間把計算框架的論文整理了出來。
論文標題很簡潔:《基於商空間降維與凸優化的金屬材料逆向設計框架》。
因為這是一個實驗工具,為了避免研究人員在應用的過程中出現偏差,肖宿的第一版寫的很詳細。
正文從序參量空間的定義講起,到商空間降維的構造,到有效設計空間上凸優化的求解,到天河超算上的數值驗證,每一步推導和每一組數據都嚴絲合縫。
最後附錄里附上了第一輪計算產出的那組鈦鋁基合金的完整參數,包括精確到小數點後兩位的成分比例、推薦熱處理窗口、以及預測的力學性能和抗氧化性能曲線。
這篇論文他沒有投到國外的任何期刊,而是直接發到了京大《數學紀元》上。
當然,發布的版本是經過高長安數據處理的第二版,核心參數全部做了脫敏,只保留了研究思路和理論框架。
附錄中那組合金參數也經過了泛化處理的示範性數據,驗證了框架的有效性,但是想要根據這些數據復現出原始配方,那是不可能的。
可即便是這樣一個簡單的框架,也足夠在材料界掀起一場軒然大波了。
自從肖宿關於哥德巴赫猜想和NS方程的一系列論文在《數學紀元》上首發之後,這本由京大數院主辦的期刊就再也不是一本普通的數學刊物了。
幾乎全球頂尖的數學系和理論物理系都把它列入了必讀清單,每一期新刊上線當天,普林斯頓、劍橋、法蘭西公學院、莫斯科大學的教授們會同時點開那個淺灰色的網頁。
從高能物理到凝聚態理論,從代數幾何到計算材料,幾乎所有需要用到前沿數學工具的領域都把《數學紀元》當成了案頭書。
在學術界,時間差就是護城河,而護城河一旦失守,領先就會變成追隨。
誰都不知道下一期里會不會又冒出一個能改寫某個學科底層邏輯的新框架,所以沒有人敢落下一期。
正因如此,當肖宿這篇關於金屬材料逆向設計的論文出現在《數學紀元》最新一期的頭條位置的時候,網站全球同時在線的訪問量幾乎瞬間飆過了三萬。
巴黎高等師範學院,數學系的一間辦公室里,阿蘭·圖雷教授盯著屏幕上的論文,手裡的咖啡杯被擱在桌沿,已經徹底涼透了。
他對著商空間降維那一段反反覆覆看了三遍,每看一遍,喉嚨里就發出一聲含糊的、介於讚嘆和嘆氣之間的聲音。
自從肖宿在《數學紀元》發表了哥德巴赫定理的證明和NS方程的一系列論文之後,阿蘭·圖雷教授就養成了一個習慣,那就是每天刷新一遍《數學紀元》的頁面。
他不是在期待什麼,而是怕錯過什麼。
果然,他的選擇是對的,肖宿這次又甩出了一個王炸,而且他甩出來的東西甚至不是純理論的,而是能直接掀翻整個材料學界的應用工具。
不過更讓他感到震驚的,還是肖宿的奇思妙想,他居然把規範場論里的商空間降維移植到了材料科學上,而且第一輪就跑出了一組能讓整個航空發動機行業睡不著覺的合金參數。
「商空間降維……他竟然把商空間降維用在了材料設計上。」
圖雷摘下眼鏡往桌上一扔,仰頭靠在椅背上,聲音裡帶著一種驚嘆:「我還在想怎麼在他的理論上做拓展,他已經把戰場搬到材料科學去了。」
辦公桌對面,他帶的博士後小心翼翼地問了句:
「圖雷教授,那我們之前在商空間纖維結構上的推廣工作……還需要跟進嗎?」
」做,當然要做。」
圖雷閉著眼睛,嘴角扯出一個苦笑,」只不過做完之後我們得重新定位了。
本來以為是在拓荒,現在看來,我們最多算是在肖宿鋪好的路上鋪一層瀝青。」
「好了,現在重新跑一次。」
眾人瞬間回神,連忙行動起來。
周偉按下按鈕,這一次進度條像被解開了什麼枷鎖一樣開始流暢地推進。
通信帶寬占用率從百分之九十八掉到了百分之七,節點負載曲線均勻得像教科書上的理想均衡圖。
進度條平穩爬過之前卡住的位置,商空間降維核心計算在一個半小時後完成,降維之後的有效設計空間維度只有原始變量空間的幾十分之一。
後續的凸優化求解收斂曲線平滑得無可挑剔,目標函數值以近乎完美的二次收斂速率逼近全局極小值。
當天傍晚,監控大屏上跳出一行綠色的粗體字:計算完成,全局最優解已收斂。
控制室里登時爆發出熱烈的掌聲和歡呼聲。
錢衛華站在肖宿旁邊,心裡翻湧的情緒說不清是激動還是感慨。
「肖教授,這套框架一旦跑通,我們算力研究院的名字就要掛在最頂級的材料科學期刊上了。
一套能把材料設計從試錯變成逆向求解的通用工具,簡直難以想像。」
肖宿淡淡的點了點頭,看著屏幕上最終收斂的那組最優解,腦子裡已經在自動對接下一步的計劃了。
這套參數給出的合金體系是以鈦鋁金屬間化合物為基體的,通過鈮和釩的協同微合金化調控層錯能,在保持鈦合金級別的低密度的同時,把高溫強度提升了將近三倍,疲勞極限直接翻了一番,熱加工窗口寬到足夠用現有產線直接做中試了。
利用這樣的材料,機器人關節完全可以實現在不增重的前提下把力控精度拉到亞微米級,隱身衣模板的硬度能比鎳基模具高出一倍,航空發動機中溫段的抗氧化性數據接近了現役高溫合金加防護塗層之後的水平。
而這還只是第一輪結果,框架本身是通用的,後續向高熵合金、非晶合金、難熔金屬這些方向推廣,只是換一組輸入參數的事而已。
目的已經達到,肖宿也就可以打道回府了,後續的保密手續、材料上報自然有高長安來安排。
很快,高長安走到他身邊,低聲說車已經安排好了,肖宿點點頭,轉身往下走。
錢衛華親自送肖宿下樓,在門口握了握他的手。
他心裡還有一堆關於新通信架構的後續部署問題想問,但也知道今天不是時候,最後只笑著說了一句:
「肖教授,下次要是還有項目,直接來找我啊,隨時都可以。」
……
從國家算力研究院回來之後,肖宿花了一天時間把計算框架的論文整理了出來。
論文標題很簡潔:《基於商空間降維與凸優化的金屬材料逆向設計框架》。
因為這是一個實驗工具,為了避免研究人員在應用的過程中出現偏差,肖宿的第一版寫的很詳細。
正文從序參量空間的定義講起,到商空間降維的構造,到有效設計空間上凸優化的求解,到天河超算上的數值驗證,每一步推導和每一組數據都嚴絲合縫。
最後附錄里附上了第一輪計算產出的那組鈦鋁基合金的完整參數,包括精確到小數點後兩位的成分比例、推薦熱處理窗口、以及預測的力學性能和抗氧化性能曲線。
這篇論文他沒有投到國外的任何期刊,而是直接發到了京大《數學紀元》上。
當然,發布的版本是經過高長安數據處理的第二版,核心參數全部做了脫敏,只保留了研究思路和理論框架。
附錄中那組合金參數也經過了泛化處理的示範性數據,驗證了框架的有效性,但是想要根據這些數據復現出原始配方,那是不可能的。
可即便是這樣一個簡單的框架,也足夠在材料界掀起一場軒然大波了。
自從肖宿關於哥德巴赫猜想和NS方程的一系列論文在《數學紀元》上首發之後,這本由京大數院主辦的期刊就再也不是一本普通的數學刊物了。
幾乎全球頂尖的數學系和理論物理系都把它列入了必讀清單,每一期新刊上線當天,普林斯頓、劍橋、法蘭西公學院、莫斯科大學的教授們會同時點開那個淺灰色的網頁。
從高能物理到凝聚態理論,從代數幾何到計算材料,幾乎所有需要用到前沿數學工具的領域都把《數學紀元》當成了案頭書。
在學術界,時間差就是護城河,而護城河一旦失守,領先就會變成追隨。
誰都不知道下一期里會不會又冒出一個能改寫某個學科底層邏輯的新框架,所以沒有人敢落下一期。
正因如此,當肖宿這篇關於金屬材料逆向設計的論文出現在《數學紀元》最新一期的頭條位置的時候,網站全球同時在線的訪問量幾乎瞬間飆過了三萬。
巴黎高等師範學院,數學系的一間辦公室里,阿蘭·圖雷教授盯著屏幕上的論文,手裡的咖啡杯被擱在桌沿,已經徹底涼透了。
他對著商空間降維那一段反反覆覆看了三遍,每看一遍,喉嚨里就發出一聲含糊的、介於讚嘆和嘆氣之間的聲音。
自從肖宿在《數學紀元》發表了哥德巴赫定理的證明和NS方程的一系列論文之後,阿蘭·圖雷教授就養成了一個習慣,那就是每天刷新一遍《數學紀元》的頁面。
他不是在期待什麼,而是怕錯過什麼。
果然,他的選擇是對的,肖宿這次又甩出了一個王炸,而且他甩出來的東西甚至不是純理論的,而是能直接掀翻整個材料學界的應用工具。
不過更讓他感到震驚的,還是肖宿的奇思妙想,他居然把規範場論里的商空間降維移植到了材料科學上,而且第一輪就跑出了一組能讓整個航空發動機行業睡不著覺的合金參數。
「商空間降維……他竟然把商空間降維用在了材料設計上。」
圖雷摘下眼鏡往桌上一扔,仰頭靠在椅背上,聲音裡帶著一種驚嘆:「我還在想怎麼在他的理論上做拓展,他已經把戰場搬到材料科學去了。」
辦公桌對面,他帶的博士後小心翼翼地問了句:
「圖雷教授,那我們之前在商空間纖維結構上的推廣工作……還需要跟進嗎?」
」做,當然要做。」
圖雷閉著眼睛,嘴角扯出一個苦笑,」只不過做完之後我們得重新定位了。
本來以為是在拓荒,現在看來,我們最多算是在肖宿鋪好的路上鋪一層瀝青。」