基于本体推理的故障信息关联及诊断应用研究

针对故障诊断专家系统本体知识库中的领域知识,以工程机械为实践范围,以混凝土泵车液压系统故障为探究对象,开展了使用本体推理技术发现故障知识间关联链接的研究以及引进并根据工程机械故障诊断的特点改进C-F模型的尝试,相应地设计了本体推理的结构层次、借助C#等语言编制查询界面以及制定了对模糊条件加入权重和匹配算法的新推理规则。通过分别进行实验测试,可看出利用本体推理的技术能够更有效地发现故障知识间的关联链接;同时,改进的C-F推理规则可以有效应对多重组合证据,二者均对优化推理过程、提高推理结果与故障实际的相符程度提供了帮助,具有一定的实际应用价值。     

基于本体的瓦斯灾害预警模型研究

针对传统瓦斯安全预警模型准确性不高和低效的问题,在XML描述元数据的基础上,将瓦斯事故中的基本概念元语和概念之间的关联规则用XML语言和SWRL语言精确描述后存入本体模型,实现了本体的语义推理.与传统的小波神经网络和灰色系统理论相比,本模型将实时数据以实体的形式传入本体,通过语义推理进行瓦斯预警,明显提高了瓦斯预警的精度和效率.     

基于本体和规则的物流知识表示与推理

为了解决物流领域相关概念的共享和信息集成问题,研究了物流配送过程中相关知识的表示以及基于知识的推理．应用本体论方法分析配货规则,使用本体中表示的概念和属性制定配货规则库．运用Jena推理子系统,对本体和配货规则进行推理,开发了一套基于本体和规则的自动配货系统．由于本体是共享概念模型明确的、形式化的规范描述,可以利用本体强大的语义表达能力、本体所描述的共享知识以及自动推理机制,实现物流企业之间以知识集成为基础的业务集成．     

面向开放式信息抽取系统的知识推理验证

开放式信息抽取系统是从Web等非结构化文本中挖掘知识的主要途径,但其抽取结果往往存在大量噪声,对知识发现以及知识库构建产生较大影响。提出一种基于概率软逻辑模型的知识推理验证方法,该方法首先使用一阶逻辑语言对知识抽取结果进行转化和推理,并且在推理过程中引入本体规则进行约束,在此基础上,建立推理规则的自动学习机制,解除传统规则推理对于实体解析规则的依赖,进而实现对知识的自动推理和验证。经实验对比验证,该方法具有更优的算法性能,实现了规则的自动学习,提高了知识推理效率,对验证知识的语义规范性和正确性有积极作用。     

云计算环境下的SWRL规则分布式推理框架

为解决传统推理引擎在进行大规模OWL本体数据的SWRL规则推理时存在的计算性能和可扩展性不足等问题,提出了云计算环境下的SWRL规则分布式推理框架CloudSWRL.根据SWRL规则语义,并以Hadoop开源云计算框架为基础,设计了OWL本体在HBase分布式数据库中的存储策略,定义了SWRL规则解析模型和相关推理中间数据模型,提出了在DL-safe限制下基于MapReduce的SWRL规则分布式推理算法.实验结果表明,在对大规模OWL本体进行SWRL规则推理时,CloudSWRL框架在计算性能和可扩展性方面均优于传统推理引擎.     

语义Web中本体构建的方法

通过分析语义Web的层次结构,指出本体在其中的核心作用.提出了基于统一建模语言类图可视化地表达本体并基于Web本体语言构建本体的方法,给出转换过程中的一些启发式规则;从一致性和结构合理性等方面给出了本体的评价准则;采用该方法有效地构建了选课本体,为语义Web中基于本体的知识表示和规则推理提供了切实可行的方法.     

一种不一致本体的可废止推理系统

利用可废止逻辑的非单调知识表示和推理能力、线性的计算复杂性和易于实现等优点,整合描述逻辑和可废止逻辑,提出了一种不一致本体的可废止推理系统（简称为DeRS）.DeRS使用描述逻辑定义的本体和可废止理论对领域问题进行混合建模,将TBox划分为最大的一致公理集和最小的不一致公理集,并进行初始化;然后利用转换算法,将一致公理集的公理和不一致公理集的公理分别映射为硬性规则和可废止规则,并添加到可废止理论中;最后利用新定义的可废止推理规则进行非单调可废止推理,由此解决了不一致本体的推理问题,弥补了描述逻辑在非单调性方面的不足.结果表明DeRS具有协调性、易处理性、可判定性、可靠性等基本性质.     

基于云模型和SWRL预测兵器试验故障的研究

将云模型理论和SWRL应用于预测兵器试验故障的研究,用MATLAB实现了正向云和逆向云发生器,用protege建立了兵器试验故障本体并确立了SWRL规则。举例将云模型预测的数据输入兵器试验故障本体用SWRL规则进行了推理,以保证预测结果的正确性与一致性。     

EXPRESS 向 OWL2 本体模型自动转换研究

为解决 EXPRESS 向本体转换中存在通用性差、 缺乏映射规则的形式化和自动转换等问题, 在不依赖领 域情况下, 提出两种语言间映射的形式化规则和自动转换算法。 该映射规则和算法实现了基于 EXPRESS 的石 油勘探开发国际标准数据模型(Epicentre)向本体的自动转化。 采用 Jena 推理验证了所构建的 Epicentre 本体的 准确性、 完整性和一致性。 结果表明, 该映射规则与自动化算法的有效性和普适性。     

基于格值命题逻辑系统LP(X)的不确定性推理

讨论了基于格值命题逻辑系统LP（X）的不确定性推理，证明了FMP和FMT等不确定推理规则，为进一步讨论语言值逻辑推理提供逻辑基础。     

