基于分层着色Petri网的地空导弹装备维修建模

讨论了一种基于分层着色Petri网理论建立地空导弹装备基地级维修系统模型的方法.该方法运用着色Petri网理论克服了以往用普通Petri建模的不足,细化了其系统模型的中间过程,有利于模型分析和仿真实现.     

基于拆卸及扩展广义随机 Petri网的维修性仿真

在装备研制早期,难以有效地利用试验的方法进行维修性估计,此时适合采用仿真手段。对于机械系统拆卸路径的分析与优化,先基于赋时变迁Petri网建立拆卸Petri网模型,再利用A＊算法搜索最优拆卸路径,并确定拆卸时间。为了建立系统整个维修事件的过程模型,对广义随机Petri网进行了扩展,将其延时变迁与实际分布关联,对基于变迁的维修作业之间的逻辑关系进行了描述,并给出了基于蒙特卡罗法的维修时间仿真算法。最后,以对某火炮装备发射系统不击发故障的分析与排除为例,仿真计算了维修时间均值与方差,并对结果进行了分析。     

面向多层次赋时Petri网的维修动作要素时间度量方法研究

针对装备研制阶段维修时间度量缺乏有效方法的问题,探讨了一种基于虚拟维修模型的维修动作要素(简称动素)时间度量方法,为后续深入开展基于多层次赋时Petri网(HTPN)的维修时间度量奠定基础。首先,在虚拟维修仿真的基础上,按照维修事件分层设计的方法,提出了"维修事件-维修活动-维修动素"的维修过程层次化分解结构。针对底层维修动素时间度量问题,提出了基于改进模特法的维修动素时间度量方法。然后,将维修动素流程数据映射至Petri网,构建了基于HTPN的维修过程模型。最后,通过实例对上述方法进行了应用分析。     

基于Petri网的飞机复杂系统可靠性分析方法研究

Petri网在建模方面具有较强的可视性及良好的动态表达性,提出一种利用Petri网对飞机复杂系统进行可靠性建模的方法,并通过蒙特卡洛仿真方法对Petri网模型进行仿真求解,形成一套完整的可靠性分析理论;以某型机电传飞控系统为例进行建模计算,验证上述方法的可行性和精确性.结果表明:本文提出的基于Petri网的可靠性分析理论,能够有效应用于飞机复杂系统的可靠性分析.     

基于模糊Petri网的维修保障活动可视化建模与仿真研究

介绍了模糊Petri网矩阵推理算法,并对模糊Petri网中的元素进行了抽象定义,同时,为了仿真实现矩阵推理算法,定义了用于存储模型数据和中间计算结果的动态数组,并给出具体代码建模流程图。最后,作为验证实例,应用飞机前轮更换轮胎对该维修保障活动仿真软件进行验证。结果表明,该软件可对该维修保障活动进行建模,即直观清晰地体现出飞机某环节维修保障活动的进程,同时也可以根据相关参数进行分析,将能为在航空系统产品保障效能评估中找出可靠性、维修性、测试性和保障性设计存在的薄弱环节提供技术支持。     

基于引用Petri网的导弹攻防对抗仿真研究

导弹攻防对抗是一个攻防双方相交互的复杂动态系统,尤其对于交战级仿真,会涉及到更多的对象及其交互.Petri网是一种图形化的描述,具有并发、分布、不确定性等特征的复杂系统的有力工具,通过将传统Petri网理论同面向对象技术相结合,形成了面向对象Petri网.引用Petri网作为具有面向对象特征的Petri网的一种,具有更多优良的特性.应用引用网的基本理论,探讨了引用网在导弹对抗仿真中的应用,完成了一个攻防对抗算例的仿真研究.     

DELMIA系统在航空维修中的应用研究

在基于桌面式虚拟现实的基础上,利用三维建模技术,对飞机维修过程中涉及到的维修对象、工具、设备、维修工人和维修厂房等建立模型之后,集成到虚拟的维修环境中,对飞机部件的维修过程在计算机上进行仿真,提前发现维修过程中的不合理操作,然后结合人机工效原理对维修过程进行修改和优化。DELMIA系统作为数字化工厂的代表,其强大的3D设计功能保证了飞机虚拟维修的可行性和可靠性。     

机场场面运行控制仿真软件开发及关键技术

针对飞行区场面运行控制仿真的需求,在Anylogic仿真平台上设计和开发了基于Petri网的飞行区场面运行控制仿真软件,并用于实现A-SMGCS冲突监控算法。通过分析基于Petri网的场面运行建模与控制仿真需求,确定了软件的功能目标和体系结构。研究了软件实现和开发中的几个关键技术问题,如Petri网模型基本类的设计、面向闭环控制的Petri网模型扩展定义、开环和闭环场面运行Petri网模型的仿真算法设计。某机场飞行区的场面运行控制仿真表明,软件可以完成场面运行的闭环控制仿真,支持实现冲突监控算法。     

基于Petri网的建模方法在叶片制造流程重组中的应用

采用基于Petri网的流程建模方法,结合数字化条件下叶片工艺流程设计与评估的相关理论,对叶片制造流程进行重组,并绘制流程框图.利用可达树对Petri网模型进行死锁分析,从而减少流程重组的盲目性和风险.最后通过工程事例说明Petri网模型的死锁分析过程.     

通航维修资源调度分配方法及应用研究

