期刊文献+
共找到5篇文章
< 1 >
每页显示 20 50 100
路由网络代数 被引量:3
1
作者 赵会群 孙晶 +1 位作者 王国仁 高远 《计算机学报》 EI CSCD 北大核心 2004年第7期888-896,共9页
基于基本网络代数 (BasicNetworkAlgebra ,BNA)和LOTOS/E LOTOS ,该文提出一种适合于分析Inter net路由系统行为的代数系统 .该代数系统称为路由网络代数 (RoutingNetworkAlgebra,RNA) ,它结合了BNA中的并行、串行运算以及LOTOS中的同... 基于基本网络代数 (BasicNetworkAlgebra ,BNA)和LOTOS/E LOTOS ,该文提出一种适合于分析Inter net路由系统行为的代数系统 .该代数系统称为路由网络代数 (RoutingNetworkAlgebra,RNA) ,它结合了BNA中的并行、串行运算以及LOTOS中的同步并行运算 ,并在此基础提出更适合于描述Internet路由系统行为的选择运算“ ”、协同并行“ ”以及路由网络常量 ,如m×n(路由转发 )、∧ m(分支 )、∨ m(合并 )、⊥ m(下沉 )和┬ m(亚元 ) .通过分析由上述代数运算和路由网络常量构成的路由网络代数模型 ,可以分析路由系统中死锁 (deadlock)和活锁(alivelock)等行为 .为了检验路由网络代数的有效性 ,完成了BGP路由稳定性的实验分析工作 . 展开更多
关键词 网络代数 LOTOS 路由网络代数 路由稳定性 边界网关协议
在线阅读 下载PDF
基于路由网络代数的BGP4路由策略冲突分析
2
作者 赵会群 孙晶 高远 《同济大学学报(自然科学版)》 EI CAS CSCD 北大核心 2002年第10期1169-1172,共4页
介绍一种适合于Internet路由行为描述和分析的代数系统———路由网络代数 (routingnetworkalgebra ,RNA) ,路由网络代数中的变量、常量以及相关的运算定律 ,重点介绍用于路由行为分析的扩展规则 .在此基础上提出一种BGP4路由策略冲突... 介绍一种适合于Internet路由行为描述和分析的代数系统———路由网络代数 (routingnetworkalgebra ,RNA) ,路由网络代数中的变量、常量以及相关的运算定律 ,重点介绍用于路由行为分析的扩展规则 .在此基础上提出一种BGP4路由策略冲突检测方法 .理论与试验分析表明该方法可以有效地发现因错误的AS关系配置所产生的路由策略冲突 . 展开更多
关键词 BGP4 路由策略 冲突分析 路由网络代数 路由稳定性 边界网关协议 AS 自治系统
在线阅读 下载PDF
一种基于代数方法的路由振荡检测算法研究 被引量:2
3
作者 赵会群 孙晶 《计算机学报》 EI CSCD 北大核心 2007年第10期1763-1769,共7页
基于路由网络代数(Routing Network Algebra,RNA)提出了一种新的路由振荡检测方法.通过建立路由系统的路由网络代数模型,把路由分析转化为代数演算;通过引入路由网络元素线性相关性概念,证明了路由振荡的充分必要条件是网络元素线性相关... 基于路由网络代数(Routing Network Algebra,RNA)提出了一种新的路由振荡检测方法.通过建立路由系统的路由网络代数模型,把路由分析转化为代数演算;通过引入路由网络元素线性相关性概念,证明了路由振荡的充分必要条件是网络元素线性相关.在此基础上,提出了O(H×L+N2)时间级的路由振荡检测算法.为了支持文中提出的算法,设计实现了一个路由振荡检测程序,通过对多个真实的路由表检测,进一步说明了上述算法的可行性. 展开更多
关键词 路由振荡 路由网络代数 协议测试 边界网关协议
在线阅读 下载PDF
路由联盟建模与震荡检测
4
作者 赵会群 蒋亚军 +2 位作者 孙晶 李正熙 高远 《小型微型计算机系统》 CSCD 北大核心 2005年第9期1462-1465,共4页
基于路由网络代数(Routingnetworkalgebra简称RNA)给出路由联盟的代数模型.通过分析路由联盟代数表达式的“活锁”与路由振荡的对应关系,明确“活锁”是产生路由震荡的根源.在此基础上给出路由“活锁”的检测算法,从而一定程度上解决了... 基于路由网络代数(Routingnetworkalgebra简称RNA)给出路由联盟的代数模型.通过分析路由联盟代数表达式的“活锁”与路由振荡的对应关系,明确“活锁”是产生路由震荡的根源.在此基础上给出路由“活锁”的检测算法,从而一定程度上解决了路由联盟震荡检测问题.为了支持上述观点利用仿真工具SSFNET验证了“活锁”与路由联盟振荡的相互关系. 展开更多
关键词 路由网络代数 路由联盟 路由振荡检测 边界网关协议
在线阅读 下载PDF
路由“活锁”建模与仿真
5
作者 赵会群 孙晶 《系统仿真学报》 CAS CSCD 2004年第10期2157-2158,2174,共3页
基于路由网络代数(Routingnetworkalgebra简称RNA)提出了一种新的路由“活锁”建模方法。通过分析“活锁”的路由网络代数表达式,进一步揭示了路由“活锁”根源。基于上述研究,提出了一个新的路由“活锁”检测算法,从而部分地解决了路... 基于路由网络代数(Routingnetworkalgebra简称RNA)提出了一种新的路由“活锁”建模方法。通过分析“活锁”的路由网络代数表达式,进一步揭示了路由“活锁”根源。基于上述研究,提出了一个新的路由“活锁”检测算法,从而部分地解决了路由“活锁”的检测问题。利用仿真工具SSFNET对路由“活锁”进行仿真,实验表明路由“活锁”模型的正确性。 展开更多
关键词 路由“活锁” 路由网络代数 网络仿真 路由检测
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部