鱼雷装备测试维修Petri网模型与指标论证分析

针对鱼雷装备测试维修使用需求,采用广义随机Petri网模型对鱼雷装备进行测试维修建模,并对测试性指标进行分析。分别建立鱼雷装备系统层和结构层GSPN模型,依据故障模式影响和危害性分析(FMECA)对鱼雷装备故障模式进行分类;对鱼雷结构层GSPN模型非基本变迁进行拓展,构建鱼雷装备基层级维修子网GSPN模型;采用同构法求解维修子网GSPN模型,利用的稳态可用度解析公式分析测试性参数与使用可用度(A0)之间的影响关系;以某型号鱼雷为例,开展测试性指标求解和模型仿真验证。研究结果表明,模型仿真可用度A_(0)^(′)=0.9998,与系统要求值误差小于1%,验证了所构建模型的可行性和有效性。

基于改进Petri网模型的电网故障诊断方法

将Petri网理论用于电网故障诊断中,提出了一种改进的Petri网故障诊断模型。分别以线路和母线为例说明了Petri网模型的构建方法、推理过程及解析表示方法。该方法对于电网的单一故障、多重故障及存在保护和断路器不正确动作等情况的严重故障均能快速准确地定位故障元件,自动给出可靠有效的诊断结果,适用于电力系统在线故障诊断。在四平地区电力系统中的测试结果证明了基于该模型的故障诊断系统的实用性和有效性。

基于增强型扩展的面向对象Petri网模型的装备保障能力评估建模

提出了一种可用于装备保障能力评估的增强型扩展的面向对象Petri网(GOOPN++)模型,给出了该模型形式化描述,引入了抽象库所、抽象变迁、消息颜色以及对象间的消息传递函数等新的概念,更好地体现了面向对象的思想,具有很好的模块性、继承性、重用性和可维护性,能够反映复杂系统的动态柔性特点,最后给出实例。

Petri网模型在故障诊断领域的应用研究

结合故障诊断问题的特点 ,在基于 Petri网基本原理的前提下 ,对Petri网在故障诊断领域的应用问题进行了研究 ,建立了故障传播、故障诊断网模型 ,对不确定逻辑关系的 Petri网模型进行了研究 ,拓展了网的描述能力 。

一种面向对象Petri网模型的语义和行为分析

面向对象Petri网根据面向对象思想的特点,对基本Petri网进行了扩展,引入了门、位置类型函数、多态迁移、聚集迁移以及禁止弧等概念。本文介绍了一种面向对象Petri网模型(Object-OrientedPetriNet,OOPN),给出了OOP的基本定义和图形表示,并对OOPN进行了语义与行为分析。OOPN能够成为面向对象系统的一种形式化的建模工具。

供应链配送系统的多主体Petri网模型的建模方法

研究供应链配送渠道系统中各相关实体的动态行为和协调机制.结合复杂适应系统理论,提出一种新的高级Petri网方法:基于Agent的遗传分层有色Petri网(AGHCPN),采用AGHCPN方法建立供应链配送系统适应性主体的执行层模型,实现对适应性主体自治性、动态性以及自适应性等特性的描述.通过建立供应链配送系统的多主体动态模型,为进一步的仿真编程工作奠定基础,达到对供应链多主体配送系统的定性分析和定量分析相结合的目的.

设备系统故障的基本Petri网模型与仿真

将基本 Petri网模型用于设备故障仿真 ,比故障树分析法 (FTA)更便于描述故障形成与演化的时间历程 ,以及求解设备平均寿命等可靠性指标 ,以柴油发动机供给系故障为例对此进行了说明。为具体设备 (单台 )

一种基于属性抽取与整合的Petri网模型

将感觉神经检测机制融合于Petri网中,提出了一种新的基于属性抽取与整合的感觉神经检测Petri网模型,使得Petri网更加适合于对神经思维的描述,提高了系统的智能行为.

产品开发ProA一般Petri网模型研究

为了定量描述产品开发ProA的内部运行过程,更好地支持产品开发管理,构建了产品开发ProA的一般模型。深入剖析了产品开发ProA的内部运行机理;利用多色集合的着色原理对Petri网进行改进,形成了多色ProA Petri网方法。在此基础上,建立了产品开发ProA的一般Petri网模型。最后,给出了该模型在汽车油泵单向阀测试器开发中的应用情况。

求解哲学家就餐问题的两个Petri网模型

