钟春富
- 作品数:4 被引量:5H指数:1
- 供职机构:西安电子科技大学机电工程学院更多>>
- 发文基金:国家自然科学基金教育部留学回国人员科研启动基金中央高校基本科研业务费专项资金更多>>
- 相关领域:自动化与计算机技术机械工程更多>>
- 基于Petri网的柔性制造系统控制器设计
- 在柔性制造系统中,通常利用有限的资源来并行加工处理不同类型的工件。不同类型的工件通过竞争使用有限的资源,对资源的不合理分配会引起死锁,即两个或多个工件无限互相等待其他的工件释放资源。死锁意味着系统局部或全局的停顿,会大大...
- 钟春富
- 关键词:PETRI网控制器
- 文献传递
- S^3PR网的一种死锁预防策略被引量:3
- 2008年
- 针对S3PR网的死锁预防问题,提出了一个有效的死锁预防控制算法,将用于死锁避免的C/D-RUN控制策略扩展到基于信标的死锁预防策略中,合理分配控制库所的资源,从而保证不存在死锁的状态和步骤.首先将S3PR网中的严格极小信标分为基本信标和从属信标,由基本信标集合得出一组状态向量表示的线性不等式约束,然后将这组约束用C/D-RUN策略进行优化,得到一组标识向量满足的广义相互抑制约束.根据所得标识约束添加控制库所,使所有基本信标均为P-不变式可控,得到活的、结构简单的、许可行为更多的Petri网监督控制器.
- 闫明明李志武钟春富
- 关键词:柔性制造系统死锁预防PETRI网基本信标
- S^3PR网的可达标识集算法被引量:1
- 2015年
- 针对具有特定资源库所的S3PR网,提出了一种基于P不变式和严格极小信标的计算可达标识集的新方法.首先计算出由P不变式所确定的不变式标识集,再通过分析严格极小信标中相应库所的托肯数与其界的关系,提出判定标识是否为伪标识的判定定理,并基于判定定理有效求解伪标识集,最终通过剔除不变式标识集中的伪标识来获得可达标识集.实验结果表明,采用所提的方法,可以快速有效地计算出S3PR网中的可达标识集.
- 张秀艳钟春富贾建援
- 关键词:PETRI网
- 基于Petri网的自动制造系统死锁分析与控制研究
- 李志武伍乃骐周孟初王安荣刘鼎胡核算赵咪韦娜钟春富秦萌陈玉峰闫明明
- 本课题受到多项国家自然科学基金面上项目的资助。 近二十多年来。随着自动化和计算机技术的发展,柔性制造和灵捷制造等先进生产模式被普遍应用。自动制造系统中的死锁和阻塞不只是单纯降低生产率的问题,甚至往往会引起灾难性的后果,...
- 关键词:
- 关键词:自动制造系统PETRI网基本信标