您的位置: 专家智库 > >

赵良煦

作品数:2 被引量:0H指数:0
供职机构:浙江工商大学信息与电子工程学院更多>>
发文基金:国家自然科学基金浙江省科技计划项目福建省教育厅科技项目更多>>
相关领域:自动化与计算机技术更多>>

文献类型

  • 2篇中文期刊文章

领域

  • 2篇自动化与计算...

主题

  • 2篇离散事件系统
  • 2篇PETRI网
  • 1篇禁止状态
  • 1篇不可控变迁

机构

  • 2篇浙江工商大学
  • 1篇华侨大学

作者

  • 2篇赵良煦
  • 1篇王寿光
  • 1篇罗继亮
  • 1篇邵辉
  • 1篇汪成英
  • 1篇王飞
  • 1篇张丽

传媒

  • 1篇西安电子科技...
  • 1篇浙江大学学报...

年份

  • 1篇2015
  • 1篇2013
2 条 记 录,以下是 1-2
排序方式:
基于约束转换的Petri网最优监控器设计
2013年
针对不可控影响子网为后向无同步前向无冲突网的广义互斥约束,给出基于约束转换的最优监控方法:根据路径代数法研究后向无同步前向无冲突网的结构,得到与可达性分析相关的若干性质;其次,根据这些性质得到约束转换算法,它将给定约束等价转换为一组"逻辑或"的允许的广义互斥约束;根据允许约束的性质,得到允许监控器存在性的充要条件和最大允许状态反馈控制策略的表达式,分析结果表明,该策略的在线计算能够在多项式时间内完成,及它能够满足实时性的要求;利用一个制造系统的实例演示了该监控方法.
罗继亮王飞邵辉赵良煦
关键词:离散事件系统PETRI网
针对α网的最优线性约束转换方法
2015年
针对不可控影响子网为α网的一类Petri网,提出了将给定的广义互斥约束转换成最优允许线性约束的方法.该方法首先获得了该网的不可控影响子网;其次,提出了转换后的禁止库所集集合的求解算法;最后,根据禁止库所集集合构造了"逻辑或"形式的最大允许线性约束.并且通过一个例子,说明了该方法的有效性.
张丽赵良煦王寿光汪成英
关键词:PETRI网离散事件系统禁止状态不可控变迁
共1页<1>
聚类工具0