在這一年,麻省理工的實驗室又為我們帶來了哪些創新?

對於麻省理工計算機科學和人工智能實驗室來説,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

相關閲讀:

探祕MIT機器人Atlas:它的系統比戰鬥機還複雜

走進MIT商學院,你可能見不到一個真人



資料來源:雷鋒網
作者/編輯:訾竣喆

如果喜歡我們的文章,請即分享到︰