8,361
次編輯
變更
顾明
,無編輯摘要
{{Infobox person| 姓名 = 顾明| 圖像 = [[File: 顾明 女.jpg|缩略图|居中|[https://timgsa.baidu.com/timg?image&quality=80&size=b9999_10000&sec=1551330766042&di=04d1c9962e4948380bfa655292492857&imgtype=0&src=http%3A%2F%2Ffile.koolearn.com%2F43431433399773.jpg （1919原图链接]]]}} =人物经历=[[顾明]]，本科毕业于[[国防科技大学]]，硕士毕业于[[中国科学院]]研究生院。担任国家服务外包人力资源研究院副院长，[[清华大学软件学院]]主管科研的副院长。<ref name="清华大学软件学院">{{cite web |url=http://www.1thss.tsinghua.11－ 2008edu.1cn/publish/soft/3641/2010/20101214092956012128493/20101214092956012128493_.html |title=顾明| accessdate=2019-02-28}}</ref>=研究方向=操作系统、中间件技术、分布式应用系统支撑平台、电子商务等。她是中间件技术、分布式应用系统支撑平台、电子商务等方面技术专业，对建筑、通信、金融等行业也有深刻的理解。她同时也是深受学生欢迎的教师。=主要贡献====研究概况===1 、基于定理证明的可信嵌入式软件建模与验证平台研究”（[[国家自然科学基金委]]重点项目）。 2、“嵌入式系统仿真与验证平台开发”（国家自然科学基金国际合作项目）。 3、“产品设计软件系统的部件级可验证性理论研究” （[[国家973计划]]课题）。 4、“面向集团企业的可重构信息集成平台研发及应用” （[[国家863计划]] ） ，江苏昆山 。 5、“基于个 人 生物特征的分布式数据安全系统”（[[国家发改委]]信箱安全专项） 。 日 ===出版书籍=======AutoCAD 2012绘图无师自通==== 本 东京 书是《[[无师自通]]》系列丛书之一，全书以通俗易懂的语言、翔实生动的实例，全面介绍了中文版AutoCAD 2012的使用方 法 政大 和技巧。本书共分14章，内容涵盖了AutoCAD 2012的入门基础知识和绘图的基本知识，使用和管理图层，绘制二维图形，精确绘制图形，编辑图形对象，使用文字与表格，尺寸标注和公差标注，使用块、外部参照和设计中心，绘制三维图形，三维对象的编辑与标注，观察与渲染三维图形以及图形的输入输出等内容。 本书采用图文并茂的方式，使读者能够轻松上手，无师自通。全书双栏紧排，双色印刷，同时配以制作精良的多媒体互动教学光盘，方便读者扩展学习。此外，附赠的DVD光盘中除了包含20小时与图书内容同步的视频教学录像外，还免费赠送4~5套与本书内容相关的多媒体教学演示视频。 本书面向电脑初 学 肄业。1933年参加反帝 者，是广 大 电脑初级、中级、家庭电脑用户，以及不 同 盟。1937 年 龄阶段电脑爱好者的首选 参 加 考书。====交互式定理证明与程序开发:Coq归纳构造演算的艺术====作者：[[Yves Bertot]]，[[Pierre Casteran]]著；顾明等译 编。 Coq是一个用于验证定理的证明是否正确的计算机工具。—在推理和编程方面，Coq的语言都拥有足够强大的能力和表达能力，可以构造简单的项，执行简单的证明，直到建了立完整的理论，学习复杂的算法。本书的主要目：标是从实践的角度来理解Coq系统及其基本理论。即归纳构造演算。这本书给出了大量的例子，所有这些例子都可以在计算机 上 海 执行。这本书是一本很有价值的教材，它为初学者提供基础训练，为有经验的人提供必要的专业知识，帮助学习者开发有实用价值的数学证明。===相关论===1、基于虚拟设备的访问控制模型[[黄凌翔]]、顾明。 2、提高Linux桌面交互性能的主动页面换出算法 [[吴邦欲]]、[[陈左宁]]、顾明、[[孙家广]]。=参考 文 化界救亡协会。献={{reflist}}