開啟主選單

求真百科

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

顧明

人物經歷

研究方向

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

主要貢獻

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

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

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

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

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

出版書籍

AutoCAD 2012繪圖無師自通

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

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

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

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

作者:Yves BertotPierre Casteran著;顧明等譯 編。

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

相關論

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

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

目錄

參考文獻

  1. 顧明. [2019-02-28].