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