基于描述逻辑的能力需求模型验证方法

针对C4ISR系统能力需求模型中存在的一致性和合理性问题,提出了一种能力需求模型的验证方法。先采用基于描述逻辑的本体描述语言OWLDL精确描述能力需求分析中的元概念模型和应用概念模型,然后在元概念模型和应用概念模型之上附加一定的模型验证推理规则,并通过符号推理系统验证了能力概念的完整性以及目标的一致性。

基于UML类图模型的一致性检查方法

UML中的类图采用直观的图形化表示方法,有效描述了待建系统的静态特征,为系统设计人员发现系统模型中存在的不一致性和冗余等问题,提供了有效的分析工具。但是对于复杂的系统,完全依靠系统分析人员发现模型中存在的不一致性和冗余等问题是不现实的,应当为建模工具赋以模型自动一致性检查功能。SHOIQ(D)是描述逻辑家族中可判定的子集,它在保证推理可判定的同时,具备较强的描述知识能力。鉴于上述特点,通过从UML类图图元中抽取语义,用SHOIQ(D)形式化描述类图图元,借助自动推理引擎,从而使基于UML类图模型的自动一致性检查功能得到实现。根据该方法改进后的建模工具,可以自动发现基于UML类图模型中存在的不一致性和冗余等问题。

基于模糊描述逻辑的C4ISR系统上下文环境分析方法

为了实现指挥信息系统自适应的决策支持,将上下文感知技术融入指挥信息系统的分析与设计,首先提出了C4ISR系统上下文元本体,借此定义指挥信息系统上下文环境的基本语义框架。在此基础上,结合元本体以及面向目标的需求分析方法思想,提出了C4ISR系统上下文环境信息获取和建模表示方法。此外,将模糊本体推理技术引入指挥信息系统上下文环境推理分析环节,通过设计上下文环境模型到本体的形式化规约算法,有效地将指挥信息系统的上下文环境信息形式化,并通过本体推理技术,实现了对系统上下文环境的推理分析。

旱地土壤水分盈亏特征研究——以孟津县为例

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

基于指挥信息系统的多专业实战化教学环境建设

从指挥信息系统对指挥所不同人员、不同岗位需求出发,结合实战化教学特点需要,提出充分利用现有一体化指挥平台系统搭建实战化教学、演训硬件环境,同时注重与之配套的软件平台建设,合理设计演训的背景、内容和评判标准,为形成基于指挥信息系统的多专业实战化教学环境提供理论依据和实践参考。

基于模糊UML的C^4 ISR系统上下文知识建模方法

普适计算和上下文感知技术是智能化C^4 ISR系统的一种可行路线,针对上下文知识中大量模糊和不确定信息难以建模表示的问题,首先从C^4 ISR系统的业务特点和上下文知识内涵出发,定义组成C^4 ISR系统上下文环境的基本概念和关系,形成上下文知识元本体,在此基础上,借助UML扩展机制、模糊建模元素,形成一种C^4 ISR系统上下文知识建模语言。通过该语言不仅可以准确表达上下文知识中的明确信息,而且对于由于传感器偏差或信息缺乏所带来的模糊或不确定上下文环境信息,该语言同样具有良好的表达能力。

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

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

玉米安全生长季节的探讨

玉米安全生长季节的探讨董庆超（河南大学出版社４７５００１，开封）玉米（ＺｅａｍｇｙｓＬ．）它属于Ｃ＿４植物，其叶片的光合强度对低温特别敏感，气温若低于４℃其光合强度极其微弱；气温在４～１０℃时，其光合强度仍很低；气温超过１０℃时，其光合强度随气温的升...

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

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

化学工业污水灌溉对土壤中砷分布的影响——以开封市化肥河为例

对开封市郊区化肥河沿岸及全郊区土壤进行典型采样调查 ,研究了化肥厂含砷废水灌溉对土壤中砷含量的影响。结果表明 :(1 )不同灌溉方式下砷在土壤中的含量变化规律是重污灌区水浇地和菜地高于污灌混灌区耕地和菜地 ;(2 )土壤中砷含量沿化肥河以排污口为界向下游逐渐增加 ,垂直于河流流向因距河远近、不同土地利用方式也表现出明显的规律性变化特征。

