UML的海上编队雷达情报网作战视图描述

海上编队雷达情报网由于缺乏可以参照执行的标准,不能有效地实现系统的综合集成。体系结构设计是一种重要的系统顶层设计方法,是保证系统之间可集成可互操作的关健。美国国防部体系结构框架(DoDAF)适用于各种复杂系统的设计,已成为行业的建模规范。作战视图(OV)是进行系统顶层设计的体系结构技术中的重要组成部分,参考DoDAF2.0版的作战视图产品,采用统一建模语言(UML),对海上编队雷达情报网的作战视图进行了描述。     

气球载雷达支援抗击巡航导弹作战军事概念建模

针对地基预警雷达单独预警巡航导弹发现距离近和跟踪目标困难的问题,提出了气球载雷达与地基预警雷达协同预警。按照军事概念建模的方法,建立了气球载雷达与地基预警雷达反巡航导弹(Cruise Missile,CM)的预警协同模式。在此基础上,建立了IDEF0功能模型。通过对IDEF0功能模型的理解,转换为作战仿真软件开发所需各类UML模型。从技术上验证了气球载雷达与地基预警雷达反CM预警协同作战的可行性,对其仿真实现有一定的参考价值。     

基于EFSM模型的可执行回归测试数据生成方法

基于扩展有限状态机(extened finite state machine, EFSM)的回归测试过程中，传统的可执行测试数据生成方法由于没有充分利用软件变更信息，在对模型分支错误进行检测时效率较低。为此，提出了一种基于EFSM模型融合的可执行回归测试数据生成方法，制定规则对软件变更前后的模型进行融合，将程序变量作为符号对融合模型中所需覆盖的测试序列进行遍历，结合软件变更信息生成变量约束表达式组并求解得到最终的回归测试用例。实验结果表明：该方法在分支错误检测率、可执行比例、稳定性和测试效率等方面具有一定的优势。     

基于UML的美军动能反卫作战系统概念建模

针对美军动能反卫作战系统,利用UML方法,对其作战仿真概念建模进行了初步的探讨。针对作战系统的反卫作战任务,首先识别系统的主要行为,利用用例图定义系统的功能需求;其次利用类图标识系统用例模型中的所有实体,并分析这些实体的关联关系;最后,采用顺序图展示对象在系统执行过程中不同阶段的动态交互。这样建立的概念模型描述规范,为下一步仿真系统的开发奠定了良好知识表示基础。     

综合战场环境仿真软件建模

作为C3I系统重要组成部分的综合战场环境仿真软件要求必须具有开放性和可重用性,以适应战场环境和武器系统的变革.基于以上特点,本文采用UML对综合战场环境仿真软件需求进行建模,采用此方法对该软件进行建模,可以将复杂的综合战场环境仿真系统用简单明了的可视化图形表示出来,为整个软件的开发提供灵活、一致、易读的表达,不仅可以解决软件开发中众多领域人员难以互相交流理解的难题,还可以提高软件的可靠性、可重用性和可维护性.     

装备保障计划规范化建模方法研究

采用UML对装备保障计划从静态和动态两个框架进行建模,直观形象地描述了装备保障计划的内容,为装备保障计划的自动生成提供了理论基础,并且以陆军师弹药保障计划为例进行说明。     

运用ECO开发基于UML的工作流系统

运用UML进行建模并运用MDA方法生成系统代码已成为当前工作流系统设计开发的一大发展趋势。经过多年发展的ECO技术为.Net环境下运用MDA方法开发基于UML的稳定高效的软件系统提供了很好支持,而ECOⅢ则通过支持UML动态建模,使得ECO具备了开发基于UML工作流系统的能力。通过示例介绍了运用ECO进行工作流开发的一般流程,着重展现运用ECO开发工作流系统的可行性和高效性。     

基于UML的海军作战结构模型形式化描述研究*

以海军装备应用研究系统为背景,着眼于海军作战仿真想定生成系统的标准化,通过分析海军作战想定描述的层次结构,针对统一建模语言(UML)在面向对象系统方面的应用特点,探讨了使用UML表示标准的作战想定开发方法,并以合同进攻敌海上编队为例介绍了海军作战想定的设计方法。通过建立实体行动的军事概念模型以及对其进行的形式化描述,实现了军事专业人员和仿真技术开发人员之间的顺利交流,为仿真想定辅助生成系统的开发提供参考。     

基于UML和IDEF的装备保障C3I系统体系结构建模研究

UML和IDEF模型对复杂系统体系结构的分析具有重要价值.根据装备保障C3I系统的特点,对其体系结构进行了深入研究,通过建立系统功能模型、IDEF1X对象静态模型以及UML动态交互模型,从不同侧面较完整地描述了装备保障C3I系统体系结构框架,并提出了相应的物理实现模型,对复杂系统的建模具有一定的理论和实际意义.