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

提出一种面向功能需求,基于模型的"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]相比,这种新的模型不仅能以较高精度估计出目标的位置、速度和航向,而且能估计出目标圆弧机动的中心和半径,为指挥、辅助决策和实时拦截引导提供更多的参考数据。     

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

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