某型自行高炮武器系统面向对象的作战模型建模

作战模型是作战模拟的工具和手段.构造出简单的、能表现作战系统基本特征和规律的作战模型,需要采用有效的建模方法;简述了面向对象的基本概念、建模方法和步骤;结合面向对象思想对自行高炮模拟训练训练平台进行了可视化分析建模;采用统一建模语言(UML)建立了自行高炮模拟训练平台功能模型、静态模型和动态模型.     

一种支持并行离散事件仿真建模和并行模型检验的建模语言

并行离散事件仿真(Parallel Discrete Event Simulation,PDES)模型的正确性和可信度对PDES应用的发展起着决定性作用.然而,现有的并行离散事件仿真开发环境都没有提供仿真模型检验功能.并行模型检验(Parallel Model Checking,PMC)方法以其完备性、高效性已经在工业...     

网络攻击螺旋模型构建及运用研究

网络攻击模型是实施网络攻击的基本遵循依据,本文分析了经典网络攻击链模型存在的适用性不足、全面性欠缺、整体性不够三个主要问题,构建了更适合描述APT攻击的网络攻击螺旋模型。该模型将网络攻击活动描述为侦察、武器化、渗透与破坏、横向移动、撤出以及评估与改进6个阶段,并设置为螺旋循环式结构,通过对攻击链模型的优化与重构,使模型层次更加分明,任务更加明确,功能更加完备。在此基础上,对模型中各阶段行动应当完成的攻击任务和采取的攻击方式进行了梳理,运用统一建模语言从静态和动态两个方面对网络攻击螺旋模型在APT攻击中的运用方式进行了形式化描述,梳理了该模型的运用原则和特性,对分析识别APT攻击行为并采取针对性防御措施阻断攻击链具有一定借鉴意义。     

基于UML和OPN的通信系统建模技术

提出了采用UM L与OPN相结合的方法对军事指挥自动化通信系统进行建模,该方法利用UM L建立全面的静态模型和全力描述的动态模型,并将动态模型映射到OPN中进行分析和模拟,根据模拟结果对模型进行反复修改,从而验证模型的准确性,提高了系统的开发效率。     

基于UML的作战实验想定设计?

作战实验想定是作战实验系统运行的基础,作为实验数据的一部分十分重要。针对作战实验想定的特点和作用,明确了相关概念,充分运用UML建模功能,提出了基于UML的作战实验想定建模设计思想,以"综合火力打击行动"想定为例,探讨了作战实验想定的UML建模设计过程,为各类人员研究作战实验想定提供了一套较为完整的解决方案,提高了其使用效率。     

需求工程的形式化方法

从需求的概念出发,简单介绍了需求工程的过程模型和需求工程的方法学;根据需求工程的定义以及特点,讨论了在需求工程中引入形式化方法的意义,提出提高需求工程形式化程度的两个主要途径——提高需求建模语言的形式化程度和利用形式化验证技术,并给出选择形式化方法的原则,最后在分析目前技术的优缺点的基础上给出需求建模语言应具备的特征。     

某新型远程AUV的视景建模及可视化仿真研究

在某新型远程自主水下航行器（AUV）的几何空间坐标方程和运动学数学模型的基础上，根据该新型AUV的组成和物理特性完成其在虚拟场景中的三维模型构建。该模型不仅可以准确反映AUV的各项物理参数和真实尺寸，而且可以在数学仿真的同时实现模型仿真的可视化，更加直观、生动和实时地反映AUV的位姿状态以及巡航、悬停和目标跟踪等过程。     

多机种加油模拟训练系统设计与开发

开发多机种加油模拟训练系统,对于探索多机种飞行油料保障问题和提高机场后勤保障能力具有非常重要的意义。结合飞行油料保障实际要求,介绍了模拟训练系统的设计思想,建立了系统需求模型和总体层次结构模型;重点讨论了系统中所采用的场景生成、实体三维模型优化和动画等虚拟现实关键技术,最后给出实现系统所搭建的硬件环境。应用结果表明,该系统为多机种飞行油料保障训练和研究提供一种强有力的手段。     

基于MDA的C~4ISR系统分析设计方法

先进的分析设计方法是提高C4ISR系统开发质量的有效手段。基于软件领域的MDA思想,提出了基于MDA的C4ISR系统分析设计方法,研究了其开发过程和关键技术。该方法实现以模型为基础的系统开发与优化,通过不同阶段模型的转化演进来推进系统的分析设计,有利于提高系统的设计质量,并支持模型重用。     

Rational Rose在HLA联邦开发中的应用

作为“建模与仿真”(M&S)的高层体系结构 ,HLA能带给用户的好处将是巨大的。HLA联邦开发与运行过程 (FEDEP)的自动化是促进HLA应用的关键。文中研究了将功能强大的CASE工具RationalRose用于支持FEDEP自动化的可行性 ,指出了应用中应特别注意的问题 ,重点说明了应用中的关键技术 ,并给出一应用实例