變更

| 姓名 = 顾明

| 圖像 = [[File:顾明女.jpg|缩略图|居中|[https://timgsa.baidu.com/timg?image&quality=80&size=b9999_10000&sec=1551331175230&di=b526ce52c8fbb97eb78a220d2169eae0&imgtype=0&src=http%3A%2F%2Ffile.koolearn.com%2F43431433399773.jpg 原图链接]]]}}

[[顾明]]，本科毕业于[[国防科技大学]]，硕士毕业于[[中国科学院]]研究生院。担任国家服务外包人力资源研究院副院长，[[清华大学软件学院]]主管科研的副院长。<ref name="清华大学软件学院">{{cite web |url=http://www.thss.tsinghua.edu.cn/publish/soft/3641/2010/20101214092956012128493/20101214092956012128493_.html |title=顾明| accessdate=2019-02-28}}</ref>

操作系统、中间件技术、分布式应用系统支撑平台、电子商务等。她是中间件技术、分布式应用系统支撑平台、电子商务等方面技术专业，对建筑、通信、金融等行业也有深刻的理解。她同时也是深受学生欢迎的教师。

1、基于定理证明的可信嵌入式软件建模与验证平台研究”（[[国家自然科学基金委]]重点项目）。

5、“基于个人生物特征的分布式数据安全系统”（[[国家发改委]]信箱安全专项）。

本书是《[[无师自通]]》系列丛书之一，全书以通俗易懂的语言、翔实生动的实例，全面介绍了中文版AutoCAD 2012的使用方法和技巧。本书共分14章，内容涵盖了AutoCAD 2012的入门基础知识和绘图的基本知识，使用和管理图层，绘制二维图形，精确绘制图形，编辑图形对象，使用文字与表格，尺寸标注和公差标注，使用块、外部参照和设计中心，绘制三维图形，三维对象的编辑与标注，观察与渲染三维图形以及图形的输入输出等内容。

Coq是一个用于验证定理的证明是否正确的计算机工具。—在推理和编程方面，Coq的语言都拥有足够强大的能力和表达能力，可以构造简单的项，执行简单的证明，直到建了立完整的理论，学习复杂的算法。本书的主要目：标是从实践的角度来理解Coq系统及其基本理论。即归纳构造演算。这本书给出了大量的例子，所有这些例子都可以在计算机上执行。这本书是一本很有价值的教材，它为初学者提供基础训练，为有经验的人提供必要的专业知识，帮助学习者开发有实用价值的数学证明。

1、基于虚拟设备的访问控制模型[[黄凌翔]]、顾明。

=参考文献=

{{reflist}}