【摘 要】
：
研究表明,网络中的故障不可避免而且频繁出现.当故障发生时,目前互联网部署的域内路由协议需要经历收敛过程.在此过程中,路由信息可能不一致,从而导致报文丢失,降低了路由可
【机 构】
：
山西大学软件学院,网络与交换技术国家重点实验室（北京邮电大学）,清华大学网络科学与网络空间研究院,清华大学计算机科学与技术系
【基金项目】
：
国家自然科学基金(61702315,61402253,61872226),网络与交换技术国家重点实验室(北京邮电大学)开放课题(SKLNST-2018-1-19),国家高技术研究发展计划(863)(2015AA015603,2015AA016105).
论文部分内容阅读
研究表明,网络中的故障不可避免而且频繁出现.当故障发生时,目前互联网部署的域内路由协议需要经历收敛过程.在此过程中,路由信息可能不一致,从而导致报文丢失,降低了路由可用性.因此,业界提出了利用LFA(loop free alternates)应对网络中发生的单故障情形,从而提高路由可用性.然而,已有的LFA实现方式算法时间复杂度大,需要消耗大量的路由器CPU资源.针对该问题严格证明了当网络中出现单故障时,只需要为特定的节点计算备份下一跳,其余受该故障影响节点的备份下一跳和该特定节点的备份下一跳是相同的.基
其他文献
SIMD扩展部件是近年来集成到通用处理器中的加速部件，旨在发掘多媒体和科学计算等程序的数据级并行．控制依赖给发掘程序中的数据级并行带来了阻碍，当前，无论基于loop-based还是SL
非刚性点集配准是当前多个领域中的一项重要研究问题.现今流行的配准算法通常使用基于单一特征的对应关系评估与包含单一约束条件的空间变换更新,而单特征与单约束限制了其配准效果与应用领域.提出了一种基于双特征高斯混合模型和双约束空间变换的非刚性点集配准算法.首先定义了双特征描述子,并用全局特征和局部特征构建它;随后,基于此描述子将高斯混合模型改进为双特征高斯混合模型.定义了局部结构约束项,并与全局结构约束
课程改革对职业技术教育教师的素质提出了更高的要求。本文针对中职学生现状，主张结合学生实际施教，既要调动学生学习的积极性，又要将各种能力的培养贯穿于课堂教学中。
精化检测是一种重要的形式化验证方法,将系统实现和性质规约用相同的形式化语言进行建模,如能证明两者间存在某种精化关系,且该关系能够维持性质,可得出系统实现满足性质规约
随着信息技术的快速发展,大量的文本数据产生、被收集和存储.主题模型是文本分析的重要工具之一,被广泛地应用于分析大规模文本集.然而,主题模型通常无法直观而有效地结合用
屈光不正包括远视、近视、散光，是儿童最常见的眼病，与弱视之间密切相关．有报道63.41%的弱视与屈光因素有关，对儿童的身心发育、学习能力和社会适应能力都产生重大影响。多项研究
在高校思想政治理论课研究性学习中，思想思维方法对教学方法起着决定作用，而主体-客体”结构模式和“人—世界”结构模式这两种“在世结构”模式则是思想政治理论课思维方法的
随着教育体制改革的不断深化，技工学校在办学过程中面临一些新的问题与挑战，比较突出的有两大难题——招生难与学生流失。因此，有必要对这两个问题加以剖析，并提出适当的解决办法
随着BT、Edoncky、迅雷等P2P应用大量使用及校园网用户的逐年增加．校园网出口流量越来越大，严重影响了正常的网上办公和教学科研工作。特别是由于P2P、IM及网络流媒体技术，能够
经济、科技和社会发展对高职教育人才培养工作提出了许多新的、更高的要求。如何促进高职教育发展，本文从组织变革、规模布局、校企联合和品牌意识等加以分析。