福建省高等学校新世纪优秀人才支持计划(11FJRC01)

作品数：10被引量：29H指数：4
导出分析报告
相关作者：罗继亮陈雪琨叶丹丹齐鹏飞倪会娟更多>>
相关机构：华侨大学福建省电力有限公司浙江工商大学更多>>
相关期刊：《华侨大学学报（自然科学版）》《计算机学报》《控制理论与应用》《上海交通大学学报》更多>>
相关主题：PETRI网离散事件系统可编程逻辑控制器故障诊断化工更多>>
相关领域：自动化与计算机技术一般工业技术经济管理动力工程及工程热物理更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
间歇式化工系统的Petri网优化调度与控制方法被引量：5
《控制理论与应用》2016年第6期809-815,共7页周家忠 罗继亮 詹瑜坤 
国家自然科学基金项目(61573158);福建省自然科学基金项目(2014J01241);福建省高等学校新世纪优秀人才支持计划项目(11FJRC01);福建省高校杰出青年科研人才培育计划项目(JA10004)资助~~
为了解决复杂间歇式化工系统的优化调度和控制问题,提出了一种基于Petri网的优化调度与控制方法:首先,根据加工工艺,建立加工过程的赋时Petri网模型;其次,根据间歇式化工生产对象的拓扑结构,在该赋时Petri网模型中引入阀门系统的网结构...
关键词：PETRI网 优化调度 控制 间歇式化工 可达图 
部分可观Petri网结构信息在故障诊断中的应用被引量：9
《控制理论与应用》2015年第3期366-373,共8页叶丹丹 罗继亮 
国家青年科学基金(61203040);福建省自然科学基金项目(2014J01339);福建省高等学校新世纪优秀人才支持计划项目(11FJRC01);福建省高校杰出青年科研人才培育计划项目(JA10004)资助~~
针对离散事件系统的故障诊断问题,本文提出了一种基于部分可观Petri网结构信息的诊断方法.它包括两个部分,第1部分利用故障变迁的可诊断子网确定故障变迁的可诊断性.第2部分在故障可诊断的基础上提出一种在线故障诊断方法:首先,利用Petr...
关键词：离散事件系统 故障诊断 PETRI网 故障函数 
基于网结构分解的Petri网分散监控器设计
《计算机学报》2014年第12期2443-2450,共8页罗继亮 王飞 方慧娟 缑锦 
国家自然科学基金(60904018;61203040;61103170);福建省高等学校新世纪优秀人才支持计划(11FJRC01);福建省自然科学基金计划资助项目(2014J01241);福建省高校杰出青年科研人才培养计划(JA10004)资助~~
不可控子网的复杂结构是目前Petri网监控难题的根源,该文提出了控制规范等价的网结构分解方法,将对象网分解为多个结构简单的新网,并且将控制规范等价转换到各新网上,从而将复杂的全局控制问题分解简化为多个简单的局部控制问题,进而采...
关键词：PETRI网 离散事件系统 监控 禁止状态 
利用Petri网特征结构的故障诊断方法被引量：3
《华侨大学学报（自然科学版）》2014年第4期378-382,共5页叶丹丹 罗继亮 
国家青年自然科学基金资助项目(60904018);福建省自然科学基金资助项目(2010J01339);福建省高等学校新世纪优秀人才支持计划项目(11FJRC01);福建省高校杰出青年科研人才培育计划项目(JA10004);中央高校基本科研业务费专项基金资助项目(JB-SJ1006)
为解决大规模复杂系统故障诊断中计算复杂性高的问题,提出一种基于Petri网的在线故障诊断方法.首先,建立诊断对象的规范Petri网模型;其次,提出模型的严格最小库所不变量和特征库所不变量集合,并借助特征库所不变量集合描述Petri网模型...
关键词：故障诊断 PETRI网 库所不变量 故障函数 
基于普通Petri网的梯形图中接通延时定时器的建模方法被引量：1
《计算机科学》2014年第7期153-156,共4页温世刚 罗继亮 倪会娟 陈雪琨 
国家自然科学基金(61203040);工业控制技术国家重点实验室开放课题(ICT1317);福建省高等学校新世纪优秀人才支持计划(11FJRC01);福建省高校杰出青年科研人才培育计划(JA10004);中央高校基本科研业务费专项基金(JB-SJ1006)资助
针对可编程逻辑控制器(PLC)的接通延时定时器(TON),提出了其普通Petri网建模方法。将状态变量描述为库所对,将TON中的指令运算描述为变迁,从而将TON模块描述为一个普通Petri网结构。结果表明该Petri网能够准确地描述TON的动态行为,从而...
关键词：可编程逻辑控制器 PETRI网 梯形图 接通延时定时器 
采用普通Petri网的自动化立体仓库系统的PLC程序设计被引量：6
《华侨大学学报（自然科学版）》2014年第2期146-150,共5页倪会娟 罗继亮 
国家自然科学基金资助项目(61203040);福建省高等学校新世纪优秀人才支持计划(11FJRC01);福建省高校杰出青年科研人才培育计划(JA10004);福建省自然科学基金资助项目(2011J01352);福建省教育厅科技计划项目(JA11002)
以一个实际立体仓库系统的出库流程为例,给出利用普通Petri网设计其可编程逻辑控制器(PLC)程序的方法.首先,根据自动化立体仓库系统的出库流程,提出其对象Petri网的设计方法;然后,根据系统工艺流程对应的顺序控制规范,在对象Petri网的...
关键词：自动化立体仓库系统 可编程逻辑控制器 PETRI网 梯形图 
基于网结构压缩技术的Petri网监控器综合
《系统工程理论与实践》2014年第4期1052-1058,共7页罗继亮 赵坡 
国家自然科学基金(61203040);福建省高等学校新世纪优秀人才支持计划(11FJRC01);福建省高校杰出青年科研人才培育计划(JA10004);福建省教育厅科技计划项目(JA11002)
针对Petri网控制问题中不可控子网的状态空间指数级增长导致的计算复杂性难题,提出了控制目标(线性约束)等价的网结构压缩算法:(1)将不可控子网部分区域压缩为单个库所;(2)并将原网上的线性约束等价转换为新网的新线性约束.反复迭代该算...
关键词：PETRI网 网结构压缩 监控器 线性约束 
基于约束转换的Petri网最优监控器设计
《浙江大学学报（工学版）》2013年第11期2051-2056,2072,共7页罗继亮 王飞 邵辉 赵良煦 
国家自然科学青年基金计划资助项目(61203040);福建省高等学校新世纪优秀人才支持计划资助项目(11FJRC01);福建省高校杰出青年科研人才培养计划资助项目(JA10004);福建省教育厅科技计划项目(JA11002);工业控制技术国家重点实验室开放课题资助资助项目(ICT1317);浙江省科技计划项目(2013C31111)
针对不可控影响子网为后向无同步前向无冲突网的广义互斥约束,给出基于约束转换的最优监控方法:根据路径代数法研究后向无同步前向无冲突网的结构,得到与可达性分析相关的若干性质;其次,根据这些性质得到约束转换算法,它将给定约束等价...
关键词：离散事件系统 PETRI网 监控 广义互斥约束 
PLC程序形式化的设计与验证被引量：3
《华侨大学学报（自然科学版）》2013年第3期241-246,共6页齐鹏飞 罗继亮 陈雪琨 
国家青年自然科学基金资助项目(60904018);福建省高等学校新世纪优秀人才支持计划项目(11FJRC01);福建省自然科学基金资助项目(2010J01339;2011J01352);福建省高校杰出青年科研人才培育计划项目(JA10004);中央高校基本科研业务费专项基金资助项目(JB-SJ1006)
从形式化方法的角度出发,阐述可编程逻辑控制器(PLC)程序的形式化设计和验证方法的相关研究.在形式化设计方面,分析了根据Petri网和自动机模型判断程序正确性和可靠性的研究成果;在形式化验证方面,分析了PLC语言与形式化模型的转换和基...
关键词：可编程逻辑控制器 形式化设计 PETRI网 自动机 定理证明 模型验证 
间歇式化工形式化建模与顺序控制器设计被引量：6
《上海交通大学学报》2012年第12期1896-1900,共5页罗继亮 陈雪琨 齐鹏飞 赵坡 
国家青年自然科学基金(60904018);浙江省自然科学基金(LY12F02030);福建省高等学校新世纪优秀人才支持计划(11FJRC01);福建省高校杰出青年科研人才培育计划(JA10004);中央高校基本科研业务费专项基金(JB-SJ1006)资助项目
针对间歇式化工生产过程,根据执行机构网元件提出了其受控Petri网模型的设计方法,将工艺流程描述为变迁串的顺序控制目标,继而根据基本变迁串将工艺流程描述为Petri网的线性约束.最后,利用库所不变量方法设计监控库所,给出顺序Petri网...
关键词：离散事件系统 PETRI网 间歇式化工 顺序控制 监控 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部