动态几何环境下大学生几何论证模式研究

采取个案研究的方法,以录影等方式收集18位大学生的几何探索活动资料,采用定性研究诠释其探索过程,研究动态几何环境(DGE)下大学生的几何推理论证模式.研究结果显示,大学生在DGE下进行的几何推理方式分为几何实验、思考实验和形式证明3个部分,其中思考实验在推理过程中扮演着连通几何实验与形式证明的角色.学生在几何实验中产生猜想或观察动态表征的变化,经由思考实验来验证猜想,并将推论的结果转化为形式证明.     

SGARP中全角法的实现

在可持续发展的几何自动推理平台SGARP中，通过添加全角法相关的对象、谓词和定理，在SGARP中成功实现了全角法。添加了全角法的SGARP测试证明了100个几何定理。     

点云数据稀疏区域建筑物立面重建方法

建筑物立面兼顾规则和非规则的几何结构排列,利用先验或提取的立面结构规则推理数据稀疏区域立面模型时,会产生不合理的重建结果.为此,提出一种结合规则推理和点云数据验证的数据稀疏区域建筑物立面重建方法,能够对推测的立面模型合理性进行验证.在利用影像数据改善立面点云数据初始重建模型偏移的基础上,分析立面结构的排列规律.采用四邻域模板匹配方法推理点云数据稀疏区域立面几何结构的位置和类型.最后用点云数据验证推理重建结果的可靠性.实验表明,对于结构多样的建筑物立面,该方法可检测出不合理的重建结果,提高了基于规则建筑物立面重建的可靠性.     

空间数据挖掘技术研究进展

<正>一、引言空间数据库存储了大量与空间有关的数据,有许多与关系数据库不同的特性,比如含有拓扑和距离的信息,通常以复杂的多维空间索引结构组织数据,经常需要进行几何计算和空间推理等复杂操作。     

空间数据挖掘技术研究进展

一、引言 空间数据库存储了大量与空间有关的数据,有许多与关系数据库不同的特性,比如含有拓扑和距离的信息,通常以复杂的多维空间索引结构组织数据,经常需要进行几何计算和空间推理等复杂操作.这些特性使得从空间数据中挖掘信息面临着很大挑战.由于空间数据不同于传统数据挖掘技术所处理的数字、分类和符号等数据,使得空间数据的处理方法成为空间数据挖掘中最重要的部分.     

同频时差式实时模糊推理器原理

该文提出一种以简单模糊逻辑元件组成的实时模糊推理器的硬件组成原理，其所用逻辑元件少而推理速度快。本推理器中所有隶属函数均以同一频率扫描，在两个周期内完成三个推理运算步骤。     

一阶逻辑推理系统中有关量词推理规则的研究

通过对两种一阶逻辑自然推理系统中有关量词的推理规则及其成立条件的比较分析,给出形式简单、直观的有关量词的推理规则和合理、严谨的成立条件,从而保证在使用这些规则时,既保留了直观性,又消除了不严格性,并能准确把握成立条件.     

基于Jena开发包的交通本体推理机制研究

传统的基于关键字语法匹配的信息检索技术,查询返回的结果往往存在很大的信息冗余。而引入基于本体(Ontology)的语义检索技术,通过定义明确的领域概念、属性和实例来建立领域本体及其推理机制,发掘概念、实例之间隐含的信息,从而实现基于语义的智能地理信息检索。本文以交通领域本体为例,在使用Protégé建好交通本体之后,基于Jena推理机和SWRL推理规则语言,自定义了一些基本的本体推理规则,并设计了一套面向具体应用的本体推理机制,以解决实际的应用问题。     

论隐性知识对明示推理交际模式的影响

从认知的角度,关联论对交际的实质,过程和语境效果进行了探讨和研究提出了明示推理交际模式.明示推理模式是对理想的成功的交际过程的描述.然而实际交际过程中诸多因素的参与,影响到说话人的明示和听话人的推理,以及双方对语境效果的理解等.本文着重探讨了个人隐性知识对明示推理交际模式的的影响.     

用特征列证明推理的一个方法

