第475章 不自量力的決定,係統聯調測試通過
」大家開始吧,希望今天的工作能夠順利。」
2月29日,星期天。
空天母艦總裝廠房控製中心,上午依舊有不少身影坐在終端前加班,並未選擇去過周末休息。
徐銘看向身旁的宋振宇,沉聲招呼一句,便很快進入工作狀態。
眼下武器係統算法問題已成功解決,隻剩下綜合控製係統算法的優化,因為宋振宇當初在錦飛,就和他一同優化過,五代和六代隱身戰鬥機的飛控係統。
.讓您輕鬆閱讀最新小說
加上他在母艦上的工作基本完成,於是順便拉過來參與算法優化。
而對此,宋振宇無比積極。
毫不誇張的講,就算他不說的話,估計對方也會主動提出來。
「是徐總師。」
這時宋振宇沒任何廢話,當即點頭應完聲,目光投向麵前的屏幕。
徐銘使用的是約束求解器框架,即將問題轉化為了一組高維空間中的方程,然後尋找滿足所有約束的最優解。這導致需要同時優化數十萬個變量,。
如果換做傳統計算機來進行,那麼消耗的時間將會大幅度拉長。
正因為現在有了,通用超導量子計算機,徐銘才會利用這種方法尋找最優解。
就這樣。
隨著時間一分一秒過去,徐銘觀察的同時,還不忘出聲鼓勵眾人。
「我們處理的是高維非線性最優控製問題,維度極高求解難度大,每一步都需要重新計算,整個係統算法的狀態演化。」
「所以不用太過著急。」
「依靠量子計算機的運算速度,短期內能解決。」
但就在這時,徐銘在算法調試過程中,卻注意到了一個奇怪現象。
「不管初始狀態如何變化,最優解參數空間,似乎總是集中在一個低維子流形附近————」
他邊認真思考邊輕聲低喃,對這個子流形並非預先設定,而是從計算過程中自動出現的情況,頓時表示非常感興趣。
下秒當即拿起手邊的筆記本和筆,在上麵寫下了自己的觀察。
——
「所有成功收斂的解,在參數空間中落在了一個約12維的曲麵上,這意味著有效的控製自由度,遠小於名義上的自由度。係統本身在以一種,尚未理解的方式選擇自己的有效維度。」
接下來的時間,他把不同軌道條件下的最優解放到一起。
很快發現它們雖分布在曲麵上不同位置,但卻滿足相同的對稱性約束。
且當某些參數發生變化時,最優解的結構不變。
麵對自己的觀察發現,徐銘的思緒,不由得回到當初證明黎曼猜想的時候。
想到眼下這種對稱性,與他在證明黎曼猜想時構建的臨界線結構,具有相同的數學形式。
那是一種將高維空間的點,給映射到低維流形上的操作。
同時鏡像對稱中的模空間」也遵循類似結構。
「如果它們的結構具備相同的數學形式,那麼L—M對偶猜想所描述的對偶映射,是否也具有相同形式?」
徐銘大腦飛速運轉下,整個人隱隱有種興奮,就像是成功找到了兩個斷掉的線頭。
甚至有可能把它們重新連接在一起。
空天母艦控製性問題的對稱結構,和他之前提出來的L—M對偶徐氏猜想,本質上是同一種數學操作。
把高維空間中的對象,映射到一個對稱性更高的低維空間中,使得原本複雜的結構,在該空間中簡化為等價類的集合。
若是他的判斷沒錯,那便相當於是,找到了一條新的證明L—M對偶猜想的方向。
原本他在之前國際數學家大會上,提出自己的首個數學猜想,是想給數學界留點有價值東西,把最終的證明交給未來數學的新鮮血液。
怎奈幾年時間過去,對徐氏猜想的證明,不但沒有突破性進展,反倒讓數學界陷入停滯不前的狀況。
不知多久沒有誕生出大的成果。
。學數入投新重他讓想乎似,思意話平魯張聽,時師老看去次上是別特
w t . p o o在盡節章說小新最
。氣底的想猜此明證了有他讓卻,現發外意的下眼可,算打麵方沒他始開剛,明證的想猜氏徐對成完手親
。導推去間時花要需還,何如況情體具然當
。學數論理究研去跑會不定肯他,刻時鍵關艦母天空值正兒會這過不
。麵上解優最到入投力意注把舊依,置擱導推把時暫好隻他,些這楚清想
。後天三
。解優最的束約有所足滿到找尋於終銘徐,下持支的機算計子量在
。決解題問法算的統係製控艦母著誌標
」。機算計控主艦母署部法算新把再後然,天一息休好好先,苦辛都家大間時段這,了成完作工的們我「
。話喊聲放著笑微人等宇振宋向看身起站後然,容笑出現浮上臉氣口了鬆是先他,果結的饋反台平雲揮指子量到看銘徐
。來起快歡間瞬都圍氛的內心中製控,下落音話他隨伴。好極是說以可情心的銘徐,現發新了有上想猜氏徐在帶順並,決解利順部全天今到,題問法算項兩的在存統係艦母現發從
。呼歡掌鼓頭帶是更,宇振宋中其
。間時的試測飛首式正,艦母天空鳥鸞屬仍則,的待期人讓最但
。格資的試測道軌地近往前飛起艦母讓,統係力動行運了備具本基就也,後位就部全法算統係待,成完裝組已體主體硬艦母天空竟畢
。問詢銘徐向待及不迫,人有便快很此為
」。師總徐「
」?了試測飛首行進能就是不是,後機算計控主艦母到署部等,化優了成完都法算心核統係製控和,法算統係器武的艦母在現「
。答回待等銘徐著視注頭扭紛紛家大,光目人有所場在引吸時頓,落剛腳前音話
,裡眼在看情神的人幾前眼把