福建省教育厅科技项目(JA11002)
- 作品数：3 被引量：6H指数：1
- 相关作者：罗继亮倪会娟赵良煦赵坡王飞更多>>
- 相关机构：华侨大学福建省电力有限公司浙江工商大学更多>>
- 发文基金：福建省教育厅科技项目福建省高等学校新世纪优秀人才支持计划国家自然科学基金更多>>
- 相关领域：自动化与计算机技术经济管理更多>>
- 基于网结构压缩技术的Petri网监控器综合
- 2014年
- 针对Petri网控制问题中不可控子网的状态空间指数级增长导致的计算复杂性难题,提出了控制目标(线性约束)等价的网结构压缩算法:(1)将不可控子网部分区域压缩为单个库所;(2)并将原网上的线性约束等价转换为新网的新线性约束.反复迭代该算法,可以有效地压缩原不可控子网,从而指数级地减小不可控子网的状态空间,有效地降低监控问题的计算复杂性,甚至当不可控子网为状态机时,该方法能够彻底解决上述计算复杂性难题,获得高效最优的Petri网监控器,并用一个物料运输系统演示了该方法.
- 罗继亮赵坡
- 关键词：PETRI网监控器
- 采用普通Petri网的自动化立体仓库系统的PLC程序设计被引量：6
- 2014年
- 以一个实际立体仓库系统的出库流程为例,给出利用普通Petri网设计其可编程逻辑控制器(PLC)程序的方法.首先,根据自动化立体仓库系统的出库流程,提出其对象Petri网的设计方法;然后,根据系统工艺流程对应的顺序控制规范,在对象Petri网的基础上增加执行机构的变迁,最终得到闭合Petri网(监控器);最后,给出将闭合Petri网转化成PLC梯形图的方法,实现自动化立体仓库系统的形式化建模和PLC程序设计.研究结果表明:所提出的设计方法更容易自动实现系统的控制器设计及转化为梯形图语言.
- 倪会娟罗继亮
- 关键词：自动化立体仓库系统可编程逻辑控制器PETRI网梯形图
- 基于约束转换的Petri网最优监控器设计
- 2013年
- 针对不可控影响子网为后向无同步前向无冲突网的广义互斥约束,给出基于约束转换的最优监控方法:根据路径代数法研究后向无同步前向无冲突网的结构,得到与可达性分析相关的若干性质;其次,根据这些性质得到约束转换算法,它将给定约束等价转换为一组"逻辑或"的允许的广义互斥约束;根据允许约束的性质,得到允许监控器存在性的充要条件和最大允许状态反馈控制策略的表达式,分析结果表明,该策略的在线计算能够在多项式时间内完成,及它能够满足实时性的要求;利用一个制造系统的实例演示了该监控方法.
- 罗继亮王飞邵辉赵良煦
- 关键词：离散事件系统PETRI网
