×

互联网拥塞控制协议的数字分叉分析。 (英语) Zbl 1453.93141号

摘要:数字分岔分析是一种新的算法方法,用于探索参数相关离散系统的行为如何随着参数的变化而变化,特别是用于识别这种变化剧烈的分岔点。我们开发了与传统分岔理论类似的方法,并成功地将其应用于系统生物学中的模型。
本文通过检测网络拥塞控制协议的吸引子分岔,研究了数字分岔分析在分析网络拥塞协议稳定性中的应用。与分析方法相比,我们的方法允许进行完全自动化的分析。
我们比较了基本随机早期丢弃(RED)方法与四种不同扩展的鲁棒性,即温和、自适应、梯度下降和积分反馈RED。众所周知,基本RED协议在参数变化时表现出不稳定的行为。在自适应和梯度下降RED协议的情况下,分析表明稳定性有显著改善,而在温和和积分反馈RED协议中,改善可以忽略不计。我们进行了一系列模型仿真,其结果与我们的分岔分析一致。根据我们的结果,我们可以推荐自适应和梯度下降RED来提高RED协议的鲁棒性。

MSC公司:

93立方62 数字控制/观测系统
93C83号 涉及计算机的控制/观察系统(过程控制等)
93B70型 网络控制
93B52号 反馈控制

软件:

