机载液压油源系统非马尔科夫随机Petri网模型与时间参数识别

本文研究了基于Petri网的机载液压油源系统的建模与时间参数识别问题。机载液压油源系统的正常行为执行时间服从正态分布和异常行为执行时间服从指数分布时间,Petri网模型处理确定行为,不能处理随机行为。随机Petri网(Stochastic Petri Nets ,SPN)模型与确定-随机Petri网(Deterministic Stochastic Petri Nets ,DSPN)模型处理执行时间属于指数分布的行为,不能处理执行时间属于正态分布的行为,本文提出用正态-随机Petri网(Normal-Stochastic Petri Nets, NSPN)模型对机载液压油源系统建模,正态-随机Petri网模型有正态分布的变迁与指数分布的变迁。本文提出正态-随机Petri网模型的正态参数 与指数分布参数 的识别算法,其中 为正态分布的名义值, 为正态分布的标准差, 为指数分布的指数参数值。本文建立了机载液压油源系统的NSPN模型,应用本文参数估测算法对变迁时间参数进行识别,仿真计算结果表明,计算的变迁时间参数与系统实际运行时间参数一致,证明了该方法的有效性。     

可修复的k/n表决系统的可靠性分析

根据强度-应力干涉理论,给出了k/n表决系统的单元在多次随机作用下且单元抗力退化情况下的动态可靠性指标计算模型,由可靠性指标求得单元的动态失效概率．根据单元的动态失效概率,给出了在多次随机外部作用下,单元失效数目变化的概率,再由可修复k/n系统所具有的马尔可夫性质,给出了在多次随机外部作用下的可修复k/n系统的转移概率,由转移概率获得概率密度矩阵,通过求解微分方程组计算出系统的动态可靠度．最后通过算例说明该方法方便易行,计算结果符合工程实际．     

基于模糊Petri网的光纤复合低压电缆故障诊断

提出了一种基于动态自适应模糊Petri网(DAFPN)的光纤复合低压电缆(OPLC)故障诊断方法,该方法能计及OPLC中电缆发生故障时发热对光缆产生的影响,准确地进行OPLC故障的诊断与分类。在构建OPLC故障诊断的通用模糊Petri网模型的基础上,利用BP神经网络算法对Petri网模型中的参数进行学习、训练,以减少人为主观因素造成的误差。最后,用DAFPN对OPLC故障进行诊断,结果证明:相比较单独使用模糊Petri网,该方法能更好地动态适应专家系统中模糊知识的更新,有效提高OPLC故障诊断的准确度。     

基于O-PPN的装备体系任务线程建模与分析

针对当前武器装备体系(weapon system of systems,WSoS)任务建模分析方法难以描述各装备系统多态性的问题,结合Petri网与Markov过程提出了一种基于O-PPN的装备体系任务线程建模与分析方法。在定义武器装备体系的基础上,对装备体系的使命任务进行形式化描述。改进传统Petri网,构建一种行动-性能Petri网(operation-performance Petri net,O-PPN),以满足装备体系一般任务线程的建模需要,同时针对装备系统性能退化及可能存在"提前"状态的问题,构建基于Markov的装备系统性能退化模型,通过输入各装备系统的可靠性参数得到相应的状态概率集合,并根据任务线程中各行动对于各装备系统性能水平的要求,结合作战任务及行动的任务成功与失败准则,计算装备体系整体的任务成功概率,最后通过对案例进行仿真运算,验证了所提方法的可行性。     

基于Petri网的航空产品设计过程模型

通过分析航空产品设计过程的动态分解特性,提出任务驱动的产品设计过程建模.分析了IDEF0和Petri网在建模方面的优点和存在的问题,论述了设计过程的IDEF0模型向Petri网转换的原则和方法.并重点论述了设计功能单元任务流Petri网模型和设计功能单元内任务流时间Petri网模型.     

利用多源信息的配电系统故障诊断Petri网模型

