您的位置： 专家智库 > >

国家高技术研究发展计划(2008AA04Z109)

作品数：4 被引量：119H指数：3
相关作者：李志武王安荣高祥张永安郭金维更多>>
相关机构：西安电子科技大学兰州理工大学更多>>
发文基金：国家自然科学基金国家高技术研究发展计划国家教育部博士点基金更多>>
相关领域：自动化与计算机技术更多>>

文献类型

  • 4篇中文期刊文章

领域

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

主题

  • 3篇PETRI网
  • 1篇多目标决策
  • 1篇死锁
  • 1篇死锁预防
  • 1篇死锁预防策略
  • 1篇熵权
  • 1篇熵权法
  • 1篇混合整数规划
  • 1篇基本信标
  • 1篇计算方法
  • 1篇层次分析
  • 1篇层次分析法

机构

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

作者

  • 2篇李志武
  • 2篇王安荣
  • 1篇李绍勇
  • 1篇郭金维
  • 1篇陈玉峰
  • 1篇张永安
  • 1篇高祥

传媒

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

年份

  • 1篇2014
  • 1篇2011
  • 1篇2010
  • 1篇2008
共 4 条 记 录，以下是 1-4
全选 清除 导出
排序方式：
基本信标计算的一种快速算法被引量：6
2008年
提出一种基于二分法搜索原理计算基本信标的高效算法.如果网的特征T-向量矩阵非行满秩,则将其按行一分为二.以同样的方法处理新得到的子矩阵,直至得到的子矩阵行满秩,则该矩阵对应的信标全为基本信标.以这些基本信标为基础,递归搜索其余子矩阵,最终得到全部基本信标.该算法与顺序搜索法相比较,矩阵求秩的次数大为减少.对Petri的一个子类——一个拥有资源的简单加工进程的线性系统(LS3PR)网系统来说,该算法是一个多项式算法,并通过一系列算例验证了该算法的效率.
王安荣李志武
关键词：PETRI网基本信标
一种改进的多目标决策指标权重计算方法被引量：104
2014年
在多目标决策中,通常都涉及到指标权重的计算问题.针对现有权重计算方法中存在的不足,提出了一种改进的熵权层次分析法.该方法将熵权法和层次分析法的中间过程相结合,将熵权法的底层指标客观权重与层次分析法的子准则主观权重对应结合后,再与上层指标权重综合,归一化后得到最终的指标权重.结果表明,求得的权重具有更高的可信度.
郭金维蒲绪强高祥张永安
关键词：多目标决策层次分析法熵权法
应用必需信标的Petri网死锁预防策略被引量：3
2011年
本文提出了表征一个Petri网子类,即S4R网(system of sequential systems with shared resources)中死锁问题的必需信标的概念和一种将混合整数规划算法与必需信标控制相结合的死锁预防策略.在该策略的迭代过程中,混合整数规划算法发现被控的Petri网中是否存在最大的死标识信标,若存在,则通过库所分类和迭代式的信标提取,得到必需信标,添加相应的控制库所,满足必需信标的最大可控性,从而实现被控的Petri网活性的目的.理论分析和算例验证表明了该策略的正确性和有效性.
李绍勇王安荣
关键词：PETRI网死锁预防混合整数规划
安全Petri网事件分离状态的BDD算法被引量：6
2010年
基于区域法可以获得最佳的活性控制器,但由于要计算网的可达状态集而导致状态爆炸问题.提出一种应用二值决策图(BDD)计算安全Petri网事件分离状态的算法.用布尔代数对Petri网的结构和行为进行描述,用BDD实现布尔代数运算.BDD共享的数据结构能以较小的空间表示较大可达集并能对其进行高效的运算,从而节省了存储空间,减少了运算时间.最后用著名的哲学家就餐问题的Petri网模型对该算法进行仿真.仿真结果说明,使用BDD计算复杂Petri网的合法状态集、危险节点、坏点和计算事件分离状态具有很高效率.
陈玉峰李志武
关键词：PETRI网
全选 清除 导出
共1页<1>
聚类工具0