CUBIC公司
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] Ahmad Sharbafi,M.和Yazdanpanah,M.J.[2011]“IDFC:控制TCP/RED分歧的新方法”,J.Netw。计算。申请342042-2050。
[2] Al-Bahadili,H.[2012]计算机网络设计和建模中的模拟:使用和分析,第1版(IGI Global,Hershey,PA)。
[3] Alpcan,T.&Basar,T.[2005]“具有延迟的互联网型网络的全局稳定自适应拥塞控制方案”,IEEE/ACM Trans。Netw.13,1261-1274。
[4] Andreychenko,A.,Mikeev,L.,Spieler,D.&Wolf,V.[2011]“生化反应Markov模型的参数识别”,计算机辅助验证,(Springer),第83-98页。
[5] Athuraliya,S.,Low,S.H.,Li,V.H.&Yin,Q.[2001]“REM:主动队列管理”,IEEE Netw.15,48-53。
[6] Azadegan,M.,Beheshti,M.T.H.&Tavassoli,B.[2013]“基于状态相关延迟建模的互联网拥塞控制状态反馈控制器设计”,2013年美国控制大会(IEEE),第2728-2732页。
[7] Baccelli,F.&McDonald,D.R.[2008]“非持久TCP流吞吐量的随机模型”,Perform.Eval.65,512-530。
[8] Barnat,J.、Chaloupka,J.和Van De Pol,J.[2011]“SCC分解的分布式算法”,《逻辑计算杂志》21,23-44·Zbl 1210.68131号
[9] Barnat,J.,Beneš,N.,Brim,L.,Demko,M.,Hajnal,M..,Pastva,S.&Šafránek,D.[2017]“检测不确定参数生物模型中的吸引子”,CMSB 2017(Springer),第44-56页·Zbl 1416.92068号
[10] Bartocci,E.、Bortolussi,L.、Nenzi,L.和Sanguinetti,G.[2015]“使用时间特性鲁棒性的随机模型系统设计”,Theoret。计算。科学587,3-25·兹比尔1327.68147
[11] Belta,C.,Yordanov,B.&Gol,E.A.[2017]离散时间动力系统的形式化方法,第89卷(Springer)·Zbl 1409.93003号
[12] Beneš,N.、Brim,L.、Demko,M.、Pastva,S.和Šafránek,D.【2016a】“离散分叉分析的模型检验方法”,FM 2016(施普林格),第85-101页·Zbl 1427.68159号
[13] Beneš,N.,Brim,L.,Demko,M.,Pastva,S.&Šafránek,D.[2016b]“基于并行SMT的参数合成与分段多仿射系统的应用”,ATVA 2016(Springer),第192-208页·兹比尔1427.68159
[14] Beneš,N.,Brim,L.,Demko,M.,Hajnal,M..,Pastva,S.&Šafránek,D.[2017]“与Pithya的离散分岔分析”,CMSB 2017(Springer),第319-320页·Zbl 1416.92068号
[15] Beneš,N.、Brim,L.、Pastva,S.、Šafránek,D.、Troják,M.、乔尔文,J.和Šalagović,J.[2018]“蓝藻模型的全自动吸引子分析”,2018年第22届国际Conf.系统理论、控制与计算(ICSTCC),第354-359页。
[16] Beneš,N.,Brim,L.,Pastva,S.&Šafránek,D.[2019a]“混合CTL的并行参数综合算法”,科学。计算。计划185102321·Zbl 07120145号
[17] Beneš,N.,Brim,L.,Pastva,S.&Šafránek,D.[2019b]“TCP动力学的数字分岔分析”,系统构建和分析的工具和算法(Springer,Cham),第339-356页·Zbl 07120145号
[18] Braden,B.,Clark,D.,Crowcroft,J.,Davie,B.,Deering,S.,Estrin,D.,Floyd,S,https://www.网址。rfc-editor.org/rfc/rfc2309.txt。
[19] Brim,L.,Ch eška,M.,Draían,S.&Šafránek,D.[2013]“使用定量模型检查探索随机生物化学系统的参数空间”,计算机辅助验证(Springer),第107-123页。
[20] Brim,L.、Ch eška,M.、Demko,M.,Pastva,S.&Šafránek,D.[2015a]“平行彩色CTL模型检查的参数合成”,CMSB 2015(Springer),第251-263页。
[21] Brim,L.,Demko,M.,Pastva,S.&Šafránek,D.[2015b]“分段仿射动力系统的高性能离散分岔分析”,HSB 2015(Springer),第58-74页·Zbl 1412.92115号
[22] Chen,X.,Wong,S.-C.,Tse,C.K.&Trajković,L.[2009]“TCP-RED算法的离散波动分析”,《国际分岔与混沌》19,4237-4245。
[23] Clarke,E.M.,Henzinger,T.A.,Veith,H.&Bloem,R.[2018]《模型检查手册》,第1版(施普林格国际)·Zbl 1390.68001号
[24] 丁大伟、朱建杰、罗晓生[2008]“互联网拥塞控制系统频闪模型中分岔与混沌的混合控制”,中国物理出版社。B17105-110。
[25] Ding,D.,Zhu,J.&Luo,X.[2009]“互联网拥塞控制算法流体流模型中的Hopf分岔分析”,Nonlin。分析:真实世界应用程序10824-839·Zbl 1167.34334号
[26] Feng,W.C.,Kandlur,D.,Saha,D.&Shin,K.[1999]“一个自我塑造的红色门户”,Proc。IEEE INFOCOM(IEEE),第1320-1328页。
[27] Feng,W.C.,Shin,K.G.,Kandlur,D.D.&Saha,D.[2002]“蓝色主动队列管理算法”,IEEE/ACM Trans。净值10,513-528。
[28] Firoiu,V.&Borden,M.[2000]“拥塞控制的主动队列管理研究”,Proc。IEEE INFOCOM 2000。Conf.计算机通信。第十九年安。IEEE计算机与通信协会(IEEE)联合会议,第1435-1444页。
[29] Floyd,S.、Gummadi,R.、Shenker,S.等人[2001]“自适应红色:增强红色主动队列管理鲁棒性的算法”,可在以下网址获得:http://www.icir.org/floyd网站,2001年8月。
[30] Floyd,S.[2000]“关于使用红色柔和变体的建议”,www.icir.org/Floyd/red/gentle.html。
[31] Floyd,S.&Jacobson,V.[1993]“用于避免拥塞的随机早期检测网关”,IEEE/ACM Trans。净额1397-413。
[32] Gaeta,R.,Sereno,M.&Manini,D.[2003]“支持有限数据传输的TCP连接性能分析的随机petri网模型”,Proc。第二届多业务IP网络服务质量国际研讨会,QoS-IP 2003(Springer),第372-391页·兹比尔1021.68636
[33] Gao,Y.和Hou,J.C.[2003]“一种稳定支持ECN的TCP连接队列的状态反馈控制方法”,IEEE INFOCOM 2003。第二十年安。IEEE计算机和通信协会联合会议(IEEE分类号03CH37428)(IEEE),第2301-2311页。
[34] Gettys,J.&Nichols,K.[2011]“Bufferboat:互联网中的黑暗缓冲区”,队列9,40-54。
[35] Ha,S.,Rhee,I.&Xu,L.[2008]“立方:一种新的TCP友好型高速TCP变体”,ACM SIGOPS操作系统。第42版,64-74。
[36] Halper,R.D.,Harder,E.J.,Hunt,B.R.&Yorke,J.A.[2009]“大型数据网络中TCP动态的稳定性”,SIAM J.Appl。动态。系统8146-159·Zbl 1167.37048号
[37] Hamadneh,N.,Murray,D.,Dixon,M.&Cole,P.[2011]“TCP拥塞控制的加权RED(WTRED)策略”,国际信息工程与信息科学会议(Springer),第421-434页。
[38] Hespanha,J.P.[2005]“应用于通信网络的随机混合系统模型”,Nonlin。分析:Th.Meth公司。申请621353-1383·Zbl 1131.90322号
[39] Hespanha,J.P.[2006]“8”,《开关TCP流的随机混合建模》(CRC出版社),第191-219页。
[40] Ho,C.Y.-F.,Ling,B.W.-K.&Iu,H.H.[2010]“随机早期检测算法平均队列大小的符号动力学模型”,《国际分岔与混沌》20,1415-1437·Zbl 1193.68063号
[41] Hollot,C.V.,Misra,V.,Towsley,D.&Gong,W.-B.[2001a]“RED的控制理论分析”,Proc。IEEE INFOCOM 2001。Conf.计算机通信。第二十年安。IEEE计算机与通信协会(IEEE)联合会议,第1510-1519页。
[42] Hollot,C.V.,Misra,V.,Towsley,D.&Gong,W.-B.[2001b]“关于为支持TCP流的AQM路由器设计改进的控制器”,Proc。IEEE INFOCOM 2001。Conf.计算机通信。第二十年安。IEEE计算机与通信协会联合会议(分类号01CH37213)(IEEE),第1726-1734页。
[43] Issariyakul,T.&Hossain,E.[2010]网络模拟器NS2简介(Springer)。
[44] Khoshnevisan,L.,Liu,X.和Salmasi,F.R.[2019]“使用ISMC程序的TCP/RAQM网络的稳定性和Hopf分支分析”,混沌孤岛。分形118,255-273·Zbl 1442.93014号
[45] Kunniyur,S.&Srikant,R.[2001]“主动队列管理自适应虚拟队列(avq)算法的分析与设计”,ACM SIGCOMM Compute。Commun公司。第31版,123-134。
[46] La,R.J.[2004]“串联网络的不稳定性及其在RED下的传播”,IEEE Trans。自动化。合同编号:491006-1011·兹比尔1365.90036
[47] Liu,Y.,Lo Presti,F.,Misra,V.,Towsley,D.&Gu,Y.[2003]“大规模IP网络的流体模型和解决方案”,ACM SIGMETRICS Perform.Evaluation。第31版,91-101。
[48] Liu,M.、Zhang,H.和Trajkovic,L.[2005]“TCP/RED中的频闪模型和分叉”,2005年IEEE国际研讨会。电路与系统(IEEE),第2060-2063页。
[49] Liu,M.,Marciello,A.,di Bernardo,M.&Trajkovic,L.[2006]“TCP/RED通信算法中的不连续诱导分岔”,2006年IEEE国际研讨会。电路与系统(IEEE),第2632-2636页。
[50] Liu,F.,Guan,Z.-H.&Wang,H.O.[2010]“控制TCP-UDP-RED中的分岔和混乱”,Nonlin。分析:《真实世界应用》11491-1501·Zbl 1188.93049号
[51] McLendon,W.III,Hendrickson,B.,Plimpton,S.J.&Rauchwerger,L.[2005]“在分布图中寻找强连通分量”,J.Parall。分配计算65,901-910·Zbl 1082.68086号
[52] Milnor,J.[1985]“关于吸引子的概念”,Commun。数学。物理99,177-195·Zbl 0595.58028号
[53] Misra,V.,Gong,W.-B.&Towsley,D.[2000]“支持TCP流的AQM路由器网络的基于流体的分析,以及RED应用”,ACM SIGCOMM计算机通信评论(ACM),第151-160页。
[54] Nga,J.,Iu,H.H.,Ling,B.W.-K.&Lam,H.K.[2008]“TCP/RED模型中平均队列长度的分岔和混沌分析与控制”,《国际分岔与混沌》18,2449-2459。
[55] Ott,T.J.,Lakshman,T.&Wong,L.H.[1999]“SRED:稳定红色”,IEEE INFOCOM'99。Conf.计算机通信。程序。IEEE计算机与通信协会第十八届年会。未来是现在(分类号99CH36320)(IEEE),第1346-1355页。
[56] Pokhrel,S.R.&Williamson,C.[2018]“物联网基于WIFI的复合TCP建模”,IEEE/ACM Trans。净值26864-878。
[57] Raina,G.&Wischik,D.[2005]“大型多路复用器的缓冲区大小:TCP排队理论和不稳定性分析”,《下一代互联网网络》,2005年(IEEE),第173-180页。
[58] Raina,G.、Manjunath,S.、Prasad,S.和Giridhar,K.[2015]“具有REM和拖尾队列管理的复合TCP的稳定性和性能分析”,IEEE/ACM Trans。Netw.241961-1974年。
[59] Ranjan,P.和Abed,E.H.[2002]“TCP-RED动力学的分歧分析”,Proc。2002年美国控制会议(IEEE分类号CH37301)(IEEE),第2443-2448页。
[60] Ranjan,P.、Abed,E.H.和La,R.J.[2004]“TCP-RED中的非线性不稳定性”,IEEE/ACM Trans。净值1121079-1092。
[61] Ranjan,P.和Abed,E.[2006]“互联网协议的非线性动力学模型”,IFAC Proc。第39卷,297-302。
[62] Reif,J.H.[1985]“深度优先搜索本质上是连续的”,Inform。过程。信件20,229-234·Zbl 0572.68051号
[63] Schoenen,R.,Sediq,A.B.,Yanikomeroglu,H.,Senarath,G.&Chao,Z.[2011]“使用随机petri网的蜂窝网络公平性分析”,2011年IEEE第22届国际交响乐团。个人、室内和移动无线电通信(IEEE),1983-1988页。
[64] Shakkottai,S.&Srikant,R.[2002]“互联网拥塞控制的确定性流体模型有多好?”。《美国电气与电子工程师协会计算机与通信协会联合会议第二十一卷》,第497-505页。
[65] Sullivan,D.&Williams,R.[1976]“关于吸引子的同源性”,拓扑15,259-262·Zbl 0332.58011号
[66] Tan,K.、Song,J.、Zhang,Q.和Sridharan,M.[2006]“用于高速和远程网络的复合TCP方法”,Proc。IEEE INFOCOM 2006。第25届IEEE国际计算机通信会议(IEEE),第1-12页。
[67] Tarjan,R.E.[1972]“深度优先搜索和线性图算法”,SIAM J.Comput.1,146-160·Zbl 0251.05107号
[68] Tinnakornsrisuphap,P.&La,R.J.[2006]“异构TCP流和RED网关的渐近行为”,IEEE/ACM传输。Netw.14,108-120。
[69] Torres,R.,Border,J.,Choquette,G.,Xu,J.&Jong,J.-H.[2012]“使用RED和TCP窗口调整的拥塞控制”,MILCOM 2012-2012 IEEE军事通信会议(IEEE),第1-6页。
[70] Wang,X.&Eun,D.Y.[2007]“TCP-newReno/RED在许多流量下的局部和全局稳定性”,计算。公社30,1091-1105。
[71] Xu,Y.-D.,Wang,Z.-Y.&Wang,H.[2005]“Ared:一种新型自适应拥塞控制器”,2005年国际计算机学习与控制论(IEEE),第708-714页。
[72] Xu,W.,Cao,J.&Xiao,M.[2015]“一类(n+1)维互联网拥塞控制系统的分歧分析”,《国际分歧与混沌》251550019-1-17·Zbl 1309.34139号
[73] Yanfie,F.,Fengyuan,R.&Chuang,L.[2003]“为主动队列管理设计pid控制器”,Proc。IEEE第八交响曲。计算机与通信。ISCC 2003(IEEE),第985-990页。
[74] Zhang,H.[2004]“具有主动队列管理的TCP离散时间模型,西蒙·弗雷泽大学应用科学学院博士论文。
[75] Zhang,C.,Yin,J.,Cai,Z.和Chen,W.[2010]“红色:抵抗低速率拒绝服务攻击的稳健红色算法”,IEEE Commun。第14页,489-491。
[76] Zheng,B.&Atiquezzaman,M.[2008]“确定下一代互联网路由器中red的最佳权重参数的框架”,国际期刊Commun。系统21987-1008。
此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配,并且可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。