国家教育部博士点基金(20070701013)
- 作品数：7 被引量：11H指数：2
- 相关作者：李志武郭金维朱森陈玉峰陈楠更多>>
- 相关机构：西安电子科技大学中国人民解放军海军大连舰艇学院更多>>
- 发文基金：国家教育部博士点基金国家自然科学基金国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术军事更多>>
- 柔性制造系统活性监督控制器设计的算法优化被引量：2
- 2010年
- 针对区域法设计系统控制器时存在求解线性规划次数过多、算法复杂和状态爆炸等问题,提出了一个能有效降低计算复杂度的优化算法,解决了由状态爆炸引起的求解线性规划次数指数级递增的问题;证明了任何普通网系统需要添加的控制库所的数量不超过事件分离事例个数和|T|+1中的最小者。通过所提算法,最终获得结构简单、状态最大许可的柔性制造系统活性监督控制器。
- 郭金维陈楠王国锋
- 关键词：PETRI网柔性制造系统线性规划
- 柔性制造系统一种次优化的死锁控制设计
- 2010年
- 为解决柔性制造系统中的死锁问题,以受控系统的许可行为作为指标,根据Petri网基本信标理论,提出了一种次优化的活性控制器设计方法。根据基本信标和从属信标的可控性关系,通过调整控制库所的初始标志,获得了具有较多许可行为的活性Petri网控制器。与文献中其他方法相比,所提的控制策略具有更好的许可性。
- 朱森周刚李志武
- 关键词：柔性制造系统PETRI网信标
- 利用基本信标的时延Petri网的死锁预防策略被引量：1
- 2011年
- 针对一类时延Petri网的死锁预防问题,提出了一个有效的控制算法.将基于基本信标的死锁预防方法应用到时延Petri网中,不需要列举全部可达状态,通过只对基本信标添加控制库所和根据需要调整控制深度变量实现死锁预防,而且最后的控制器为活的网系统.首先将时延Petri网拉伸,使得不改变原来系统性能的情况下,拉伸后的网SPN所有变迁均为单位时延,然后针对SPN,采用基本信标控制方法,根据所得标识约束添加控制库所,使基本信标和从属信标均为P-不变式可控,最后还原时延Petri网,得到活的、结构简单的Petri网监督控制器.
- 郭金维李志武
- 关键词：柔性制造系统时延PETRI网基本信标死锁预防
- 一种时延Petri网的死锁预防方法
- 2009年
- 针对时延Petri网的死锁预防问题,提出了一个有效的预防控制算法,将信标控制死锁预防的方法应用到时延Petri网中,不需要列举全部可达状态的情况下实现死锁预防,而且实现最后的控制器为活.首先将时延Petri网拉伸为拉伸时延Petri网(SPN),使得不改变原来系统性能的情况下,拉伸后的网所有变迁均为单位时延,然后针对SPN忽略时间因素,采用信标控制方法,根据所得标识约束添加控制库所,使所有严格极小信标均为P-不变式可控,最后还原时延Petri网,得到活的、结构简单的Petri网监督控制器.
- 郭金维李志武
- 关键词：柔性制造系统时延PETRI网死锁预防
- 双航母编队C^3I系统Petri网建模与分析研究被引量：2
- 2009年
- 基于着色Petri网(CPN)的基本理论和航母编队C3I系统的情况,重点分析了双航母编队作战特点.建立了双航母编队C3I系统作战指挥的CPN模型,并对该模型在无优先级和有优先级的条件下进行了仿真分析研究,设计了提升系统协同作战效能、系统科学合理决策、以及优化作战效费比的方法.
- 朱森李志武
- 关键词：C3I系统航母编队着色PETRI网时延分析
- 一类Petri网——S^4R的死锁预防策略
- 2010年
- S4R网作为一种特殊的Petri网子类,与S3PR网相比可以建模更为复杂的、拥有多个并行加工进程的资源分配系统。针对S4R网提出了一种综合的死锁预防策略。利用MIP检验由S4R网建模的柔性制造系统的活性,在新的信标控制概念的基础上对需要控制的系统进行控制。再利用MIP检验受控网系统的活性,进一步控制不活的网系统。避免了对一些网不必要的控制以及一些网过于保守的控制,得到许可行为较多的控制器。
- 朱森
- 关键词：PETRI网柔性制造系统死锁预防
- 安全Petri网事件分离状态的BDD算法被引量：6
- 2010年
- 基于区域法可以获得最佳的活性控制器,但由于要计算网的可达状态集而导致状态爆炸问题.提出一种应用二值决策图(BDD)计算安全Petri网事件分离状态的算法.用布尔代数对Petri网的结构和行为进行描述,用BDD实现布尔代数运算.BDD共享的数据结构能以较小的空间表示较大可达集并能对其进行高效的运算,从而节省了存储空间,减少了运算时间.最后用著名的哲学家就餐问题的Petri网模型对该算法进行仿真.仿真结果说明,使用BDD计算复杂Petri网的合法状态集、危险节点、坏点和计算事件分离状态具有很高效率.
- 陈玉峰李志武
- 关键词：PETRI网
