分布式环形网络测发控系统故障恢复时间模型

测发控系统是武器系统中的重要组成部分.提出了一种基于分布式冗余协议(DRP)的测发控系统实现设想,避免了主从式网络中风险高度集中在主站的问题.在对DRP分布式环形网络冗余协议故障诊断和恢复机理进行详细分析的基础上,建立DRP故障恢复时间模型,根据该模型和控制系统采样周期的关系,分别进行环形网络化控制系统丢包概率分析.     

无线传感器网络LEACH协议的分析与改进

无线传感器网络中节点能量资源是非常有限的,能耗的降低对网络寿命的延长产生着至关重要的影响.在介绍无线传感器网络基本概念的基础之上,对LEACH路由协议的原理进行了简要说明,并分析了其缺点.探讨了一些以LEACH为基础的改进协议.在群首选择机制方面对LEACH协议进行了改进.在NS2平台上以生命周期为指标对LEACH协议及改进后的协议进行了模拟,结果表明当使用改进协议时,网络有着更长的寿命.     

一种新型无线Mesh网络多信道MAC协议

在多信道无线Mesh网络中,当发送节点和接收节点之间有多条可用信道时,动态信道分配协议DCA(Dynamic Channel Assignment)采用的是随机选择接入信道,这样一方面容易导致有不同性能的信道分配不合理,另一方面容易造成信道冲突的频繁发生,导致数据包时延较大。针对这些问题,文中提出一种基于信息素模型的多信道MAC协议——CAPC(Channels Assignment based on Pheromone Concentration)协议,仿真结果显示该协议在系统吞吐量和数据包投递成功率等方面明显优于DCA协议。     

基于扩展标记变迁模型的时钟同步协议正确性验证

时钟同步协议是时间触发网络的一个重要组成部分,是时间触发网络实时性和确定性的关键。本文基于扩展标记变迁模型对时钟同步协议进行建模,基于模型检测方法对协议是否满足正确性属性进行验证。验证结果证明了在不同启动场景下时钟同步网络协议的正确性,也表明了扩展标记变迁模型对于协议验证的有效性。     

分布式BGP协议体系结构

随着Internet规模的扩展和连接密度的增加,作为域间路由标准的BGP协议面临严峻挑战。集群路由器的出现,其分布式的计算资源、存储资源以及体系结构上的高度可扩展,有利于解决BGP协议面临的这些问题。在分析BGP协议体系结构无法适应集群路由器分布式特点的基础上,通过对BGP协议功能的解耦合,提出一种新的、分布式的BGP协议体系结构。与传统方式相比,分布式BGP体系结构能够充分利用集群路由器的分布式的计算资源和存储资源,在协议可靠性、管理维护成本、协议多维可扩展性和简化BGP网络设计等方面具有极大优势。     

基于OpenFlow的SDN中链路层拓扑发现的优化

在基于OpenFlow的软件定义网络中,控制器需要对全局网络状态保持全面并且实时的掌握,怎样快速地获取当前网络的拓扑状态成为了重要前提。而SDN的拓扑发现协议OFDP虽然已经将控制权交给了控制器,但是仍采用洪泛式的拓扑发现消息发送机制来进行拓扑发现,没有达到全局最优,增加了不必要的开销。因此,提出一种基于OFDP的改进机制,在控制器中添加新的拓扑发现功能模块,通过减少重复端口发现的方式,来减少网络中的拓扑发现消息的数量。仿真实验结果表明,改进机制在加快了网络拓扑的生成的同时,减轻了控制器的负载。     

马岛现状：缓和与矛盾并存

前不久,阿根廷与英国签署了一份谅解协议,协议确定允许阿根廷与马尔维纳斯群岛的私人飞机和船只在阿根廷大陆与马岛之间直航,但不包括商业航行。协议签订中,阿根廷方面还特别声明,此直航协议不影响阿根廷对马岛的主权所有。这一协议的签署意味着,自1982年马岛战争后,阿根廷与马岛之间中断的空中和海路交通开始恢复,表明英阿之间的战争阴影在逐渐散去。但是阿根廷有关马岛主权的声明,则又强化了近十年来英阿之间在马岛主权问题上不可调和的立场。     

Shor-Preskill方法不能直接证明B92量子密钥分配协议

密钥分配协议安全性的证明是确保密钥分配绝对安全的要求 ,经典密码方案的安全性大多难以证明 ,而利用量子力学的基本原理 ,可以证明量子密码方案是无条件安全的。介绍了Shor Preskill对BB84量子密钥分配协议无条件安全性的证明方法 ,归纳了其技巧和特点 ,揭示了对称化方法和量子纠缠提纯技术在该方法中的作用。证明了Shor Preskill方法不能直接用来证明B92协议的无条件安全性。提出了利用Shor Preskill方法间接证明B92的可能途径。     

卫星固态存储器数据容错设计与机制

卫星数据传输系统的可靠性面临着空间粒子效应、信道干扰等多重威胁。在介绍数据传输系统关键设备星载大容量固态存储器设计与实现的基础上,从管理信息、数据位流、星地链路、文件传输四个方面构建容错机制,综合应用汉明编译码、RS编译码、低密度奇偶校验码编码等数据检纠错技术,增强存储器管理信息、存储数据、信道传输的容错性能。在实际型号任务固态存储器的基础上,结合CCSDS文件传输协议提出基于自动重传机制的文件可靠传输设计,提高数据传输全流程的容错性能。固态存储器使用多级流水写入、总线并行扩展等技术,吞吐率理论上接近900Mbps,容量达到256Gb。