期刊文献+
共找到4篇文章
< 1 >
每页显示 20 50 100
基于消点法的几何自动推理系统实现 被引量:5
1
作者 罗慧敏 《计算机应用》 CSCD 北大核心 2008年第11期2984-2986,共3页
为了实现几何自动推理的可读性证明,并提高推理效率,介绍了一个基于消点法的可构造性几何命题自动推理系统的设计与实现。该系统提供作图的方式接受用户的几何命题前提条件的输入,可以对初等几何中的大部分可构造性几何问题进行自动证... 为了实现几何自动推理的可读性证明,并提高推理效率,介绍了一个基于消点法的可构造性几何命题自动推理系统的设计与实现。该系统提供作图的方式接受用户的几何命题前提条件的输入,可以对初等几何中的大部分可构造性几何问题进行自动证明和求解,并生成可读的证明步骤,大大方便了初高等几何教育和相关研究者的需要。 展开更多
关键词 几何定理自动证明 自动推理 消点法 可构造性几何命题 构图
在线阅读 下载PDF
论直觉主义逻辑对经典逻辑的挑战 被引量:1
2
作者 颜中军 《湘潭大学学报(哲学社会科学版)》 CSSCI 北大核心 2011年第3期125-128,共4页
直觉主义逻辑基于数学中的直觉主义思想,主张存在即被构造,数学是逻辑学的基础。直觉主义逻辑拒斥排中律和间接证明法,认为逻辑主义和形式主义都是错误的。直觉主义逻辑与经典逻辑到底是怎样的关系,不同的解释将导致不同的回答。另外,... 直觉主义逻辑基于数学中的直觉主义思想,主张存在即被构造,数学是逻辑学的基础。直觉主义逻辑拒斥排中律和间接证明法,认为逻辑主义和形式主义都是错误的。直觉主义逻辑与经典逻辑到底是怎样的关系,不同的解释将导致不同的回答。另外,直觉主义逻辑理论自身面临诸多困境,尽管达米特为此作出了哲学辩护,但依然受到多方面的指责。 展开更多
关键词 直觉主义 直觉主义逻辑 经典逻辑 可构造性
在线阅读 下载PDF
一阶命题演算的希尔伯特型直觉主义系统
3
作者 刘大中 董克诚 《河北大学学报(自然科学版)》 CAS 2001年第2期103-106,共4页
简要介绍了一阶命题演算的希尔伯特型直觉主义系统 ,运用逻辑演绎的方法证明了此系统的一些定理 ,其目的在于加深对直觉主义系统中概念的理解 ,便于对此系统的进一步研究及应用 .
关键词 命题演算 希尔伯特型 直觉主义逻辑 可构造性 逻辑演绎 推理
在线阅读 下载PDF
Hierarchical 3D mechanical parts matching based-on adjustable geometry and topology similarity measurements 被引量:1
4
作者 马嵩华 田凌 《Journal of Central South University》 SCIE EI CAS 2014年第1期89-99,共11页
A hierarchical scheme of feature-based model similarity measurement was proposed,named CSG_D2,in which both geometry similarity and topology similarity were applied.The features of 3D mechanical part were constructed ... A hierarchical scheme of feature-based model similarity measurement was proposed,named CSG_D2,in which both geometry similarity and topology similarity were applied.The features of 3D mechanical part were constructed by a series of primitive features with tree structure,as a form of constructive solid geometry(CSG) tree.The D2 shape distributions of these features were extracted for geometry similarity measurement,and the pose vector and non-disappeared proportion of each leaf node were gained for topology similarity measurement.Based on these,the dissimilarity between the query and the candidate was accessed by level-by-level CSG tree comparisons.With the adjustable weights,our scheme satisfies different comparison emphasis on the geometry or topology similarity.The assessment results from CSG_D2 demonstrate more discriminative than those from D2 in the analysis of precision-recall and similarity matrix.Finally,an experimental search engine is applied for mechanical parts reuse by using CSG_D2,which is convenient for the mechanical design process. 展开更多
关键词 D2 shape distribution CSG tree geometry dissimilarity topology dissimilarity adjustable weight
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部