基于有色Petri网模型的OSPF路由性能分析

在对OSPF协议作详细非形式化的基础上,用有色Petri网对其“呼叫”协议和“可靠泛洪”机制进行形式化的描述,利用有色Petri网的可达树对协议的活性、完整性和前进性等性质进行验证,确定协议的逻辑正确性.

IPv6下OSPF路由协议的研究及应用

IPv6技术作为下一代互联网核心技术,日益受到人们的重视。同时,如何部署高效而稳定的IPv6网络也已成为当前研究及应用的热点。该文在对IPv6技术进行研究的基础上,对应用广泛的OSPF动态路由协议进行了较为深入的分析,重点阐述了其工作原理与近邻关系的建立过程。在文章的最后,通过一个具体的IPv6试验网实例,介绍了OSPFv3路由协议在IPv6中的使用方法。

基于编码的洪泛时间同步协议的研究

针对同步信标帧在无线信道中传输时,因错包而影响时间同步精度和生存时间的问题,设计了3种采用不同编码方案的洪泛时间同步协议(FTSP),通过对同步信标帧进行纠错编码,提高包含同步信息数据包的传输可靠性。测试中采用重复码、卷积码以及重复卷积码的FTSP的同步信标帧错误率分别为2.5%、1.3%和1%,与传统FTSP协议6.2%的错包率相比分别降低了59.68%、79.03%、83.87%。测试结果表明,基于编码的FTSP,能够增加同步信息传输的可靠性,进而可在一定程度上提高时间同步精度,延长同步的生存时间。