基于分布式自治软构件的C~4 ISR效能分析建模

对C4 IRS效能的评估 ,仿真是一个最重要的手段。但C4 IRS系统中的元素多 ,相关性多 ,较难描述。本文提出了用自治对象描述C4 IRS系统 ,提出了一个自治对象的分析建模方法。在这个方法中 ,我们将仿真分为两层 ,下层是对仿真的要素进行建模 ,产生自治对象。自治对象的静态结构和行为模式下因环境的改变而改变 ,以支持最大限度的可重用 ,并可以通过组装这些预制对象来建立仿真想定。上层则通过组合预制对象并定义交互 ,以搭积木的方式建立仿真系统和想定。最后 ,用分布式软件来实现各个自治对象 ,实现用软件构件进行仿真。     

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

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

基于模糊云模型的C4ISR系统效能需求建模与分析方法

在C⁴ISR系统能力需求开发过程中,非功能性需求建模是一个难点,在综合模糊统一建模语言(unified modeling language,UML)与云模型的基础上,提出了一种面向C⁴ISR系统效能需求的建模与分析方法。首先,从系统效能需求建模入手,提出一种兼顾C⁴ISR系统功能和效能综合建模的需求分析框架,并通过扩展传统的UML来提高其领域适用性,实现对效能等模糊信息的建模。其次,结合该框架设计了一种效能云模型逆向生成算法,并提出基于云模型的综合效能评估函数构建方法,可以实现对系统效能的定量分析,评价系统完成使命任务的效果。最后,通过一个精简的区域防空系统案例验证了方法的可行性与正确性。     

网络中心化C4ISR系统结构“五环”及其效能表征研究

针对网络中心化C⁴ISR系统结构的定量设计与分析问题,以网络中心战结构模型和观察、调整、决策以及行动(observe, orient, decide, act, OODA)过程模型为理论依据,建立了系统结构“五环”概念,采用网络化效能因子(coefficient of networked effectiveness, CNE)衡量系统结构的网络化效能,形成系统结构“五环”效能表征模型,并给出了指导网络中心化C⁴ISR系统结构设计的若干推论,仿真实验验证了表征模型的有效性。     

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

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

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

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

面向服务的C4ISR系统仿真应用集成研究

新一代C⁴ISR系统在以网络、服务为中心架构的复杂环境中演进发展,对其仿真应用提出了更高的要求。基于面向服务架构(service-oriented architecture, SOA)的思想,构建了面向服务的C⁴ISR仿真应用集成体系架构（CSA-SOA）,在该架构基础上设计了仿真应用集成的动态组建过程;描述了仿真应用集成运行的几类关键支撑服务;应用XML语言设计了仿真服务组件和仿真应用的描述规范,同时对仿真运行过程中服务之间的交互与时序关系进行了描述。最后,在某作战指挥系统的集成联试中应用CSA-SOA,通过该服务架构和运行机制,实现了C⁴ISR系统仿真应用的有效集成和无缝连接。     

C4ISR体系结构设计工具的产品一致性维护方法

产品一致性维护是确保C⁴ISR系统体系结构设计正确的重要手段。分析了产品一致性维护的原因,主要是由于体系结构产品之间在描述内容上的密切联系、相互依赖。对产品之间的各种关联关系进行系统地总结,分成显式关联和隐式关联两大类,提出了在C⁴ISR系统体系结构设计工具中对各类关联关系进行一致性维护的时机、策略和方法,并在自主开发的C⁴ISR系统体系结构设计环境中实现。     

海战场C4ISR系统的服务自动组合方法

针对C⁴ISR系统中服务人工智能(artificial intelligence, AI)规划组合存在的服务数量大、不能处理服务执行过程中动态产生的新个体、业务流程和服务质量不确定等问题,提出了一种基于离散事件演算和马尔可夫逻辑网(discrete event calculus Markov logic network, DEC-MLN)的服务自动组合方法。首先给出了面向服务的海战场C⁴ISR系统的流程图,用对事件演算进行拓展形成的DEC-MLN对服务的输入、输出、前提条件和执行效果及基本服务流程进行建模,用MLN的权重刻画组合过程中业务流程和服务质量的不确定性。接着提出了一种基于模板的服务自动组合框架,并给出了溯因DEC规划方法。所提方法克服了基于传统AI规划组合方法限于顺序组合的问题;且DEC-MLN的谓词规模较小,提高了服务组合效率;DEC-MLN在处理不确定性的基础上又能解除封闭世界假说的限制,可以处理组合执行过程中新增个体,增加了组合的动态性。最后用实例验证了所提方法的可行性与有效性。     

基于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建模技术在特定领域效能分析方面的不足。     

SEA Method and ItsApplication in Effectiveness Analysis of C3I System(

针对     

用组合赋值权法评价战术防空C3I系统的综合效能

战术防空C\+3I系统综合效能评价是一个多目标评价过程。多目标评价中的一个重要因素是考虑目标权系数的选取。运用多目标权系数的组合赋值方法,对战术防空C\+3I系统效能进行了综合评价,确定了一套评价指标,给出了系统效能的评价算法。效能评价实例说明了这种评价方法的科学性。     

UML在C4I系统总体结构设计中的应用

面向对象技术是当今应用于过程工程和软件工程的技术热点。简要介绍了C     

考虑级联失效的C4ISR系统结构动态鲁棒性度量方法

在分析动态鲁棒性概念的基础上,提出了一种考虑级联失效的C⁴ISR系统结构动态鲁棒性度量方法,该方法结合不完全信息的攻击模型,设计了C⁴ISR系统结构级联失效的过程模型和动态鲁棒性值的计算方法,最后通过某一区域联合防空系统结构的案例对本文的动态鲁棒性度量方法进行仿真验证,仿真的结果证明了本文所提方法的有效性。     

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

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