收藏本站
《西安电子科技大学》 2010年
收藏 | 手机打开
二维码
手机客户端打开本文

基于信标选择的死锁控制算法研究

甘清华  
【摘要】: 本文致力于柔性制造系统的死锁预防问题研究。基于关键标识、集合覆盖、信标选择的死锁控制算法综合考虑了极小信标与可达标识之间的关系,从而可以获得结构相对简单,许可行为较多的活性Petri网控制器。由于同时考虑了信标与标识之间的关系,使得计算更加复杂,因为严格极小信标和可达标识的求取以及集合覆盖问题的计算复杂度理论上都是与网规模呈指数关系的。本文从两个方面对该算法加以改进,提出了一种基于信标选择的死锁预防的优化策略。优化的目的在于简化上述算法中的计算过程。 首先,本文提出改进的信标求取算法。利用符号关联矩阵求取信标存在重复计算的问题。对此,改进的算法在寻找符合构成信标条件的库所时增加了判定条件,可以避免一些信标的重复计算。这个改进对寻找信标以及后续的极小性判断都是有利的,文中给出了理论证明。其次,在死锁策略方面,将可达标识中的非法标识与合法标识分离,从而将关键标识的求取范围缩小到非法标识集合内,这样在获取信标的清空方式时的计算量将大大减少。最后通过实例对所给出的算法进行了验证。
【学位授予单位】:西安电子科技大学
【学位级别】:硕士
【学位授予年份】:2010
【分类号】:TH165

手机知网App
【相似文献】
中国期刊全文数据库 前10条
1 罗挺,陈根煜;信标GPS测量精度实例分析[J];西部探矿工程;2004年08期
2 杨广治,李士文;补充COSPAS/SARSAT的406MHz搜救静止卫星系统(二)[J];世界海运;1994年03期
3 温艳清;信息技术必须走标准化之路──上海市信息标准化技术委员会成立大会纪要[J];上海标准化;1999年02期
4 柯工;汽车的智能系统[J];汽车与社会;1997年11期
5 曹福成,王黎涛;话说飞机的“黑匣子”[J];国防科技工业;2002年06期
6 ;航天成果[J];航天技术与民品;1997年12期
7 陈笠,俞信;波前传感器子孔径数和信标亮度的匹配[J];光电工程;1998年06期
8 ;船舶失事信标装置[J];军民两用技术与产品;2002年07期
9 程鹏辉,陈海清,管保柱;星载自适应光学系统信标技术与理论[J];光电工程;2004年08期
10 王冰,张惠侨,叶庆泰;移动式机器人信标定位系统的误差分析及其应用[J];机械设计与研究;2000年02期
中国重要会议论文全文数据库 前10条
1 曹志娟;朱孔黎;刘彩云;卢建忠;;基于金纳米信标放大的端粒酶化学发光检测新技术[A];中国化学会第十届全国发光分析学术研讨会论文集[C];2011年
2 陈安华;徐继生;俞胜兵;田茂;;GPS信标监测到的一次全日食电离层响应[A];1999年中国地球物理学会年刊——中国地球物理学会第十五届年会论文集[C];1999年
3 鲁燕华;;全固态腔外和频589nm钠信标激光器[A];中国工程物理研究院科技年报(2009年版)[C];2010年
4 张卫;雒仲祥;彭勇;苏毅;郑为民;向汝建;解平;;人造信标波前测量[A];第六届全国激光科学技术青年学术交流会论文集[C];2001年
5 万敏;张卫;;大气色散效应引起的瞄准误差研究[A];第六届全国激光科学技术青年学术交流会论文集[C];2001年
6 朱森昌;张信威;黄正丰;;信标光的理论分析与数值模拟[A];中国工程物理研究院科技年报(1998)[C];1998年
7 雒仲祥;张卫;彭勇;向汝建;叶一东;郑为民;巫兆龙;陈天江;;分孔径收发瑞利信标实验[A];中国工程物理研究院科技年报(2000)[C];2000年
8 阎晓海;苏光华;;市场经济条件下的医院经营管理策略[A];2002中国未来与发展研究报告[C];2002年
9 雒仲祥;彭勇;向汝建;郑为民;季云松;陈天江;;同孔径信标试验技术[A];中国工程物理研究院科技年报(2002)[C];2002年
10 邹玉华;徐继生;;利用地基GPS信标和掩星观测的时变三维电离层层析[A];中国地球物理.2003——中国地球物理学会第十九届年会论文集[C];2003年
中国重要报纸全文数据库 前10条
1 秦 炜;中信标普两指数正式发布[N];证券日报;2004年
2 邹小丹;中信标普发布新指数[N];中华工商时报;2004年
3 刘建生;外贸企业诚信标准亟待制定[N];国际商报;2004年
4 施来发 王仲麟 周根荣;浦东建材市场竖起“诚信标杆”[N];中国建材报;2003年
5 刘建生 彭 博 洪 金;外贸企业诚信标准槌音落定[N];中国企业报;2004年
6 ;信标GPS遥测内河航道[N];中国水利报;2004年
7 ;中国通信标准急需国际化突围[N];中国高新技术产业导报;2004年
8 计红梅;中国通信标准化协会成立[N];通信产业报;2002年
9 海通证券研究所 玻埃埃茨;优质指数标的 最佳推出时机[N];证券日报;2004年
10 ;中国通信标准化协会无线委员会改组[N];人民邮电;2004年
中国博士学位论文全文数据库 前10条
1 朱森;资源分配系统死锁控制及其应用研究[D];西安电子科技大学;2009年
2 钟春富;基于Petri网的柔性制造系统控制器设计[D];西安电子科技大学;2010年
3 何善君;自动小车存取系统的建模及其若干关键技术研究[D];厦门大学;2008年
4 刘改云;自动制造系统的Petri网结构分析和控制器设计[D];西安电子科技大学;2011年
5 陈玉峰;柔性制造系统最大许可行为Petri网控制器设计[D];西安电子科技大学;2011年
6 陈健;以太分组网络时钟同步技术研究及应用[D];上海大学;2008年
7 叶阿勇;无线传感器网络节点安全定位[D];西安电子科技大学;2009年
8 刘贞;基于无线传感器网络的机器人分布式导航方法研究[D];哈尔滨工业大学;2009年
9 沙超;无线多媒体传感器网络节能关键技术研究[D];南京邮电大学;2011年
10 魏叶华;无线传感器网络中定位问题研究[D];湖南大学;2009年
中国硕士学位论文全文数据库 前10条
1 胡核算;基于MIP算法的系统Petri网模型中的死锁预防[D];西安电子科技大学;2005年
2 李鑫;WS~3PR网活性研究中的若干算法优化与实现[D];西安电子科技大学;2010年
3 甘清华;基于信标选择的死锁控制算法研究[D];西安电子科技大学;2010年
4 宣颖;智能交通系统体系及关键技术研究[D];国防科学技术大学;2003年
5 陈伟;WPAN网络信标期改进以及多信道实现[D];北京邮电大学;2010年
6 梁京伟;基于信标最大可控性的资源分配系统死锁预防策略[D];西安电子科技大学;2005年
7 卢阳;一类柔性制造系统死锁预防策略[D];西安电子科技大学;2005年
8 王兴平;基于FMS的死锁预防优化控制策略研究[D];西安电子科技大学;2005年
9 支新军;基于DSP的空间光通信PAT系统中光信号处理子系统的研究与设计[D];武汉大学;2004年
10 周孙佐;基于Petri网结构分析的从属信标存在性研究[D];西安电子科技大学;2007年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026