陈雪琨
- 作品数：15 被引量：11H指数：2
- 供职机构：华侨大学更多>>
- 发文基金：中央高校基本科研业务费专项资金国家自然科学基金福建省高等学校新世纪优秀人才支持计划更多>>
- 相关领域：自动化与计算机技术一般工业技术动力工程及工程热物理电气工程更多>>
- 间歇式化工形式化建模与顺序控制器设计被引量：6
- 2012年
- 针对间歇式化工生产过程,根据执行机构网元件提出了其受控Petri网模型的设计方法,将工艺流程描述为变迁串的顺序控制目标,继而根据基本变迁串将工艺流程描述为Petri网的线性约束.最后,利用库所不变量方法设计监控库所,给出顺序Petri网监控器,实现了复杂化工过程的闭环控制系统的形式化建模、分析和优化.
- 罗继亮陈雪琨齐鹏飞赵坡
- 关键词：离散事件系统PETRI网顺序控制
- 基于关联矩阵代数运算的逻辑型监控器设计
- 2011年
- 对于含有不可控变迁的Petri网监控问题,允许状态空间可能需要一组"或"的允许约束来描述,而库所不变量的监控方法只将给定约束转换为单个的允许约束,其监控器将系统行为限制在允许标识状态空间的较小子集内,其限制性过于严格,且该方法无法解决某些监控问题。针对上述问题,给出了一种基于关联矩阵代数运算的约束转换方法,能够将给定约束转换为一组"逻辑或"的允许约束,进而给出了逻辑型监控器的设计方法,其控制策略的在线计算可以在多项式时间内完成,能够满足实时性的要求,并且该监控器比方法的监控器允许性更大。需要指出的是该方法的约束转换算法的离线计算量具有指数级的计算复杂性。
- 赵坡罗继亮齐鹏飞陈雪琨
- 关键词：PETRI网控制策略
- 基于关联矩阵代数运算的逻辑型监控器设计
- 对于含有不可控变迁的Petri网监控问题，允许状态空间可能需要一组“或”的允许约束来描述，而库所不变量的监控方法[12]只将给定约束转换为单个的允许约束，其监控器将系统行为限制在允许标识状态空间的较小子集内，其限制性过于...
- 赵坡罗继亮齐鹏飞陈雪琨
- 关键词：关联矩阵代数运算设计方法
- PLC程序形式化的设计与验证被引量：3
- 2013年
- 从形式化方法的角度出发,阐述可编程逻辑控制器(PLC)程序的形式化设计和验证方法的相关研究.在形式化设计方面,分析了根据Petri网和自动机模型判断程序正确性和可靠性的研究成果;在形式化验证方面,分析了PLC语言与形式化模型的转换和基于NuSMV或UPPAAL的验证方法.最后,比较将两种形式化方法应用到PLC程序的特点,探讨现有成果中存在的问题及研究发展方向.
- 齐鹏飞罗继亮陈雪琨
- 关键词：可编程逻辑控制器形式化设计PETRI网自动机定理证明
- 一种检测PLC梯形图程序中是否存在竞态的方法
- 本发明一种检测PLC梯形图程序中是否存在竞态的方法，通过计算普通Petri网的可达图来确定待检测程序中是否存在竞态，不仅可以一次性完成检测工作，而且可以让程序员清晰、直观地从可达图中直接发现程序中隐含的逻辑错误，同时检测...
- 齐鹏飞罗继亮陈雪琨
- 文献传递
- 基于普通Petri网的梯形图中接通延时定时器的建模方法
- 针对可编程逻辑控制器(PLC)的接通延时定时器(TON),提出了其普通Petri网建模方法,将状态变量描述为库所对,将TON中的指令运算描述为变迁,从而将TON模块描述为一个普通Petri网结构.结果表明该Petri网能...
- 温世刚罗继亮倪会娟陈雪琨
- 关键词：可编程逻辑控制器PETRI网梯形图建模方法
- 文献传递
- 基于普通Petri网的梯形图中接通延时定时器的建模方法被引量：1
- 2014年
- 针对可编程逻辑控制器(PLC)的接通延时定时器(TON),提出了其普通Petri网建模方法。将状态变量描述为库所对,将TON中的指令运算描述为变迁,从而将TON模块描述为一个普通Petri网结构。结果表明该Petri网能够准确地描述TON的动态行为,从而为PLC梯形图程序的形式化设计或验证提供了建模方法。
- 温世刚罗继亮倪会娟陈雪琨
- 关键词：可编程逻辑控制器PETRI网梯形图
- 基于形式化方法的PLC程序设计与验证研究综述
- 在安全苛求工程领域中可编程逻辑控制器（PLC）的可靠性需求的驱动下，近年来学术界开展了大量的PLC程序的形式化设计和验证方法研究。本文列举了它们在核电、列车和导弹控制系统等工程的应用;总结了现有PLC形式化设计和验证方法...
- 齐鹏飞罗继亮陈雪琨
- 关键词：可编程逻辑控制器程序设计PETRI网自动机模型
- 文献传递
- 一种将可编程逻辑控制器程序转换为普通Petri网的方法
- 本发明一种将可编程逻辑控制器程序转换为普通Petri网的方法，针对PLC梯形图程序，将梯形图触点和线圈模拟为结点，将导线模拟为有向边，建立梯形图程序的PLC有向图模型，定义该有向图中的路径，根据路径关系，将PLC有向图转...
- 罗继亮陈雪琨齐鹏飞
- 文献传递
- 一种将PLC指令表程序转换成普通Petri网的方法
- 本发明一种将PLC指令表程序转换成普通Petri网的方法，实现了从PLC指令表程序到普通Petri网的自动转换，由于普通Petri网激发条件简洁，逻辑思维方式简单，更直观易懂，而且所得Petri网能够完全模拟PLC控制系...
- 罗继亮齐鹏飞陈雪琨
- 文献传递
