中央高校基本科研业务费专项资金(JB-SJ1006)
- 作品数:5 被引量:13H指数:3
- 相关作者:罗继亮陈雪琨齐鹏飞赵坡叶丹丹更多>>
- 相关机构:华侨大学更多>>
- 发文基金:中央高校基本科研业务费专项资金国家自然科学基金福建省高等学校新世纪优秀人才支持计划更多>>
- 相关领域:自动化与计算机技术一般工业技术动力工程及工程热物理更多>>
- PLC程序形式化的设计与验证被引量:3
- 2013年
- 从形式化方法的角度出发,阐述可编程逻辑控制器(PLC)程序的形式化设计和验证方法的相关研究.在形式化设计方面,分析了根据Petri网和自动机模型判断程序正确性和可靠性的研究成果;在形式化验证方面,分析了PLC语言与形式化模型的转换和基于NuSMV或UPPAAL的验证方法.最后,比较将两种形式化方法应用到PLC程序的特点,探讨现有成果中存在的问题及研究发展方向.
- 齐鹏飞罗继亮陈雪琨
- 关键词:可编程逻辑控制器形式化设计PETRI网自动机定理证明
- 利用Petri网特征结构的故障诊断方法被引量:3
- 2014年
- 为解决大规模复杂系统故障诊断中计算复杂性高的问题,提出一种基于Petri网的在线故障诊断方法.首先,建立诊断对象的规范Petri网模型;其次,提出模型的严格最小库所不变量和特征库所不变量集合,并借助特征库所不变量集合描述Petri网模型的结构信息;最后,基于特征库所不变量集合提出任意当前标识的故障函数,并利用故障诊断函数完成故障识别和定位.结果表明:该故障诊断方法采用了系统结构信息,无需遍历系统状态空间,具有多项式级的计算复杂性,能够满足实时性要求.
- 叶丹丹罗继亮
- 关键词:故障诊断PETRI网
- 间歇式化工形式化建模与顺序控制器设计被引量:6
- 2012年
- 针对间歇式化工生产过程,根据执行机构网元件提出了其受控Petri网模型的设计方法,将工艺流程描述为变迁串的顺序控制目标,继而根据基本变迁串将工艺流程描述为Petri网的线性约束.最后,利用库所不变量方法设计监控库所,给出顺序Petri网监控器,实现了复杂化工过程的闭环控制系统的形式化建模、分析和优化.
- 罗继亮陈雪琨齐鹏飞赵坡
- 关键词:离散事件系统PETRI网顺序控制
- 基于关联矩阵代数运算的逻辑型监控器设计
- 2011年
- 对于含有不可控变迁的Petri网监控问题,允许状态空间可能需要一组"或"的允许约束来描述,而库所不变量的监控方法只将给定约束转换为单个的允许约束,其监控器将系统行为限制在允许标识状态空间的较小子集内,其限制性过于严格,且该方法无法解决某些监控问题。针对上述问题,给出了一种基于关联矩阵代数运算的约束转换方法,能够将给定约束转换为一组"逻辑或"的允许约束,进而给出了逻辑型监控器的设计方法,其控制策略的在线计算可以在多项式时间内完成,能够满足实时性的要求,并且该监控器比方法的监控器允许性更大。需要指出的是该方法的约束转换算法的离线计算量具有指数级的计算复杂性。
- 赵坡罗继亮齐鹏飞陈雪琨
- 关键词:PETRI网控制策略
- 基于普通Petri网的梯形图中接通延时定时器的建模方法被引量:1
- 2014年
- 针对可编程逻辑控制器(PLC)的接通延时定时器(TON),提出了其普通Petri网建模方法。将状态变量描述为库所对,将TON中的指令运算描述为变迁,从而将TON模块描述为一个普通Petri网结构。结果表明该Petri网能够准确地描述TON的动态行为,从而为PLC梯形图程序的形式化设计或验证提供了建模方法。
- 温世刚罗继亮倪会娟陈雪琨
- 关键词:可编程逻辑控制器PETRI网梯形图