Petri网系统并行化方法的研究

对Petri网系统并行化一般方法的研究.给出了使用P/T网作为研究对象的原因以及基于P-不变量的Petri网系统分割技术和并行进程创建的条件;提出了非负库所和共享库所进程的并行化条件和方法,并对它们进行证明和实例验证;对不存在P-不变量的Petri网并行化问题进行讨论,确定其不存在并行进程,Petri网不能并行化;提出Petri网系统并行化的一般方法和实现步骤,使其成为各应用领域Petri网系统并行化过程中一种通用的、有效的方法.     

基于新型扩展模糊Petri网的食品冷链故障诊断方法

针对生鲜食品在冷链配送过程中容易发生变质的问题,并考虑冷链过程的时序性特点,提出一种基于新型扩展模糊Petri网(EFPN)的故障诊断方法.该方法通过将模糊规则映射到扩展模糊Petri网,对故障诊断过程中的不确定性问题进行定量分析,从而得到引起故障的原因.利用库所带有的关键因素开始时间信息可排除未发生的因素,降低诊断推理过程的复杂程度.最后通过实例对该模型进行了验证和分析.     

部分可观时间Petri网故障的贝叶斯诊断

针对双组元推进系统中环境复杂且部分关键信息无法通过传感器获取,提出基于部分可观时间Petri网故障诊断性的贝叶斯估计方法。研究了基于部分可观时间Petri网的双组元推进系统故障诊断性的贝叶斯估计问题。系统过程的变迁分为可观和不可观,结合变迁触发关系和变迁时间信息,建立Petri网模型的状态类图。遍历所有满足可观测变迁触发时间和序列信息的路径,对于诊断结果为可能故障系统,建立故障变迁对应的贝叶斯Petri网模型,将不可观变迁设置为贝叶斯变迁,根据可观变迁触发状态估计不可观变迁触发概率,进一步判断系统故障状态。最后,建立了基于部分可观Petri网的整体推进系统模块,通过仿真实验验证了算法的有效性。     

基于模糊Petri网的汽车故障诊断方法

根据汽车故障特征的提取具有模糊性和并发性的特点,提出了一种新的基于数据表结构的模糊Petri网模型,并给出了相应的并行推理算法.该模型使用模糊Petri网表示汽车故障的知识,并进行故障的推理和诊断,有效地解决了汽车故障检测系统的并行推理问题,并降低了模糊推理方法的复杂性.最后通过汽车故障实例检验了模型的正确性和有效性.     

基于自适应神经模糊Petri网的电机故障诊断

为了提高电机的维护效率,实现电机实时故障诊断功能,基于传统Petri网理论、模糊理论和神经网络算法,提出了一种具有自适应性的神经模糊Petri网故障诊断方法。首先,利用高斯函数代替变迁可信度,解决故障传递不确定性的问题,结合BP神经网络对参数进行适应性训练。然后,根据Petri理论,引入竞争算子对矩阵推理方式进行改进,结合Sigmoid函数,提高了算法的计算效率。最后,以三相异步电动机为例,根据三相异步电动机的故障运行机理和故障特性,建立系统模型并进行故障诊断。仿真结果表明,该算法能准确地诊断出三相异步电动机的故障,具有较好的准确性和适应性。     

基于冗余嵌入Petri网的电网故障诊断方法

针对现有电网故障诊断方法存在的容错性和适应性不够理想的问题,以电气量信息和保护动作信息为依据,基于冗余嵌入Petri网和范德蒙矩阵构建电网的Petri网故障诊断方法,根据变迁的发生及库所中托肯的转移,确定故障位置.通过算例分析验证所提方法的有效性和合理性,结果表明该方法简化了诊断过程,提高了准确性,并能灵活适应电网拓扑结构的变化.     

基于改进时间模糊Petri网配电网故障诊断方法

