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

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

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

为了获取精确的电网故障诊断结果,根据Petri网的基本理论,对已有的电网故障诊断Petri网模型进行改进,提出了基于改进Petri网的电网故障诊断方法.改进后Petri网模型同时考虑主保护、后备保护和失灵保护的影响,能够充分模拟实际故障中各个保护的优先级别,且该建模方法大大简化了模型数学推理的复杂程度.算例分析表明,该方法可提高故障诊断的准确度.     

可达树分析法及其在测试中的应用

介绍了数字电路故障诊断的Petri网模型和Petri网的分析方法之一——可达树分析法。该方法应适用于各种Petri网,但由于状态空间的复杂,其限适用于较小Petri网。并研究了可达树分析法在数字电路故障测试中的应用。     

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

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

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

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

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

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

改进型有色Petri网的安全协议分析

针对传统有色Petri网方法在安全协议分析中存在的一些不足,提出一种新的基于有色Petri网模型的分析方法。给出改进型的基于有色Petri网的模型构造方法及协议分析的具体步骤,利用此法对具体的Helsinki协议进行建模和分析。实验证明,这种方法行之有效,且在一定程度上有利于有色Petri网安全协议向自动化分析方向发展。     

基于Petri网的船舶电力系统故障诊断

船舶电力系统应保证供电连续性,尽量缩短电力系统故障时间.在分析船舶电力系统自身特点的基础上引入Pe-tri网技术,充分利用Petri网技术对电力系统故障进行建模的快速性对船舶电力系统故障进行诊断.研究利用Petri网技术对船舶电力系统进行故障仿真,包括模型建立、故障诊断以及对不确定信号的诊断与排除.诊断结论充分验证了Petri网技术的有效性和快速性,利用该方法能够帮助快速准确地判断事故,及时排除故障.     

基于随机Petri网的机载系统动态可靠性建模

机载系统的可靠性对飞机的安全性有重大影响,现代飞机的机载系统自动化与集成化程度高,导致其失效特性具有显著的动态性,即系统失效不仅取决于单元失效的组合方式,还与单元失效顺序相关。提出了一种基于随机Petri网的机载系统的动态可靠性建模方法,针对温储备、冷储备、载荷共担等典型动态结构,构建了随机Petri网模型以表征其动态(时序)失效行为。在所构建的随机Petri网模型的基础上,提出了基于蒙特卡罗仿真的可靠性分析方法,以用于生成系统寿命样本、进行可靠性参数的计算。最后,以某飞机交流电源系统为例给出了应用实例,结果表明:所提方法与传统解析法的误差在2×10~(-7)以内,能够满足工程应用的需要。     

电力系统故障诊断的Petri网方法

以元件、保护和断路器为目标来构造关联数据库,利用矩阵方法来表示Petri网电力系统故障诊断模型,通过在一模型实例中的应用,证实了该方法快速、通用的特点,同时也指出了该方法的不足之处。     

基于Petri网的电力系统故障域搜索

把Petri网方法应用到电力系统结线分析中,建立了变电站结线分析的Petri网模型,此模型同样适用于电力网的结线分析,可快速、准确地得到电力网的子系统,从而确定无源子系统为故障区域。通过对一模型系统的分析研究,表明用本文所提出的Petri网方法,能够准确地得到系统的各个子系统,并找出无源区域,得到故障区域。     

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

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

Petri网在多处理器系统性能分析中的应用

Petri网作为离散事件系统建模,性能分析及控制的数学图形工具,已有广泛应用。本文介绍扩充Petri网及其在多处理器系统性能分析中的应用。     

Petri net model for diagnosis of permanent faults of a hydraulic system

Petri net model is applied to diagnose the permanent fault of hydraulic system within the framework of interpreted Petri net. The permanent fault is described as redundant structure of the model. A definition and a theorem are proposed to determine the diagnosability of the hydraulic system. The relations bwtween the diagnosability and other structure properties are also discussed. An example of actual hydraulic system is presented and its permanent fault can be diagnosed by the proposed method efficiently.     

数控机床可用度建模与仿真

首先对数控机床运行的动态变化过程进行深入分析,建立了可靠性随机Petri网模型;其次利用故障总时间法得到各故障时刻和各子系统对应状态,在此基础上进行蒙特卡洛仿真,建立了数控机床和独立子系统的动态可用性模型。文中以7台数控车床的261条故障数据为例进行分析,确定数控车床及各子系统可用度随时间的变化趋势,分析结果为合理制定数控车床的维修策略以及设备可用性状况预测提供依据。     

基于Petri网模型的信息系统结构复杂性分析

目的研究信息系统结构复杂性的定量分析方法. 方法基于Petri网模型,借助于网论中的数学工具,从其结构特性出发,定量地给出信息系统的复杂性描述和分析方法. 结果定义了结构复杂度及其两个相关因素:要素复杂度和关联复杂度,并给出它们与系统模型间的关系. 结论该分析结果可以有效地用于信息系统的系统方案设计、综合性能分析和系统评价等实际工作过程中.     

面向软件密集型装备的软件过程度量和分析框架

软件密集型装备是武器装备发展的一个趋势。软件过程改进是提升嵌入软件的生产效率和质量的一种有效的改进手段。对于单个软件过程的控制和分析,由于传统Shewhart控制图无法区分其他过程对单个过程的影响,通过把系统因素进一步细分为外部系统因素和内部系统因素,使用选控图来隔离外部系统因素,实现对单个软件过程的独立分析。基于Petri网理论、故障树技术和模糊集理论,建立了适用于软件过程故障诊断的模糊Petri网模型。在此基础上提出针对单个软件过程的过程度量、控制、分析和改进框架。应用实例说明,在一定程度上,能够通过过程控制提升软件密集型装备的质量和生产效率。     

Petri网络理论在电网故障诊断中的应用

论述了基于Petri网络理论进行电网故障诊断的方法，描述了故障元件、保护、开关之间内在的动作关系，提出了运用简单的矩阵计算进行诊断的方法，与传统的专家系统相比，大大减少了诊断时间，提高了准确度，适用于各种网络拓扑，网络测试表明：该方法快速、准确，适于在线运行。