TCP拥塞控制的混杂建模与分析

互联网中的拥塞控制是一个离散事件与连续变量相互作用的混杂动态过程.假定拥塞事件为一个更新过程序列,采用含有一个状态的随机混杂自动机模型,描述了TCP拥塞控制中的AIMD过程.通过分析发送端拥塞窗口的演化行为,发现拥塞窗口的演化过程与TCP连接的吞吐量具有稳定的统计特征,与初始条件无关.解释了当路由器采用去尾策略时,引起的流同步现象与分析结果的一致性.最后对分析结果进行了仿真验证.