国家自然科学基金(61074035)
- 作品数：4 被引量：14H指数：3
- 相关作者：蒋忠远王祺马子玥张秀艳王安荣更多>>
- 相关机构：西安电子科技大学更多>>
- 发文基金：国家教育部博士点基金国家自然科学基金中央高校基本科研业务费专项资金更多>>
- 相关领域：自动化与计算机技术更多>>
- 工作流网的混或检测和预防策略被引量：4
- 2015年
- 独立的冲突和并发在基于Petri网的工作流建模中分别起到进程选择控制和保持系统高效执行的作用.但非独立的冲突和并发会导致不完整和不确定的冲突行为使得系统的冲突行为分析变得困难.这种现象被称为混或并经常出现在工作流网中.首先,将混或形式化为具有冲突和并发限制的一类特殊的标识子网,通过分析子网特征提出混或检测算法.其次,构建了基于广义互斥约束的混或预防监控器设计方案.最后,用一个工作流网实例对提出算法进行仿真,仿真结果表明,提出的方法能够有效地在工作流网中检测和预防混或.
- 陈晓亮蒋忠远叶剑虹
- 关键词：监督控制PETRI网工作流系统
- 智能电网中电能存储系统的容量优化被引量：5
- 2015年
- 智能电网中的电能存储系统能够在系统故障修复期间持续供电,以避免大面积停电.然而,电能存储系统的成本与其容量成正比.使用有限容量Petri网建立智能电网传输系统的模型.通过对模型性质的分析,文中提出一个计算电能存储系统最小容量的方案.该方案不仅避免了因为系统参数间的不协调所导致的大面积停电;还为故障期间避免大面积停电提供一个必要的约束条件;最后,对方案进行了验证.实验结果表明,该方案能有效避免大面积停电且电能存储系统的容量也得到优化.
- 蒋忠远张秀艳马子玥
- 关键词：PETRI网监督控制
- 制造系统Petri网特殊标识求解算法被引量：5
- 2013年
- 基于整数规划提出了一种在Petri网部分可达图范围内求解危险标识的算法.该算法首先从死标识的定义出发,结合结构不变式(P-不变式),求出Petri网的所有死标识;再利用状态方程,推算出到达这些死锁标识的坏标识及危险标识(如果Petri网不含有这些特殊标识,则输出结果为空集);最后,用一个制造系统的Petri网对该算法进行仿真.仿真结果表明,使用该算法求解网的特殊标识(死标识和危险标识),是通过求解部分可达标识实现的.该算法有效减小了算法的搜索空间,避免了Petri网的状态空间爆炸问题.
- 王祺王安荣蒲绪强
- 关键词：整数规划PETRI网
- S^3PR网可达标识数的一种有效估算方法被引量：1
- 2014年
- 提出一种近似计算S3PR网可达标识数的代数方法.首先,基于组合学,可以找到一个S3PR网可达标识数的上限;然后,通过计算包含两个资源库所的信标,找到大部分甚至全部不可达标识的数量.这样,可达标识数上限减去不可达标识的数量就是估算的可达标识数.
- 洪良
- 关键词：柔性制造系统PETRI信标
