福建省高等学校新世纪优秀人才支持计划(11FJRC01)
- 作品数：10 被引量：28H指数：4
- 相关作者：罗继亮陈雪琨叶丹丹齐鹏飞倪会娟更多>>
- 相关机构：华侨大学福建省电力有限公司浙江工商大学更多>>
- 发文基金：福建省高等学校新世纪优秀人才支持计划国家自然科学基金福建省自然科学基金更多>>
- 相关领域：自动化与计算机技术一般工业技术经济管理动力工程及工程热物理更多>>
- 部分可观Petri网结构信息在故障诊断中的应用被引量：9
- 2015年
- 针对离散事件系统的故障诊断问题,本文提出了一种基于部分可观Petri网结构信息的诊断方法.它包括两个部分,第1部分利用故障变迁的可诊断子网确定故障变迁的可诊断性.第2部分在故障可诊断的基础上提出一种在线故障诊断方法:首先,利用Petri网的几种基本子网来分析故障变迁的可诊断子网的结构信息;其次,根据给定的可观测变迁序列和可诊断子网的结构特征来描述子网内部托肯的流动形式;最后,定义故障函数,并结合具体实例来描述故障变迁的发生情况.该故障诊断的方法基于部分可观Petri网结构信息,无需遍历系统状态空间,免去多项式级的计算复杂性,能够满足实时性的要求.
- 叶丹丹罗继亮
- 关键词：离散事件系统故障诊断PETRI网
- 间歇式化工系统的Petri网优化调度与控制方法被引量：4
- 2016年
- 为了解决复杂间歇式化工系统的优化调度和控制问题,提出了一种基于Petri网的优化调度与控制方法:首先,根据加工工艺,建立加工过程的赋时Petri网模型;其次,根据间歇式化工生产对象的拓扑结构,在该赋时Petri网模型中引入阀门系统的网结构,从而获得系统的受控Petri网模型;最后,利用可达图来计算加工时间最短的控制策略,借助网结构信息,得到了控制策略的阀门控制矩阵,并用一个示例演示验证了本文方法.
- 周家忠罗继亮詹瑜坤
- 关键词：PETRI网优化调度可达图
- 采用普通Petri网的自动化立体仓库系统的PLC程序设计被引量：6
- 2014年
- 以一个实际立体仓库系统的出库流程为例,给出利用普通Petri网设计其可编程逻辑控制器(PLC)程序的方法.首先,根据自动化立体仓库系统的出库流程,提出其对象Petri网的设计方法;然后,根据系统工艺流程对应的顺序控制规范,在对象Petri网的基础上增加执行机构的变迁,最终得到闭合Petri网(监控器);最后,给出将闭合Petri网转化成PLC梯形图的方法,实现自动化立体仓库系统的形式化建模和PLC程序设计.研究结果表明:所提出的设计方法更容易自动实现系统的控制器设计及转化为梯形图语言.
- 倪会娟罗继亮
- 关键词：自动化立体仓库系统可编程逻辑控制器PETRI网梯形图
- 间歇式化工形式化建模与顺序控制器设计被引量：6
- 2012年
- 针对间歇式化工生产过程,根据执行机构网元件提出了其受控Petri网模型的设计方法,将工艺流程描述为变迁串的顺序控制目标,继而根据基本变迁串将工艺流程描述为Petri网的线性约束.最后,利用库所不变量方法设计监控库所,给出顺序Petri网监控器,实现了复杂化工过程的闭环控制系统的形式化建模、分析和优化.
- 罗继亮陈雪琨齐鹏飞赵坡
- 关键词：离散事件系统PETRI网顺序控制
- 基于网结构压缩技术的Petri网监控器综合
- 2014年
- 针对Petri网控制问题中不可控子网的状态空间指数级增长导致的计算复杂性难题,提出了控制目标(线性约束)等价的网结构压缩算法:(1)将不可控子网部分区域压缩为单个库所;(2)并将原网上的线性约束等价转换为新网的新线性约束.反复迭代该算法,可以有效地压缩原不可控子网,从而指数级地减小不可控子网的状态空间,有效地降低监控问题的计算复杂性,甚至当不可控子网为状态机时,该方法能够彻底解决上述计算复杂性难题,获得高效最优的Petri网监控器,并用一个物料运输系统演示了该方法.
- 罗继亮赵坡
- 关键词：PETRI网监控器
- PLC程序形式化的设计与验证被引量：3
- 2013年
- 从形式化方法的角度出发,阐述可编程逻辑控制器(PLC)程序的形式化设计和验证方法的相关研究.在形式化设计方面,分析了根据Petri网和自动机模型判断程序正确性和可靠性的研究成果;在形式化验证方面,分析了PLC语言与形式化模型的转换和基于NuSMV或UPPAAL的验证方法.最后,比较将两种形式化方法应用到PLC程序的特点,探讨现有成果中存在的问题及研究发展方向.
- 齐鹏飞罗继亮陈雪琨
- 关键词：可编程逻辑控制器形式化设计PETRI网自动机定理证明
- 利用Petri网特征结构的故障诊断方法被引量：3
- 2014年
- 为解决大规模复杂系统故障诊断中计算复杂性高的问题,提出一种基于Petri网的在线故障诊断方法.首先,建立诊断对象的规范Petri网模型;其次,提出模型的严格最小库所不变量和特征库所不变量集合,并借助特征库所不变量集合描述Petri网模型的结构信息;最后,基于特征库所不变量集合提出任意当前标识的故障函数,并利用故障诊断函数完成故障识别和定位.结果表明:该故障诊断方法采用了系统结构信息,无需遍历系统状态空间,具有多项式级的计算复杂性,能够满足实时性要求.
- 叶丹丹罗继亮
- 关键词：故障诊断PETRI网
- 基于网结构分解的Petri网分散监控器设计
- 2014年
- 不可控子网的复杂结构是目前Petri网监控难题的根源,该文提出了控制规范等价的网结构分解方法,将对象网分解为多个结构简单的新网,并且将控制规范等价转换到各新网上,从而将复杂的全局控制问题分解简化为多个简单的局部控制问题,进而采用库所不变量方法设计各局部最优Petri网监控器,实现复杂问题分散控制,有效地降低了Petri网控制问题的计算复杂性.最后以一个柔性制造系统为例验证和说明了上述方法.
- 罗继亮王飞方慧娟缑锦
- 关键词：PETRI网离散事件系统禁止状态
- 基于约束转换的Petri网最优监控器设计
- 2013年
- 针对不可控影响子网为后向无同步前向无冲突网的广义互斥约束,给出基于约束转换的最优监控方法:根据路径代数法研究后向无同步前向无冲突网的结构,得到与可达性分析相关的若干性质;其次,根据这些性质得到约束转换算法,它将给定约束等价转换为一组"逻辑或"的允许的广义互斥约束;根据允许约束的性质,得到允许监控器存在性的充要条件和最大允许状态反馈控制策略的表达式,分析结果表明,该策略的在线计算能够在多项式时间内完成,及它能够满足实时性的要求;利用一个制造系统的实例演示了该监控方法.
- 罗继亮王飞邵辉赵良煦
- 关键词：离散事件系统PETRI网
- 基于普通Petri网的梯形图中接通延时定时器的建模方法被引量：1
- 2014年
- 针对可编程逻辑控制器(PLC)的接通延时定时器(TON),提出了其普通Petri网建模方法。将状态变量描述为库所对,将TON中的指令运算描述为变迁,从而将TON模块描述为一个普通Petri网结构。结果表明该Petri网能够准确地描述TON的动态行为,从而为PLC梯形图程序的形式化设计或验证提供了建模方法。
- 温世刚罗继亮倪会娟陈雪琨
- 关键词：可编程逻辑控制器PETRI网梯形图
