域间路由错误管理

域间路由是支持因特网的运行关键技术。研究了对域间路由错误管理。错误管理将根据在域间连接上采集路由交互信息构造自治系统级的拓扑结构图 ,通过与实际拓扑结构比较 ,进行错误判别和定位 ,并提供错误恢复所需信息。定义了自治系统、边界路由器、路由和连接等这些域间路由中的基本对象 ,描述了它们之间的关系 ,形式化地定义了自治系统级网络拓扑图。在此基础上提出了拓扑图的构造算法、错误判别算法和错误定位算法 ,并分析了各种算法的复杂性。以应用于实践的“在线智能 BGP- 4分析仪”为例 ,说明了上述理论算法在实际中的具体应用和效果。该文的理论研究在路由协议的测试和网络管理工作中的指导作用     

基于自治域防御联盟源宣告的域间源地址验证

针对国际互联网工程任务组IETF源地址验证增强SAVI工作组重点解决了接入网的IP源地址验证,而自治域间的源地址验证仍然面临挑战的问题,以入口和出口过滤(ingress/egress filtering)防御技术为基础,提出了一种基于自治域防御联盟的域间源地址验证系统方案.该方案通过设计特定的源宣告方式及相关路由策略,确立了联盟成员的验证规则配置形式,在保证方案轻量性的基础上提升了原入口和出口过滤技术的防御性能;着重研究了自治域防御联盟的源宣告策略,针对多路径和误宣告现象引发的回流误判提出了解决方法,证明了以自治域防御联盟为单位的过滤技术具备有效的域间源地址验证能力.     

多路径域间路由决策检测协议

由于不同域之间的利益和安全策略存在复杂的竞争与冲突,域间路由安全问题一直具有挑战性。当前相关研究主要集中于路由源可信性与路径信息可信性等方向,但对域间路由策略实施可信性则较少关注。设计了一种多路径域间路由决策检测协议,可验证一个自治域是否遵守从N条目的地相同的候选路径中选择合适的M条路径发送往下游自治域的路由选择决策承诺。分析表明协议正确有效,同时可以抵抗伪造、篡改和重放等攻击,且具有增量部署和尊重参与者隐私的特性。     

一种确保BGP路由收敛方法

BGP协议是运行于Internet上的惟一的域间路由协议,允许自治系统定义自身的路由策略选择路由.然而这样定义的路由策略可能存在冲突,路由策略冲突会导致BGP路由发散.提出一种基于AS关系的确保BGP路由收敛的方法,通过跟踪BGP路由变化事件发现导致BGP路由发散的路由,对违反自治系统关系的路由进行抑制保证BGP路由收敛.对所提出的方法进行仿真实验,结果证明了所给方法的有效性.     

基于Internet阶层结构的域间路由聚合增强算法

提出了一种域间路由聚合的增强算法,它利用Internet阶层结构特性,以自治系统间关系为依据,强化路由聚合行为并约束可聚合路由的通告范围,给出了原形系统的实现算法·算法所需数据全部来自自治系统内部,没有全局协调数据,并有效回避了聚合行为对负载均衡和链路冗余的负面影响·数据实测和分析显示,算法能有效降低路由表规模,从而缓解当前Internet域间路由表高速增长的局面,加强了Internet的可扩展性·     

BGP网络故障模型与检测算法

BGP网络故障严重影响自治系统间的网络性能,根据Internet中观测点获得的BGP路由信息,描述域间路由系统的BGP网络模型,建立BGP故障事件模型,为BGP网络的拓扑变化提供一种简明的描述方式.根据高度时间相关性的BGP路由事件触发的网络拓扑变化,提出查找故障链路的近似算法.提出的BGP网络故障查找模型和算法能够比较准确地检测Internet域间路由系统中的路由异常事件.     

一种面向SON的单播路由协议

提出了一种面向自组织网络SON(self-organizing networks)的单播路由协议,支持应用服务质量QoS(quality of service)需求和路由器生物行为.基于OSPFv3/BGP4+,设计了自治域内和自治域间路由协议,包括报文格式与功能、链路状态描述结构、邻居信息表、单播路由表和协议工作流程等.基于Quagga软件路由器实现了提出的协议,并且在网络实验平台基于Iperf工具对其进行了性能评测.结果表明,该协议是有效的,具有较好的性能.     

基于有向竞争图的BGP收敛时间

基于有向竞争图理论研究BGP协议收敛时间问题·有向竞争图反映了自治系统间路由策略的关系,路由策略一致或路由策略冲突·研究表明BGP收敛时间与有向竞争图的路径长度相关,给出了基于有向竞争图的BGP协议收敛时间范围·BGP的收敛时间大于等于竞争图内极长路径所需时间最小值,小于等于竞争图内所有路径所需时间最大值·用SSFNET仿真实验证明了所给时间范围的正确性·     

BGP网络的域间瓶颈预测算法

为减少Internet域间路由协议(BGP)按策略进行最优路径选择时可能引起的ISP(Internet Service Provider)域间或域内链路拥塞,提出瓶颈区域预测算法.该算法充分考虑域间流量的影响,以利用率最大链路作为瓶颈链路,分析更新消息对域间流量负载平衡的影响,并采用增量更新的机制进行域间路由信息的更新和传播.仿真结果表明,该算法可有效减少域间和域内链路拥塞.     

无线网状网域间无缝切换技术研究与设计

