您的位置： 专家智库 > >

国家教育部博士点基金(20090203110009)

作品数：5 被引量：17H指数：3
相关作者：蒋忠远王安荣王祺马子玥张秀艳更多>>
相关机构：西安电子科技大学兰州理工大学更多>>
发文基金：国家教育部博士点基金国家自然科学基金中央高校基本科研业务费专项资金更多>>
相关领域：自动化与计算机技术更多>>

文献类型

  • 5篇中文期刊文章

领域

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

主题

  • 4篇PETRI网
  • 2篇监督控制
  • 1篇电能
  • 1篇电网
  • 1篇信标
  • 1篇整数规划
  • 1篇智能电网
  • 1篇柔性制造系统
  • 1篇死锁
  • 1篇死锁预防
  • 1篇死锁预防策略
  • 1篇混合整数规划
  • 1篇工作流
  • 1篇工作流网
  • 1篇工作流系统
  • 1篇PETRI

机构

  • 5篇西安电子科技...
  • 1篇兰州理工大学

作者

  • 2篇王安荣
  • 2篇蒋忠远
  • 1篇李绍勇
  • 1篇张秀艳
  • 1篇叶剑虹
  • 1篇洪良
  • 1篇马子玥
  • 1篇王祺
  • 1篇陈晓亮

传媒

  • 4篇西安电子科技...
  • 1篇控制理论与应...

年份

  • 2篇2015
  • 1篇2014
  • 1篇2013
  • 1篇2011
共 5 条 记 录，以下是 1-5
全选 清除 导出
排序方式：
智能电网中电能存储系统的容量优化被引量：5
2015年
智能电网中的电能存储系统能够在系统故障修复期间持续供电,以避免大面积停电.然而,电能存储系统的成本与其容量成正比.使用有限容量Petri网建立智能电网传输系统的模型.通过对模型性质的分析,文中提出一个计算电能存储系统最小容量的方案.该方案不仅避免了因为系统参数间的不协调所导致的大面积停电;还为故障期间避免大面积停电提供一个必要的约束条件;最后,对方案进行了验证.实验结果表明,该方案能有效避免大面积停电且电能存储系统的容量也得到优化.
蒋忠远张秀艳马子玥
关键词：PETRI网监督控制
制造系统Petri网特殊标识求解算法被引量：5
2013年
基于整数规划提出了一种在Petri网部分可达图范围内求解危险标识的算法.该算法首先从死标识的定义出发,结合结构不变式(P-不变式),求出Petri网的所有死标识;再利用状态方程,推算出到达这些死锁标识的坏标识及危险标识(如果Petri网不含有这些特殊标识,则输出结果为空集);最后,用一个制造系统的Petri网对该算法进行仿真.仿真结果表明,使用该算法求解网的特殊标识(死标识和危险标识),是通过求解部分可达标识实现的.该算法有效减小了算法的搜索空间,避免了Petri网的状态空间爆炸问题.
王祺王安荣蒲绪强
关键词：整数规划PETRI网
S^3PR网可达标识数的一种有效估算方法被引量：1
2014年
提出一种近似计算S3PR网可达标识数的代数方法.首先,基于组合学,可以找到一个S3PR网可达标识数的上限;然后,通过计算包含两个资源库所的信标,找到大部分甚至全部不可达标识的数量.这样,可达标识数上限减去不可达标识的数量就是估算的可达标识数.
洪良
关键词：柔性制造系统PETRI信标
工作流网的混或检测和预防策略被引量：4
2015年
独立的冲突和并发在基于Petri网的工作流建模中分别起到进程选择控制和保持系统高效执行的作用.但非独立的冲突和并发会导致不完整和不确定的冲突行为使得系统的冲突行为分析变得困难.这种现象被称为混或并经常出现在工作流网中.首先,将混或形式化为具有冲突和并发限制的一类特殊的标识子网,通过分析子网特征提出混或检测算法.其次,构建了基于广义互斥约束的混或预防监控器设计方案.最后,用一个工作流网实例对提出算法进行仿真,仿真结果表明,提出的方法能够有效地在工作流网中检测和预防混或.
陈晓亮蒋忠远叶剑虹
关键词：监督控制PETRI网工作流系统
应用必需信标的Petri网死锁预防策略被引量：3
2011年
本文提出了表征一个Petri网子类,即S4R网(system of sequential systems with shared resources)中死锁问题的必需信标的概念和一种将混合整数规划算法与必需信标控制相结合的死锁预防策略.在该策略的迭代过程中,混合整数规划算法发现被控的Petri网中是否存在最大的死标识信标,若存在,则通过库所分类和迭代式的信标提取,得到必需信标,添加相应的控制库所,满足必需信标的最大可控性,从而实现被控的Petri网活性的目的.理论分析和算例验证表明了该策略的正确性和有效性.
李绍勇王安荣
关键词：PETRI网死锁预防混合整数规划
全选 清除 导出
共1页<1>
聚类工具0