交互式定理证明工具Coq的产生与发展

热度 1 王小平 2014-2-11 20:31

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs. Typical applications include the formalization of programming lan ...

14905 次阅读|2 个评论 热度 1

新书推荐：《演化硬件导论：自适应系统设计实践指南》

王小平 2014-1-27 17:00

　 《演化硬件导论：自适应系统设计实践指南》旨在介绍演化硬件领域的新技术，首先概述了演化硬件的基本术语、原则及其基本特性，对演化算法的基本知识进行了综述；其次详细介绍了目前主要数字可重构器件和模拟可重构器件的内部架构与性能，并通过大量实例，重点讨论了演化硬件技术在电路优化设计、机 ...

个人分类: 书评|3009 次阅读|没有评论

众包三要素及其理论基础

王小平 2014-1-24 18:30

众包三要素： 商业 目的 和 需求：马斯洛 需求层次 理论 参与者价值与生活方式： 资源 基础理论，价值链理论，大众心理学 组织策略和文化：组织理论， 刺激 报酬理论 , 创新理论 马斯洛需求层 理论 ： 基本诠释大众 参与众包的 动机 u 资源基础理论： 解释 了企 ...

个人分类: 社会计算|6916 次阅读|没有评论

本页有 7 篇博文因作者的隐私设置或未通过审核而隐藏