针对无线Mesh网络缺乏对域间移动切换支持的问题,提出了一种高效的无线Mesh网络域间无缝切换技术,降低切换时延,实现无线Mesh网络域间的无缝切换.通过对STA物理地址与IP地址的绑定,设计地址对应关系表和路由算法,并在源MAP与目标MAP建立缓存机制,保存切换过程中的通信数据包,实现在无线Mesh网络域间的有效切换.通过网络设备的缓存策略与新的算法寻址机制,减少STA在切换过程中的压力,有效降低了切换过程的丢包率,实现Mesh网络域间的无感知与快速切换.     

Verification of Interdomain Routing System Based on Formal Methods

In networks,the stable path problem (SPP) usually results in oscillations in interdomain systems and may cause systems to become unstable.With the rapid development of internet technology,the occurrence of SPPs in interdomain systems has quite recently become a significant focus of research.A framework for checking SPPs is presented in this paper with verification of an interdomain routing system using formal methods and the NuSMV software.Sufficient conditions and necessary conditions for determining SPP occurrence are presented with proof of the method's effectiveness.Linear temporal logic was used to model an interdomain routing system and its properties were analyzed.An example is included to demonstrate the method's reliability.     

基于自适应的无线传感器网络路由机制研究

无线传感器网络由于其自身计算资源、能量及带宽的局限性从而使得如何寻找合适的路由问题变得很关键。研究了基于自适应的传感器网络节点路由机制,该机制通过节点自身的剩余能量及相邻节点的成簇密度决定网络的路由形成方式,所构造的路由具有高效、合理的特点。理论和应用分析表明所提出自适应路由机制可以提高网络的平均寿命,使网络数据传输更加高效、可靠。     

基于竞争弧的BGP路由策略冲突检测

给出一种BGP策略冲突动态检测方法,该方法基于有向竞争图理论,通过构建竞争弧来发现路由策略冲突的AS及相关路由·用路由相对优先级来描述到同一目的两条路由的优选关系·根据竞争弧形成条件,相邻两个AS到达同一目的的两条路由相对优先级不同,这两个AS的路由策略存在冲突·对BGP协议进行了修改,增加一个新的属性,该属性值为所选最佳路由与先前最佳路由的相对优先级·最后通过SSFNET仿真实验证实了该方法的有效性·     

辽宁普通高校体育教师自主学习的动态分析

加强体育教师自主学习动态研究，可以为构建体育教师学习动力机制提供理论和数据上的支撑。通过文献资料和问卷调查，对辽宁省高校体育教师自主学习状态调研发现，体育教师没有将自主学习意愿转化为学习行为。体育教师的自主学习既受自身学习意愿影响，也受工作环境、管理机制等影响，因此，从体育教师的主观需求出发，构建体育教师自主学习激励机制；从学校的管理机制入手，健全体育教师的考核、评价平台等对策，对于体育教师的自主学习是十分必要的。     

面向设计的基于知识系统及其在机构设计中的应用

本文着重探讨了面向设计的基于知识系统在矿山机械机构合成中的具体应用，在机构分析时引入图论概念，用机构网络图代替机构结构简图，建立关联矩阵及知识系统模型来完成机构合成的自动设计，这对实现机械设计自动化具有一定的参考价值     

RISP:An RPKI-Based Inter-AS Source Protection Mechanism

IP source address spoofing is regarded as one of the most prevalent components when launching an anonymous invasion,especially a Distributed Denial-of-Service(DDoS) attack.Although Source Address Validations(SAVs) at the access network level are standardized by the Internet Engineering Task Force(IETF),SAV at the inter-Autonomous System(AS) level still remains an important issue.To prevent routing hijacking,the IETF is constructing a Resource Public Key Infrastructure(RPKI) as a united trust anchor to secure interdomain routing.In this study,we creatively use the RPKI to support inter-AS SAV and propose an RPKI-based Inter-AS Source Protection(RISP) mechanism.According to the trust basis provided by the RPKI,RISP offers ASes a more credible source-oriented protection for the IP addresses they own and remains independent of the RPKI.Based on the experiments with real Internet topology,RISP not only provides better incentives,but also improves efficacy and economizes bandwidth with a modest resource consumption.     

基于反向路由的Zigbee网络本地修复机制改进

针对当前ZigBee网络链路故障修复机制时延长和数据分组丢失的缺陷,提出了一种改进的Zigbee网络本地修复算法(ILRA-AODVjr)。通过空闲路由节点反向路由机制,向邻居节点广播一个具有两跳生命周期反向路由构建报文S-RREQ,为空闲节点产生多个备用局部路由,增加网络中节点有效路由数量,提高网络发现路由速度,缩短网络局部故障修复时间。仿真结果表明,改进的Zigbee网络本地修复算法,有效减少了网络故障修复响应时间,延长网络生命周期,减轻了网络拥塞和延迟。     

现代应急管理中的监控机制研究

科学有效的应急机制设计是应急体系构建的基础和重点。而目前关于应急机制的研究才刚刚起步,甚至没有对应急机制本质内涵的明确界定。因此,本文以应急机制中的监控机制为切入点和研究对象进行研究。首先从哲学的角度定义了监控机制的本质内涵和构成要素,在此基础上提出了监控机制的一个设计思路,即分别从静态组成要素和动态运行模式两个层次考虑监控机制的设计问题,以期为应急机制的研究和设计提供借鉴和参考。     

混沌吸引子的电路模拟研究

通过实验电路和计算机仿真,对三阶自治系统Ｇｅｎｅｓｉｏ方程的运动状态进行了研究．结果表明,该三阶系统具有周期及混沌等多种振荡模式,且其混沌的振荡机理可运用混沌吸引子细胞模型的有关理论进行解释．