几何知识库的设计与实现

来源 :计算机应用 | 被引量 : 3次 | 上传用户:zhxsmg88
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
设计通用几何知识库,实现不同动态几何软件的数据重用与共享,为几何软件提供数据支持是目前知识管理工程研究的新方向。通过分析几何软件的数据需求,研究几何知识数据的标准化和结构化问题。为了应对几何知识数据的复杂性,我们采取先封装再组织的策略,提出了将几何知识标准化和结构化的思路和框架,并据此设计实现了一个初级的几何知识库系统。
其他文献
喘振是航空发动机压气机的一种不正常工作状态,会严重危及到飞行安全。本文阐述飞行中发动机喘振的形成机理,讨论喘振的诱发因素,分析其预防及处置措施,可以为飞行安全操作提
目前国家大力支持岛屿的开发与利用,而岛屿工程是满足人们生活、休闲的重要依托,本文分析了岛屿工程施工的难点及对策,并进行了探讨。
回答集程序设计(ASP)是一种主流的非单调知识表示工具。为了能够在利用ASP求解问题过程中使用现有的以经典逻辑表示的知识,给出了一种把以谓词逻辑公式表示的约束型知识和定义型知识转化为ASP程序或知识库的新方法,并以实例说明了其有效性。该方法满足转化后ASP程序的回答集与原公式集的模型具有一一对应关系。在实际应用中,该方法提供了一项从现存的以谓词逻辑为表示语言的知识库,构建以ASP为知识表示语言的非
为了克服多目标跟踪中估计效果对初始样本选择的强依赖性,首先通过Harris角点检测和KLT算法实现对图像序列中的特征提取和匹配,然后利用Mean-shift算法对匹配的特征点进行聚类和定位,将Mean-shift算法与粒子滤波器相结合,提出了基于Mean-shift算法的混合粒子滤波器,给出了具体算法流程,并就实际图像序列的动态多目标跟踪进行了实验,实验结果证明了该方法的有效性。
由于现有的图像盲取证方法中所使用的光照模型不能有效地表征物体表面的实际光照效果,提出Lambert-Phong光照模型。该模型同时考虑光照的漫反射和镜面反射,利用该光照模型对无限光源模式下的图像进行蓄意修改检测。实验结果表明,Lambert-Phong光照模型能较准确地计算出图像中不同目标的光照方向,有效地判别出图像是否经过蓄意修改。