八時以后，睡了一覺精神抖擻的王一男把所有人都召集起來，準備開工了。
當然116所的那幾個Ada攻城獅望著王一男的目光，跟望著五行山底下的妖怪，那是完沒有兩樣。
行家一伸手，就知有沒有，之前他們對王一男這個Bss，實話是有點不怎么服氣，整天在公司晃來晃去，吹牛打屁的，好像啥都不干的樣子。理論方面，李文靜是一個妖孽，連大佬們都服她，這個沒話，但是王一男，哼哼，寫過Ada么，這可是軍標，軍標啊。
貌似王一男連研究生都不是，就一個普普通通的科畢業(yè)生，還是物理系的。你你一物理系的科，老老實實弄你的固體物理得了，跑到我們家自留地里充大只，幾個意思啊。
他們仔細看了王一男三天的成果，有C++的代碼，也有Ada的模塊。C++不了，之前就知道王一男C/C++厲害，哥德爾系統(tǒng)大部分代碼都是他寫的。不過這么兩天就能讓整個流程跑起來，很不容易，雖王一男之前解整個方案的時候，看起來很簡單。
就是 Ada 到 G 再到 DragnEgg 最后是 LLVM的 IR，但是每一步都有一些特別的地方，比如116所使用的Ada擴展啊，GCC的運行環(huán)境啊，DragnEgg就更扯了，116所的攻城獅這兩天專門去看了這個項目，結果發(fā)現已經停滯兩年了！代碼庫里面最新的代碼居然編譯不過。
原來發(fā)起的那幫人貌似都干別的去了。。。
王一男居然修改了所有的編譯錯誤不算，還補上了所缺少的所有模塊代碼，他修正的DragnEgg版支持了最新的GCC和LLVM版。
原來以為這幾天王一男弄好這些已經很不容易了。
打開Ada的目錄，看到密密麻麻的D和Sales的時候，116所的攻城獅直接崩潰了。原來將飛控系統(tǒng)的Ada程序編譯成LLVM的IR代碼只是熱身而已，王一男將整個飛控系統(tǒng)的框架部搭建好了，輸入是飛行高度，速度等等飛行包線里面的各個點。形式化的是各個操縱面的狀態(tài)，包括發(fā)動機的輸出范圍，輸出就是實際獲得的各種真實或者模擬數據。
也就是，王一男實際上已經完成了一個**的迭代系統(tǒng)，可以直接使用給哥德爾系統(tǒng)進行訓練！
當然，這個系統(tǒng)跟實際的系統(tǒng)比較起來，做了大量的簡化，比如，原來發(fā)動機的推力曲線是一個復雜分階段不規(guī)則的曲線，王一男直接用一個線性的輸出代替了。
實際系統(tǒng)中雙垂尾是可以差動的，也就是各有自己的偏轉角度，為了簡化問題，王一男直接設定為隨動，也就是同步偏轉。
不過用數學的術語來，王一男的簡化系統(tǒng)和實際系統(tǒng)之間，是拓撲等價的，換句話來，王一男已經完成了95%的工作，剩下的事情從時間上來會耗費更多，但是從難度上來，最困難的部分已經部被王一男完成了。
剩下的都是力氣活了。
趙天成和李飛對于這個妖孽的老大已經習慣了，可116的那些攻城獅哪見過這個呀。厚厚的眼鏡片下面，都是星星，甚至還有一個哥們，拿著打印的幾頁程序，一定要王一男簽名。
是以程序下酒的話，這兩頁Ada 代碼，至少要配兩瓶老茅才行。
王一男很快就把剩下的工作分派下去，這回不用他再動手了，116所的攻城獅還有趙天成他們都搶著活干，用趙天成的話來，
”這回要是再讓老板出手，我們都可以一頭撞死了“
很快，一周之后，所有需要補充和完善的代碼就完成了，王一男他們用比較典型的模擬數據進行了神經絡的預學習，實際上就是相當于測試，找到代碼中隱藏的問題并改正。
感謝DOD（米國國防部）設計的Ada語言在第一天就把穩(wěn)定性放在最重要的位置，
感謝LLVM提供了如此優(yōu)秀的基礎架構和IR，使得哥德爾能理解Ada語言。實際上LLVM我們每個人幾乎都會用到，因為水果機is和MaOS都是利用LLVM架構起來的。
當然最感謝的還是王一男的天才架構能力，三天時間弄出來的牛X玩意。
這么龐大和復雜的系統(tǒng)，經過一周的迭代和回歸之后，居然修正了絕大多數嚴重的bug，剩下的，只是一些格式錯誤和警告信息之類的bug，王一男決定無視。
周末，最后一組測試用例順利運行完成。王一男在公司大聲宣布。
”一切就緒，哥德爾系統(tǒng)可以開始學習飛行了！”
“明天放假，大家該玩玩，該睡睡”，
“下周一接著干”
王一男隨即給楊總師打了個電話，告訴他這個好消息，并問他數據什么時候進場。
116所所積累的型號飛行數據，以及模擬數據，那是機密中的機密，比黃金貴重多了，當然不能隨大部隊一起過來。
楊總師數據早就準備好了，就等王一男的通知呢，他馬上聯(lián)系空軍的專機，明天就親自護送過來。
第二天下午，一架空軍的運輸機就空運了兩個集裝箱過來，里面是磁盤陣列，錢中華安排了部隊護送到容與公司。
周一，所有人都聚集在哥德爾系統(tǒng)前，兩個集裝箱的東西不能直接部接進來啊，光耗電就不得了。這段時間116所也沒閑著，他們專門做了一種分組的存儲機柜，每個機柜都是一個**的存儲單元。
通上電就能訪問，再通過光纖，就能輸入到哥德爾系統(tǒng)里面，這樣就可以每次接入一個機柜的數據。
王一男難得謙虛了一次，他對楊總師，
“我們前已經有了兩個系統(tǒng)，都有自己的名，其中一個看病的叫哥大夫”
“這個針對飛行器的人工智能，你也給它取個名字吧”
楊總師想了一會，“叫哥鯤鵬吧”，
“希望它能夠做到，怒而飛，其翼若垂天之云“
”能幫助我們的型號戰(zhàn)機，守護華國的天空“
”好名字“，王一男由衷的贊嘆了一句。
他再次檢查了供電，冷卻，還有就是接入點的情況，然后對趙天成，
”開始吧“
在一片寂靜中，趙天成在終端上啟動了訓練腳。不知道是不是錯覺，王一男感到嗡嗡的電流聲好像變大了一點，也變得歡快了一點。
這次訓練程序，王一男他們做了一些改進，在一些關鍵節(jié)點上會輸出調試信息，這樣一是在訓練過程中出現問題可以隨時調整。
二是可以大概估算訓練的進度。
三十分鐘后，終端開始一行行的輸出各種信息，第一個迭代節(jié)點完成了，王一男走過去，檢查了一下輸出的信息，
“嗯，一切正常”，他對楊總師，
“從目前的速度來看，完成部樣的訓練，大概需要兩周的時間”，
“這么久”，楊總師有點意外，”那訓練完成之后，得到對我們有幫助的缺陷還需要多久。“
“根據我們以往的經驗，訓練時間和分析時間的比例大概是五比一”。王一男回答到。
“也就是，大概十六天到十七天的時候，我們可以獲得結果”，楊總師問到，
“如果沒有什么特殊情況發(fā)生的話，是這樣的”，王一男回答。
“這段時間，你們派人在這里盯著就行了，沒必要人都在這里，我們這里也只需要一兩個人處理一些的異常”
“OK，我知道了”
“另外數據訓練完之后，我會讓錢中華的人幫忙就地銷毀，家里有備份，放在這里雖然很安，不過最安的，還是銷毀了好。”楊總師安排到。
“沒問題”，王一男封存了所有的終端，除了他自己以及緊急情況得到授權的趙天成以外，任何人不能接觸哥德爾系統(tǒng)。
于是在這個沒人打攪的安靜環(huán)境中，哥德爾系統(tǒng)開始學習飛行。
在哥德爾系統(tǒng)內部的信息空間中，沒有人能夠理解的結構在不斷的產生，進化和消亡。
如果有更高維的智慧生命能夠看到哥德系統(tǒng)的意識世界，然后把它翻譯成人類能夠理解的畫面，大概是這樣的。
一開始啥都沒有，后來，神要有重力，有空氣，就有了重力，有了空氣，有了阻力，也有了升力，
再后來各種形狀的物體，在空氣中，在風中，在不同密度和和速度的氣流中飛行，有的升起，有的落下。
再后來，如果有人能看到的話，就會驚奇的發(fā)現，各種人類歷史上出現過和沒有出現過的飛行器氣動布局，在哥德爾的意識世界中都出現了。
兩翼面、三翼面、單垂直尾翼、雙垂直尾翼、后掠翼、甚至前掠翼、升力體，翼身融合。
還有雙體，三體飛行器，還有環(huán)狀飛行器等等等等。
利用116所提供的T的數據，經過兩周的學習和進化，哥德爾學會了飛行。
各種形狀，布局的飛行器，在哥德爾的操縱下，已經可以自如的在天空翱翔。
訓練完成之后，就差最后一步了，那就是將最新版116所的飛行控制率軟件輸入到哥德爾系統(tǒng)中，然后進行模擬演算，尋找其中的缺陷。
楊總師親自將裝有最新飛控軟件的硬盤帶到帝都。
隨著時間的流逝，他所受到壓力也來大，連116所內部也出現了不少不同的聲音，自從上次會議開過之后，楊總師將所有的賭注部都押給了王一男，飛控軟件連一行更新都沒做。
116所內部就有人這樣太冒險了，總要有備份方案云云，建議楊總師成立一個單獨的隊伍對飛控軟件進行改進。
楊總師就一句話，反正半年后我就辭職了，你們愛咋整咋整，這段時間，就別添亂了。
把硬盤交給王一男，楊總師，
“這可是我身家性命，半輩子的名聲啊”
“哎呀，客官您盡管放心，我這店雖，那也是四九城里頭一份，您就等著好消息吧”
王一男一把搶過硬盤，“Case啦”，隨手就連上哥德爾系統(tǒng)，啟動了腳。
大概三十分鐘后，改進后的系統(tǒng)顯示了預估的進度，8時7分。
“好吧好吧，放假兩天”
“都回去休息吧”，王一男，
“老楊，要不要我?guī)阍诘鄱纪鎯商欤俊?br />
“不用了，我正好去部里面找?guī)讉�老朋友聊聊天，也得為萬一退休了提前做打算是不”
“嘿嘿”，王一男訕笑了兩聲。
“我現在只關心你們今年飛控一半的經費是多少”
【精彩東方文學 www.nuodawy.com】 提供武動乾坤等作品手打文字版最新章節(jié)首發(fā)，txt電子書格式免費下載歡迎注冊收藏。