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

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

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

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

月球探测机器人的系统建模

为准确描述和有效分析机器人系统，提出了一种将面向对象技术与Petri网相结合的月球探测机器人系统建模方法，既保持Petri网对离散事件系统的准确描述性和直观性，又利用面向对象的自然性、易理解性、可重用性和可扩充性．月球探测机器人可利用该模型对系统性能进行分析和故障预测．     

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

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

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

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

基于气体检测和模糊Petri网的GIS故障诊断方法

考虑到GIS设备绝缘故障的多样性、复杂性,以及故障征兆的模糊性、关联性,将气体检测法与模糊Petri网相结合,应用于GIS故障诊断,可有效区分GIS局部放电类型。首先,分析SF6在局部放电下的分解机理,描述故障征兆与GIS绝缘故障之间的关系;其次,将气相色谱仪检测得到的特征气体作为模糊Petri网的输入库所,建立基于SF6气体检测和模糊Petri网的GIS绝缘故障诊断模型,利用模糊Petri网,并行推理分析GIS绝缘缺陷类型的置信度。最后,实验分析验证所提方法的正确性和有效性。     

基于Petri网的含分布式电源配电网故障定位研究

针对分布式电源接入配电系统后使得原有的故障定位原理难以满足故障检测要求的问题,本文采用Petri网原理,根据配电系统的网络结构,利用故障发生时系统检测到的故障信息,建立了含分布式电源配电网的故障定位模型,阐述了推理过程,通过对故障信息的预处理,保证当故障信息丢失时故障定位的准确性。为验证该方法的故障定位能力,利用Matlab中Petri网工具箱,对一个含分布式电源的复杂配电网进行仿真分析。仿真结果表明,在配电系统发生单一或多重故障时,该配电网故障定位模型都能得到正确的故障区段;同时当故障信息缺失时,仍可取得理想的定位效果。因此,该故障定位模型具有一定的实际应用价值。     

信息物理融合系统的面向对象Petri网建模

从多Agent系统的角度,以面向对象Petri网为语义基础,建立了一种信息物理融合系统体系结构模型,将系统抽象为传感器节点Agent、执行器节点Agent和控制器节点Agent．该体系结构模型利用面向对象Petri网形象、无歧义地刻画系统的整体和个体特性,描述系统的静态和动态语义,同时可利用Petri网的数学分析方法和支持工具对系统进行模拟、分析和验证,检测系统开发早期存在的错误,提高系统的正确性和可靠性．利用信息物理融合系统体系结构模型对目标跟踪系统的建模、分析与实现表明,信息物理融合系统体系结构模型可以有效地辅助系统的设计与开发．     

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

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

基于模型诊断理论,应用 行为Petri网对诊断问题和诊断解进行了重新定义,阐述了行为PN的模型构造和后向可达b-w分析方法,以某卫星电源系统的故障诊断为例,描述基于行为PN模型的诊断理论及其分析方法的应用。该方法为Petri网在故障诊断领域的应用以及基于因果模型认方法的发展提供了有新的思路。     

基于Petri网的综合教学实验平台研究

设计了一种综合教学实验平台。该综合实验平台将现有的课程实验设备集成到平台中并根据电力系统中发电到输配电环节的结构设计七大功能模块模拟电力系统运行,其中故障诊断模块利用 Petri 网建立故障诊断模型对实验平台进行监控并保证其稳定运行。算例分析证明该实验平台具有良好的故障自诊断能力,满足了实验教学的需求。     

高峰期电能传输中断的Petri网控制方案

传统的电能传输系统作为智能电网的基础核心主体,其运行的稳定性将直接影响智能电网的整体性能。特别是高峰供电阶段,电能传输系统必须具备较强的故障自愈能力。文章针对传统电能传输系统的基本结构及其监督控制系统,给出其Petri网形式化定义;通过对模型的分析,提出一套故障检测及定位方案;针对高峰用电期,提出一套优化的故障恢复方案,在保证系统具有较强自愈能力的同时,尽可能提高应急线路的利用率和系统故障的可恢复率。最后,通过一个实例对提出的方案进行说明并分析。     

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

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

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

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

基于Petri网的Internet多机器人协调控制器设计

基于Petri网库所不变量理论提出Internet多机器人协调控制模型,并利用此模型解决系统操作中的碰撞检测问题．通过对两个机器人协作空间进行网格划分,引入隐式、显式基本操作概念简化Petri网模型,从而增强了系统的灵活性;对操作中的异常情况进行分类,建立了故障恢复Petri网;利用库所不变量理论设计机器人协调控制器,规划多机器人协调动作．仿真实验表明,所提控制模型可以有效满足系统的安全性和实时性要求．     

系统级描述语言SystemC到时间Petri网的转换技术

SystemC作为一种系统级描述语言能够同时描述硬件和软件,但缺乏形式化分析的手段.针对其存在的问题,提出引入Petri网的设想,通过分析了SystemC程序本身的结构特点,指出其主要由顺序、分支、循环以及并发等结构组成,并分别给出与Petri网的对应关系.同时提出了由SystemC程序到时间Petri网的转换方法.使用Petri网的工具对并发程序进行分析,将SystemC程序转换成时间Petri网,为基于SystemC的系统设计提供形式化的分析方法.并应用Petri网的可达图检测出原SystemC程序中的死锁,该转换方法的有效性达到了引入形式化方法的目的.     

PDM系统中工作流与过程管理模型的建立

介绍了PDM系统中工作流和过程管理的功能和组件层次,探讨了工作流管理系统的体系结构和工作流过程管理的模型,给出了工作流实现的类模型,研究了工作流和过程管理的关键技术并给出具体的实现方法.将着色时间Petri网引入到PDM的工作流管理系统中,将基于Petri网的并行式工作流模型应用于PDM系统中,用可达图来分析Petri网工作流模型的静态和动态的结构性能,给出了审批流程的着色时间Petri网模型和流程的变迁过程,在最后的实例中说明了工作流管理的具体实现和工作流的执行过程.