哲学家就餐问题是操作系统中描述“并发操作”的一个经典例子 ,一般用管程、PV操作等方法来避免死锁问题。Petri网是一个很好的描述和分析并发问题的工具 ,本文提出了用Petri网避免死锁的一种模型 。

故障诊断的模糊Petri网模型

针对故障诊断系统知识具有不确定性和模糊性的特点 ,给出了Petri网的定义和故障诊断的模糊Petri网模型 .并以实际故障诊断为例 ,说明了该模型具有直观 ,表达能力强和易于推理的优点 .

基于柔性制造系统的Petri网模型简化规则

为解决Petri网模型中的状态爆炸问题,提出了一种将简化规则应用到Petri网模型中的方法。该方法通过库所和变迁的合并与消除,来达到简化模型的目的。以柔性制造系统的加工站为例,建立加工站的Petri网模型,将简化规则应用到改进的加工站模型中。为了说明简化网保持了原网的外部功能,利用基于时序Petri网的时态逻辑规则进行了证明。结果显示,简化网在保持功能性的基础上,提高了验证和分析的效率。

基于Petri网模型的机场安检口客流量优化

针对机场安检口优化问题,以美国芝加哥奥黑尔国际机场为例,基于泊松分布理论对机场安检口客流量进行分析,运用随机Petri网、同构理论和连续时间的马尔科夫链构建出机场安检流程模型,进而找到安检流程中的问题区域,即B区域的收拾行李环节和D区域的全身拍摸检查环节.针对该问题区域提出对安检流程的优化方案,通过增加预检通道、X线扫描仪和安检员来增加安检口客流量,减少旅客等待时间,可有效提高机场安检效率.

两个智力问题的增广Petri网模型

给出人携带狼,羊,白菜安全过河问题的增广Petri网模型及著名的用餐哲学家问题的一个无饥饿解的增广Petri网模型。

基于Petri网模型的牵引电动机可靠性定量分析

为了综合分析国产内燃机车直流牵引电动机的常见故障及其对电机可靠性的影响,建立了牵引电动机故障及原因Petri网模型。通过该模型完成了牵引电动机故障及原因的定量分析与排序,找出了影响牵引电动机可靠性的2个主要因素:一是来自轨道及传动齿轮啮合引起的机械振动;二是电机随使用年限的增长导致固有可靠性下降。这一结论对牵引电机生产厂家和运用部门提高牵引电动机的可靠性具有一定借鉴意义。

具有时间约束的机组组合问题中的Petri网模型

给出了一种与环境有信息交流的受控记时Petri网系统模型,把这种模型应用于描述具有时间约束的机组启停状态转换过程,使具有时间约束的机组组合的动态规划法每一时段计算费用的状态数大大小于已有传统动态规划法的状态数,从而既处理了冷、热启动费用和最小启停机时间约束,又减少了计算费用的状态数,将会大大提高算法的效率。

计算A_n^m的增广PETRI网模型

本文同时给出了计算 A_n^m 和 N^m 的两个增广 Petri 网模型,引进了循环算法的思想,给出了矩阵描述和状态方程分析,最后导出了已知输入值求出输出值的算法。

一个基于HOOPN的Petri网模型及其应用

介绍了面向对象的层次Petri网HOOPN的基本定义、语法和图形表示 .HOOPN支持主要的面向对象的特征 ,包括抽象、封装、模块化对象、继承和多态 .HOOPN可以展开至下一层Petri网 ,从而支持系统设计的渐增模式 .使用HOOPN建立了一个信息系统的模型 ,验证了HOOPN对面向对象特征的支持 ,并为一个企业信息应用系统和业务过程建模提供了范例 .

基于Petri网模型的FMS死锁结构

死锁是柔性制造系统中容易发生的异常现象,如不加以消除,将会导致整个系统的瘫痪。文中通过Petri网模型对FMS的结构分析,揭示出导致FMS死锁的结构元素和活性特征,在此基础上,提出了FMS的无死锁Petri网控制器算法,并举例说明这种控制器算法在FMS中的应用。

多媒体应用中磁盘阵列读预取Petri网模型及结果分析

多媒体应用需要大容量、高速磁盘阵列的支持。为了分析采用读预取策略后磁盘阵列的性能,本文建立了读预取Petri网[1]模型。此模型可用以判断系统各环节对读速率的影响和求取读平均数传率。实验表明,采用顺序读预取策略的实际读平均数传率提高了60％,可以满足数字化系统对I/O性能的高要求。