基于UML模型的C^4ISR系统能力需求分析与验证

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

一种支持能力需求概念一致性和合理性分析的方法

针对C4ISR系统能力需求中存在的大量模糊信息以及需求模型中可能会存在的不一致性、不合理性问题,从体系结构能力相关概念出发,构建C4ISR领域特定的能力模糊本体,在模糊本体的引导下,获取应用系统的能力需求模型.在此基础上,研究了基于模糊描述逻辑符号推理的能力需求模型一致性、合理性验证技术,给出了能力需求模型向模糊描述逻辑知识库的转换算法,最终采用一个模型验证案例说明了方法的可行性.

基于描述逻辑的上下文知识获取与推理方法

针对上下文感知计算中缺乏清晰统一的模型与自动推理支持的问题,提出一种基于描述逻辑的上下文知识获取与推理方法。该方法首先提出了一种本体引导的上下文模型框架,根据抽象层次的不同将上下文模型分为元模型与领域特定模型两层结构;然后采用描述逻辑表示语言SHOIN(D)形式化描述该上下文模型,设计上下文模型向描述逻辑知识库的转换算法。最后以一个实际案例说明该方法的可行性。

C^4ISR系统能力需求行为建模及验证

针对C4ISR系统需求分析行为建模中,统一建模语言(unified modeling language,UML)的行为模型验证困难问题,提出了一种C4ISR系统能力需求行为建模及验证方法。从构建C4ISR能力元概念模型入手,通过扩展UML行为元模型得到能力行为元模型,然后使用能力行为元模型来构建能力需求的行为模型。为了检查行为模型是否满足能力元概念模型、能力行为元模型和领域规则约束等模型一致性和领域完整性问题,将行为模型的语义形式化为OWL DL和DL-Safe规则表示的本体,并定义模型检查规则通过对本体进行逻辑推理和查询实现模型验证。

基于指挥信息系统构建一体化装备综合演练环境

为满足信息化条件下具有体系作战能力的联合作战人才培养及教学训练创新要求,以近来年多学科专业协同装备综合演练实践为基础,对基于指挥信息系统构建跨区域、一体化装备综合演练环境的需求进行了分析,按照军事信息系统互操作性的等级标准,分析了各级别下的装备综合演练环境的特点、信息类型及建设思路,并根据环境建设的主要内容阐述了环境建设的具体措施,对于提高军队院校实战化教学训练水平及学员联合作战能力素质培养具有重要意义。

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

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

基于UML的领域规则建模方法

为了实现领域约束规则的可视化表示,检验需求模型与领域知识之间的一致性,该文提出一种领域规则建模及需求模型验证方法。在借鉴本体定义元模型和语义网规则语言(SWRL)基础上,定义了一种领域规则定义元模型。用该元模型扩展统一建模语言,使其可用于领域规则建模。给出了领域规则模型到SWRL描述的转换方法,使需求模型验证可通过形式化推理引擎自动完成。通过模型验证案例分析,说明了该方法的可用性。

基于UML/OCL的C^4ISR效能概念建模分析

为了统一描述军事电子信息系统(command control communication computers intelligence surveil-lance and reconnaissance,C4ISR)系统功能和效能两方面的需求,提出了一种基于统一建模语言/对象约束语言(unified modeling language/object constraint language,UML/OCL)的C4ISR效能概念建模和形式化验证方法。首先,利用效能相关概念扩展了DoDAF 2.0能力元模型,构建一个能够同时引导C4ISR能力的功能分析和效能分析的元模型;将该元模型描述为UML Profile,形成一种基于UML的C4ISR效能概念建模语言,并支持C4ISR效能概念模型检验;最后借助一个假想案例分析说明了该建模语言对C4ISR能力的功能和效能概念建模及模型验证的能力。该方法可弥补UML建模技术在特定领域效能分析方面的不足。

基于描述逻辑的C^4ISR系统体系结构一致性验证方法

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