教師節特別篇

　　今天是教師節

　　我們向每一位教師

　　致以誠摯的問候

　　祝老師們節日快樂

　　本期我們將致敬

　　幾位計算機領域的院士

　　他們代表了最頂尖的

　　計算機科研成果

　　但他們同時也是一名普普通通、受人尊敬的教師，他們的職業始終是教育科研工作者，他們在奮戰在科研一線的同時，也一直在教書育人，傳承知識。

　　向大神致敬!

　　陳國良

　　并行算法、高性能計算大神

　　1938年出生。中國科學院院士、深圳大學和南京郵電大學教授。

　　主要成就

　　主要從事并行算法，計算機體系結構，計算機網絡和神經計算等研究。在高性能計算及其應用研究方面，提出了“并行算法—并行機結構—并行編程”一體化的研究方法。上世紀90年代，他開始從事高性能計算及其應用研究，率先在國內成立了第一個國家高性能計算中心。

　　重要觀點

　　國產計算機已經不依賴進口，應乘勝追擊實現高水平科技自立自強，同時，國產計算機一定要服務于國民經濟主戰場。

　　何積豐

　　計算機軟件大神

　　1943年出生，中國科學院院士、同濟大學教授。

　　主要成就

　　主要從事計算機軟件理論及應用研究，針對軟件的復雜性、正確性和可靠性等問題開展系統性的研究。1986年和C.A.R.Hoare提出了“程序分解算子”。1995年與C.A.R.Hoare提出了程序設計統一理論和連接各類程序理論的數學法則。

　　重要觀點

　　對有海量用戶的軟件，證明技術的安全可信很有必要。如果零部件的安全性沒有保證，信息安全就做不到，現在是把可信軟件理論、人工智能與各行各業結合的好時機。

　　陸汝今

　　人工智能大神

　　1935年出生，中國科學院院士、復旦大學教授。

　　主要成就

　　主要以人工智能、知識工程和基于知識的軟件工程為主要研究方向，是中國該領域研究的開拓者之一，在國際上率先研究異構型分布式人工智能(DAI)，把機器辯論引進人工智能，設計并主持實現分布式邏輯推理和基于分布式推理的城市交通管理軟件等成果應用。

　　重要觀點

　　對于一個人來說，想像力比知識更重要。如果一個人沒有想象力的話，就只能跟著別人后面走。應該想別人沒想過的事情，走別人沒有走過的道路 。

　　楊芙清

　　計算機軟件大神和教育家

　　1932年出生。中國科學院院士、北京大學教授。

　　主要成就

　　長期從事系統軟件、軟件工程、軟件工業化生產技術和系統等方面的教學與研究工作。主持研制成功我國第一臺百萬次集成電路計算機多道運行操作系統和第一個全部用高級語言書寫的操作系統。倡導和推動成立北京大學計算機科技系。在國內率先倡導軟件工程研究，創辦了國內第一個軟件工程學科。

　　重要觀點

　　信息科學技術是一門交叉性、應用性極強的學科，它跟其他學科領域相結合，可以促進各個領域的信息化，從而促進工業、農業和國防等各個領域的現代化。

　　鄭緯民

　　網絡存儲和超算大神

　　1946年出生。中國工程院院士、清華大學教授。

　　主要成就

　　長期從事并行/分布處理、大規模數據存儲系統領域的科研與教學工作。帶領團隊用一年的時間研制成功了中國當時運行頻率最高的高性能嵌入式CPU-THUMP107。在網絡存儲方面，研制的“高可擴展海量存儲網絡系統TH-MSNS”，“帶外虛擬存儲技術、大容量內存虛擬磁盤技術進入國際領先行列”。

　　重要觀點

　　互聯網正在以更快的速度，向著更能夠表達人類思想、更類似于人腦思維構造的知識網絡發展。知識網絡數據規模大、來源豐富、類型復雜，圖數據庫作為一種全新的數據庫類型提供了新的思路。

　　還有一位計算機領域的院士非常值得一提：

　　李凱

　　分布式計算大神。

　　1954年出生。中國工程院外籍院士，美國工程院院士、普林斯頓大教授。

　　他是分布式計算科學家，因提出分布式共享存儲技術而聞名，并在1990年代成為國際計算機系統結構領域研究的熱點。同時，他也被稱為“華人教授首富”。

　　2001年，李凱與合伙人抓住重復數據刪除市場的空白，共同創辦Data Domain公司，并研制出世界上第一款商用重復數據刪除存儲系統，大獲成功。憑借出色的市場表現，Data Domain被EMC以21億美元的價格收購。

　　針對重復數據刪除所需要的性能要求，Data Domain采用的方案是運用高性能計算節點。采用NUMA計算架構，高性能處理器構成重復數據刪除控制器。

　　由于采用了NUMA架構，整個控制器可以管理容量很大的內存空間，可以做到90%以上的Fingerprint信息緩存在內存中。因此，磁盤級的重復數據查找轉變成了內存查找。和其他技術路線相比，這是一個硬件架構的革新。采用這個架構，還有一個好處就是可以隨著CPU處理能力的增強而不斷提升重復數據刪除的性能。

　　這個架構的革新，使得Data Domain牢牢占據專用備份設備市場的半壁江山。而Data Domain與Avamar，一個作為目標端重復數據刪除技術，另一個作為源端重復數據刪除技術，兩者形成完美互補，構成了EMC在重復數據刪除領域的銅墻鐵壁。

　　李凱是華人的驕傲，他在計算機領域特別是分布式計算取得杰出的研究成就，提出了分布式存儲(Distributed Shared Memory，DSM)的設計思想，對后來的分布式計算，并行計算甚至今天的云計算都有深遠的影響。

　　如今，李凱在普林斯頓大學任職教授，和其他計算機領域的院士一樣，致力于培養計算機科學人才。