顧明

清華大學軟體學院教授

顧明,本科畢業於國防科技大學,碩士畢業於中國科學院研究生院。擔任國家服務外包人力資源研究院副院長,清華大學軟體學院主管科研的副院長。

研究方向


操作系統、中間件技術、分散式應用系統支撐平台、電子商務等。她是中間件技術、分散式應用系統支撐平台、電子商務等方面技術專業,對建築、通信、金融等行業也有深刻的理解。她同時也是深受學生歡迎的教師。

主要貢獻


研究概況

1、基於定理證明的可信嵌入式軟體建模與驗證平台研究”(國家自然科學基金委重點項目)。
2、“嵌入式系統模擬與驗證平台開發”(國家自然科學基金國際合作項目)。
3、“產品設計軟體系統的部件級可驗證性理論研究” (國家973計劃課題)。
4、“面向集團企業的可重構信息集成平台研發及應用” (國家863計劃)。
5、“基於個人生物特徵的分散式數據安全系統”(國家發改委信箱安全專項)。

出版書籍

1、AutoCAD 2012繪圖無師自通
本書是《無師自通》系列叢書之一,全書以通俗易懂的語言、翔實生動的實例,全面介紹了中文版AutoCAD 2012的使用方法和技巧。本書共分14章,內容涵蓋了AutoCAD 2012的入門基礎知識和繪圖的基本知識,使用和管理圖層,繪製二維圖形,精確繪製圖形,編輯圖形對象,使用文字與表格,尺寸標註和公差標註,使用塊、外部參照和設計中心,繪製三維圖形,三維對象的編輯與標註,觀察與渲染三維圖形以及圖形的輸入輸出等內容。
本書採用圖文並茂的方式,使讀者能夠輕鬆上手,無師自通。全書雙欄緊排,雙色印刷,同時配以製作精良的多媒體互動教學光碟,方便讀者擴展學習。此外,附贈的DVD光碟中除了包含20小時與圖書內容同步的視頻教學錄像外,還免費贈送4~5套與本書內容相關的多媒體教學演示視頻。
本書面向電腦初學者,是廣大電腦初級、中級、家庭電腦用戶,以及不同年齡階段電腦愛好者的首選參考書。
2、互動式定理證明與程序開發:Coq歸納構造演算的藝術
作者:Yves Bertot,Pierre Casteran著;顧明等譯 編。
Coq是一個用於驗證定理的證明是否正確的計算機工具。—在推理和編程方面,Coq的語言都擁有足夠強大的能力和表達能力,可以構造簡單的項,執行簡單的證明,直到建了立完整的理論,學習複雜的演演算法。本書的主要目:標是從實踐的角度來理解Coq系統及其基本理論。即歸納構造演算。這本書給出了大量的例子,所有這些例子都可以在計算機上執行。這本書是一本很有價值的教材,它為初學者提供基礎訓練,為有經驗的人提供必要的專業知識,幫助學習者開發有實用價值的數學證明。

相關論文

1、基於虛擬設備的訪問控制模型 黃凌翔、顧明。
2、提高Linux桌面交互性能的主動頁面換出演演算法 吳邦欲、陳左寧、顧明、孫家廣。