禁止状态

作品数：19被引量：17H指数：2
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：郝真鸣罗继亮冉宁高丽敏吴维敏更多>>
相关机构：河北大学本田技研工业株式会社株式会社电装丰田自动车株式会社更多>>
相关期刊：《自动化学报》《系统工程理论与实践》《西安电子科技大学学报》《电信科学》更多>>
相关基金：国家自然科学基金福建省自然科学基金浙江省自然科学基金国家教育部博士点基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
含不可观和不可控变迁Petri网的控制器综合方法
《河北大学学报（自然科学版）》2023年第5期517-524,共8页郝晋渊 高丽敏 冉宁 黄淼 郝真鸣 
国家自然科学基金资助项目(62373132);教育部“春晖计划”合作科研项目(HZKY20220257);中央引导地方科技发展基金资助项目(236Z1602G);河北省高等学校科学技术研究项目(BJ2021008);河北省引进留学人员资助项目(C20190319);河北大学"一省一校"专项基金资助项目(801260201137)。
针对同时含有不可观和不可控事件的离散事件系统禁止状态问题,提出了一种基于整数线性规划的控制器综合方法.首先,依据Petri网的结构特性构建所有不可观变迁及不可控变迁需满足的线性约束条件集合,将给定约束条件抽象为整数线性规划问题...
关键词：PETRI网 禁止状态 约束转换 整数线性规划 
一种Petri网禁止状态控制器综合方法被引量：2
《电子测量与仪器学报》2022年第1期180-187,共8页郝真鸣 雷帅帅 刘军堂 郝晋渊 
国家自然科学基金(61903119);河北省自然科学基金(F2019201088,A2020201021);河北省引进留学人员资助项目(C20190319);河北省高等学校科学技术研究项目(BJ2021008)资助
针对含有不可控变迁Petri网的禁止状态问题,提出了一种基于整数线性规划的控制器综合方法,该方法适用于任意普通Petri网模型。首先,根据Petri网的结构特性构建所有不可控变迁应满足的约束条件集合,其次通过求解整数线性规划问题将给定...
关键词：PETRI网 禁止状态 约束转换 自动制造系统 
火灾自动报警系统自动禁止状态弊端的探讨被引量：1
《消防科学与技术》2016年第5期651-654,共4页刘伟 
根据调研结果,并结合有关消防产品标准和设计规范的历史演变,客观地分析在不同时期火灾自动报警系统所选工作状态的原因,深入剖析不同的系统工作状态在管理、产品、标准、操作等方面的弊端,提出法规、技术和制度方面的改善建议。
关键词：消防产品 火灾自动报警系统 消防规范 
我们向死而生,日子静静流淌——读马培松诗歌《一个人的死亡和一片树叶的飘落》
《剑南文学（经典阅读）（上）》2016年第2期77-78,共2页南地 
一个诗人只有在他敢于面对死亡的时候,才不会在恐惧中感到度日如年;也只有在他的观念具备了世间万物皆平等的意识的时候,他才会平静地对待人的生死,在自然中寻找到真正的自己;也只有明白了生与死的关系,勇敢地、积极地向死而生,日子才...
关键词：人的死亡 在自然中 人生短暂 感时 禁止状态 丧钟为谁而鸣 日常生活状态 推己及物 世界本质 这个世界 
针对α网的最优线性约束转换方法
《西安电子科技大学学报》2015年第5期183-187,212,共6页张丽 赵良煦 王寿光 汪成英 
浙江省杰出青年基金资助项目(LY15F030003;R14F020001);国家自然科学基金资助项目(61472361);浙江省科技计划资助项目(2015C31064);浙江省新型网络标准与应用技术重点实验室资助项目(2013E10012)
针对不可控影响子网为α网的一类Petri网,提出了将给定的广义互斥约束转换成最优允许线性约束的方法.该方法首先获得了该网的不可控影响子网;其次,提出了转换后的禁止库所集集合的求解算法;最后,根据禁止库所集集合构造了"逻辑或"形式...
关键词：PETRI网 离散事件系统 禁止状态 不可控变迁 
基于网结构分解的Petri网分散监控器设计
《计算机学报》2014年第12期2443-2450,共8页罗继亮 王飞 方慧娟 缑锦 
国家自然科学基金(60904018;61203040;61103170);福建省高等学校新世纪优秀人才支持计划(11FJRC01);福建省自然科学基金计划资助项目(2014J01241);福建省高校杰出青年科研人才培养计划(JA10004)资助~~
不可控子网的复杂结构是目前Petri网监控难题的根源,该文提出了控制规范等价的网结构分解方法,将对象网分解为多个结构简单的新网,并且将控制规范等价转换到各新网上,从而将复杂的全局控制问题分解简化为多个简单的局部控制问题,进而采...
关键词：PETRI网 离散事件系统 监控 禁止状态 
一个人的死亡和一片树叶的飘落(外一首)
《江南（诗）》2011年第6期71-71,共1页马培松 
关键词：树叶 死亡 闪电 禁止状态 橡皮树 办公室 玻璃窗 花盆 写作 声音 
针对有限禁止状态的Petri网控制器综合
《浙江大学学报（工学版）》2008年第11期1900-1905,共6页董利达 兰守珍 陈桂忠 
国家自然科学基金资助项目(60503027);国家"863"高技术研究发展计划资助项目(2006AA040309);浙江省科技厅资助项目(2007C1046)
针对基于Petri网的离散事件系统禁止状态问题,提出了一种控制器综合方法.该方法是建立在受控Petri网最大不可控子网为规范化序状Petri网基础之上的,当禁止状态有限时,可以将禁止状态问题转化为惟一可达解向量问题,即可达标识和状态方程...
关键词：离散事件系统 禁止状态问题 PETRI网 控制器综合 
Petri网的一类禁止状态问题的混合型监控器算法设计被引量：9
《计算机学报》2008年第2期291-298,共8页罗继亮 
国家自然科学基金(60503027);福建省自然科学基金计划资助项目(A0710010);福建省青年人才基金项目(2006F3087)资助
针对广义互斥约束下Petri网的不可控影响子网为状态机的一类禁止状态问题,给出了观测器的设计方法,并基于观测器得到了求解最大允许控制策略的算法.利用观测器将广义互斥约束简化为单禁止库所约束,并将存在不可控变迁的问题简化为相当...
关键词：PETRI网 离散事件系统 监控 禁止状态 混合型监控器 
一类离散事件系统的混合型控制器设计被引量：1
《系统工程理论与实践》2006年第12期105-109,共5页罗继亮 吴维敏 苏宏业 褚健 
国家自然科学基金(60421002);华侨大学高层次人才科研启动项目(06BS212);浙江省自然科学基金(Y104081);浙江省教育厅科研项目(20040149)
给出了状态机的混合型控制器的设计方法,首先设计了禁止库所的增量观测器和状态观测器,根据观测器的标识给出了允许标识和临界允许标识的判据,然后利用这两个判据给出的计算最大允许控制的算法.一个例子对本文的结论做了说明.
关键词：监控 离散事件系统 PETRI网 禁止状态 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部