第664章 尋找泛函 三
大年三十的年夜飯散場後，孔采維奇紅光滿面地帶著那張寫滿符號的餐巾紙，幾乎是哼著俄羅斯小調回了招待所。
解決了恩師鬧情緒的這個小插曲，徐辰總算能把全部精力投入到自己的研究中。
……
時間終於來到了二月底。
那天凌晨兩點十七分，M1完成了最後一輪計算。
徐辰沒有立刻查看結果。
他先去洗了把臉，重新泡了一杯濃茶，然後才坐回電腦前。
屏幕上，最終報告一共分成四個部分。
【候選泛函A：全局條件下不具備實用穩定性。】
【候選泛函B：在強約束邊界下成立。】
【候選泛函C：在主要運行區域內成立。】
【候選泛函D：可與候選泛函C形成互補控制結構。】
徐辰的眉頭逐漸舒展開來。
第一個泛函看起來最漂亮，形式也最簡潔，但穩定條件太苛刻。
它要求等離子體的磁場拓撲始終處於一個很窄的區域內。不能出現過強的高階擾動，更不能讓局部磁島超過某個閾值。
這樣的泛函，在理論上很有價值。
但在工程上，幾乎等於要求一輛汽車永遠不能遇到顛簸路面。
「可以留作理論參考，但沒法當主方案。」徐辰在旁邊寫下批註。
第二個泛函相對保守，穩定區域較窄，但優點是判定速度快，硬體要求也低。
它更像是一套緊急制動系統。平時不一定最優雅，但真出事的時候，至少能第一時間告訴你：現在還能不能剎住。
第三個泛函的適用範圍最大，可以覆蓋托卡馬克絕大多數正常運行狀態。
它才是真正意義上的主控方案。
但它有個明顯缺陷。
當系統受到某類突發擾動時，泛函的下降方向可能短暫偏轉。
這種偏轉未必意味著系統真的失穩。
但對於安全控制器而言，哪怕只有極小概率，也不能賭。
核聚變裝置不是遊戲副本，不能靠「殘血反殺」來賭奇蹟。
尤其托卡馬克里的等離子體，一旦出現不可控破裂，代價絕不只是屏幕上多幾個紅色報警框那麼簡單。
好在第四個泛函恰好補上了這個缺口。
本書首發 TW 看書網伴你讀，𝓈𝒽𝓊.𝓉𝓌超順暢 ,提供給你無錯章節，無亂序章節的閱讀體驗
嚴格來說，候選泛函D並不是完全獨立於C的另一條路線。它更像是C在某些極限狀態附近的「鄰接穩定區」。
當候選泛函C的下降結構開始異常時，系統不會立刻跌入不可控區域，而是有一定概率滑向D所描述的那片穩定邊界。
換句話說，C的極限情況與D的可控區域，存在一段非常微妙的重疊。
這段重疊，正是兩者能形成互補控制的關鍵。
徐辰盯著這兩份結果看了很久。
「一個負責正常駕駛，一個負責緊急糾偏。」
他在紙上畫了兩條相互交錯的箭頭。
「如果C的下降結構出現破裂，就切換到D。」
「如果D在強約束狀態下遇到退化，再切回C的低頻穩定區。」
兩個方案不再是簡單的相互替代，也不是彼此競爭，而是形成了一個帶有邏輯切換的雙層控制系統。
正常運行時，由C維持主穩定軌道。
一旦C進入高風險邊界，D接管，把等離子體引導到另一片可驗證區域。
如果D繼續向更苛刻的邊界逼近，系統再反向切回C的低頻穩定區。
這有點像在懸崖邊修了兩條棧道。單獨看，每一條都有危險路段；但如果在關鍵位置修好連接通道，兩條路反而能互相救命。
當然，這仍然是在霍奇猜想成立的條件下得到的結果。
其中某些拓撲結構能否在更一般的情形下保持完整，徐辰還沒有最終答案。
尤其是在某些極限狀態下，數學模型顯示系統「理論上」會回到穩定態。
但那個極限狀態實在太極限了。
極限到什麼程度？
大概就像你要把一枚硬幣立在桌面上，而此時的硬幣在桌面上旋轉，計算結果告訴你，只要空氣擾動滿足某個極其苛刻的條件，它最終可以自己站起來。
問題是，現實里的工程師看到這一幕，第一反應絕不會是鼓掌，而是趕緊伸手立住硬幣。
徐辰也一樣。
他並不敢保證，在真實托卡馬克裝置里，等離子體一定會像數學模型那樣「優雅地自我修復」。
這就是眼下這套方案最尷尬的地方。
它看起來已經跑通了，但它依然只是一個半成品。
這幾個泛函很可能抓住了穩態運行的關鍵結構，可一旦遇到真正的極限情況，沒人敢拿反應堆去賭它是不是會自動回穩。
最現實的結果，大概率是在某個預警閾值觸發後，保護系統直接介入，然後關停裝置。
畢竟工程安全不是數學家的浪漫。
……
除此之外，這套方案還有另一個問題。
想讓等離子體進入這些泛函所描述的穩定區域，並不是按下啟動按鈕就完事了。
它需要極其精密的工程控制。磁場位形要提前調整，等離子體電流爬升路徑要重新設計，加熱功率要分階段注入，邊界擾動還要被實時壓制。
說白了，就是為了讓等離子體「走到正確的數學位置上「，前期得花費大量能量和時間做鋪墊。
不同托卡馬克裝置的磁體結構、真空室形狀、加熱方式都不一樣。
EAST能用的調試路徑，換到ITER身上未必照搬得動；ITER能跑通的參數，換到另一台機器上也可能完全失效。
這意味著每一台裝置，都要重新校準一遍。
這活兒不難理解，但極其費錢、費電、費時間。
屬於那種領導聽完原理後覺得「很有前景」，工程師聽完執行細節後想當場請病假的項目。
徐辰靠在椅背上，長長地吐出一口氣。
「不錯。」
至少，它已經比之前那個只能在紙面上成立的單一泛函，前進了一大步。
只要霍奇猜想沒有被解決，這幾個泛函的工程意義就始終打著折扣。
它們可以作為參考，可以作為模擬，可以作為下一階段實驗設計的理論依據。
但真要放心大膽地上工程驗證，尤其是把安全閾值往極限方向推，還遠遠不夠。
可如果有朝一日，霍奇猜想被證明了呢？
那一切就完全不同了。
到那時，這幾個泛函就不再是「看起來很可靠「的經驗模型，而會變成被數學證明鎖死的穩定結構。
安全閾值可以被推到一個現在看來近乎恐怖的區間。
等離子體的軌跡哪怕在監控畫面上看起來驚險萬分，只要它仍落在泛函控制的數學區域內，就不需要立刻停機。
因為數學已經提前告訴你：
它一定會回來。
這就是數學證明的霸道之處。
……
解決了恩師鬧情緒的這個小插曲，徐辰總算能把全部精力投入到自己的研究中。
……
時間終於來到了二月底。
那天凌晨兩點十七分，M1完成了最後一輪計算。
徐辰沒有立刻查看結果。
他先去洗了把臉，重新泡了一杯濃茶，然後才坐回電腦前。
屏幕上，最終報告一共分成四個部分。
【候選泛函A：全局條件下不具備實用穩定性。】
【候選泛函B：在強約束邊界下成立。】
【候選泛函C：在主要運行區域內成立。】
【候選泛函D：可與候選泛函C形成互補控制結構。】
徐辰的眉頭逐漸舒展開來。
第一個泛函看起來最漂亮，形式也最簡潔，但穩定條件太苛刻。
它要求等離子體的磁場拓撲始終處於一個很窄的區域內。不能出現過強的高階擾動，更不能讓局部磁島超過某個閾值。
這樣的泛函，在理論上很有價值。
但在工程上，幾乎等於要求一輛汽車永遠不能遇到顛簸路面。
「可以留作理論參考，但沒法當主方案。」徐辰在旁邊寫下批註。
第二個泛函相對保守，穩定區域較窄，但優點是判定速度快，硬體要求也低。
它更像是一套緊急制動系統。平時不一定最優雅，但真出事的時候，至少能第一時間告訴你：現在還能不能剎住。
第三個泛函的適用範圍最大，可以覆蓋托卡馬克絕大多數正常運行狀態。
它才是真正意義上的主控方案。
但它有個明顯缺陷。
當系統受到某類突發擾動時，泛函的下降方向可能短暫偏轉。
這種偏轉未必意味著系統真的失穩。
但對於安全控制器而言，哪怕只有極小概率，也不能賭。
核聚變裝置不是遊戲副本，不能靠「殘血反殺」來賭奇蹟。
尤其托卡馬克里的等離子體，一旦出現不可控破裂，代價絕不只是屏幕上多幾個紅色報警框那麼簡單。
好在第四個泛函恰好補上了這個缺口。
本書首發 TW 看書網伴你讀，𝓈𝒽𝓊.𝓉𝓌超順暢 ,提供給你無錯章節，無亂序章節的閱讀體驗
嚴格來說，候選泛函D並不是完全獨立於C的另一條路線。它更像是C在某些極限狀態附近的「鄰接穩定區」。
當候選泛函C的下降結構開始異常時，系統不會立刻跌入不可控區域，而是有一定概率滑向D所描述的那片穩定邊界。
換句話說，C的極限情況與D的可控區域，存在一段非常微妙的重疊。
這段重疊，正是兩者能形成互補控制的關鍵。
徐辰盯著這兩份結果看了很久。
「一個負責正常駕駛，一個負責緊急糾偏。」
他在紙上畫了兩條相互交錯的箭頭。
「如果C的下降結構出現破裂，就切換到D。」
「如果D在強約束狀態下遇到退化，再切回C的低頻穩定區。」
兩個方案不再是簡單的相互替代，也不是彼此競爭，而是形成了一個帶有邏輯切換的雙層控制系統。
正常運行時，由C維持主穩定軌道。
一旦C進入高風險邊界，D接管，把等離子體引導到另一片可驗證區域。
如果D繼續向更苛刻的邊界逼近，系統再反向切回C的低頻穩定區。
這有點像在懸崖邊修了兩條棧道。單獨看，每一條都有危險路段；但如果在關鍵位置修好連接通道，兩條路反而能互相救命。
當然，這仍然是在霍奇猜想成立的條件下得到的結果。
其中某些拓撲結構能否在更一般的情形下保持完整，徐辰還沒有最終答案。
尤其是在某些極限狀態下，數學模型顯示系統「理論上」會回到穩定態。
但那個極限狀態實在太極限了。
極限到什麼程度？
大概就像你要把一枚硬幣立在桌面上，而此時的硬幣在桌面上旋轉，計算結果告訴你，只要空氣擾動滿足某個極其苛刻的條件，它最終可以自己站起來。
問題是，現實里的工程師看到這一幕，第一反應絕不會是鼓掌，而是趕緊伸手立住硬幣。
徐辰也一樣。
他並不敢保證，在真實托卡馬克裝置里，等離子體一定會像數學模型那樣「優雅地自我修復」。
這就是眼下這套方案最尷尬的地方。
它看起來已經跑通了，但它依然只是一個半成品。
這幾個泛函很可能抓住了穩態運行的關鍵結構，可一旦遇到真正的極限情況，沒人敢拿反應堆去賭它是不是會自動回穩。
最現實的結果，大概率是在某個預警閾值觸發後，保護系統直接介入，然後關停裝置。
畢竟工程安全不是數學家的浪漫。
……
除此之外，這套方案還有另一個問題。
想讓等離子體進入這些泛函所描述的穩定區域，並不是按下啟動按鈕就完事了。
它需要極其精密的工程控制。磁場位形要提前調整，等離子體電流爬升路徑要重新設計，加熱功率要分階段注入，邊界擾動還要被實時壓制。
說白了，就是為了讓等離子體「走到正確的數學位置上「，前期得花費大量能量和時間做鋪墊。
不同托卡馬克裝置的磁體結構、真空室形狀、加熱方式都不一樣。
EAST能用的調試路徑，換到ITER身上未必照搬得動；ITER能跑通的參數，換到另一台機器上也可能完全失效。
這意味著每一台裝置，都要重新校準一遍。
這活兒不難理解，但極其費錢、費電、費時間。
屬於那種領導聽完原理後覺得「很有前景」，工程師聽完執行細節後想當場請病假的項目。
徐辰靠在椅背上，長長地吐出一口氣。
「不錯。」
至少，它已經比之前那個只能在紙面上成立的單一泛函，前進了一大步。
只要霍奇猜想沒有被解決，這幾個泛函的工程意義就始終打著折扣。
它們可以作為參考，可以作為模擬，可以作為下一階段實驗設計的理論依據。
但真要放心大膽地上工程驗證，尤其是把安全閾值往極限方向推，還遠遠不夠。
可如果有朝一日，霍奇猜想被證明了呢？
那一切就完全不同了。
到那時，這幾個泛函就不再是「看起來很可靠「的經驗模型，而會變成被數學證明鎖死的穩定結構。
安全閾值可以被推到一個現在看來近乎恐怖的區間。
等離子體的軌跡哪怕在監控畫面上看起來驚險萬分，只要它仍落在泛函控制的數學區域內，就不需要立刻停機。
因為數學已經提前告訴你：
它一定會回來。
這就是數學證明的霸道之處。
……