基于微分Petri网的民机航迹演化通用模型构建

为实现对未来大流量、高密度、小间隔条件下的空域实施管理,在战略航迹规划阶段,提出了一种模块化的战略航迹演化通用模型。建立了不同航段之间航空器状态动态切换的一类宏观Petri网演化模型,以及同一航段内航空器速度和高度两种特征参数值连续变化的3类微观Petri网演化模型。根据航空器特征参数值转化的4种不同形式并基于航空器全飞行剖面的混杂运行特性,运用微分Petri网理论,定义了航空器的4种演化模式,通过组合各种演化模式得到了3种航空器基本演化模型。在满足航空器性能约束的前提下,通过设定10个航段及15个高度和速度预设值,得到了全飞行剖面下各特征参数的演化图。结果表明,所设计的演化模型增强了航迹预测模型的通用性,能够反映航空器在水平剖面和垂直剖面内的状态变化。     

基于Petri网的导弹安全自毁系统实时安全分析

安全自毁系统对于防止导弹发射出现重大事故具有重要作用,为此,通过对导弹安全自毁系统工作过程的分析,建立了该系统的Petri网模型。并依据此模型采用解析和仿真两种方法,根据导弹发射阶段获得的测试信息,对导弹安全自毁系统进行了实时安全分析。利用文巾所提方法可以获取发射指挥员关心的系统层次的导弹发射安全信息,为发射决策提供依据,减少对发射指挥员经验的过分依赖。