當前位置: UU看書 > 玄幻 > 月之影面最新章節列表 > 第十四章 進化 哥德爾系統
選擇背景顏色: 選擇字體: 選擇字體大小:

第十四章 進化 哥德爾系統

回到帝都,王一男的實驗室。

李文靜的表姐,叫做章子楓的,之前一直在颶風公司做,從前臺做到HR經理,再做到行政主管,聽說表妹出來創業,非把颶風的工作辭了,說那邊幹的不開心,以後就跟表妹你混了。

孫偉也把本來準備跟他一起去魔都的IC設計高手,馮祥給忽悠了過來。

容與科技總算是初具規模了,讓我們盤點一下容與科技的各路大神吧。

CEO王一男,年輕的天才科學家,精通凝聚態物理和軟件設計。

CTO李文靜,天才數學家。

CFO張琪,中年投資大叔,賭性十足又獨具慧眼。

理論部由李文靜負責,手下是來自科學院計算所的趙克勤。

軟件部由王一男親自負責,手下是李飛和趙天成。

硬體部由孫偉負責,手下目前就一個馮祥。

行政部和HR還有前臺,由李文靜的表姐章子楓負責。

這就是容與科技最早的9名員工。

王一男主持召開了容與科技第一次技術研討會,針對目前階段公司的核心任務,提升哥德爾系統的計算能力,開始了熱烈的討論。

李文靜首先提出了理論部的方案,這個方案涉及到哥德爾定理的某種變形,如果能在數學上突破某些理論限制的話,可以降低計算力的要求。

“大概能降低多少”,王一男問。

“保守估計0%吧”李文靜回答。

“那最樂觀的估計呢”

“應該能到50%”

“那這個方向放棄吧,價效比太低,花那麼大力量研究理論,最多,也就等價於提升一倍的計算能力。”王一男否決了李文靜提出的改進方向。

“理論組近期的工作任務,應該還是進一步完善現實系統形式化的理論工具,只有這樣,才能更快的將現實系統對映到虛擬空間中,更快的提升哥德爾系統解決現實問題的能力”

王一男說。

“嗯,這是一個非常好的思路,之前我們花了三天時間來形式化孫偉的論文,這方面如果能有突破的話,三個小時就可以搞定了”,李文靜同意王一男的說法。

“我來介紹一下軟件部的方案”,王一男說。

“經過我和李飛,趙天成的討論,也運用哥德爾系統對自身的執行環節進行了分析。我們發現目前在哥德爾系統執行過程中,主要的瓶頸還是在多維空間的搜尋和匹配,這方面佔了整個系統執行時間的90%以上,甚至對於一些複雜的系統,所佔執行時間達到了驚人的99%。”

“針對這種情況,我們對多維空間的搜尋和匹配進行了仔細的分析,理論上,這是一個NP完全問題,也就是很可能在多項式時間無法解決的問題,這種問題特別適用於大規模並行處理,傳統的CPU體系,在這上面的效率是很差的。”

“事實上,我們目前的哥德爾系統已經是第二代了,第一代主要運算是透過CPU進行的,效率很差,我們做過一次升級,使用GPU也就是顯示卡作為主要的計算單元,第二代系統比第一代系統計算能力提升了數十倍。”

“但是要想進一步提升,GPU的並行單元,還是太少”

“而且哥德爾系統有些特有的,複雜的演算法,即使使用GPU來計算,也還是非常低效”,王一男說。

“所以,我們把希望寄託在FPGA,也就是專用的邏輯電路上,這方面的方案,孫偉來介紹吧“

孫偉走到白板前,拿過水筆。

“我們組根據理論組提出的理論,以及軟體組提出的具體需求,認為在現有條件下,使用FPGA實現多維空間的搜尋和匹配專用電路,是最佳的解決方案”。

“目前國際上的相關研究,主要是水木大學的彭博士,以及Standford的 Tyler教授處於領先地位,Tyler教授是我的導師。但是他們的研究目前還只涉及到三維空間,更高維度的空間,目前還沒有成熟的解決方案,難度也相當大。”

“不過”,孫偉話鋒一轉,“即使是不成熟的解決方案,也比目前採用GPU的方案提升效率五倍以上。

“當然,別忘了我們還有哥德爾系統本身這個大殺器,根據之前在H65演算法上的表現,我預計透過哥德爾系統對FPGA的設計方案進行持續改進之後,總體效率能提升二十倍。”

“二十倍啊”,王一男的眼睛都發亮了。

根據他和李文靜對李詩堯手稿的研究結果,目前哥德爾系統的運算能力再提升兩個數量級,就能將電子層面的晶格模型形式化,從而可以準確預測新的超導材料可能存在的區間。這樣不但能夠避開程潛的專利壁壘,還能從理論上,徹底解釋液氮溫區這一類超導體的行為。

“那還等什麼,我們開始幹吧,孫偉,我也幹過一段時間FPGA,你們人手不足,直接把我當牲口使喚吧”