基于SWRL的应急案例库的知识表示及推理方法研究

针对当下在公共社会领域中突发应急事件的信息量庞大,难以为应急决策系统提供快速支持的热点问题,深入研究了基于SWRL的应急案例库的知识表示以及推理方法。首先定义了应急案例库中的相关概念,并采用语义上具有较强能力的OWL(Web Ontology Language)作为应急案例库Ontology构建的基础。然后引入SWRL(Semantic WebRule Language)来进一步构建应急案例库的规则机制并改善OWL在推理能力方面的不足。最后运用SWRL推理规则与Jena推理机对应急案例库中的规则进行了进一步的整合与推理现实。仿真结果验证了SWRL推理规则的有效性与正确性。     

ARSM方法的改进及其在冷机两器故障诊断中的应用

目前多数的近似推理都是基于Zadeh提出的模糊关系合成（CRI）的方法,但是CRI本身存在着缺陷．基于相似度度量的近似推理方法可以很好地弥补CRI推理的缺陷,因而目前受到广泛关注．在前人研究的基础上,对基于相似度度量的推理方法提出了改进,提出了对于不同的规则形式,采取不同的近似推理计算方法．故障诊断专家系统是目前研究的热点,以两个具体的推理案例为例说明了新计算方法在冷水机组蒸发器和冷凝器故障工况诊断过程的应用．通过给出的推理案例可知,此种改进的近似推理方法较CRI方法更易理解,且精度较高．     

基于车载网络的汽车数字仪表系统设计

随着控制单元数目的不断增多,汽车电控系统结构日趋复杂.针对某天然气城市客车设计了一种基于车载网络的灵活性强、可靠性高的数字仪表系统,该系统开发采用了组件化设计方法,基于HCS12嵌入式处理器,通过CodeWarrior软件开发平台和Vspy3故障诊断平台实现系统的快速开发.系统中包括基于CAN的仪表信息模块和步进电机式仪表盘,不仅可以直观地显示车辆运行信息,还能够通过总线接口实现故障诊断.试车运行结果表明,该系统达到了良好的运行效果,稳定可靠.     

外P-推理与外发散信息的搜索-发现

利用P-集合得到P-推理(packet reasoning),P-推理是由内P-推理(internal packet reasoning)与外P-推理(outer packet reasoning)共同构成的.P-推理是一个动态推理,具有智能特征;外P-推理生成的信息具有外发散特性,把这种特性应用于未知信息查找中,提出了外发散信息等概念;并对外发散信息进行了研究,给出了几个基本理论结果;并由这些结果得到外发散信息的外P-推理搜索算法;最后给出应用实例.     

一种基于图和本体的Web服务合成算法

为了实现Web服务合成的自动化、高效化,给出了一种支持语义的Web服务合成算法。该算法首先利用本体的推理功能实现可用服务集的构造,其次采用分步法进行服务合成图(Web ServiceComposition Graph,WSCG)的构造,最后通过图的搜索技术实现合成方案的选择,经实验测试表明该算法具有良好的合成效率和成功率。     

转变研究模式 推动知识创新——新一代学术信息资源整合体系ISI Web of Knowledge评介

介绍了ISI Web of Knowledge基于知识管理的学术信息资源整合的特点和各项功能,指出其通过学术信息大规模聚合、统一平台处理、分析评价功能以及由超链接构成的体系化的知识,实现了学术信息流管理的四大愿景：开创个体研究者与人类知识总合的崭新关系,集成科研信息活动的全过程（检索、分析、管理、发现）,营造集资源、工具与技术为一体的新型合作研究环境,将传统数据库系统转化为创新平台,实现了由＂支撑＂科研向＂引领＂科研的跨越。     

基于粒计算Rough集模型的逻辑推理应用研究

讨论了粒计算理论信息粒子的构成,结合Rough集知识模型给出了信息决策系统不确定性推理的粒计算公式及其过程.针对水产养殖中鱼病诊断信息的模糊性、随机性等不确定特点,通过鱼病症状集形成条件属性粒子、疾病集形成决策粒子而构成的模糊信息决策表,描述出主要逻辑推理算法,即鱼病诊断的规则获取过程,促进粒计算理论应用,同时也为鱼病诊断领域提供了新方法.     

基于移动技术的数字农业系统设计

通过介绍数字农业系统整体方案和接入协议的设计,系统以Linux为开发环境,用JSP和Java为开发工具,开发出基于移动技术的数字农业平台．整个系统主要有短信交互平台、WEB管理平台、USSD服务平台和WAP服务平台4个子系统组成,采用数字农业点对点协议（Numeral Agriculture Peer to Peer,NAPP）接入协议,可为用户提供多种接入方式,用户能使用手机等移动设备获取大量的数字农业信息．     

基于Internet/本地的锅炉故障模糊诊断专家系统

研究了一种基于Internet／本地的锅炉故障模糊诊断专家系统,该系统利用模糊推理机制,通过检测电厂实时运行数据库中出现的故障征兆,结合给定的规则知识,诊断锅炉系统在运行过程中可能出现的特定故障,该系统可以在锅炉本地运行,也可以建立在基于Internet的远程锅炉专家分析平台上,以提高电站锅炉的远程技术支持能力,同时,本系统采用模块化结构,基于Web技术、具备良好的扩充性和操作性。     

Development and Research on the Internet Resources Aggregation Platform

We proposed an Intemet resource aggregation platform based on semantic web. The platform includes an Web Ontology Language（OWL） ontology design toolkit（VO-Editor） and a selective inference algorithm engine so that it can visually editing ontology and using novel selective reasoning for information aggregation. We introduce the VO-Editor and the principle of selective inference algorithm. At last a case of budget travel system is used to interpret the approach of Internet resources aggregation by this platform.