您的位置： 专家智库 > >

陈玉峰

作品数：10 被引量：6H指数：1
供职机构：西安电子科技大学更多>>
发文基金：国家教育部博士点基金国家自然科学基金国家高技术研究发展计划更多>>
相关领域：自动化与计算机技术机械工程更多>>

合作作者

文献类型

  • 7篇专利
  • 1篇期刊文章
  • 1篇学位论文
  • 1篇科技成果

领域

  • 4篇自动化与计算...
  • 1篇机械工程

主题

  • 6篇PETRI网
  • 4篇死锁
  • 3篇自动制造系统
  • 3篇控制器
  • 2篇调度
  • 2篇系统死锁
  • 2篇系统信息
  • 2篇线程
  • 1篇调度方法
  • 1篇蚁群
  • 1篇蚁群算法
  • 1篇蚁群优化
  • 1篇蚁群优化算法
  • 1篇优化算法
  • 1篇柔性制造系统
  • 1篇深度优先算法
  • 1篇时间PETR...
  • 1篇时间复杂度
  • 1篇数集
  • 1篇死区

机构

  • 10篇西安电子科技...

作者

  • 10篇陈玉峰
  • 8篇刘鼎
  • 2篇李志武
  • 1篇周孟初
  • 1篇李莉
  • 1篇钟春富
  • 1篇张蓓
  • 1篇王拓
  • 1篇王硕
  • 1篇赵咪
  • 1篇张聪
  • 1篇王安荣
  • 1篇韦娜
  • 1篇秦萌
  • 1篇闫明明
  • 1篇伍乃骐
  • 1篇胡核算

传媒

  • 1篇西安电子科技...

年份

  • 3篇2024
  • 4篇2023
  • 1篇2011
  • 1篇2010
  • 1篇2008
共 10 条 记 录，以下是 1-10
全选 清除 导出
排序方式：
一种基于死区边界搜索和资源控制约束的Petri网调度方法及系统
本发明提供了一种基于死区边界搜索和资源控制约束的Petri网调度方法及系统，方法包括：构建时间Petri网使其反应多工件并行加工工作，确定时间Petri网中库所变迁的发射规则；依据发射规则使用单步更优的控制策略运行时间P...
郑鑫锋贾钒胡婷牛云飞李莉杨朔刘鼎陈玉峰李汉杰王拓张蓓
一种基于标识压缩的Petri网规模评估方法
本发明公开了一种基于标识压缩的Petri网规模评估方法，涉及自动制造系统分析技术领域，包括：对Petri网进行仿真，并划分得到使能变迁集生成逻辑和新可达标识计算逻辑；基于使能变迁集生成逻辑和新可达标识计算逻辑，分离出多个...
刘鼎陈玉峰赵杰民张聪张兆龙
柔性制造系统最大许可行为Petri网控制器设计
柔性制造系统由计算机控制,利用有限的资源如机器人、缓冲器、机床等来加工生产不同类型的工件。在柔性制造系统中,死锁是必须考虑和解决的问题。这是由于死锁经常引起额外的损失甚至造成灾难性的后果。为了满足系统生产需要并能高效地利...
陈玉峰
关键词：柔性制造系统PETRI网死锁预防
应用于复杂制造系统的Petri网监督控制方法及控制器
本发明提供了一种应用于复杂制造系统的Petri网监督控制方法以及控制器，通过获取复杂制造系统的系统信息，并根据系统信息构建复杂制造系统的Petri网模型；根据Petri网模型构建Petri网模型的可达图；将每个设备的当前...
陈玉峰王硕刘鼎
一种基于CUDA的自动制造系统Petri网规模评估方法
本发明公开了基于CUDA的自动制造系统Petri网规模评估方法，包括：对Petri网进行仿真以分离出使能发射逻辑和标识更新逻辑；基于使能发射逻辑和标识更新逻辑生成并行子任务，并将并行子任务分配至从线程块划分得到的多个线程...
郑鑫锋刘鼎陈玉峰马树城舒畅杨召
基于资源需求图的离散事件系统死锁检测与预防的方法
本发明提供一种基于资源需求图的离散事件系统死锁检测与预防的方法，通过获取计算机集成系统的系统信息，然后根据该系统信息构建Petri网模型，之后基于Petri网模型提出计算机集成系统的资源需求图。该资源需求图可更直观更有效...
陈玉峰路瑶刘鼎
基于Petri网的自动制造系统死锁分析与控制研究
李志武伍乃骐周孟初王安荣刘鼎胡核算赵咪韦娜钟春富秦萌陈玉峰闫明明
本课题受到多项国家自然科学基金面上项目的资助。　　近二十多年来。随着自动化和计算机技术的发展，柔性制造和灵捷制造等先进生产模式被普遍应用。自动制造系统中的死锁和阻塞不只是单纯降低生产率的问题，甚至往往会引起灾难性的后果，...
关键词：
关键词：自动制造系统PETRI网基本信标
基于数据抑制弧的Petri网在攻击下的监督控制方法
本发明公开了一种基于数据抑制弧的Petri网在攻击下的监督控制方法，通过根据系统的Petri网模型和预设的攻击函数集，构造系统在攻击下的联合观测器，联合观测器包括攻击者观测器和操作者观测器。根据预设的控制需求和联合观测器...
陈玉峰张开云刘鼎
安全Petri网事件分离状态的BDD算法被引量：6
2010年
基于区域法可以获得最佳的活性控制器,但由于要计算网的可达状态集而导致状态爆炸问题.提出一种应用二值决策图(BDD)计算安全Petri网事件分离状态的算法.用布尔代数对Petri网的结构和行为进行描述,用BDD实现布尔代数运算.BDD共享的数据结构能以较小的空间表示较大可达集并能对其进行高效的运算,从而节省了存储空间,减少了运算时间.最后用著名的哲学家就餐问题的Petri网模型对该算法进行仿真.仿真结果说明,使用BDD计算复杂Petri网的合法状态集、危险节点、坏点和计算事件分离状态具有很高效率.
陈玉峰李志武
关键词：PETRI网
一种基于启发式蚁群优化算法的组合设备调度方法
本发明涉及一种基于启发式蚁群优化算法的组合设备调度方法，包括：根据组合设备的加工流程建立时间Petri网模型，其中，时间Petri网模型用于表现晶圆在组合设备中的加工过程；确定时间Petri网模型的初始标识、目标标识、变...
陈玉峰贾钒刘鼎
全选 清除 导出
共1页<1>
聚类工具0