收藏本站
收藏 | 手机打开
二维码
手机客户端打开本文

基于MIP算法的系统Petri网模型中的死锁预防

胡核算  
【摘要】:自然世界及工程实际中的许多现象都可以归结为离散事件动态系统(DEDS),这些系统无一例外的要求具有无阻塞性,及系统运行无死锁。科学界针对这一问题提出了许多先进的控制理论及方法,其中Petri网由于具有离散性,并发性,随机性,可以较好的描述此类系统而得到了广泛应用。传统的基于Petri网的死锁预防策略一般遵循控制系统Petri网模型中的所有严格极小信标被清空从而达到控制整个系统使之无死锁的这一基本思想。然而,由于系统Petri网模型中的信标的个数随着网规模呈指数增长,基于这一思想的控制策略往往不可行。一种基于基本信标的死锁预防策略应运而生,该理论指出只要网系统的基本信标得到控制,其他的严格极小信标也随之得到控制,而且与严格极小信标不同的是,基本信标的个数是强受限于网系统的规模的。本文在此研究的基础上,论证了网系统中的基本信标的不唯一性,控制不同的基本信标可以得到不同的控制效果,进而提出了最优基本信标的概念并给出了相应的计算方法,应用这一计算方法可以在多项式时间内求得一组最优基本信标,也就是说,控制该组基本信标相对于其他的基本信标可以使得系统Petri网模型具有最多的可达状态,这在实际中,意味着系统具有更大的灵活性。但是上述理论虽然只需要控制基本信标即可以控制整个系统,但是由于从属信标满足一定的可控性条件才能完全受控,这意味着在控制算法的生成过程中所有的信标都要参与,从而大大增加了系统控制的复杂性。本文在基本信标理论基础上,提出了一种基于MIP算法的死锁预防策略,该策略指出了一种思路,可以控制基本信标,而后利用MIP算法给出的系统无死锁条件作为目标函数,可以在多项式时间内计算出使得所有的从属信标受控系统需满足的条件,从而使得整个系统的控制策略更加可行。


知网文化
【相似文献】
中国期刊全文数据库 前20条
1 ;2000年信息产业部颁布的通信标准[J];电信技术;2001年01期
2 ;国际电联制定全球漫游通信标准[J];北京电信科技;1998年03期
3 龚滨良;修改打印色带国标GB4313已成当务之急──记全国信标委GB4313修订研讨会[J];电子标准化与质量;1998年04期
4 岳昊;;柔性制造系统Petri网模型中的两类特殊资源[J];计算机应用研究;2010年07期
5 岳昊;李文杰;;柔性制造系统Petri网模型的化简[J];云南民族大学学报(自然科学版);2010年06期
6 岳昊;李文杰;;S~3PR网多项式时间复杂度的化简算法[J];江西师范大学学报(自然科学版);2010年06期
7 吕宗棋;综合航空电子系统用SAE AS 4074系列高速容错数据通信标准[J];航空电子技术;1994年01期
8 Р.F.奈茨,Е.亨德森,L.K.达内什门特,木青;用射频识别系统控制放矿点[J];国外金属矿山;1997年05期
9 谢宁波,顾炎;DSRC及其在交通导航系统中的应用[J];西南交通大学学报;2001年01期
10 佟首峰;刘云清;姜会林;;自由空间激光通信系统APT粗跟踪链路功率分析[J];红外与激光工程;2006年03期
11 魏叶华;李仁发;陈洪龙;罗娟;;无线传感器网络定位中动态信标移动路径规划[J];系统仿真学报;2009年22期
12 周明德,张不同,王英伟;信标管理与组间消息通讯分析[J];计算机工程与应用;1986年11期
13 ;1999年已颁布的通信标准[J];电信技术;2000年01期
14 黄传河,陈莘萌;一种基于信标控制的安全通信机制及其应用[J];计算机工程与应用;2001年14期
15 范谋堂,程文聪;机载近距导航信标模仿仪的硬件设计与实现[J];空军雷达学院学报;2005年01期
16 鞠有伦,于欣,王月珠,陈德应,王骐,杜晓军,马祖光;在激光大气传输中利用SBS阈值效应实现小面积信标的研究[J];强激光与粒子束;2002年06期
17 吴毅,王英俭,王春红,姜文汉;信标光强度影响下的Hartmann波前探测[J];强激光与粒子束;1995年01期
18 龚滨良;孰是孰非有下文──记全国信标委召开GB4313修订研讨会[J];电子计算机与外部设备;1998年05期
19 ;信息产业部最新颁布8种通信标准[J];电信技术;2001年04期
20 朱森;周刚;李志武;;柔性制造系统一种次优化的死锁控制设计[J];计算机集成制造系统;2010年09期
中国重要会议论文全文数据库 前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 钟春富;基于Petri网的柔性制造系统控制器设计[D];西安电子科技大学;2010年
2 邓波;高性能计算机互连系统研究[D];中国人民解放军国防科学技术大学;2000年
3 陈健;以太分组网络时钟同步技术研究及应用[D];上海大学;2008年
4 叶阿勇;无线传感器网络节点安全定位[D];西安电子科技大学;2009年
5 杭勇;柴油发动机控制模型及控制算法的设计与仿真研究[D];江苏大学;2002年
6 韦娜;基于无死锁初始标识的Petri网控制器设计[D];西安电子科技大学;2008年
7 刘贞;基于无线传感器网络的机器人分布式导航方法研究[D];哈尔滨工业大学;2009年
8 沙超;无线多媒体传感器网络节能关键技术研究[D];南京邮电大学;2011年
9 杜永峰;被动与智能隔震结构地震响应分析及控制算法[D];大连理工大学;2003年
10 魏叶华;无线传感器网络中定位问题研究[D];湖南大学;2009年
中国硕士学位论文全文数据库 前10条
1 胡核算;基于MIP算法的系统Petri网模型中的死锁预防[D];西安电子科技大学;2005年
2 宣颖;智能交通系统体系及关键技术研究[D];国防科学技术大学;2003年
3 陈伟;WPAN网络信标期改进以及多信道实现[D];北京邮电大学;2010年
4 梁京伟;基于信标最大可控性的资源分配系统死锁预防策略[D];西安电子科技大学;2005年
5 卢阳;一类柔性制造系统死锁预防策略[D];西安电子科技大学;2005年
6 王兴平;基于FMS的死锁预防优化控制策略研究[D];西安电子科技大学;2005年
7 支新军;基于DSP的空间光通信PAT系统中光信号处理子系统的研究与设计[D];武汉大学;2004年
8 甘清华;基于信标选择的死锁控制算法研究[D];西安电子科技大学;2010年
9 李鑫;WS~3PR网活性研究中的若干算法优化与实现[D];西安电子科技大学;2010年
10 周孙佐;基于Petri网结构分析的从属信标存在性研究[D];西安电子科技大学;2007年
中国重要报纸全文数据库 前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年
中国知网广告投放
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978