随机高级Petri网在空中交通管理中的应用

首先给出了Ｐｅｔｒｉ网，高级Ｐｅｔｒｉ网和随机高级Ｐｅｔｒｉ网的定义。然后，在介绍空中交通管理系统中的机场终端区的基础上，为机场终端区建立了Ｐｅｔｒｉ网图模型。最后，借助Ｐｅｔｒｉ网仿真器，利用机场终端区的Ｐｅｔｒｉ网图模型，进行机场终端区管理系统的仿真优化分析。     

基于Petri网的航空维修分解装配序列规划及其应用

Petri网可用于分解装配序列规划中的关系表达与推理，对于零部件数量大的航空发动机，通过求解Petri网可达集搜索目标分解装配序列的方法是NP难度的。基于装配Petri网与分解Pe试网互逆的观点，分剐采用启发式搜索算法和优先级调度算法求解搜索最小可分解和最大可装配变迁集，然后构造最简Petri子网达到降低搜索难度的目的。并将分解装配序列规划算法用于发动机零部件跟踪控制过程中，达到降低和防止维修差错的目的。     

基于构型项的飞机研制建模技术

飞机制造业的业务过程是一个复杂的、动态的、数据量大的系统工程.如何建立简单完整的产品研制模型一直是业务过程优化(BPI,Business Process Improvement)中的难题.通过借鉴波音公司关于飞机构型管理和产品结构模块化的相关思想,强调构型管理技术在飞机研制的全生命周期过程中的重要性,明确构型项(CI,Configuration Item)准确的数学定义.依据构型管理简化产品的信息模型和Petri 网(PN,Petri Net)描述、优化产品过程模型的特点,将Petri 网理论与构型项结合起来保证全生命周期过程中飞机研制模型的一致性和完整性.提出CI-PN模型来描述整个飞机研制的信息和过程模型,并给出对翼盒研制过程模型描述、分析和优化的实例.      

事故推演建模技术研究

 在总结现有事故模型、复杂系统特性分析的基础上,提出基于系统学的事故模型——事故推演模型,该模型强调从分析系统各组成部分的耦合关系及系统涌现特性的角度揭示事故是如何发生的。针对目前尚缺乏成熟的方法来支持基于系统学的事故分析的现状,建立了与事故模型匹配的事故推演建模方法,层次化面向对象的Petri网（HOOPN）,给出HOOPN的形式化描述,分析了HOOPN对事故推演建模的支持能力,介绍了基于HOOPN的事故推演建模程序。最后利用HOOPN建立民用航空器盘旋进近过程的事故推演模型,并对模型进行定性分析,验证该方法的适用性。     

随机神经网络在机动多目标跟踪中的应用

研究密集多回波环境下的机动多目标跟踪问题。通过对多目标联合概率数据关联方法性能特征的分析,将其归结为一类约束组合优化问题。在此基础上,利用随机神经网络求解组合优化问题的策略,采用改进的增益退火算法,提出了一种新颖的机动多目标快速自适应神经网络跟踪方法。仿真结果表明,该方法不仅具有很高的收敛速度和跟踪精度,而且计算量小,关联效果好。     

智能反舰导弹攻防作战的Petri网模型描述

针对未来海战的发展趋势,发展一种远程化、智能化、多平台反舰导弹成为一种必要。文章构建了智能反舰导弹作战运用过程,并应用Petri网模型对智能反舰导弹攻防对战过程进行了描述。     

功能可靠性仿真研究

研究了功能可靠性仿真技术的需求背景,总结了近年来它的发展现状和各研究方向主要特点,分析了功能可靠性仿真的几个主要关键技术。提出了用于性能与可靠性综合建模及分析的新的表达法ＦｒａＮｅｔｓ,并通过案例验证了ＦｒａＮｅｔｓ在完成系统性能和可靠性分析中的能力。     

面向复杂航空电子系统的GSPN 任务可靠性建模研究

考虑资源备份与重构的动态特征,采用广义随机Petri 网对具有资源备份机制的典型航空电子系统架 构进行可靠性建模,通过在TimeNet 平台中开展模型仿真,基于功能模块的可用度指标对系统任务可靠性进行 了评估应用,得到的瞬态仿真结果有效预测了该系统可用度时域特性,稳态分析结果经数值验证具有较高的精 度,该建模方法为航空电子系统动态可靠性评估提供了参考。     

协同维修过程的合成Petri网建模与分析

针对协同维修过程中共享资源约束、工序衔接时机和维修工时不确定3大问题,建立了一种基于合成Petri网的协同维修过程模型.该模型采用三参数的数组来描述不确定维修时间,引入活动图形来描述协同关系和建立共享资源控制网来约束资源派遣次序.给出了协同维修过程合成Petri网构造算法.解决了协同维修过程分析中3大难点,合理表述了协同维修活动依赖关系,实现了对协同维修过程的规范化描述.实例分析表明该模型能够帮助维修工程部门预测维修完工时间和把握工序衔接的时机,并提出共享资源优化配置的建议.      

具有混合约束的DES Petri网控制器的设计

针对基于Petri网离散事件系统库所和变迁混合不等式约束反馈控制器的设计问题,提出一项新型设计具有库所和变迁混合约束的Petri网控制器的方法——利用Petri网简化技术把所有约束库所融合为一个与它们标识总量相等的库所,然后再与受约束的变迁进行对照比较,使控制器的设计更为简单并且避免了死锁,尤其是对规模较大的系统,其优势更加明显。借助一个应用实例．将该控制器设计方法与Yamalidou等人提出的控制器设计方法作比较,表明所提出的控制器设计方法不仅更简单、更有效而且可以应用到推广Petri网。