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

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

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

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

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

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

基于DM2的体系结构数据一致性验证方法

为进行有效、规范的体系结构构建,现有体系结构大多采用美国国防部体系结构框架（Department of Defense Architecture Framework, DoDAF）作为指导,针对采用该框架构建的体系结构的数据一致性验证问题,提出了一种基于国防部体系结构框架元模型（DoDAF meta model, DM2）的验证方法。该方法直接从DM2中提取数据的一致性原则,而后利用查找出来的实体数据构建验证准则或者验证矩阵,进而完成体系结构数据一致性的判断。最后,通过一个案例进行一致性验证步骤说明和可行性分析,验证结果充分说明了该方法的有效性。     

基于生成图的体系结构动态行为语义一致性验证方法

针对体系结构动态行为的语义一致性验证问题,提出了基于生成图的验证方法.首先根据体系结构的动态行为模型构建生成图,然后对生成图的逻辑结构和时间信息进行分析,来完成动态行为模型的逻辑关系和时序关系一致性验证.该方法不但能够有效解决动态行为的语义一致性验证问题,而且还能准确定位模型中出现问题的地方,指导用户进行模型不一致处理和优化动态模型.同时,生成图可供多个模型间的动态行为一致性验证,实用性更强,且在可理解性、可分析性等方面上相比传统方法具有较大改善.     

基于生成图的体系结构动态行为语义一致性验证方法

针对体系结构动态行为的语义一致性验证问题,提出了基于生成图的验证方法. 首先根据体系结构的动态行为模型构建生成图,然后对生成图的逻辑结构和时间信息进行分析,来完成动态行为模型的逻辑关系和时序关系一致性验证. 该方法不但能够有效解决动态行为的语义一致性验证问题,而且还能准确定位模型中出现问题的地方,指导用户进行模型不一致处理和优化动态模型. 同时,生成图可供多个模型间的动态行为一致性验证,实用性更强,且在可理解性、可分析性等方面上相比传统方法具有较大改善.     

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

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

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

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

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

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

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

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

基于分布式仿真的C4ISR效能评估系统设计与实现

C4ISR是取得信息化战争中信息优势的根本保障,评估其对作战结果的影响是一个具有挑战性的难题。依据C4ISR系统作战效能评估的需求提出了基于战场实体的C4ISR体系对抗仿真评估系统总体结构,重点研究了对抗条件下C4ISR系统作战效能评估指标体系和评估模型。针对仿真实现的需要,分别建立了信息优势和决策优势定量化度量公式,给出了信息优势和决策优势评估算法。最后,结合具体战役作战想定分析了仿真评估结果,验证了评估模型的合理性、有效性。     

C~4ISR中数据链系统信息优势评估方法研究

数据链作为C~4ISR系统的重要组成部分,承担了C~4ISR系统大部分信息流的分发任务,是C~4ISR系统夺取信息优势的重要保证,因此,如何分析和评价数据链的信息优势能力及其对C~4ISR系统整体信息优势的影响是数据链系统建设中一个重要的研究课题。在分析C~4ISR系统工作流程的基础上,给出了通信子域信息优势的评价指标定义及评估模型;并且重点分析了数据链的连通性、传输可靠性以及实时性对通信子域信息质量的影响,进而给出了数据链信息优势的数学描述和评估模型,并分析了其在整个C~4ISR系统信息优势中的影响。     

C4ISR体系结构研究现状与问题

体系结构是组成系统各部件的结构、它们之间的关系以及制约它们设计和随时间演进的原则和指南。C4ISR体系结构已成为国内外军事领域的研究热点以及大型军事信息系统开发的关键技术之一。归纳了C4ISR体系结构研究的重要意义及其主要的研究方向。在介绍了C4ISR系统体系结构定义之后,从三个方面总结了C4ISR体系结构技术的研究进展。最后在分析当前体系结构研究不足的基础上对体系结构的发展趋势进行了总结和展望。     

基于仿真的指挥自动化系统开发方法研究

指挥自动化系统的开发是一项复杂的系统工程,开发过程面陆的困难和问题很多,往往耗资巨大但达不到最终要求,采用先进的系统设计方法是改善系统开发质量的重要途径.仿真是复杂系统试验研究的重要方法,在我国指挥自动化系统开发的局部领域得到了应用,但缺乏对系统开发过程提供全方位的支持.结合我国指挥自动化系统研制程序和仿真应用现状,提出了基于仿真的指挥自动化系统开发方法,并提出了其实现框架,部分研究成果已在具体项目中得到了应用.     

C4ISR与作战仿真系统的集成模式研究

当前作战仿真系统与C41SR之间的互操作性,业已成为研制C4ISR系统的装备研究机构和军事仿真界共同关注的热点.首先从项层概念上分析了两类系统之间的互操作技参考模型,然后从案成体系结构的视角进行了四种渐进集成模式的研究,最后通过对这四种模式的综合比较,明确了最佳的综合集成体系结构.     

仿真环境与C4ISR系统交互技术研究

建立了仿真环境与C4ISR系统交互活动模型和功能接口模型,对实现交互功能的关键技术进行了研究,建立了仿真实体与C4ISR系统进行交互的对象匹配过程和算法以及仿真代理的软件体系结构。研究成果已在实际系统仿真测试环境中得到应用和验证。     

面向作战模型的C4ISR系统影响元建模方法

以C4ISR系统对火力毁伤过程影响的功能描述为重点,采用影响元建模方法,建立由系统能力、人员行为和人机交互三维矢量所构成的C4ISR系统的矢量空间模型,运用模糊综合评价方法获得C4ISR系统的信息支援能力系数量化指标,最后通过算例对模型进行验证,所得结果可作为作战模型的影响系数进行效能评估.     

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

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