求真百科欢迎当事人提供第一手真实资料,洗刷冤屈,终结网路霸凌。

顾明查看源代码讨论查看历史

事实揭露 揭密真相
跳转至: 导航搜索
顾明

人物经历

顾明,本科毕业于国防科技大学,硕士毕业于中国科学院研究生院。担任国家服务外包人力资源研究院副院长,清华大学软件学院主管科研的副院长。[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].