回到帝都,王一男的實驗室。
李文靜的表姐,叫做章子楓的,之前一直在颶風公司做,從前臺做到HR經理,再做到行政主管,聽表妹出來創業,非把颶風的工作辭了,那邊干的不開心,以后就跟表妹你混了。
孫偉也把來準備跟他一起去魔都的IC設計高手,馮祥給忽悠了過來。
容與科技總算是初具規模了,讓我們盤點一下容與科技的各路大神吧。
CEO王一男,年輕的天才科學家,精通凝聚態物理和軟件設計。
CTO李文靜,天才數學家。
CFO張琪,中年投資大叔,賭性十足又獨具慧眼。
理論部由李文靜負責,手下是來自科學院計算所的趙克勤。
軟件部由王一男親自負責,手下是李飛和趙天成。
硬件部由孫偉負責,手下目前就一個馮祥。
行政部和HR還有前臺,由李文靜的表姐章子楓負責。
這就是容與科技最早的9名員工。
王一男主持召開了容與科技第一次技術研討會,針對目前階段公司的核心任務,提升哥德爾系統的計算能力,開始了熱烈的討論。
李文靜首先提出了理論部的方案,這個方案涉及到哥德爾定理的某種變形,如果能在數學上突破某些理論限制的話,可以降低計算力的要求。
“大概能降低多少”,王一男問。
“保守估計%吧”李文靜回答。
“那最樂觀的估計呢”
“應該能到5%”
“那這個方向放棄吧,性價比太低,花那么大力量研究理論,最多,也就等價于提升一倍的計算能力。”王一男否決了李文靜提出的改進方向。
“理論組近期的工作任務,應該還是進一步完善現實系統形式化的理論工具,只有這樣,才能更快的將現實系統映射到虛擬空間中,更快的提升哥德爾系統解決現實問題的能力”
王一男。
“嗯,這是一個非常好的思路,之前我們花了三天時間來形式化孫偉的論文,這方面如果能有突破的話,三個時就可以搞定了”,李文靜同意王一男的法。
“我來介紹一下軟件部的方案”,王一男。
“經過我和李飛,趙天成的討論,也運用哥德爾系統對自身的運行環節進行了分析。我們發現目前在哥德爾系統運行過程中,主要的瓶頸還是在多維空間的搜索和匹配,這方面占了整個系統運行時間的9%以上,甚至對于一些復雜的系統,所占運行時間達到了驚人的99%。”
“針對這種情況,我們對多維空間的搜索和匹配進行了仔細的分析,理論上,這是一個NP完問題,也就是很可能在多項式時間無法解決的問題,這種問題特別適用于大規模并行處理,傳統的CPU體系,在這上面的效率是很差的。”
“事實上,我們目前的哥德爾系統已經是第二代了,第一代主要運算是通過CPU進行的,效率很差,我們做過一次升級,使用GPU也就是顯卡作為主要的計算單元,第二代系統比第一代系統計算能力提升了數十倍。”
“但是要想進一步提升,GPU的并行單元,還是太少”
“而且哥德爾系統有些特有的,復雜的算法,即使使用GPU來計算,也還是非常低效”,王一男。
“所以,我們把希望寄托在FPGA,也就是專用的邏輯電路上,這方面的方案,孫偉來介紹吧“
孫偉走到白板前,拿過水筆。
“我們組根據理論組提出的理論,以及軟件組提出的具體需求,認為在現有條件下,使用FPGA實現多維空間的搜索和匹配專用電路,是最佳的解決方案”。
“目前國際上的相關研究,主要是水木大學的彭博士,以及Standfrd的 Tler教授處于領先地位,Tler教授是我的導師。但是他們的研究目前還只涉及到三維空間,更高維度的空間,目前還沒有成熟的解決方案,難度也相當大。”
“不過”,孫偉話鋒一轉,“即使是不成熟的解決方案,也比目前采用GPU的方案提升效率五倍以上。
“當然,別忘了我們還有哥德爾系統身這個大殺器,根據之前在H65算法上的表現,我預計通過哥德爾系統對FPGA的設計方案進行持續改進之后,總體效率能提升二十倍。”
“二十倍啊”,王一男的眼睛都發亮了。
根據他和李文靜對李詩堯手稿的研究結果,目前哥德爾系統的運算能力再提升兩個數量級,就能將電子層面的晶格模型形式化,從而可以準確預測新的超導材料可能存在的區間。這樣不但能夠避開程潛的專利壁壘,還能從理論上,徹底解釋液氮溫區這一類超導體的行為。
“那還等什么,我們開始干吧,孫偉,我也干過一段時間FPGA,你們人手不足,直接把我當牲口使喚吧”
“老板,我們要等錢,FPGA可是相當燒錢的”
“買買買,咱們是有錢人,需要什么就買!”
隨后的幾個月,軟妹幣在王一男要哭出來的眼神中,義無反顧的隨風而去。
一臺臺設備被安裝到實驗室中。孫偉和馮祥,當然還有王一男首先根據 Tler 教授發表在IEEE上的一篇文章為基礎,李文靜他們改進了一點Tler的算法之后,設計出了第一代FPGA專用算法電路。
利用他們購置的昂貴設備,燒制出芯片之后,在地下室新弄了一個專用的機柜,用來測試新的FPGA芯片。
先將新的FPGA芯片接入現有哥德爾系統,再利用哥德爾系統自身的分析和診斷能力,發現這些FPGA電路的缺陷并且進行改進。
改進完了之后,重新燒制FPGA芯片,然后替換掉上一代的FPGA芯片,重新接入哥德爾系統中。
王一男把這種迭代,形象的比喻為,“一個抓住自己頭發,把自己一點點提高的巨人”
“嗯,我們從理論上證明了,抓住頭發把自己提起來,是可能做到的”
隨著哥德爾系統計算能力的提升,尋找缺陷進行改進的時間也在慢慢縮短。
每輪迭代所需要的時間,也從最早的一周,降低到最后的三個時。
終于,在三個多月艱苦的沖刺之后,哥德爾系統已經很難找到最終版FPGA電路的缺陷了。
這天下午,整個團隊的人聚集在一樓工位上,王一男將當初關于孫偉那篇H65的論文所做的形式化備份,輸入哥德爾系統。進化后的哥德爾系統到底有多大的提升,運行數據將明一切。當時上一代的哥德爾系統尋找那篇文章的缺陷,從晚上八點一直運行到凌晨四點,也就是花了8個時。
從終端上啟動分析指令后,現場靜的一點聲音都沒有。
一分鐘,兩分鐘,
五分鐘,十分鐘過去了,房間里只有嗡嗡的電流聲。
二十分鐘過去了,
二十五分鐘剛過,“嗶嗶嗶嗶”的蜂鳴聲響了起來。
“耶!”
“我們成功了!”
李文靜一把抱住了王一男,“我們成功了,”孫偉看了看周圍一水的大男人,好吧,哥就不抱了。
“運行時間從八時,也就是48分鐘,縮短到6分鐘,效率提升了接近二十倍,基達到了設計目標”,王一男。
“我看看運行的結果“,王一男點開了輸出的缺陷列表。
“嗯,結果也沒有問題,第一個缺陷還是去掉篩選環節,不過結果更精確了,提升效率是164%”
“第二個缺陷還是競爭鎖的問題,也沒問題”
“等等,這是什么?”王一男點在屏幕上的手指突然停住了。
“除了編碼單元(CUS)、預測單元(PU)和變換單元(TUS)以外,可以引入預處理單元,對圖像在時間和空間域上的分布進行分類,從而自動確定預設的宏塊大,預計可以提升編碼效率4%“,這個缺陷是什么鬼?
H65的規范里面,根沒有什么預處理單元。
“文靜,這個是你們最新研究的成果嗎”王一男問。
“不是”李文靜也是一頭霧水。
王一男看向孫偉,孫偉的頭搖的像撥浪鼓一樣,”我可沒這么大的事修改H65標準“
“貌似有什么不得了的東西發生了。。。”
”孫偉,咱們按照這個方案加上一個預處理單元,文靜,你們理論組分析一下理論上是否可行”。
“G G G”王一男拍拍手,“都動起來”
一個時后,新的FPGA芯片被燒制了出來,這次財大氣粗的他們沒用模擬器就直接燒制了芯片。視頻流被輸入了進去。
結果沒有出乎王一男的預料,在質量相同的情況下,運行的時間縮短了四分之一。
這也是目前為止,世界上效率最好的一塊H65專用芯片了。
只有一個解釋,哥德爾系統通過運算能力的數量級提升,從量變到質變,具有了某種更深層次的智能,甚至在某些情況下,可以超初始設定的問題領域。
“這件事,一定要嚴格保密”,王一男。
所有的人都明白這意味著什么,大家傻傻的點著頭。
“公司的安保系統,需要加強了,明天讓張琪過來,咱們商量一下安保的方案”
“今天孫偉,你和我就不回去了,我們在公司值班”
第二天一早,張琪匆匆來到公司,王一男正在洗漱呢,還沒來及把這個重大進展告訴張琪。
“我們有大麻煩了”,張琪。
【精彩東方文學 www.nuodawy.com】 提供武動乾坤等作品手打文字版最新章節首發,txt電子書格式免費下載歡迎注冊收藏。