二號會議廳。
張碩站在台上,對於跳躍方程和計算輸出之間的關係進行了講解。
信號評估體係對於信號組進行分析,每一個信號組通過評估體係後,都會得到一個概率評估數字。
最後則是進行能量值的計算。
信號組和信號組的能量值數據偏差極小,甚至小到可以忽略不及,大量的信號組能量值進行疊加計算,差異自然會變得更小。
所以,算法輸出是一條直線。
按照信號評估體係對信號組評估的概率對信號組進行重新排序後,再進行計算就可能出現‘有趣’的波動。
比如,數值偏大的信號度被堆放在一起,那麼一個區域的計算結果就會偏大,並會讓輸出直線出現向上的波動。
這就是跳躍方程極為特殊的取值情況。
“跳躍方程是方程組,也可以說是函數組,下麵兩個短方程,是對參數的調節。”
“在沒有特殊因素的影響下,輸出會呈現一條三維的直線。”
“反之,則會出現跳躍性的波動。”
張碩很認真的講解著。
他之所以塑造這個方程就是為了減少麻煩,因為算出輸出邏輯可以找到的問題太多了。
除非是把代碼拿出來挨個做講解,否則想進行提問總是能找到問題。
“如果哪一部分不明白,可以把數值代入方程進行計算,結果一目了然。”
“每個區間段的數據,都可以代入數字去驗證……”
“……”
這時候,很多人都已經聽明白了。
張碩的意思就是說,有計算輸出相關的問題,可以自己去找數字代入方程進行驗證,他也不用再針對去回答提問了。
從數學的角度上來說,這種方式是有效的,隻是需要完善底層的數學邏輯。
安德烈亞斯-霍克就問到了一個關鍵問題,“張碩先生,你如何證明你的方程涵蓋了所有計算輸出可能?”
換而言之,不能涵蓋所有的輸出可能,方程就是無效的。
張碩轉身走到了白板前,在方程組的右側標注了幾個取值範圍。
他解釋道,“這幾個取值範圍,涵蓋了所有的常規輸出可能,單個信號組的能量強度都包含在其中。”
“如果不是常規的情況,也就是在取值範圍之外,輸出的直線就會出現波動。”
“也就是我們說的,‘涵蓋了所有的非常規可能性’。”
他說完看向安德列亞斯,問道,“我應該不需要證明這個方程固定取值區域解的連續性,也就是光滑性問題吧?”
他說完補充了一句,“雖然也不難……”
安德烈亞斯-霍克愣了一下,旋即搖頭道,“當然不需要,這不是數學論證。”
他說完坐了下來。
這是算法報告,不是數學報告,當然不需要嚴謹到去論證數學問題。
另外,跳躍方程也隻是覆蓋了算法的常規輸出數據區間,歸根結底還是算法本身的問題,想驗證有很多的方法,比如,拿著代碼程序去做大量運算,看常規輸出數據是否存在異常。
這樣就足夠了。
安德烈亞斯-霍克坐下以後,會場環境變得嘈雜起來,很多人都已經明白張碩塑造出方程組的意義所在,也忍不住討論起來。
還是拿學校的衛生問題來舉例,他等於是給每個地方安裝了攝像頭,並覆蓋了所有的區域。
如果對於某個地方的衛生有疑問,可以自己去查看監控視頻。
前排的學者們,都十分的驚訝和讚歎。
他們感到驚奇的是張碩竟然能為計算輸出,塑造了一個看起來很奇特的方程組。
這實在太了不起了。
“這個方程是他自己研究出來的嗎?數學水平相當高啊。”
“他的數學水平本來就很高,《數學年刊》剛發表了一篇蒙日-安培方程的邊界拓展論文,他就是一作。這個研究打破了解的光滑性需要自然邊界的條件限製……”
“那是很了不起的研究!”
“這就說的通了。”
現場和cp破壞實驗研究有關的學者,感覺就不怎麼好了。
弗朗西斯科正揉著太陽穴,還左看右看和其他人進行眼神交流,他們都不知道該怎麼提問了。
他剛想到的問題被安德烈亞斯-霍克問過了。
其他事先想好的問題,都已經變得沒有意義,站起來提問肯定會被人說,“可以對照方程,帶入數值進行計算……”
這還怎麼提問!
其他人的感受也差不多。
張碩完全不按常理出牌,給算法輸出塑造了個方程組,他們感覺已經超出了領域範圍。
一方麵,研究找不出問題。