配电网设备可靠性地区差异大,故障诊断自动化程度低.为保证能够快速精确地做出故障诊断,提出了一种基于改进时间模糊Petri网配电网故障诊断新方法.首先利用保护断路器信息、报警信息、状态信息和电气量来纠正断路器动作信息,确定停电区域;然后根据动作的断路器能够保护的范围确定可疑故障元件,利用带时标的保护断路器信息,针对可疑故障元件建立时间模糊Petri网模型进行故障诊断.模拟测试表明,此方法提高了配电网故障诊断速度和准确度,具有良好的实用价值.     

计算无回路Petri网位置不变量的几何方法

基于路增益概念，证明了无回路加权事件图位置不变量的存在性，并给出了其位置不变量集合的表达形式和最小位置不变量的计算方法。讨论了两个Petri网基于位置并的位置不变量，通过把无回路Petri网分解成一些加权事件图基于位置的并，给出了无回路Petri网位置不变量的存在性判别及确定的几何方法。     

基于特征Petri网建模的冷水机组故障诊断系统

冷水机组是建筑物中空调系统重要的制冷设备,它的运行状态直接关系到建筑物暖通空调系统运行的性能和稳定性,其故障诊断问题一直受到广泛关注.将特征建模方法引入到冷水机组的故障诊断技术中,并采用模糊Petri网技术实现建模.利用Petri网进行知识表示及推理的矩阵运算算法,描述冷水机组故障征兆与特征参数的关系.运用所提出的诊断系统,不但可以充分利用各特征参数的信息资源进行故障判断,而且可根据冷水机组能效指标COP对故障诊断结果进行综合诊断,有利于冷水机组高效运行.实验结果验证了该故障诊断系统的可行性和准确性.     

间歇式化工形式化建模与顺序控制器设计

摘要：
针对间歇式化工生产过程,根据执行机构网元件提出了其受控Petri网模型的设计方法,将工艺流程描述为变迁串的顺序控制目标,继而根据基本变迁串将工艺流程描述为Petri网的线性约束.最后,利用库所不变量方法设计监控库所,给出顺序Petri网监控器,实现了复杂化工过程的闭环控制系统的形式化建模、分析和优化.
关键词：
离散事件系统; Petri网; 间歇式化工; 顺序控制; 监控
中图分类号： TB 61; TK 31
文献标志码： A     

Petri网逆网在主轴故障诊断中的应用

为了能够快速寻找主轴故障原因,采用 Petri 网逆网对数控机床主轴进行故障诊断。建立 petri 网逆网模型构建数控机床主轴关联故障可达图,深入系统分析主轴故障的各个子系统、故障模式和故障根本原因,并对故障模式和故障原因进行关联性分析;分析状态转移可达集,掌握主轴关联故障的传递过程,寻找导致主轴故障的根本原因;并以数控机床主轴噪声大为例描述数控机床主轴 Petri 网逆网故障诊断过程。主轴关联故障的 Petri 网逆网研究,有助于迅速进行主轴故障诊断与维修,缩短修复时间,进一步提高主轴的可用度。     

基于CRPN模型的复杂系统故障诊断

由于复杂系统的结构和运行环境复杂,传统方法无法对其进行故障诊断.文中将基于案例的推理方法和Petri网理论引入到复杂系统的故障诊断中,建立了基于案例推理和Petri网的CRPN(Case-based Reasoning Petri Nets)模型,研究了该模型的变迁规则和案例特征等关键技术.利用两层CRPN模型,可有效地解决已有复杂系统故障诊断方法中存在的模型难以建立、推理过程模糊等问题.最后以飞机的某系统为例,探讨了基于CRPN模型的故障诊断过程,结果表明文中方法是有效的.     

基于模糊Petri网的事故树模糊分析方法研究

