基于本体推理的直线度验证知识库系统研究

来源 :桂林电子科技大学 | 被引量 : 0次 | 上传用户:steven146
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
随着生产技术以及工艺水平的不断发展,产品在“功能要求、设计规范及认证方法”等方面不统一的问题越来越突出。以新一代GPS(New-generation Geometrical Product Specification and verification,N-GPS)标准体系为基础的知识库能够将产品设计、制造以及认证的标准联系在一起,并在产品的整个生命周期内实现规范化和数字化。本文以N-GPS标准为理论依据,针对产品信息在表达、传递、共享和重用上的问题,结合直线度验证领域知识对GPS知识库系统做了一些探索性研究,主要包括以下几个方面:  第一,构建直线度验证领域知识本体。对直线度验证领域特征信息进行分类,对各类之间的关系进行分析,并对相关类及其属性进行定义,通过对类的实例化来定义类的个体,最后选用OWL本体语言,对验证领域知识进行描述。  第二,设计直线度验证知识库系统的建模架构。依据知识库系统构架理论,结合直线度验证领域知识,将直线度验证知识库系统划分为三层独立结构:领域层、推理层和应用层。该结构的设计保证了系统的独立性和健壮性。  第三,设计直线度验证知识库系统的推理层。推理层由公理库、规则库和数学库组成。公理库保证本体的一致性,规则库实现本体的推理,数学库获取直线度评定结论。各库之间通过本体文件(.owl)进行数据交换,保证了各库之间数据的一致性和共享性。  第四,开发基于本体推理的直线度验证知识库系统。选用本体编辑工具Protégé对直线度验证本体进行构建;使用Jena推理机对验证本体进行推理;采用Eclipse编程环境对用户界面进行设计。通过本体文件(.owl)的形式实现用户与本体之间的交互,最后,完成直线的验证知识库系统的开发。  通过上述的研究,本文实现了直线度验证知识库系统的开发和应用,为N-GPS在规范、制造和认证阶段实现统一的数字化和智能化提供了参考。
其他文献
灰箱演算是一种用于描述移动系统及其交互的形式化方法.该文以灰箱演算的一个变体--鲁棒灰箱演算(ROAM)作为研究对象,从操作语义、类型系统、进程等价性和表达能力等方面对其进
近些年来,随着电子电路的高速化和大规模集成化,布尔代数作为描述数字电路的逻辑行为的工具,越来越显示其不足.布尔过程论就是在这种情况下产生的,这一概念是在1994年由中科院计算
本文以作者参与“中鸿讯统一消息服务系统(ZHX-UMS)”设计与开发工作为背景,在讨论有关UMS的体系结构、关键技术和实现方法等方面问题的基础上,重点讨论了文本-语音转换技术(TT
随着桥牌游戏的日益盛行和比赛规则的多样化与复杂化,越来越多的功能各异的发牌机开始应用在桥牌比赛、大学生人文素质教育以及人们休闲娱乐生活中。智能的发牌机一般包含控制
ASP(Answer set Programming)已从一个纯理论的知识表示和推理形式体系,发展成为一个具有很强的形式化支持的计算方法。目前,ASP方法的发展越来越受重视,但ASP程序调试技术的研
现场总线技术是当今自动控制领域最热门的技术之一,被誉为自动化领域的计算机局域网,它是现场控制技术与现代电子、计算机、通讯技术相结合的产物。现场总线使得现场仪表之间、现场仪表与控制设备之间构成网络互连系统,实现全数字化、双向、多变量的数字通讯,这大大地提高了系统的可靠性和抗干扰能力,同时节省了整个系统的投资、安装及后期维护费用。 CAN属于串行通讯网络,由于采用了独特的帧结构、总线仲裁与检错措
决策支持系统作为信息系统研究的最新发展阶段,越来越受到人们的重视.人们现在不仅进行信息的管理,而且进行信息综合,从而为实际工程的发展提供好的决策方案.遗传算法(GA)作为
该文以实现随机全局光照计算的有效并行为目标,在对偶输运计算理论、随机全局光照算法和并行任务划分策略等三个方面进行了深入、细致的研究工作.首先,该文给出了一般性输运
该论文的课题是关于分布式嵌入式实时系统的调度和通信,重点是在系统的通信基础结构和协议上.该文所提到的调度和通信策略都是以抽象图解表示法为基础的.抽象图解表示法包括
传统的应用集成模式以其开放性差、应用范围小、灵活性差而将被新的松耦合应用集成模式LAIM所代替.LAIM模型在J2EE平台上实现,通过J2EE连接器来实现企业内部系统的互操作,采