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

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

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

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

基于CSPNAT的航空维修测量过程仿真

维修检查仿真系统有利于培训机务人员的测量技能,维修测量仿真是维修检查仿真系统的核心技术。针对测量过程仿真中测量对象种类繁多,通过引进自顶向下设计方法对Petri网进行理论扩展,在基本Petri网的基础上引入颜色标记、随机时间变迁,对测量对象、测量工具等要素进行描述,构建基于自顶向下设计方法的CSPNAT测量过程模型。通过实例验证其有效性和优越性。     

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

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

基于扩展Petri网的飞机装配系统设备调度方法

针对飞机装配过程中设备调度的复杂性,提出了基于扩展Petri网构建设备调度模型的新方法。结合飞机装配的实际特点,论述了模型定义过程和建立方法。该模型以面向对象Petri网表达飞机装配过程,以赋时Petri网将装配过程与辅助设备相关联,利用混合算法以时间和设备利用率为目标对模型进行优化求解。以某模型飞机中机身装配过程为例,应用该方法进行建模并求解,实例应用与分析表明该方法对实际装配设备调度具有较大的指导意义。     

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

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

一种基于改进蚁群算法的维修拆卸序列规划方法

鉴于现有的蚁群算法用于维修拆卸序列规划时易受到初始序列的影响而陷入局部最优解的问题,本文根据维修拆卸的特点,基于DCPN模型构建了拆卸Petri网可达图,将拆卸序列规划问题转化为对Petri网可达图最优路径的搜索问题。同时以拆卸代价最小为目标,提出了一种适用于维修拆卸序列规划的蚁群算法,并以飞机前机身电子设备舱设备作为典型实例,验证表明该方法准确有效。     

基于模糊Petri网的机载蒸发循环系统故障诊断方法

针对机载蒸发循环系统多层次、相关性的故障特征,本文提出了基于模糊Petri网的机载蒸发循环系统故障诊断方法.根据故障的失效模式与效应分析(FMEA)表以及模糊故障Petri网(FFPN)建模规则,通过对系统的功能、模块划分以及对故障数据进行分析,建立了机载蒸发循环控制系统的故障模型.根据此模型,采用模糊集理论描述了故障...     

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

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

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

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

离散事件系统的Petri网图仿真

1.前言 离散事件动态系统DEDS(Discrete Event Dynamic System)的传统分析方法——应用排队论和随机过程理论为离散事件动态系统建立排队网络模型,在很多情况下已不适用。新的理论和研究方法相继提出。其中之一是“皮特里网”(Petri Nets)理论。另一种比较成熟的方法是仿真法,但是,仿真法要以高昂的计算机设备的大量计算时间为代     

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

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

Petri网模型在智能型电话管理系统开发中的应用

基于Petri网模型的智能仪器监控软件设计方法是一种新型的软件设计方法。运用该方法 ,在对智能型电话管理系统中的内部因素和外部因素综合分析的基础上 ,结合Petri网模型理论 (Petri -net-modeltheo ry) ,找到了智能仪器监控软件的形式化描述技术和数学化设计方法 ,给出了其工程化的解决方案。工程应用实践表明 ,Petri网模型及其在智能仪器监控软件设计中的应用是可行而成功的。     

基于面向对象随机Petri网的军用飞机飞行机务准备建模

讨论了军用飞机飞行前机务准备建模问题。分析了其主要内容和特点;提出了一种基于面向对象随机Petri网的军用飞机飞行前机务准备模型。该模型的可扩展性强,能用于该型飞机以及其他机型的维修保障研究及更高层次军事系统仿真的组成部分。     

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

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

可压缩粘性流动笛卡尔网格虚拟单元方法研究

以二维高雷诺数可压缩粘性流动问题为背景,提出了一种全新的笛卡尔网格虚拟单元方法。基于壁面函数基本假设,构造了壁面函数-虚拟单元方法(WF-GCM),用于定义湍流壁面边界条件。引入参考点的概念计算虚拟单元上的基本变量与湍流变量值,定义了"非贴体"笛卡尔网格下的湍流壁面边界条件,并通过壁面函数模型修正近壁面单元与界面单元。基于自适应笛卡尔网格体系,采用发展的具有二阶精度的格心格式有限体积求解器,数值模拟了跨音速RAE2822翼型绕流问题与超音速圆柱绕流问题,计算结果与实验值吻合良好,显示了WF-GCM对高雷诺数可压缩粘性问题是有效的。     

一种基于规则约束着色Petri网的车间调度器

针对制造执行系统(MES)的核心模块--车间生产调度模块,利用对离散动态系统具有准确描述能力的着色Petri网(CPN)对车间生产进行了抽象和建模:通过向网系统中引入规则约束,为车间内的动态事件和扰动提供了动态调度.为了实现MES生产调度模块的易集成、快速重用性,提出了利用分布式组件(DCOM)技术将车间调度模型封装为车间调度器的实现方法.     

基于虚拟维修仿真的发动机航线可更换单元维修性验证研究

基于三维模型仿真平台,对某型发动机试验件典型航线可更换单元(LRU)进行虚拟维修仿真,通过可达性、可视性、维修姿态及操作空间分析,评估了目标LRU维修性水平,初步建立了基于虚拟维修仿真的民用航空发动机LRU维修性验证优化流程,基于该流程,针对后续发动机型号LRU维修性设计要求,持续优化外部管路维修性设计过程。     

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

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

基于Petri网的建模分析

Petri网以其简洁、直观、潜在模拟能力强等特点被广泛用于离散事件系统的模拟和分析中。随着业务流程建模、工作流概念的出现以及Petri网技术的发展,Petri网也被用于工作流模型的建立。在介绍工作流和Petri网概念的基础上,通过实例研究如何使用Petri网建立模型,并进一步做了可达性分析。