第85章 這真是本科新生
“新的權重矩陣公式,是我根據加權格拉姆矩陣不等式證明推匯出來,應約束數值應當不會超過十。”
早上。
資訊與工程學部,無線定位系統專案組。
徐銘將自己推匯出的新加權矩陣公式,在小組例會上拿出來交流。
昨天晚上他在和林偉師兄討論後,對自己的新加權矩陣公式更加有信心,於是一大早簡單吃幾個包子,便立刻來到專案組這邊分享喜悅。
專案組例會,每週都要進行兩到三次,旨在讓大家更好對接工作。
查漏補缺。
許崇興作為專案主要負責人,自然也會參加。
但今天他實在沒想到,剛過來就聽到好訊息,並且還是從徐銘口中講出。
要知道從他去數院借人,到徐銘加入小組,總共才短短几天時間。
本來想著週末讓大家稍微休息下,畢竟這段日子為最佳化定位模型都沒少熬夜。
不曾想徐銘選擇繼續研究專案痛點,關鍵還成功得到新加權矩陣公式。
許崇興此時審視著手中公式。
待聽完徐銘的話,抬起視線鄭重詢問一句。
“有把握嗎?”
“我對我的新加權矩陣公式有信心。”徐銘聞言斬釘截鐵沉聲回答。
完全沒有半分遲疑。
儘管公式尚未進行驗證,無法得到具體數值,可絕對要優於當前病態公式。
要問他哪裡的自信?
自然是那篇,被理論與應用數學通訊期刊,接受的加權格拉姆矩陣不等式論文。
而幾乎是他的話音剛落下,坐在旁邊的林偉,也開口接過話茬發言。
“昨天我和徐師弟共同進行了論證,確定權重矩陣的條件數與定位誤差存在定量關係,徐師弟正是以此推匯出現在的新加權矩陣公式。”
他在講出這些內容時,心裡則頗為感慨,知道自己還是低估了徐銘的天賦。
想到自個加入專案組這些天,沒有任何進展。
反觀徐銘剛來就給出新權重矩陣公式。
對比之下覺得自愧不如。
也難怪劉新傑經常把徐銘掛嘴邊,實在太容易給人留下深刻印象。
而與此同時。
坐在對面的郭昊強和王雯麗等人,聽這些話時目光始終沒有離開徐銘。
眼中不斷閃過複雜之色。
尤其王雯麗,心裡更是湧現出羞愧感。
週末自己好不容易下決心,在宿舍睡了個懶覺,本想著養足精神,等週一的時候以最佳狀態工作,結果現在告訴她還是本科生的新組員,星期天不休息硬是把新加權矩陣公式給推導了出來。
以至於突然覺得,壓力比先前還要大。
“這真是本科新生嗎?”
嘴裡暗自低喃著,依舊有些不敢相信。
雖說能被導師點名要來的人,縱使是本科新生,也肯定是有過人之處。
然眼下此種表現還是太超出預料。
就在這個時候,始終沒開口的郭昊強,略作遲疑給出自己的擔憂。
“導師。”
“關於徐師弟的權重矩陣公式,是不是再驗證下?”
“留給我們的時間不多了。”
距離奧組委技術委員會初選測試,差不多還剩下半個月左右時間。
若選擇採用徐銘的公式,重新構建模型實驗,基本上很難再有迴旋餘地。
如果最終結果仍存在較大誤差,勢必會被淘汰。
無緣數字奧運。
要是此公式出自林偉之手,他定然無條件信任。
奈何徐銘加入專案的時間短了些,且相對沒有太多的實操經驗。
許崇興把幾人的話悉數聽進耳中,食指有節奏的敲擊著桌子作思考狀。
其餘人皆保持安靜耐心等待。
最終過去十多秒,許崇興突然停下手上動作,挺起身子拍板做出決定。
“數學的推導是顯微鏡,能夠規避腳下的陷阱。”
“既然權重矩陣計算模組,是由徐銘和林偉負責,那我們就應該相信。”
“縱是失敗也由整個團隊承擔。”
“根據新的權重矩陣公式,儘快架構模型進行實驗。”
“好的導師。”郭昊強立刻應聲。
隨著任務重新安排下來,許崇興也不再耽擱,宣佈散會後全員進入工作狀態。
定位系統模型核心程式碼模組,是曹凱和魏大強主要負責進行架構。
因此接下來他們的工作量會比較高。
說起來徐銘倒是想參與程式設計,剛好實際檢驗下程式碼通感所帶來的效果。
但由於各自分工不同,只得被迫享受空閒。
……
之後的兩天。
徐銘依舊按時去信院,儘管不用怎麼忙專案,卻也不會浪費時間。
正好能向林偉師兄請教實變函式。
充分利用資源。
提高學習效率和學科經驗。
實變函式最難的三大核心定理,為葉戈羅夫定理的幾乎處處收斂,lusin定理的可測函式連續函式,以及勒貝格積分與極限交換的條件。
參與學習小組活動時,沒少聽嚴偉豪和高科他們吐槽難度太高。
甚至傳下來不少順口溜。
可測函式滿街跑,處處收斂誰擔保。
控制收斂條件多,漏了條件翻大車。
不過實變函式就像是‘數學健身’,過程痛苦但突破後思維肌肉暴漲。
無論使用l^2解微分方程,還是測度論玩機率,都稱得上是降維打擊。
徐銘則是藉助模型解構能力,把複雜核心定理分解為更簡單的視覺化模型。
從而快速掌握靈活使用。
這天上午徐銘坐在自己位置上,拿了本實變函式解題指南鞏固。
旁邊林偉同樣比較清閒,除時不時到郭昊強曹愷那邊瞅上幾眼,剩下的時間都在草稿紙上推導公式,研究自己的數學博士課題。
“簡單的函式逼近問題,直接呼叫實變函式中的標準定理即可。”
徐銘很快解答出其中一道例題的小問,自顧自低喃的同時移動目光看向下個問題。
“利用的結論和葉戈羅夫定理,證明:”
“對任意δ>0,存在一個可測子集e_δx,……使得在e_δ上f_n→f一致收斂。”
“這個問題倒有點麻煩。”
伴隨題目資訊映入眼簾,徐銘眉頭皺了下,然後把草稿紙翻到新的一頁,當即開始嘗試確定思路證明求解。
然剛寫幾行公式,卻聽師兄林偉的聲音在耳旁響起。
“師弟。”
“實變函式題單靠自己摸索可不行,還是讓師兄給你好好講一下吧。”
林偉知道徐銘要學實變函式,心裡非常高興,想著自己終於能指導師弟。
畢竟在加權矩陣公式上,這個願望遺憾未能實現。
於是當天他便講了學習實變函式的技巧,並讓徐銘隨時找他請教大題。
奈何實際情況是,兩天時間都快過去,他依舊沒有講題的機會。
都懷疑是不是徐銘不好意思麻煩。
為此他今天看到徐銘解題似乎不是太順利,便索性主動過去講題。
徐銘抬眼瞧見身旁熱情的林偉,臉上現出些許難為情的尷尬神色。
沒接觸實變函式前,受嚴偉豪和高科的薰陶,覺得實變函式難度爆表,擔心自學效率可能會很低,這才向林偉師兄表示會向其請教題。
哪曾想真正瞭解後,發現也就那麼回事,先解構再推導很容易掌握。
這種情況下,自然不好再麻煩別人。
但實在沒有想到,師兄林偉竟主動過來了。
確實正如劉新傑講的那樣,這位博士師兄很喜歡給學弟學妹講課。
思維快速運轉,立刻回過神來讓出位置,伸手指向正在演算的題目。
“那麻煩師兄給我講下這道題吧。”
“我看看。”林偉聞言自信淡笑爽朗回應。
不得不說作為數學院博士,林偉面對實變函式,還是有著自己的解題思路。
加上幾年裡不知道做過多少例題,看完題目後很快便開口講解起來。
“這道題要求利用前面的結論,來證明最終的一致收斂結果。”
“如果直接對{f_n}和f用葉戈羅夫定理,就繞過了前面的結論容易掉進陷進,必須巧妙的結合兩者來證明。”
“核心思路就是逼近加三角不等式,以及多次應用葉戈羅夫定理。”
林偉快速講完方法,下秒正要接過水筆,為徐銘列出證明過程步驟,卻見徐銘臉上閃過喜色當即開口發言。
“師兄,我懂了。”
聽到這句話林偉頓時一愣:“這就懂了?”
在他的印象,高班那些數學競賽生,當年除此接觸實變函式也花費不少時間訓練,才算初步掌握定理能夠自行解答實變函式大題。
但現在徐銘剛學兩天,還屬於自行摸索。
面對複雜的葉戈羅夫定理題,應該沒有那麼容易聽懂理解才對。
想到有些學生臉皮薄,不好意思讓別人重複講。
大多時候會直接表示已經聽懂。
儘管徐銘不像,但出於對師弟的關心愛護,他還是打算多詢問兩句。
可惜嘴唇微動話還沒來及開口,便被接下來徐銘的一句話猛地刺激到。
“不過我想到另外一種更簡單的證明方法。”
說著徐銘筆走龍蛇,在草稿紙上快速書寫公式,正是新的解題思路。
林偉全部看下來,儘管不太敢相信,卻不得不承認此種方法更加簡潔且符合邏輯。
整個人如被灌了膠水,根本說不出話,心裡面隱隱有些後悔主動過來。
。