Petri网； 虹吸寻找；S4PR网；活性," /> Petri网； 虹吸寻找；S4PR网；活性,"/> 基于MIP的顺序资源共享分配系统的虹吸寻找方法
Please wait a minute...
浙江大学学报（理学版）
浙江大学学报（理学版）  2013, Vol. 40 Issue (4): 416-423    
电子科学     
基于MIP的顺序资源共享分配系统的虹吸寻找方法
MIPbased siphon computation for systems of sequential systems with shared resources
 全文: PDF(761 KB)   HTML ( ) 
摘要： 研究了S4PR(systems of sequential systems with shared resources)网的虹吸寻找问题.S4PR网是一类典型的用于建模顺序资源共享分配系统的Petri网模型.在S4PR网中,虹吸的不充分标识会导致死锁.现有的虹吸寻找算法得到的虹吸集合中,存在着不需要进行控制的冗余虹吸,对其添加控制器将会导致控制的冗余和受控系统行为允许度的降低.提出了一种基于混合整数规划(MIP)的虹吸寻找方法,并证明了当该方法没有合适的解时，网系统是活的.与现有的其他算法相比,这一方法能直接获取一个极小的虹吸,并剔除一些并不需要控制的虹吸,因此能用于设计更高允许度的虹吸控制器.应用实例说明了其用于死锁预防策略的可行性和有效性.
关键词： font-size: 10.5pt;  mso-bidi-font-family: 宋体;  mso-ansi-language: EN-US;  mso-fareast-language: ZH-CN;  Petrimso-bidi-language: AR-SA" lang="EN-US">Petrifont-size: 10.5pt;  mso-bidi-font-family: 宋体;  mso-ansi-language: EN-US;  mso-fareast-language: ZH-CN;  网； 虹吸寻找；S4PR网；活性')" href="#">mso-bidi-language: AR-SA">网； 虹吸寻找；S4PR网；活性    
收稿日期: 2011-12-14 出版日期: 2013-04-01
服务　　
把本文推荐给朋友
加入引用管理器
E-mail Alert
RSS
作者相关文章　　
董利达
傅健丰
朱丹
朱承丞

引用本文:

董利达, 傅健丰, 朱丹, 朱承丞. 基于MIP的顺序资源共享分配系统的虹吸寻找方法[J]. 浙江大学学报（理学版）, 2013, 40(4): 416-423.

DONG Li-Da, FU Jian-Feng, ZHU Dan, ZHU Cheng-Cheng. MIPbased siphon computation for systems of sequential systems with shared resources. Journal of ZheJIang University(Science Edition), 2013, 40(4): 416-423.

链接本文:

https://www.zjujournals.com/sci/CN/    或    https://www.zjujournals.com/sci/CN/Y2013/V40/I4/416

[1] 王强, 金则新, 彭礼琼. 模拟酸雨对乌药幼苗生理生态特性的影响[J]. 浙江大学学报（理学版）, 2013, 40(4): 447-455.
[2] 傅利辉， 章宏伟，黄昉，康瑛. 二维动床泥沙数学模型在“单向冲刷”江道中的应用——以曹娥江为例[J]. 浙江大学学报（理学版）, 2013, 40(4): 456-462.
[3] 曾志, 刘仁义, 杜震洪, 张丰. 云格环境下基于P2P的动态资源发现机制[J]. 浙江大学学报（理学版）, 2013, 40(4): 463-468.
[4] 房佳, 杜震洪, 张丰, 曾志, 刘仁义. 应用于城市道路网的启发式深度优先有向搜索算法[J]. 浙江大学学报（理学版）, 2013, 40(4): 469-474.
[5] 丁旭. 和谐社会背景下居住空间分异控制与保障性住房分布模型建构[J]. 浙江大学学报（理学版）, 2013, 40(4): 475-482.
[6] 侯其锋, 杨锆, 陈岚岚. 大学生网络成瘾与拒网自我效能及网络自我效能的关系探讨[J]. 浙江大学学报（理学版）, 2013, 40(4): 483-488.
[7] 邵海琴, 何万生, 郭莉琴, 何建伟. 可换偏序半群的同态与商序同态的若干重要性质[J]. 浙江大学学报（理学版）, 2013, 40(4): 367-370.
[8] 李艳午, 程海霞, 殷晓斌. SF-环理想上模的一般可比较性及其应用[J]. 浙江大学学报（理学版）, 2013, 40(4): 371-374.
[9] 陈沛森. Nonpure分段Koszul代数的单点扩张[J]. 浙江大学学报（理学版）, 2013, 40(4): 375-377.
[10] 龚罗中, 刘伟俊. λ≤5的区传递7-(v,k,λ)设计的存在性[J]. 浙江大学学报（理学版）, 2013, 40(4): 378-381.
[11] 吕大梅, 李海萍, 裔丹, 张科, 石渡. Mobius梯的(d,1)-全标号[J]. 浙江大学学报（理学版）, 2013, 40(4): 382-386.
[12] 赵艳辉. 单位球上βp 空间到Zα 型空间的加权Cesàro算子[J]. 浙江大学学报（理学版）, 2013, 40(4): 387-390.
[13] 高菲菲, 郝敦元. 一维Theta神经网络中扰动后多放电行波解存在性[J]. 浙江大学学报（理学版）, 2013, 40(4): 391-395.
[14] 程东霞, 郑海鹰. 具有不耐烦顾客且修理工多重延误休假的两部件并联的可修排队系统[J]. 浙江大学学报（理学版）, 2013, 40(4): 406-410.
[15] 焦建民. 一类区间时变时滞非线性广义系统的稳定性准则[J]. 浙江大学学报（理学版）, 2013, 40(4): 411-415.