基于网络通信协议的随机Petri网建模

随着计算机网络协议的广泛度和复杂度的增加,协议的形式化工作显得越来越重要。Petri网与其他形式化建模技术相比,具有特别的优越性,更加适用于通信协议的仿真与性能分析。基于两个基本通信协议:stop-wait协议和CS-MA/CD协议,用Petri网对他们进行建模与仿真,对于协议开发与验证有重大意义。

一种适用于DTN网络的主动避免拥塞控制策略

由于DTN网络的异步传输模式，DTN网络节点中存储着大量的冗余信息副本，导致网络拥塞．为解决这一问题，笔者在BinarySprayandWait协议的基础上提出一种主动删除冗余副本的拥塞控制策略：AAC策略，该策略通过ACK索引表及保留权值及时避免或消除拥塞现象．通过在ONE平台下的仿真模拟实验，表明该策略可以更好的提升网络吞吐量、降低丢包率、提高网络交付率等性能指标．