【摘 要】
：
针对模糊有限自动机及模糊Petri网在模糊离散事件系统(Fuzzy Discrete Event System,FDES)行为建模中的不足,提出一种扩展模糊Petri网(Extended Fuzzy Petri Net,EFPN),并基于EFPN构造了FDES行为模型及系统故障诊断器.EFPN以一种新的事件模型为基础对FDES的系统行为进行建模,并根据事件触发矩阵计算下一系统状态中各分量的可能性分
【机 构】
：
郑州大学信息工程学院 河南 郑州 450052;北京交通大学轨道交通控制与安全国家重点实验室,北京100044
【出 处】
：
第十四届全国Petri 网理论与应用学术年会
论文部分内容阅读
针对模糊有限自动机及模糊Petri网在模糊离散事件系统(Fuzzy Discrete Event System,FDES)行为建模中的不足,提出一种扩展模糊Petri网(Extended Fuzzy Petri Net,EFPN),并基于EFPN构造了FDES行为模型及系统故障诊断器.EFPN以一种新的事件模型为基础对FDES的系统行为进行建模,并根据事件触发矩阵计算下一系统状态中各分量的可能性分布.与模糊有限自动机及模糊Petri网的对比分析表明,在描述FDES模糊事件时,对于同步距离为0的一组事件所造成的影响,EFPN的表达能力强于经典模糊Petri网;在对含有多个状态分量的FDES建模时,EFPN模型的规模远小于模糊有限自动机.在基于EFPN构造的系统行为模型中,运用可达状态标识图分析系统状态集,可有效地构造FDES的故障诊断器,并可据此进行系统可诊断性分析.
其他文献
目前在大多数多代理多签名（multi-proxy multi-signature,MPMS）方案中,所有的原始签名人指定同一个代理群生成代理签名.然而在很多实际应用中,每个原始签名人经常需要在自己所
设备是企业生产建设的物质基础和技术手段.设备的完好率对于提高产品质量,增加经济效益具有决定性的作用.而设备档案管理是各项管理中的一个重要组成部分,设备档案管理是设备
为满足客户需求,在行为约束下的业务流程中寻找行为执行的最优路径具有一定的实际意义.已有的研究是建立在静态分析基础上,通过优化算法或是行为分析来寻找最优执行路径,忽略了行为约束条件对执行行为有效性的影响,所得结果具有一定的局限性.本文在已有方法的基础上,利用Petri网行为轮廓序关系描述约束条件并确定行为有效区间,提出了基于模态Petri网分支有效区间的业务流程最优路径选择方法.该方法以行为有效区间
值域增长的约束满足问题模型是计算复杂性理论中一类重要的实际问题模型,针对解决这类问题的算法研究仍然很少.通过研究RB模型这一典型的值域增长约束满足问题,发现当问题规
固定资产投资项目档案是项目管理的重要组成部分,项目档案专项验收也是项目竣工验收的前提条件之一。但在实际工作中,由于项目档案管理标准高,所涉及部门多等原因,档案管理中
作为政府在基层直接为群众提供政策咨询、受理服务的社区事务受理服务中心（以下简称“受理中心”）,承担着大量与辖区人力资源档案密切相关的对外咨询、受理服务工作。本文针对
现有的基于粗糙集的数据补齐方法在计算任意两个对象之间的相似性时并没有考虑不同条件属性之间的差异性。针对这一问题，引入一种新的加权相似性的概念，并提出一种基于相对决策
在传统DCV的基础上,提出了一种改进的快速DCV分类方法。该方法与传统的DCV分类方法相比,在保证识别率相同的情况下具有较快的分类速率。传统的DCV分类方法通过计算特征向量之间的距离来进行分类,而所提快速DCV分类方法则通过标量计算完成分类。理论分析及复杂度计算表明,快速DCV分类方法的分类速率是传统DCV分类方法的2倍左右,在Yale、ORL和PIE 3种人脸数据库得到的对比仿真实验结果验证了该
冶金制造企业的工程设备档案几乎占据了整个工程项目档案的50％，因此，工程设备档案管理的优劣直接影响到整个工程项目档案的质量。本文结合企业实际，针对钢铁企业工程设备档案的管
网络可靠度BDD分析的计算复杂度与BDD尺度线性相关,而BDD尺度依赖边排序策略,边排序问题是BDD网络可靠度分析的重要问题.从网络结构特性出发,设计了优先级边排序策略并深入研