基于OWL的上下文感知建模与推理方法

上下文感知计算是普适计算研究领域中最为重要的一个方面,针对上下文感知计算中缺乏与自动推理支持的问题,提出了一种基于本体描述语言（web ontology language, OWL）的上下文感知建模与推理方法。OWL是以描述逻辑为基础的本体形式化语言,可以满足上下文知识共享与上下文本体自动推理的需要。该方法首先提出了一种本体引导的上下文模型框架,根据抽象层次的不同将上下文分为元模型与领域特定模型两层结构,然后采用OWL形式化描述该上下文模型,设计了上下文模型到OWL的转换算法,并利用本体自动推理工具完成了上下文推理,并以一个实际案例说明该方法的可行性。     

论自然科学书籍中的资料性内容的要求

本文论述了自然科学书籍中资料性内容的要求，对图表、数字数据等要求作了补充说明。     

孟津县旱田土壤水分的基本特征

本文在探讨潜在蒸散计算方法的基础上，求出孟津县农田潜在的蒸散量和土壤含水量，并根据笔者实测的土壤含水量资料，求得土壤含水量桑斯威特算值的修订公式，进而求得孟津县土壤含水量，农田实际蒸散量，降水亏缺量，归纳出孟津县土壤水分循环特征和剖面动态特征。     

一种改进的基于本体概念相似度计算方法研究

知网是一个英汉双语本体,含有丰富的语义知识.在综合考虑了知网中义原重合度、义原差度、层次深度等因素的基础上,提出了一种新颖的义原相似度计算方法,并在义原相似度计算的基础上,通过改进的匈牙利算法来计算基于知网的概念相似度,最后通过实验验证算法的有效性,与基于WordNet的方法相比,文中提出的基于知网的相似度计算一样可以取得较好的精确度.     

面向目标的C4ISR系统效能概念建模与一致性分析方法

为了解决C4ISR系统效能需求的获取与验证问题, 从C4ISR系统的软目标分析出发, 构造了C4ISR系统能力元本体, 提出了 一种本体引导的C4ISR系统效能需求获取算法; 利用UML Profile扩展机制, 设计了效能概念的对象建模方法; 探讨了基于本体概念推理的效能概念模型一致性检验算法, 研究了从UML模型到描述逻辑本体的映射算法; 最后以一个防空系统效能分析案例, 说明方法的理论可行性.     

基于模糊推理的C4ISR系统服务发现方法

针对领域模糊信息对C4 ISR体系结构分析中服务建模和发现所带来的不利影响,提出了基于模糊推理的C4ISR系统服务发现方法.从体系结构服务相关概念出发,构建C4ISR特定领域的服务模糊本体,在模糊本体的引导下,获取现实系统面向服务的体系结构需求.在此基础上,借助模糊描述逻辑的本体形式化和推理技术发现满足用户要求的系统服...     

基于描述逻辑的C4ISR系统体系结构一致性验证方法

综合电子信息系统的体系结构开发涉及多视图产品集成,容易引发视图之间的信息不一致性问题。引入描述逻辑形式系统,对视图中的关键元素进行形式化处理,将体系结构模型转化为描述逻辑知识库,进而借助描述逻辑推理系统,推理判断体系结构产品中存在冲突或矛盾的信息。实验证明,该方法不仅具有完备的形式化理论基础,而且自动化程度高。     

面向C4ISR能力分析的领域特定描述语言

针对在C4ISR能力需求分析中,UML对象建模语言领域适用性弱的问题.在能力元本体的基础上,从领域概念化入手,提出一种面向C4ISR能力分析的领域特定描述语言构建方法,并利用UMLProfile扩展机制,设计了适用于该语言的对象建模方法,在此基础上,研究了基于描述逻辑符号推理系统的领域特定模型一致性、完整性验证方法.最终,采用一个野战装甲车维修领域特定模型验证案例,说明了该方法的有效性和可用性.     

基于UML模型的C4ISR系统能力需求分析与验证

针对复杂的C⁴ISR需求分析,提出一种系统的能力需求获取和分析方法。该方法从分析作战使命入手,采用统一建模语言(unified modeling language,UML)建模技术对作战目标和任务场景建模,通过活动模型分析自动建立C⁴ISR能力需求的概念模型。此外,采用本体描述语言(OWL DL)对能力概念形式化描述,由此可以通过符号推理系统检查模型的完整性和一致性。给出了应用该方法的具体示例,并通过实验工具验证其有效性。