基于能力的C~4ISR通信领域上下文本体建模方法

上下文信息建模及推理是业务智能化的关键.针对C~4ISR通信领域的智能化,研究了军事通信领域上下文本体建模及推理问题.在基于C~4ISR能力需求分析的基础上提出了一种通信领域上下文本体构建方法.该方法首先给出C~4ISR通信领域元本体的概念、关联、规则等,然后通过对完成使命任务相关的活动分析来驱动C~4ISR通信领域上下文本体的建模,并利用本体自动推理工具完成了上下文推理,最后以一个案例说明该方法的可行性.     

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

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

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

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

基于UML/OCL的C4ISR效能概念建模分析

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

基于信息流的网络化C4ISR系统结构抗毁性分析方法

网络化C4ISR系统规模庞大、结构复杂,系统结构成为影响网络化C4ISR系统各种特性的主要因素,特别是结构与系统抗毁性之间存在直接的因果关系。本文在分析系统结构抗毁性概念的基础上,首先提出了网络化C4ISR系统结构信息流模型;然后基于该模型提出了基于信息流的系统结构抗毁性分析方法;包括不完全信息下系统结构的攻击模型、系统完成任务能力的度量方法以及抗毁性指标计算方法;最后通过对区域联合防空指挥信息系统结构抗毁性仿真实验分析,验证了该方法的有效性。     

基于服务集成的C4ISR系统仿真环境研究

未来的C4ISR系统将建立在使用服务集成技术的信息栅格环境下,相应地,C4ISR建模与仿真系统也将基于服务集成技术构建.介绍了服务集成技术的原理,基于仿真服务总线技术,提出一个基于服务集成的C4ISR系统仿真环境,分析了该环境的技术体系结构和关键技术,为支持面向服务体系下的C4ISR系统仿真实验提供了一种可选解决方案.     

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

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

基于模型转换的C4ISR体系结构可执行模型构建

为解决当前可执行模型构建效率低、重用性差所造成的体系结构验证困难,实现自动化的可执行模型构建,提出了一种基于模型转换的C4ISR体系结构可执行模型构建方法。该方法基于国际国防企业体系结构本体规范（international defense enterprise architecture specification, IDEAS）,构建了C4ISR体系结构作战视图元模型;建立了对象Petri网（object Petri-net, OPN）建模元素与体系结构元模型数据元素的映射关系,重点研究了几种通用流程模式下体系结构元模型数据与OPN之间的语义转换规则;最后,以某防空作战指挥信息系统体系结构为例,依据获取的体系结构数据,基于以上方法有效地构建了验证作战规则的OPN模型。     

C4ISR系统总体方案规范化建模方法研究

提出了一种C4ISR系统总体方案规范化建模方法,该方法是将规范化的系统描述与建模方法和基于建模与仿真的系统分析、评估与优化方法相结合,共同用于系统的总体方案设计活动中,以解决系统需求向系统设计与实现的平坦过渡问题。阐述了C4ISR系统总体方案规范化建模与仿真分析过程,并重点对系统建模语言Sys ML及系统方案元模型的构建进行了深入研究。     

C4ISR/仿真互操作技术参考模型应用

C4ISR/仿真互操作技术参考模型是对采用不同技术和标准的C4ISR系统与仿真系统实施综合信息管理、交互操作所建立的模型,主要解决不同系统间互操作所存在的问题。其对指导C4ISR系统与仿真系统的建设有着重要的意义。对C4ISR/仿真互操作技术参考模型进行了介绍,着重通过对统一空情仿真演示系统的分析与设计实现对C4ISR/仿真互操作技术参考模型进行实际应用研究,以探求展现技术参考模型对C4ISR系统与仿真系统建设重要指导的过程。     

C4ISR系统能力需求行为建模及验证

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

基于fUML的C4ISR体系结构可执行

由于C4ISR体系结构模型缺乏可执行性,不利于体系结构的验证评估,为此提出了一种基于fUML(semantics of a foundational subset for executable unified modeling language models)的体系结构建模与分析方法。基于fUML元模型来定义C4ISR体系结构的可执行建模元模型,使用它们来构建C4ISR体系结构的可执行模型;定义可执行模型的代数语义域--可执行活动模型代数（executable activity model algebra,EAMA）,使用语义函数将可执行模型的行为语义转换为EAMA的进程项;定义EAMA的操作语义作为进程项的执行规约,通过对进程项的仿真执行来实现C4ISR体系结构的可执行分析,最后以区域防空作战系统为例说明了方法的可行性。     

用NLP技术实现军用文书自动生成系统设计

军用文书自动生成是C4ISR系统中的关键技术之一 ,是提高指挥效能必不可少的重要环节。通过系统分析 ,阐明了C4ISR系统中军用文书生成系统的一个重要发展方向是基于自然语言处理的文书自动生成 ,并根据军用文书生成过程中的信息流向 ,提出了该系统三模块的结构模型 :信息理解模块、文书信息库模块、文书生成模块 ,进而描述了这三个模块的整体运作流程。该模型对其他领域中基于自然语言理解的文本生成系统也有参考价值。     

C4ISR系统体系结构的仿真验证方法研究

C4ISR系统体系结构设计在系统研制中的地位和作用越来越受到重视,体系结构设计的质量将直接关系到系统开发的成败.体系结构验证是利用体系结构产品,将其转换为可执行模型,通过分析可执行模型的执行过程和结果,从而验证评估体系结构设计质量的方法.文章研究了体系结构验证的基本思路,利用现有的组件化建模仿真技术与环境,以部分C4ISR体系结构产品为基础构建仿真系统,通过仿真实验来进行体系结构验证,从而为体系结构验证提供技术支持.     

网络化C4ISR系统结构时效性分析方法

现代战争中,战略预警、时间敏感目标的打击、协同指挥决策等都对网络化C4ISR系统的响应时间提出了更高的要求。提出了一种基于社会网络分析的网络化C4ISR系统结构的时效性分析方法,从系统结构层面评估网络化C4ISR系统的响应时间。为此,首先建立网络化C4ISR系统结构的OPDAR模型,然后提出了情报信息流、协同信息流和指控信息流3类信息流的定义、数学表示及其参量计算方法,在此基础上定义了情报信息流时延、协同信息流时延和指控信息流时延3种系统结构时效性分析指标及计算方法,支持定量分析系统结构的时效性。最后,利用所提分析方法对设计的两种区域联合防空系统结构的时效性进行对比分析,验证了所提方法的有效性。