C4ISR体系结构描述的逻辑和行为验证

针对体系结构描述过程中遇到的产品一致性问题,提出一种用可执行模型来分析验证模型一致性的方法.首先根据C4ISR体系结构描述过程中形成的活动模型、规则模型、数据模型,生成体系结构可执行模型,然后将可执行模型的仿真执行顺序、运行结果与作战想定以及动态模型进行对比,来对C4ISR体系结构描述进行逻辑和行为验证.用一个歼击机防空的例子来说明此个过程.     

基于xUML的C4ISR系统可执行对象模型设计

C4ISR系统自身复杂性和军事需求多变性,使得系统设计风险增加,研制难度愈来愈大.把模型驱动体系结构MDA的思想和可执行建模语言xUML引入C4ISR系统的设计研制过程中,详细分析了可执行对象模型对于C4ISR系统研制的意义,给出了基于xUML的C4ISR系统可执行对象模型设计方法和步骤,并通过水面舰船的实例验证了该方法的可行性.该方法对系统结构化分析、动态逻辑验证、性能测量评价,而且在描述能力、可理解性和可分析性等方面比基于Petri网的可执行模型都有很大改善.     

基于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体系结构的可执行分析,最后以区域防空作战系统为例说明了方法的可行性。     

基于SA的C4ISR体系结构可视化建模

SA是国外先进成熟的武器系统体系结构的分析、设计、可视化建模与验证工具.介绍了SA的基本概念、功能与模块组成.结合"无人机侦察系统"C4ISR体系结构建模案例,根据SA中C--4ISR系统OV视图产品的开发步骤,开发,设计了C--4ISR OV视图中几个关键产品模型,为后续深入研究如何利用SA进行所需C4ISR系统体系结构的可视化分析、设计与建模打下基础.     

基于UML&OPN的C4 ISR系统体系结构仿真验证研究

基于UML(uniform modeling language)和Petri网的不同特点,应用UML的不同视图来描述C4ISR系统体系结构的相关产品.根据产品之间的关联,把产品的UML视图转换为对象Petri网的仿真模型.通过系统动态行为仿真模型的执行,分析体系结构的时序关系、信息流关系和接口关系的合理性,验证系统功能是否满足需求,系统状态的变化是否正确,从而有效,合理地评估系统的性能.     

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

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

基于CADM的C4ISR体系结构一致性验证方法

近年来,体系结构验证已经成为C4ISR系统体系结构领域重要的研究方向.传统的体系结构验证方法依赖于体系结构数据的表现形式,依赖于特定的体系结构设计工具,不具有通用性.本文提出的基于核心体系结构数据模型（CADM）的体系结构验证方法可以避免这个问题,CADM是C4ISR系统体系结构数据的逻辑模型,本文首先解释了CADM的概念、然后对体系结构数据一致性验证的内容和详细步骤进行阐述,最后通过案例进行说明.     

基于DoDAF的体系结构模型设计与验证

建立体系结构模型是C4ISR系统工程的重要组成部分,它是降低系统研制风险,缩短研制周期、保证系统满足军事需求的重要手段.重点分析了体系结构产品的内容和相互逻辑关系,提出了具体的设计步骤,并就体系结构模型验证提出了思路和方法.以海上联合机动编队系统为实例,建立了其体系结构模型并进行了驱动验证,结果表明该方法步骤是可行的.     

基于ATAM的C4ISR体系结构产品评估

体系结构是对复杂系统的组成部分及相互关系的描述,对体系结构进行评价是十分重要的.美国SEI(软件工程研究所)提出一种评价信息系统体系结构的方法--ATAM (architecture tradeoff analysis method).ATAM是一种围绕体系结构质量属性而展开的分析方法,它集中于确认是否满足质量属性.利用ATAM方法从作战环境和后勤环境的想定出发,来评估C\+4ISR体系结构产品.通过对性能、可修改性、可靠性、安全性等多个属性的分析,得到特定属性的敏感点,然后综合分析敏感点,从而得到C\+4ISR体系结构产品的折衷点.     

面向服务的C~4ISR体系结构服务视图描述框架

C4ISR体系结构设计作为系统顶层设计的重要组成部分,是保证C4ISR系统之间可集成、互操作的关键,针对原有的C4ISR体系结构系统视图中军事资源系统之间紧密耦合难以适应作战视图中作战任务过程动态变化的问题,结合面向服务的思想对原有的体系结构描述框架进行扩展。为了保证C4ISR体系结构数据一致性,在底层体系结构基本数据元素模型分析的基础上加入服务元素,通过分析服务元素之间以及服务元素与原有的体系结构数据元素之间的关系,确定C4ISR体系结构服务视图描述框架,并对服务视图产品描述内容、数据元素模型及产品之间的关系进行分析。     

复杂产品虚拟样机概念设计技术研究

建立协同的、智能化的复杂产品概念设计支撑系统是当前虚拟样机工程必须解决的问题之一。从复杂产品概念设计的需求和解决分布式环境下概念设计系统实现的技术难点出发，在分析了Agent技术和WEB服务技术的基础上，对虚拟样机分布式协同仿真系统中的复杂产品概念设计进行了研究，提出将WEB服务技术和Agent技术相结合，建立基于Agent的虚拟样机产品概念设计系统，阐明了系统的结构，工作原理和工作流程，并讨论了系统实现的关键技术。     

基于数据挖掘的HLA仿真系统测试与评估

针对高层体系结构(high level architecture,HLA)仿真产生的海量数据,利用数据仓库以及数据挖掘技术进行测试与评估。通过基于HLA的C4ISR系统仿真为例,介绍了仿真数据仓库的存储模型。以战场中感知信息与客观信息的偏差程度作为评估指标,运用商业智能软件COGNOS,对C4ISR系统的情报侦察与电子对抗能力进行评估,发现并改正了仿真过程中出现的问题。实践证明了设计方案的有效性。     

C4ISR体系结构研究综述

体系结构是组成系统各部件的结构、它们之间的关系以及制约它们设计和随时间演进的原則和指南。体系结构设计是系统顶层设计的一个重要组成部分,是保证C~4ISR系统之间可集成可互操作的关键。从C~4ISR体系结构框架、体系结构设计方法、体系结构验证方法、体系结构开发工具等方面分析、总结了当前C~4ISR体系结构的研究情况。     

C4ISR系统体系结构设计环境研究

体系结构设计是C4ISR系统顶层设计的重要组成部分,其设计内容包括一系列相互关联的基本产品和支持产品,这些产品以图形、文字、表格的方式提供给用户。体系结构设计需要借助专门的设计工具。从体系结构设计的需求和体系结构产品的特点出发,设计了体系结构设计工具和环境,实现设计成果的共享并支持协同开发,维护了体系结构设计的一致性。     

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

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