与输电系统相比,配电系统覆盖面更广,包含的元件/设备更多,发生故障的机会也更大。另一方面,配电系统中配置的保护设备不像输电系统那么先进和全面,故障后的警报信息少且未必完整,故障诊断的难度因而未必比输电系统小。这样,在配电系统故障诊断中,充分利用来自多个渠道的信息就更为重要。在此背景下,提出了一种基于Petri网的多源信息配电系统故障诊断模型,可以容纳来自能量管理系统(EMS)、调度管理系统(OMS)、生产管理系统(PMS)、保护信息系统等多方面的信息,并根据一定规则将获取的信息转换成逻辑判据。针对配电系统的不同元件,提出了基于Petri网的故障诊断模型,分析了不同的库所置信度和变迁权重对故障诊断结果的影响;讨论了保护设备误动/拒动、信息漏报/误报对故障诊断的影响并归纳了可能的故障类型,用于评估故障诊断模型的可靠性和容错性。算例测试结果表明了所提出的Petri网故障诊断模型的可行性。     

多传感器信息融合的分层着色Petri网模型

该文以导弹攻击系统为例,提出了一种基于分层着色Petri网理论建立多传感器信息融合系统模型的方法。该方法运用着色Petri网理论克服了以往用普通Petri建模的不足,细化了其系统模型的中间过程,同时给出融合中心的数据融合算法和指挥中心的神经网络解析算法。基于分层着色Petri网建模与分析方法有利于融合系统的性能分析和行为仿真的实现。     

基于Petri网的军用飞机使用维修保障建模

讨论了军用飞机使用维修保障问题;分析了其主要内容与特点;提出了一种基于面向对象Petri网的军用飞机使用维修保障模型。模型涵盖了飞机使用维修保障过程中的主要因素:可扩展性强,可以用于飞机使用维修保障研究及更高层次军事系统仿真的组成部分使用。     

基于Petri网的生产车间物料运输系统建模与仿真

提出了一种基于Petri网的生产车间物料运输系统Petri网模型,可以将该系统的物理过程通过网系统形象地表示出来,并反映出系统的动态特性。同时用ARENA仿真软件对该系统进行了模型仿真研究,仿真结果表明该模型是合理的。     

基于着色Petri网的Web服务组合建模

用经典Petri网对Web服务组合建模,其令牌类型的单一性不利于对模型的理解.针对这种不足,提出了一种基于着色Petri网的建模方法,给出了Web服务网系统结构的静态和动态特性,而且还给出了一个用着色Petri网建模的实例.应用结果表明,利用着色Petri网建立的模型具有较强的解释性和扩展性.     

广义随机Petri网及性能分析

对Petri网理论在性能评价领域的应用进行了研究,在介绍广义随机Petri网(GSPN,generalized stochastic petri net)及其分析技术的基础上,探讨了如何利用GSPN对系统进行建模及性能分析。针对典型的双处理机系统的吞吐量和资源利用率问题,建立了双处理机系统的GSPN模型,利用随机Petri网与马尔可夫链的同构关系,得到了GSPN模型稳定的状态空间及各状态出现的概率,进而探讨了双处理机系统的吞吐量和利用率等性能指标。通过TimeNet工具对所建立的模型进行仿真实验,验证了模型的有效性,为吞吐量和利用率的提高提供相关依据。     

电液伺服作动器可靠性评估的贝叶斯网络方法

对机载电液伺服作动器可靠性评估方法进行了研究,提出了一种基于贝叶斯网络的可靠性建模方法。分析了机载电液伺服作动器各部件失效特性,直接利用系统功能逻辑关系建立贝叶斯网络可靠性评估模型。通过对简单串联系统与某型飞机副翼伺服控制器进行可靠性评估,证明提出方法的有效性。该方法与已有贝叶斯网络可靠性评估模型方法相比建模简便,计算复杂度低,是一种有效的可靠性评估模型方法。     

基于UML和Petri网的建模及其验证

