福建省高校杰出青年科研人才培育计划项目(JA10004)
- 作品数：6 被引量：19H指数：3
- 相关作者：罗继亮叶丹丹齐鹏飞陈雪琨周家忠更多>>
- 相关机构：华侨大学更多>>
- 发文基金：福建省高校杰出青年科研人才培育计划项目福建省自然科学基金福建省高等学校新世纪优秀人才支持计划更多>>
- 相关领域：自动化与计算机技术更多>>
- 部分可观Petri网结构信息在故障诊断中的应用被引量：9
- 2015年
- 针对离散事件系统的故障诊断问题,本文提出了一种基于部分可观Petri网结构信息的诊断方法.它包括两个部分,第1部分利用故障变迁的可诊断子网确定故障变迁的可诊断性.第2部分在故障可诊断的基础上提出一种在线故障诊断方法:首先,利用Petri网的几种基本子网来分析故障变迁的可诊断子网的结构信息;其次,根据给定的可观测变迁序列和可诊断子网的结构特征来描述子网内部托肯的流动形式;最后,定义故障函数,并结合具体实例来描述故障变迁的发生情况.该故障诊断的方法基于部分可观Petri网结构信息,无需遍历系统状态空间,免去多项式级的计算复杂性,能够满足实时性的要求.
- 叶丹丹罗继亮
- 关键词：离散事件系统故障诊断PETRI网
- 间歇式化工系统的Petri网优化调度与控制方法被引量：4
- 2016年
- 为了解决复杂间歇式化工系统的优化调度和控制问题,提出了一种基于Petri网的优化调度与控制方法:首先,根据加工工艺,建立加工过程的赋时Petri网模型;其次,根据间歇式化工生产对象的拓扑结构,在该赋时Petri网模型中引入阀门系统的网结构,从而获得系统的受控Petri网模型;最后,利用可达图来计算加工时间最短的控制策略,借助网结构信息,得到了控制策略的阀门控制矩阵,并用一个示例演示验证了本文方法.
- 周家忠罗继亮詹瑜坤
- 关键词：PETRI网优化调度可达图
- 基于关联矩阵代数运算的逻辑型监控器设计
- 2011年
- 对于含有不可控变迁的Petri网监控问题,允许状态空间可能需要一组"或"的允许约束来描述,而库所不变量的监控方法只将给定约束转换为单个的允许约束,其监控器将系统行为限制在允许标识状态空间的较小子集内,其限制性过于严格,且该方法无法解决某些监控问题。针对上述问题,给出了一种基于关联矩阵代数运算的约束转换方法,能够将给定约束转换为一组"逻辑或"的允许约束,进而给出了逻辑型监控器的设计方法,其控制策略的在线计算可以在多项式时间内完成,能够满足实时性的要求,并且该监控器比方法的监控器允许性更大。需要指出的是该方法的约束转换算法的离线计算量具有指数级的计算复杂性。
- 赵坡罗继亮齐鹏飞陈雪琨
- 关键词：PETRI网控制策略
- PLC程序形式化的设计与验证被引量：3
- 2013年
- 从形式化方法的角度出发,阐述可编程逻辑控制器(PLC)程序的形式化设计和验证方法的相关研究.在形式化设计方面,分析了根据Petri网和自动机模型判断程序正确性和可靠性的研究成果;在形式化验证方面,分析了PLC语言与形式化模型的转换和基于NuSMV或UPPAAL的验证方法.最后,比较将两种形式化方法应用到PLC程序的特点,探讨现有成果中存在的问题及研究发展方向.
- 齐鹏飞罗继亮陈雪琨
- 关键词：可编程逻辑控制器形式化设计PETRI网自动机定理证明
- 利用Petri网特征结构的故障诊断方法被引量：3
- 2014年
- 为解决大规模复杂系统故障诊断中计算复杂性高的问题,提出一种基于Petri网的在线故障诊断方法.首先,建立诊断对象的规范Petri网模型;其次,提出模型的严格最小库所不变量和特征库所不变量集合,并借助特征库所不变量集合描述Petri网模型的结构信息;最后,基于特征库所不变量集合提出任意当前标识的故障函数,并利用故障诊断函数完成故障识别和定位.结果表明:该故障诊断方法采用了系统结构信息,无需遍历系统状态空间,具有多项式级的计算复杂性,能够满足实时性要求.
- 叶丹丹罗继亮
- 关键词：故障诊断PETRI网
- FPGA组合逻辑程序的Petri网建模方法被引量：1
- 2015年
- 针对现场可编程门阵列(FPGA)组合逻辑程序,提出其普通Petri网建模方法.首先,将状态变量描述为库所对,程序中的逻辑运算描述为变迁,从而将系统程序转换为一个普通Petri网结构;然后,根据Petri网的动态分析性能,给出系统状态可达图的计算方法,实现了状态可达图等价描述FPGA组合逻辑系统运行过程.研究结果表明:该Petri网能够准确地描述变量间的逻辑关系,提出的方法可以为FPGA组合逻辑程序的形式化设计和验证提供建模依据.
- 陈珑黄颖坤罗继亮
- 关键词：现场可编程门阵列组合逻辑PETRI建模方法
