顧明

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

顧明
原圖鏈接

人物經歷

研究方向

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

主要貢獻

研究概況 1、基於定理證明的可信嵌入式軟件建模與驗證平台研究」（國家自然科學基金委重點項目）。

2、「嵌入式系統仿真與驗證平台開發」（國家自然科學基金國際合作項目）。

3、「產品設計軟件系統的部件級可驗證性理論研究」 （國家973計劃課題）。

4、「面向集團企業的可重構信息集成平台研發及應用」 （國家863計劃）。

5、「基於個人生物特徵的分布式數據安全系統」（國家發改委信箱安全專項）。

出版書籍

AutoCAD 2012繪圖無師自通

本書是《無師自通》系列叢書之一，全書以通俗易懂的語言、翔實生動的實例，全面介紹了中文版AutoCAD 2012的使用方法和技巧。本書共分14章，內容涵蓋了AutoCAD 2012的入門基礎知識和繪圖的基本知識，使用和管理圖層，繪製二維圖形，精確繪製圖形，編輯圖形對象，使用文字與表格，尺寸標註和公差標註，使用塊、外部參照和設計中心，繪製三維圖形，三維對象的編輯與標註，觀察與渲染三維圖形以及圖形的輸入輸出等內容。

本書採用圖文並茂的方式，使讀者能夠輕鬆上手，無師自通。全書雙欄緊排，雙色印刷，同時配以製作精良的多媒體互動教學光盤，方便讀者擴展學習。此外，附贈的DVD光盤中除了包含20小時與圖書內容同步的視頻教學錄像外，還免費贈送4~5套與本書內容相關的多媒體教學演示視頻。

本書面向電腦初學者，是廣大電腦初級、中級、家庭電腦用戶，以及不同年齡階段電腦愛好者的首選參考書。

交互式定理證明與程序開發:Coq歸納構造演算的藝術

作者：Yves Bertot，Pierre Casteran著；顧明等譯 編。

Coq是一個用於驗證定理的證明是否正確的計算機工具。—在推理和編程方面，Coq的語言都擁有足夠強大的能力和表達能力，可以構造簡單的項，執行簡單的證明，直到建了立完整的理論，學習複雜的算法。本書的主要目：標是從實踐的角度來理解Coq系統及其基本理論。即歸納構造演算。這本書給出了大量的例子，所有這些例子都可以在計算機上執行。這本書是一本很有價值的教材，它為初學者提供基礎訓練，為有經驗的人提供必要的專業知識，幫助學習者開發有實用價值的數學證明。

相關論

1、基於虛擬設備的訪問控制模型黃凌翔、顧明。

2、提高Linux桌面交互性能的主動頁面換出算法 吳邦欲、陳左寧、顧明、孫家廣。

目錄