为了更好的建立系统模型,分析系统模型的性质,提出一种基于UML和Petri网的建模方法。用UML对系统进行可视化建模,利用Petri网对系统的动态行为进行建模,从不同的角度对系统进行建模,运用两种建模方法的优势,以及UML和Petri网之间的转化规则,实现两种模型的转换。最后把Petri网转化为Promela程序,用SPIN工具Petri网模型进行验证。     

制造自动化系统的TCPN规格及其可调度性分析研究

时间约束Petri网(TCPN)是Petri网的一种扩展形式,是迄今为止对时间约束描述能力较强的网之一.文中给出了建立制造自动化系统时间约束Petri网模型的一般性步骤,以及基于时间约束Petri网的可调度分析算法,并以制造自动化系统的应用实例,具体说明了可调度分析算法的应用.     

多元参数退化的系统相关竞争失效可靠性评估方法

为了解决系统相关性竞争下的可靠性问题,提出一种突发失效与多元参数退化失效相关性竞争失效的可靠性评估方法。以Wiener随机过程与Inverse Guassian随机过程描述系统多元参数退化失效过程,利用Copula函数对系统多元退化失效过程进行建模,通过二阶段极大似然法估计退化失效相关参数;构建突发失效关于退化量的条件概率,利用Bayes-Bootstrap法对极大似然估计所得的突发失效参数进行修偏,进一步建立系统的相关性竞争失效模型。以航空发动机的退化数据为例进行综合分析,研究其突发失效和多退化失效之间竞争下的可靠性问题。获得的分析结果能够反映出航空发动机的性能可靠性,验证了模型的有效性,具有较好的工程应用价值。     

基于网络流Petri网模型的设计更改技术

为了实现网络流系统设计更改的响应检测,将响应检测同网络的动态表达相结合,提出一种基于网络流Petri网(NFPN)动态模型的设计更改响应检测方法.用Petri网对网络流及设计更改进行描述,建立网络流Petri网的动态模型.在分析层级网络流特点的基础上,将Petri网完整可达图的构造同设计更改的响应检测相关联.通过多级抽象化简可达图,递归实现网络整体的分析.在配电网改造设计中的应用验证了该方法的可行性和有效性,降低了状态空间的复杂度,可见该方法适用于大尺度复杂网络.     

制造系统的Petri网建模

应用Petri网对作为离散事件动态系统的一个简单制造系统进行了建模分析,阐述了Petri网建模的主要特征及方法,介绍了Petri网在制造系统描述中的应用,并以某机器制造车间为研究对象进行了实际建模,给出了相应的Petri网模型.     

Petri网方法及其在离散事件动态系统研究中的应用

从计算机集成制造系统(CIMS)应用的角度对Petri网方法进行介绍,包括Petri网基础理论和重要性质,并对其在离散事件动态系统中的研究进展进行评述.     

基于Petri网的发热门诊流程模型优化分析

疫情防控期间,为了充分发挥发热门诊的作用,提出了基于Petri网的发热门诊流程模型优化分析.首先,根据发热门诊的实际情况,通过库所与变迁之间的交互关系,用绘图软件Microsoft Visio构建了发热门诊流程的Petri网模型;然后,对构建的初始模型进行分析,发现模型中存在交叉感染、资源浪费的问题.论文通过改变Petri网之间的行为轮廓,对模型做出适当调整,进行优化.最后,对优化后的模型通过PIPE软件进行仿真模拟,验证其有效性.     

基于Petri网的面向测试的工作流系统建模方法

提出了一种基于Petri网的I/O_WF_Net模型。该模型将工作流中的活动抽象为Petri网中的迁移,将每个活动的输入输出抽象为Petri网中的库所,便于以后应用其生成测试用例。介绍了对工作流中各种组成部分及不同结构的I/O_WF_Net模型建模方法,给出了将带有输入输出约束的工作流网转化为I/O_WF_Net模型的算法及转化后模型的化简方法。