leiphone 訾竣喆

對於麻省理工電腦科學和人工智慧實驗室來說，2015年是繁忙的一年——從獲得圖靈獎，到創造演算法修復代碼創建，到開創檢測疾病的新方法，再到開發激動人心的新機器人，以及人工智慧系統等，麻省理工這一年為我們真帶來了不少新的技術。

隨著2015年接近尾聲，這裡總結了過去12個月以來，麻省理工在七個關鍵領域中的一些亮點：

DARPA機器人挑戰賽

在6月份舉行的DARPA機器人挑戰賽上，MIT人工智慧實驗室的團隊研發的6英尺高、400磅重的機器人可以爬樓、開門甚至駕車。雖然最後只名列第六，不過該機器人在預程式設計，和操作演算法上都有很多創新。

機器輔助醫療方面

研究人員已經開發出許多衛生保健和醫藥領域的工具，包括：

癌症預測工具——可提升醫生對於癌症的診斷能力，並且幫助醫生及時發現諸如老年癡呆或帕金森綜合征等疾病的前兆；

一個治療肥胖的新方法——依靠對新陳代謝的調整來治療肥胖病人；

3D列印心臟——能夠用於外科手術；

以及一個給美國總統歐巴馬在白宮使用的——能夠通過無線反射檢測和預測摔倒的設備。

能夠溶解、“開花”，或是當一名酒保的機器人

一個1釐米寬的微型機器人——它可以游泳、爬山、行走，還能承受其體重兩倍的重量，也具備自我毀滅能力；

在LED燈的輔助下，利用超過100個折紙機器人組成了“機器人花園”，這些行走、游泳中的機器人就像一朵朵花一樣；

一個柔軟的通過觸摸就可辨識許多物體的橡膠機器人，如雞蛋、CD或是一張紙等；

可以當酒保的“Beerbots”機器人，該機器人展示了如何通過先進的規劃演算法，使機器人在不可預測的環境中進行協作；

Stonebraker獲得了價值100萬美元的圖靈獎

Michael Stonebraker在今年成功獲得了電腦界的諾貝爾獎——圖靈獎，並獲得了100萬美元的獎金，以表彰其在大數據研究上的突出貢獻。

Michael Stonebraker在過去的40年裡一直致力於資料庫管理方面的研究，並且也親自開創了許多企業，説明推動了大數據行業的發展。

修復代码方面

研究人員開發了關鍵演算法,旨在優化、修復和恢復代碼：

Helium——可用於自我修復一些細小的代碼漏洞；

CodePhage——可以通過自動引入一些功能組建來修復軟體中的漏洞，最棒的是，整個修復過程不需軟體的原始程式碼；

DIODE——可用於檢查一些常見的記憶體溢出bug

可躲避障礙物的無人機

“大多數drone-related頭條新聞的焦點都在於出了什麼事故，那是因為他們沒有我們的軟體！”

Russ Tedrake團隊開發了一種可自動躲避障礙物的無人機——能夠以30公里每小時的時速自由在樹林裡飛行，這是由於其內置了一種全新的立體視覺演算法，這能夠説明無人機檢測到障礙物，並即時構建出周圍環境的地圖。

無人機配了兩塊智慧手機級別的 CPU、機翼上各有一個攝影機，可進行 120 幀/秒的拍攝。與無人機上常規的規避系統不同，該無人機只觀測離無人機 10 米距離的障礙，而不再處理其它如 4、6、12 米等位置將忽略不計。也就是說，無人機在飛行時“考慮”的事情少了，也就能依靠較弱的計算能力快速判斷障礙物。據稱，這款系統比現有的快 20 倍。

網路安全方面

今年麻省理工學院的網路安全研究人員的成果包括：

包括技術思維網路安全和互聯網政策研究計畫等，做了三個跨校園的嘗試；

一個有影響力的報告——反對向政府為個人資料提供後門，努力促使奧巴馬支持並推動防偽加密的相關立法；

發表了一篇關於網路匿名保護的論文——表示Tor有一個關鍵的設計漏洞，可以讓駭客用於確定伺服器的位置或資訊的來源位置等。

Via mit