基于模糊神经Petri网的故障诊断模型

Petri网是对具有产生式规则的故障诊断系统的有力建模工具，但其缺乏较强的学习能力．本文以Petri网的基本定义为基础，结合模糊逻辑和Petri网模型，定义了模糊Petri网模型，在此基础上引入人工神经网络技术，给出了人工神经网络的模糊Petri网表示方法，并针对工程机械故障诊断异步、离散等特点，提出并建立了故障诊断的模糊神经Petri网模型及其改进模型．基于模糊神经Petri网的故障诊断系统结合了Petri网和人工神经网络的优点，经过自学习后同时具有很强的推理能力和自适应能力．     

一种基于FPN的电力系统故障诊断方法

针对变电站故障推理过程中存在的不确定性问题,文章提出一种变电站故障诊断方法,将业务规则模糊化,并映射到模糊Petri网,利用Petri网本身所具有的异步性、并发性、并行性等特点,结合实例,对变电站故障信号的分析过程进行建模;通过将特定业务规则模糊化,使其可以对变电站设备故障中不具备完整现象描述的情况进行处理,适用于变电站设备单纯故障和带有关联告警信号的组合故障的诊断过程,可以有效降低系统对故障漏报和误报的概率。     

基于模糊逻辑的CCPN瞬时引发速率求解方法

瞬时引发速率是连续Petri网模型分析的基础和关键。引入模糊理论提出了一种基于模糊决策的迁移优先权的模糊综合评价模型，实现了迁移优先权的动态计算。提出了基于线性规划方法的瞬时引发速率的求解算法，解决了有效冲突情形下瞬时引发速率的求解问题。实例表明了所提出方法的有效性。     

一种基于逻辑Petri网的Web服务簇组合方法

Web服务组合是实现快速服务增值和软件重用的重要方式,但现有的静态服务组合和动态服务组合方式都有待于进一步完善.文中集成静态服务组合和动态服务组合的优点,提出了一种在虚拟层面上基于服务簇进行服务组合的思想;研究并提出了一种基于服务簇的服务组合方法,并应用逻辑Petri网对其进行形式化建模描述;给出了服务簇网的基本组合模型,并分别对其完备性继承作了分析;研究了服务簇网组合的代数运算性质.最后,通过实验证明了服务簇网组合运算的可行性和有效性.     

基于模糊逻辑的旋转机组故障诊断方法

阐述了基于模糊逻辑故障诊断的基本原理,说明了用于故障诊断的模糊关系矩阵的构造方法,通过分析旋转机组的振动信号,构造了故障类别与振动频谱、其他振动特征向量两个模糊关系矩阵,并用模糊推理方法对三组样本进行了测试,测试结果完全正确,表明基于模糊逻辑的故障诊断方法是可行的,同时该诊断方法简单实用,具有较好的应用价值.     

基于模糊Petri网的汽车故障诊断仿真研究

本文将Petri网和模糊推理相结合,建立故障诊断的模糊Petri网模型。其中,用FPN表示模糊产生规则,用Petri网的变迁激活规则进行故障诊断推理,从而分析出异常行为过程间的因果关系,推理出故障的原因及其可信度。以汽车故障诊断为例,建立了基于模糊Petri网的诊断模型。通过仿真分析,验证了模型的正确性和算法的有效性。     

一种基于进程验证的Petri网可达性判定方法

为了解决Petri网的可达性判定问题,提出了一种基于进程验证的可达性判定方法.通过分析Petri网基本进程段子段间偏序关系,该方法提出原子进程段概念,求得原子进程段集及其偏序关系集作为可达性判定的验证对象.基于原网状态方程解向量、原子进程段T-向量的线性纯整数规划问题解,选取该解中非零分量对应的原子进程段子集作为待验进程段集,选取待验进程段间的偏序关系子集作为待验推理规则集,通过验证是否存在这两个集合上的以初始标识M0为推导初态、目的标识Md为推导终态的序列而判定(M0,Md)是否可达.分析表明该可达性判定算法的时间复杂度是依赖于原子进程段集规模的,最坏情况下不超过变迁集规模.     

一种基于线性逻辑的时间Retri网推理方法

针对传统分析方法的不足,提出了时间Petri网的线性逻辑表示和时间推理方法。基于线性逻辑,定义了时间Petri网中变迁之间的各种解发规则,在这些规则的基础上,提出了时间Petri网运行行为的证明方法,此方法能清楚地分析时间Petri网的运行行为和进行时间推理。     

变电站故障诊断中的不确定性问题研究

在变电站故障诊断过程中,业务知识的表示与推理存在大量不确定性问题.通过对这些不确定性问题的分析,将业务规则量化后并映射到模糊Petri网.设计一种加权的模糊Petri网模型,对变电站故障信号的分析过程进行建模,模拟带有关联告警信号的组合故障的诊断过程.该模型可以对变电站设备故障中不具备完整现象描述的情况进行处理,且可有效降低信号误报和漏报时对推理结果造成的影响.     

概率逻辑可能世界的Petri网模型

本文研究概率逻辑中推导可能世界的Ｐｅｒｔｉ模型，该模型为可能世界的产生提供有效算法，这个算法被证明是正确的，它可以产生所有的一致的可能世界，文章中还分析了算法的复杂性，通过同其它方法的比较可知：此Ｐｅｔｒｉ网模型是概率逻辑可能世界推导的简单、实用和图形化的工具。     