“老闆,我們要等錢,FPGA可是相當燒錢的”

“買買買,咱們是有錢人,需要什麼就買!”

隨後的幾個月,軟妹幣在王一男要哭出來的眼神中,義無反顧的隨風而去。

一臺臺裝置被安裝到實驗室中。孫偉和馮祥,當然還有王一男首先根據 Tyler 教授發表在IEEE上的一篇文章為基礎,李文靜他們改進了一點Tyler的演算法之後,設計出了第一代FPGA專用演算法電路。

利用他們購置的昂貴裝置,燒製出晶片之後,在地下室新弄了一個專用的機櫃,用來測試新的FPGA晶片。

說先將新的FPGA晶片接入現有哥德爾系統,再利用哥德爾系統自身的分析和診斷能力,發現這些FPGA電路的缺陷並且進行改進。

改進完了之後,重新燒製FPGA晶片,然後替換掉上一代的FPGA晶片,重新接入哥德爾系統中。

王一男把這種迭代,形象的比喻為,“一個抓住自己頭髮,把自己一點點提高的巨人”

“嗯,我們從理論上證明了,抓住頭髮把自己提起來,是可能做到的”

隨著哥德爾系統計算能力的提升,尋找缺陷進行改進的時間也在慢慢縮短。

每輪迭代所需要的時間,也從最早的一週,降低到最後的三個小時。

終於,在三個多月艱苦的衝刺之後,哥德爾系統已經很難找到最終版本FPGA電路的缺陷了。

這天下午,整個團隊的人聚集在一樓工位上,王一男將當初關於孫偉那篇H65的論文所做的形式化備份,輸入哥德爾系統。進化後的哥德爾系統到底有多大的提升,執行資料將說明一切。當時上一代的哥德爾系統尋找那篇文章的缺陷,從晚上八點一直執行到凌晨四點,也就是花了8個小時。

從終端上啟動分析指令後,現場靜的一點聲音都沒有。

一分鐘,兩分鍾,

五分鐘,十分鐘過去了,房間裡只有嗡嗡的電流聲。

二十分鍾過去了,

二十五分鐘剛過,“嗶嗶嗶嗶”的蜂鳴聲響了起來。

“耶!”

“我們成功了!”

李文靜一把抱住了王一男,“我們成功了,”孫偉看了看周圍一水的大男人,好吧,哥就不抱了。

【目前用下來,聽書聲音最全最好用的App,集成4大語音合成引擎,超100種音色,更是支持離線朗讀的換源神器,huanyuanapp.org 換源App】

“執行時間從八小時,也就是480分鐘,縮短到6分鐘,效率提升了接近二十倍,基本達到了設計目標”,王一男說。

“我看看執行的結果“,王一男點開了輸出的缺陷列表。

“嗯,結果也沒有問題,第一個缺陷還是去掉篩選環節,不過結果更精確了,提升效率是16.4%”

“第二個缺陷還是競爭鎖的問題,也沒問題”

“等等,這是什麼?”王一男點在螢幕上的手指突然停住了。

“除了編碼單元(CUS)、預測單元(PU)和變換單元(TUS)以外,可以引入預處理單元,對影象在時間和空間域上的分佈進行分類,從而自動確定預設的宏塊大小,預計可以提升編碼效率4%“,這個缺陷是什麼鬼?

H65的規範裡面,根本沒有什麼預處理單元。

“文靜,這個是你們最新研究的成果嗎”王一男問。

“不是”李文靜也是一頭霧水。

王一男看向孫偉,孫偉的頭搖的像撥浪鼓一樣,”我可沒這麼大的本事修改H65標準“

“貌似有什麼不得了的東西發生了。。。”

”孫偉,咱們按照這個方案加上一個預處理單元,文靜,你們理論組分析一下理論上是否可行”。

“Go Go Go”王一男拍拍手,“都動起來”

一個小時後,新的FPGA晶片被燒製了出來,這次財大氣粗的他們沒用模擬器就直接燒製了晶片。視頻流被輸入了進去。

結果沒有出乎王一男的預料,在質量相同的情況下,執行的時間縮短了四分之一。

這也是目前為止,世界上效率最好的一塊H65專用晶片了。

只有一個解釋,哥德爾系統透過運算能力的數量級提升,從量變到質變,具有了某種更深層次的智慧,甚至在某些情況下,可以超越初始設定的問題領域。

“這件事,一定要嚴格保密”,王一男說。

所有的人都明白這意味著什麼,大家傻傻的點著頭。

“公司的安保系統,需要加強了,明天讓張琪過來,咱們商量一下安保的方案”

“今天孫偉,你和我就不回去了,我們在公司值班”

第二天一早,張琪匆匆來到公司,王一男正在洗漱呢,還沒來及把這個重大進展告訴張琪。

“我們有大麻煩了”,張琪說。(未完待續)