基于攻击图的计算机网络攻击建模方法

随着计算机网络入侵技术的不断发展,网络攻击行为表现出不确定性、复杂性和多样性等特点,攻击向大规模、协同化和多层次方向发展,计算机网络攻击建模已成为当前研究的热点.综合论述计算机网络攻击建模的研究概况,剖析网络攻击图的定义,讨论现有的典型网络攻击图的主要生成方法并对其进行复杂性分析,在此基础上归纳总结目前网络攻击图的应用.给出网络攻击图研究的若干热点问题与展望.     

装备综合保障仿真一体化建模研究

装备综合保障一体化模型是更有效地实现装备综合保障仿真的基础，解决元模型的异构和分布性问题是综合保障仿真一体化建模技术的关键。针对装备综合保障仿真一体化建模问题，探索了利用可扩展标记语言（eXtensible Markup Language，XML）对综合保障仿真元模型进行一致性描述，并建立了综合保障仿真一体化模型。以XML为基本建模语言，通过设计各类元模型的XML描述结构和表达方式，实现了综合保障仿真中各类异构元模型的集成化、一体化表达，该一体化模型为综合保障仿真集成化开发环境的实现奠定了良好基础。     

多分辨率建模理论方法研究的现状与发展

多分辨率建模是当前模拟与仿真的前沿课题之一。本文简要回顾多分辨率建模的发展过程 ,阐述了开展多分辨率建模研究的必要性和进行多分辨率建模的主要方法。     

一种基于模型的系统设计方法

提出一种面向功能需求,基于模型的"V"型系统设计方法,通过图形化行为建模技术对系统功能进行分解,运用多种仿真和验证技术,在设计过程中实现对系统功能、行为以及与需求规范的一致性和完整性进行实时验证,及时发现并纠正错误,从而避免在产品的物理原型阶段或测试阶段才发现系统设计的错误.     

空间飞网发射动力学建模仿真研究与地面试验

空间飞网是近来提出的一个创新的空间系统概念,在空间碎片处理和在轨服务方面具有独特的应用潜力.针对飞网系统的发射过程,利用建模仿真和地面试验两种手段进行了研究,建立了飞网发射的集中质量模型,设计了基于燃气助推质量块的飞网发射地面试验装置,开展了多次飞网发射试验.地面试验结果与模型仿真结果基本吻合,说明所建立的动力学模型可用于空间飞网系统设计.     

考虑多类资源的多任务并行维修过程Petri网建模

针对基本Petri网在建立多种任务共享多类资源情况下的复杂并行维修过程时存在的结构复杂化问题,应用网抽象原理,由简入繁,将库所变迁网模型逐步转化为常量弧有色网和有色网模型,由单类任务/单类资源、单类任务/多类资源模型逐步建立了考虑多类资源的多任务并行维修过程模型。采用Petri网仿真分析工具ExSpect对有色网模型进行了实例研究。结果表明：模型具有通用性,便于仿真实现。     

信息系统需求建模方法研究

在需求工程领域中,基于场景的需求建模方法越来越多地被人们采用.根据信息系统自身的特点和基于场景需求建模方法的优点,给出了一种基于场景的信息系统需求建模的具体方法.通过对雷达技术保障信息系统需求建模过程的实例分析,证明该方法能够快速、准确、全面地获取信息系统的需求模型,具有较高的应用价值.     

单机动目标跟踪建模的新探索

建模是机动目标跟踪领域需要研究的一个重要理论课题之一。根据指挥自动化系统的特点,本文提出了一种新的更符合指挥自动化系统战术要求的圆弧机动模型——非线性机动中心坐标系模型(Nonlinear Maneuver-Centered Coordinates Model—NMCCM),与坐标旋转模型(Coordinated Turn Model-CTM)[4] 和J. A.Roecker的机动中心坐标系模型(Maneuver-Centered Coordinates Model—MCCM)[2]相比,这种新的模型不仅能以较高精度估计出目标的位置、速度和航向,而且能估计出目标圆弧机动的中心和半径,为指挥、辅助决策和实时拦截引导提供更多的参考数据。     

防空群(团)指挥所指挥决策建模及性能分析

在防空作战指挥自动化系统的论证和初步方案阶段,急需建立相应的仿真模型以对其功能和性能指标进行评估和预测,从而进一步增强论证工作的科学性和指导性。本文就防空群指挥所的指挥决策过程进行了建模,并通过示例给出了系统的稳态概率、流通率、瓶颈点和平均时延等性能指标的分析方法,供装备论证人员参考。     

C^3I/M＆S互操作性研究

结合C^3I/M＆S互操作性的主要问题,总结了互操作性技术参考模型,在此基础上对C^3I/M＆S互操作性的数据模型及标准、接口标准进行了详细论述,介绍了北约C^3I/SIM互操作性试验情况,并指出了未来C^3I/M＆S互操作性研究的发展趋势,对军队C^3I系统和仿真系统的建设有一定的指导意义。