通航维修作业多为跨地域作业且作业时间多具有不确定性,这给通航维修资源的调度带来了一定困难。针对通航维修资源调度是一个典型的离散事件动态系统,结合Petri网模型理论,建立了基于着色和时间的高级Petri网维修资源调度模型,通过该模型用于维修资源的预调度,实现了调度时间预估、可视化调度状态查询。根据预估调度时间结合实际通航维修资源的状况,通过动态规划算法对维修资源进行合理分配,达到了保障飞机持续适航和提高维修资源利用率的目的,为通航维修资源的调度分配提供理论支持和应用参考。     

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

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

飞机装配生产过程的仿真与工艺优化

针对飞机装配产品结构、生产工艺复杂,装配过程离散,数据量庞大多变,难以建立产品化的信息化解决方案的问题,探索出一种基于Petri网模型建立的模拟装配生产线的模型.通过对离散数据的分析与处理,建立装配过程中相关联变量之间的关系网络,运用时延Petri网TdPN模型具有的成熟的数学分析方法,对装配过程进行模拟分析,从而找到最优的人员、工艺、质量、设备和管理资源的配置,达到装配生产过程的优化.最后,通过对某型号飞机外翼的装配过程进行仿真优化,验证了建模仿真和优化算法的可行性.     

基于MFBD的多级多层系统修复性维修过程建模与仿真

由于装备复杂程度的提高以及维修过程的不确定性,对复杂可修系统修复性维修(CM)过程的分析一般基于概念模型进行仿真.通过建立随机的维修功能框图(MFBD),考虑装备测试性设计对维修过程的影响,建立了支持多级多层(MIME)维修活动的仿真模型,同时该模型也支持维修活动间复杂层次及逻辑关系的描述.给出了考虑资源等待时间的复杂可修系统的平均修复时间仿真计算方法,建立了复杂可修系统的修复性维修过程仿真应用案例.通过对测试性设计参数等不同影响因素的调整进行敏感性分析,验证了模型的正确性和适用性.     

基于CPN Tools的机场主要资源调度研究

针对机场跑道、停机位等主要资源调度的问题,Petri网以其固有的特性,非常适合实时处理这类并发事件的问题.CPN Tools是一种Petri网仿真分析软件,具有大量的自动化分析工具,使建模、仿真和结果分析过程更加简单、高效、可控:本文基于CPN Tools软件,实现了用有色-时间Petri网对过站航班使用机场主要资源进行建模,并定义了各种监视器用于采集仿真数据,通过分析这些数据以及系统生成的仿真报告、状态空间报告等,得出了机场主要资源的使用情况.     

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

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

基于模糊推理Petri网的A320飞机偏航阻尼系统

分析了普通Petri网和模糊推理Petri网的特点,采用形式化的极大代数矩阵算法,利用模糊推理Petri网描述并发系统的能力,对飞机偏航阻尼系统的故障建模并分析,得到各级故障发生的概率,用以指导飞机维修中的故障排除,既有严格的数学理论基础,又能准确描述故障之间的关联,也利于计算机编程实现。     

基于AND与Petri网映射的分布式装配系统建模方法

为降低分布式装配系统( Discrete Assembly System,DAS)建模复杂度,有效支撑系统性能分析与优化,提出了一种基于活动网络图(Activity Network Diagram,AND)和Petri网映射的分布式装配系统建模方法.该方法中,首先采用装配作业的分级对象建模框架,快速构建装配作业过程的活动网络图;然后,在活动网络图与Petri网结构元素分析的基础上,采用关联映射规则实现Petri网结构的自动生成;最后,绐出了Petri网模型中装配作业规则设定和初始作业状态设定的方法.此外,采用某型飞机襟副翼装配为例,验证了方法的有效性.     

三种系统可靠性评估方法的比较与分析

故障树、故障Petri网和贝叶斯网络是评估系统可靠性、安全性的三种重要模型。其中,故障树在工程中应用最广,而后两种模型其各自具有不可替代的优点,可以弥补故障树在实际应用中的不足。在介绍三种模型的基础上,通过对故障树向故障Petri网转化方法、故障树向贝叶斯网络转化方法的研究,给出描述三种模型的典型逻辑关系等价结构图的表格,揭示三种模型的内在联系。结合该表,提出故障Petri网向贝叶斯网络的转化方法。同时,利用上述三种模型对导弹发动机故障进行对比分析,结果表明故障Petri网使故障传播过程一目了然,而通过故障Petri网络或故障树转化而来的等价贝叶斯网络可计算出更多定量结果。     

Petri网理论及其在离散事件系统中的应用

 本文扼要介绍Petri网理论及Petri网图。阐明了Petri网的解析方法,举出了用Petri网建立离散事件系统模型的例子。最后用Petri网不变量对系统进行了验证。     

基于DSPN的航天测控系统任务可靠性仿真建模

提出了基于确定与随机Petri网（deterministic and stochastic Petri nets,DSPN）的航天测控系统（tracking,telemetry and command,TT&C）任务可靠性定量分析方法,旨在对相关航天测控方案进行可靠性预计.通过对TT&C系统任务剖面进行时序弧段划分,考虑实际系统中测控单元阶段依赖、单元故障可修以及各单元参与任务起止时间不同等其他建模方法难以处理的复杂因素,建立了“单元层-系统逻辑层-阶段层”3层相互关联的TT&C系统任务可靠性DSPN模型.通过对模型仿真运行,实现了对给定测控方案下TT&C系统任务可靠性定量化评估.分析表明:仿真结果随着仿真次数增加逐渐收敛,与Markov解析方法求得的精确值对比误差控制在1%以内.