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

发布时间：2020-10-28 16:52

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

图 3.1 Petri 网实例示了上述算法，如图 3.1 所示的 Petri 网。网的关联矩[N] = 01010011010111111100，得其符号关联矩阵[A]为：[A] = oiioiooioiio00000000第一行并令1A = io00

M1 机床 M1 就绪 M2 机床 M2 就绪R 机器人就绪 B 缓冲器就绪图4.2 (a)工序序列的Petri网图，(b)添加资源库所后得到的完整的Petri网模型若不能为一个制造系统建立良好的 Petri 网模型，基于 Petri 网的分析、验证、性能评价以及控制实现都无从谈起。这里所谓的“良好”，是指 Petri 网模型本身要准确反映和揭示物理系统的本质特性，这样才能通过对模型的分析和研究，把握系统的本质，以便最终对系统进行控制，使得受控系统具有希望的行为，而不会出现人们不希望的行为。

基于信标选择的死锁控制算法研究nt x9nt x10nt x11nt x12nt x13nt x14nt x15indo 计算结果为 x3 = 1 和 x5 = 1，分别对应添加控制库所 p20、p21和统的信标 S3和 S5，得到如下控制器：添加控制库所 p23： p23= { t7, 2 t11}，p23 = { t1, 2 t9}，M(p23) = 6；添加控制库所 p24： p24= { t7, 2 t11}，p24 = { t2, t4, 2 t9}，M(p24) = 5。
【相似文献】

相关期刊论文 前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 朱森;资源分配系统死锁控制及其应用研究[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年

本文编号：2860352