您的位置: 专家智库 > >

韩立斌

作品数:2 被引量:0H指数:0
供职机构:西安交通大学电子与信息工程学院微电子系更多>>
发文基金:国家自然科学基金更多>>
相关领域:自动化与计算机技术更多>>

文献类型

  • 1篇期刊文章
  • 1篇会议论文

领域

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

主题

  • 2篇死锁
  • 2篇死锁预防
  • 2篇死锁预防策略
  • 2篇PETRI网
  • 1篇自动制造系统
  • 1篇回路

机构

  • 2篇西安交通大学

作者

  • 2篇刘慧霞
  • 2篇王峰
  • 2篇韩立斌
  • 2篇邢科义

传媒

  • 1篇东南大学学报...
  • 1篇第23届过程...

年份

  • 2篇2012
2 条 记 录,以下是 1-2
排序方式:
有效变迁覆盖在死锁预防策略中的应用
2012年
为解决一类自动制造系统的死锁问题,利用有效变迁覆盖提出了一种新的死锁预防策略.利用严格极小siphon与极大完备资源变迁回路之间的一一对应关系,将任意严格极小siphon子集转换为有效变迁覆盖.然后对有效变迁覆盖中每一个极大完备资源变迁回路添加具有合适控制变量的控制库所和相关弧,得到自动制造系统的活性控制器.通过求解线性整数规划问题得到控制变量.在此基础上为自动制造系统提出了一个新的死锁预防策略.该策略得到的控制器结构简单,适合于规模较大的实际生产系统.最后通过一个例子解释了所提出的死锁预防策略.
刘慧霞邢科义韩立斌王峰
关键词:自动制造系统死锁预防PETRI网
有效变迁覆盖在死锁预防策略中的应用
死锁问题一直是制造系统在自动化领域的一个重要研究课题。目前大多数研究者利用Petri网为自动制造系统建模。而Petri网中的siphon与资源变迁回路是表征Petri网活性的两类重要结构特征。有效变迁覆盖是由满足一定条件...
刘慧霞邢科义韩立斌王峰
关键词:PETRI网
文献传递
共1页<1>
聚类工具0