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