将命题推理证明转化为多元多次方程组求解的问题。利用吴方法,通过多元多次方程组的特征列,完成命题推理的证明,即结合数理逻辑中推理证明及吴方法的核心内容特征列知识,总结出一种通过对吴方法中特征列讨论,来证明逻辑推理的方法。     

推理网络的回路识别算法

推理网络是一种特殊的有向图,有效地识别出推理网络中的回路不仅对电路分析和图论研究有意义,而且对智能计算机系统的自动知识获取更有着特殊意义.该文设计并用Turbo-PROLOG语言实现了一个推理网络的回路识别算法,该算法也适用于一般形式的有向图.     

基于贝叶斯网的专家系统平台的开发与应用

针对基于贝叶斯网建立专家系统所涉及的关键问题,采用分离技术、"噪音或"技术和转换现有的确定性因子知识库等技术简化贝叶斯网的构造,利用变量消去算法实现了贝叶斯网的精确推理,开发了贝叶斯网建网组件和推理组件,并应用这两个组件建立了简单的奶牛疾病诊断专家系统和蔬菜种植专家系统.实际运行表明,所开发的贝叶斯网建网组件和推理组件在表示与处理不确定性知识时是非常有效的.     

一个有效的区间值模糊推理方法

在区间值模糊集理论的基础上,提出了一种基于区间值模糊集的模糊产生式规则的推理方法。为采用这类规则进行推理,文中给出了规则前件与事实是否匹配的模糊匹配函数.最后用实例说明采用区间值模糊产生式规则进行不精确推理的方法.     

P-集合与信息融合应用分析

P-集合是一个新的动态数学模型.P-推理是P-集合生成的一种动态推理.利用P-集合结构,提出信息融合和融合度的概念,并指出信息融合存在的直接意义.利用P-推理,定义P-信息融合,给出P-信息融合存在的充要条件和发现准则.并基于外P-信息融合理论,应用分析于煤层的分类与发现.     

几何公理的局限性和真理性

本文通过对几何公理真理性和局限性的分析,指出了产生不同几何体系的基本原因,揭示了几何空间与物理空间的相互关系.即每个几何体系都是在不同的范围内对部分物理空间形式的一种描述,从而为进一步探索宇宙结构提供了一条新途径.     

什么是农业专家系统?

<正>在知识经济已经到来的今天,农业专家要对复杂的农业问题作出决策,需要具有丰富的农业知识加上高超的推理分析。农业专家系统便是基于农业专家知识和模仿农业专家进行推理决策的计算机程序系统。人们事先将农业专家为解决某类农业问题而长期积累的知识以适     

模糊规则间交互指标的初步研究

当模糊产生式规则应用在近似推理过程中时,前件相同而后件不同的模糊规则之间往往存在交互影响.考虑模糊规则间的交互影响,可以提高推理精度.此论文通过类比在合作游戏理论中描述交互影响的交互指标和定义在模糊规则上的模糊测度,给出一种计算模糊规则之间交互影响指标的方法.     

基于实例推理的智能化刀具CAD系统研究

根据刀具的设计特点,建立了基于实例推理的智能化刀具CAD系统。该系统由刀具的实例库和建立在实例库基础上的检索和匹配推理机制,以及刀具实例的修改学习和保存构成.借助UG的三维参数化建模功能,通过UG二次开发,进行参数化驱动,得到刀具的最终实体模型。     

F推理格式及其应用

Ｆ命题推算是Ｆ逻辑的基本内容，本文引进了Ｆ推理格式的概念，并证明了它的一些基本性质，从而，Ｆ命题的演算可以按照一定的Ｆ推理格式进行推理论证，这样才能导出正确的结论，另外，它又为推断Ｆ逻辑公式的相容性提供了理论方法基础。     

基于本体推理的食品搭配安全查询模型研究

食品搭配的科学指导方法对人们日常饮食生活具有非常重要的意义。本文将本体理论应用于食品搭配领域,分析食品领域中的概念以及概念之间的关系,创建食品搭配领域本体模型,并采用Jena推理引擎和自定义的规则对其进行推理,构建基于本体推理的食品搭配安全查询模型。实验结果表明,此模型具有高效性、智能化、语义性等特点,避免了使用日常经验判断带来的主观性影响。