为了降低获取现场采样数据精确值的难度并提高事故诊断的准确性,根据模糊事故树和模糊Petri网均具有描述事件发生因果关系链这一共同特征,采用模糊Petri网来表示事故树,建立了事故树的模糊Petri网模型,在Petri网中对事故树进行了模糊分析研究.该方法不仅可以对顶上事件各特征量进行估算,还能利用模糊Petri网推理算法进行事故诊断,实现了Petri网与事故树的紧密结合,使事故诊断更加切合实际.引入模糊集合理论到事故树分析方法,用模糊数来表示事件发生的概率,减小了获取底事件发生概率精确值的难度,在一定程度上修正了事故概率统计数据的误差.该方法可以将生产现场的实测数据与专家经验数据结合起来,使得分析结果更接近于工程实际.图2,表1,参13.     

基于ES-PN模型的电力系统故障诊断

提出了一种基于Petri网理论和专家系统的电力系统故障诊断方法,详细阐述了基于引出线诊断模型和鉴别故障元件的方法,包括故障元件和其保护的关联度。通过对保护的方向性、区域性以及关联度的分析,增加了模型的拓扑适应能力。这种方法克服了专家系统难于用数学方法描述的缺点,增强了Petri网在该问题上的推理能力,利用Petri网建立数学模型,提高了故障诊断速度。诊断结果表明,该方法能够大大减少响应时间,并且比之前的方法更能适应电网配置的变化。     

抽水蓄能机组故障诊断与状态维修的Petri网模型

提出抽水蓄能机组故障诊断与状态维修Petri网模型的分解与分层方法,将抽水蓄能机组分解成转子、定子、机架结构、推力轴承、过流部件5个模块和故障诊断层、状态维修层2个层次,解决了抽水蓄能机组故障部位和故障现象过多带来的矩阵维数过大,求解过于复杂的问题.在此基础上,给出了抽水蓄能机组故障诊断与状态维修Petri网模型的知识提取表示方法及其实现步骤.最后以转子模块为例建立了其故障诊断与状态维修的Petri网模型.     

改进BARINEL算法的网络时延故障诊断方法

随着网络系统的规模和复杂性不断增加，网络系统不可避免地会出现不同类型的故障。本文提出了模糊逻辑扩展的改进BARINEL算法，实现网络延迟软故障诊断。为了解决求解诊断候选项的指数复杂度问题，设计了一种基于启发式函数的最小命中集方法，有效降低了求解中的计算复杂度。针对BARINEL算法对多值逻辑错误检测机制表达能力不足，提出了模糊逻辑的BARINEL算法，能更有效诊断出故障链路及故障点。实验结果表明，当网络中至少有20条可用路径条件下，所提出的新方法能够花费更少的代价正确识别出故障节点。     

一种基于模糊Petri网的操瞄系统故障诊断方法

针对操瞄系统故障诊断建模中动态行为较难描述的问题,利用模糊Petri网的方法对系统中的故障传播进行建模.引入模糊产生式规则进行知识表示,研究了模糊Petri网的故障诊断建模方法及其推理算法.利用该方法对某牵引火炮的操瞄系统进行故障分析. 分析结果表明,基于模糊Petri网的故障诊断方法,结构简单、易懂,具有良好的故障表达形式以及有效的模糊推理能力,是一种行之有效的故障诊断方法.     

基于多源信息的智能电网动态层次化故障诊断

针对智能电网结构日趋复杂、系统信息呈多元化发展的特点,提出了一种新颖的故障诊断方法,包括用于快速诊断简单故障的开关层,着力解决开关和保护异动情况下复杂故障的馈线层,以及准确判断复杂系统环境下多类型故障的变电站层;同时采用动态跳转策略,调整诊断入口和结构.并且,将改进的深度优先搜索算法、Petri网推理与直觉不确定粗糙集约简方法分别应用于各层诊断中.仿真算例表明,本方法增强了各层诊断的适应性,提高了故障诊断的效率与精度,且能准确诊断多类型复杂故障,具有良好的实践应用价值.