排序方式: 共有4条查询结果,搜索用时 15 毫秒
1
1.
一、两年来统计科研工作基本情况的回顾1996年“平谷会议”至今,我们经历了不同寻常的两年。在我们的政治生活中发生了几件重大事件。一是党的十五大的召开,标志着我们党决心领导全国各族人民,将继续沿着有中国特色社会主义道路,进一步解放思想,开拓进取,不断深... 相似文献
2.
3.
基于本体理论、本体模型等方面的研究,以一个平面几何定理证明问题为例,详细地描述了平面几何本体的构建过程、基于本体和Prolog规则的推理,及其在平面几何问题求解中的应用。实验结果表明,将本体应用于几何定理机器证明是一种行之有效的方法,该方法避开了以往的代数方法中多次反复判断的问题,更接近自然语言的描述,能明确地表达领域知识和实现概念分层,从而能快速地构建几何模型,还可以进行复杂关系间的推理,最终实现基于本体和Prolog规则的平面几何定理证明。 相似文献
4.
聂洪光 《哈尔滨工业大学学报(社会科学版)》2012,(3):126-132
生态创新理论是用技术创新方法来解决低碳经济问题的一种有效理论。目前国内已经有一些学者开始介绍生态创新概念、研究生态创新理论,但是目前学者对生态创新概念的认识还不够系统,对生态创新的方法研究有限,还没有形成全面、系统、公认的生态创新研究体系。基于对国外大量生态创新理论和方法文献的深入研究,总结出国外生态创新理论、方法及发展状况,并基于研究现状展望生态创新理论未来发展的方向。 相似文献
1