基于混合pi-sigma神经网络的故障诊断

由于电力变压器故障的模糊性和多样性,目前利用IEC三比值法在变压器故障诊断中存在准确率不高之难题.针对电力变压器的特点,综合考虑各因素的影响,将模糊逻辑和神经网络的长处融合在一起,构建了基于混合Pi-sigma神经网络及其算法的变压器故障诊断模型,其中在学习速率的选择、隶属度函数参数的更新等多处进行了改进,进一步减小了预测误差.用训练过的混合pi-sigrna神经网络模型对变压器故障进行验证和诊断的仿真结果表明,算法具有较快的收敛速度和较高的计算精度.证实了算法应用于电力变压器故障诊断的有效性.     

一种基于模糊逻辑规则的数据挖掘方法

分析了模糊逻辑规则的形成过程，介绍了模糊推理方法，提出了基于模糊规则化的数据挖掘方法。由分析可以看出，基于模糊逻辑规则的方法能从大量的数据集合中有效地发现有价值但不明显的信息并挖掘出有价值的信息。例如，在银行借贷中，根据数据库中的数据对借贷方进行评估，挖掘出影响贷款安全的有关单位信息等。     

基于未确知集合的故障诊断方法

为了定量描述对象具有未确知性质或处于未确知状态的程度,在可测空间上定义了满足测量准则的未确知测度慨念.以未确知测度为隶属函数抽象出论域上的未确知集合概念,定义未确知集合的运算.通过论证未确知集和模糊集之间的关系与本质不同,体现研究这种新的不确定性集合的价值.在未确知集合基础上,建立了未确知逻辑系统,用以处理未确知信息.定义了指标分类权重的概念,给出了计算方法,并将其应用于未确知逻辑系统推理算法中,使得到的合成可信度具有良好的可解释性.以故障诊断领域中一个算例作为未确知逻辑系统的应用实例.     

一种基于柔性逻辑的控制方法研究

模糊控制是基于领域专家所给出的模糊控制规则来实现对系统的控制,这些模糊控制规则粗略地描述了控制器输入和输出之间的关系.模糊控制采用的是一种分段逼近的思想,因此在对高阶和多输入等实际复杂系统控制过程中,模糊控制存在控制规则组合爆炸和控制精度不高两大问题.从常规二维模糊控制器的输入变量误差E和误差变化率EC的基本物理意义出发,深入分析它们之间所蕴含的逻辑关系,指出这种关系的本质就是泛逻辑学中的泛组合关系,可用简单的泛组合运算代替复杂的模糊规则推理过程.据此提出了一种柔性逻辑控制方法,可实现对复杂系统的精确控制.最后,一级倒立摆的实物实验结果证明了该方法的可行性和有效性.     

基于模态逻辑的通信设备故障诊断系统研究

针对通信设备故障的复杂性、渐变性和知识的不确定性,提出了一个基于模态逻辑的通信设备故障诊断系统。首先,定义一个时态逻辑来预测设备状态,然后用改进的模态逻辑来对通信设备的故障进行知识表示和推理,通过对故障征兆和故障知识库的交互自动地识别出具体的故障,找出具体的维护方法,通过人机接口将结果提供给用户,并利用基于Agent的更新器来更新知识库。最后用一个故障诊断的例子来证明系统的可行性。     

基于Petri网的工作流建模

Petri网是计算机异步成分之间进行通信的理论基础。Petri网的应用涉及计算机学科的各个领城。文中运用Petri网工具来对工作流技术进行了详细的分析与描述，并用一个例子来说明如何使用Petri网来描述工作流的各种同步关系以及流向，最后，文章还给出了一个由功能模型、数据/信息模型、组织模型、资源模型组成的工作流复合模型。     

基于直觉模糊逻辑的近似推理方法

针对直觉模糊逻辑及命题演算,提出了利用隶属度和犹豫度计算直觉模糊逻辑命题真值的合成方法．给出了直觉模糊逻辑命题的运算规则,重点研究了基于直觉模糊逻辑的近似推理方法．该方法包括直觉模糊取式推理,直觉模糊拒武推理及直觉模糊假官推理．井推导了相关的推理合成运算公式．以具体算例验证和表明了所提出的推导方法的正确性和有效性,以及对方法进行验证的详细步骤．     

基于模糊逻辑的无损彩色图像压缩算法

在数字图像处理中,无损彩色图像压缩有着越来越广泛的应用。为了充分利用彩色图像色彩分量之间的相关性以及提高彩色图像的无损压缩率,本文提出一种基于模糊逻辑的无损彩色图像压缩算法。该算法将模糊逻辑和H.264帧内预测算法相结合,提出一种改进的帧内预测算法并运用到对彩色分量G的预测中;然后利用彩色分量之间的纹理相似性来降低R、B分量的纹理复杂度;再结合G分量的最优预测模式以及基于上下文统计的自适应补偿算法,对R、B分量进行帧内预测;最后,通过预测结果来确定最优参数,对3个彩色分量的预测差值进行Golomb编码。实验表明,与无损压缩算法JPEG-LS相比,该算法对纹理清晰的彩色图像的压缩率有较大的提高。