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

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

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

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

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

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

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

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

C4ISR系统组织互操作性研究

当前对于系统互操作的研究主要集中在技术层面,关注于系统间如何有效交换及利用所交换的数据.如何从战略理念,组织结构,业务进程等更高的组织层面分析系统的互操作性问题,指导体系设计,在系统众多、协作关系复杂的C4ISR系统中尤为重要.本文首先给出组织互操作基本概念,分析了我军指挥信息系统的互操作需求;在此基础上基于权变理论给出组织互操作框架及相关制品;最后,以某前沿阵地防空系统为例论述了组织互操作框架在体系分析与设计中的应用.     

基于目标的C4ISR系统需求行为建模

获取C4ISR系统需求非常困难,为了准确获取系统需求,尤其是动态行为需求,需要对系统行为进行建模。为此借鉴面向目标的需求分析方法,在C4ISR系统需求描述语言MEISRDL的基础上,提出了基于目标的行为建模方法。首先分析作战任务以识别作战目标,通过精化目标构造目标模型,然后将目标作为职责分配于作战实体,最后重点分析作战实体要实现作战目标应具备的内部和外部行为。状态模型、交互模型和行为关系模型提供了多种行为描述和分析方法。通过一个实例介绍了建模的过程,验证了该方法的可行性。     

基于聚类分析的C4ISR系统服务关键要素自动提取方法

从业务模型中发现和识别业务层服务是面向服务架构系统设计的关键活动。为面向服务架构设计,提出了一种基于聚类分析的自动化服务提取方法。该方法将服务提取问题转换为多目标优化求解的问题,以C/U矩阵业务模型为基础,综合考虑服务设计中耦合度、内聚度、重用性、可维护性等原则,构建优化设计的目标函数,并提出模拟退火的求解方法。最后通过案例进行验证。     

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

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

基于影响图方法的C4ISR作战模型

影响图建模方法可对复杂系统进行规范化建模。包括C~4ISR系统的现代战争系统由武器子系统、通信子系统、指控子系统和探测子系统组成,是一类复杂系统。首先确定了表征这些子系统的参量指标,然后采用影响图方法建立了现代作战的影响图模型,进而建立了微分方程形式的C~4ISR作战模型。应用微分方程稳定性理论对C~4ISR作战模型进行分析,研究了C~4ISR系统对现代作战的影响。     

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

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

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

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

基于动态调整的C4ISR系统结构灵活性分析

当前网络和信息技术的发展为C4ISR(command, control, communication computer, intelligence, surveillance, reconnaissance,C4ISR)系统的灵活性提出了更大的挑战。灵活性存在于C4ISR系统的多个方面,其中结构灵活性是系统灵活性的支撑。首先明确了系统结构灵活性的基本内涵,然后采用OPDAR(observer, processor, decision, actor, relationship)模型构建系统结构,改进并应用了制造业中车间产品模型的灵活性分析思想,提出基于动态调整的C4ISR系统结构灵活性分析方法。最后对两种联合防空系统的系统结构进行灵活性分析,证明了方法的可行性。     

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

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

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

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

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

C~4ISR需求模型及一体化描述

研究了C4ISR需求要素及层次化C4ISR需求模型.探讨了节点、活动和信息在节点-关系模型、信息模型与IDEF0活动模型相互之间的映射关系,包括节点映射、活动映射、信息需求映射和约束数据映射,使节点,活动和信息在C4ISR需求模型中匹配起来;在此基础上,提出C4ISR需求一体化层次建模方法.最后,通过一个案例示例以说明了所提出方法的有效性,实用性.     

基于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服务部署分布式演化方法

针对指挥信息系统(command,control,communications,computers,intelligence,surveillance and reconnaissance,C4ISR)服务部署分散、作战平台计算/存储资源有限、演化实时性要求高的特点,基于分层结构设计了系统状态分布式监控与演化总体架构,...