关于分析802.11 MAC协议时解耦假设的渐近有效性

802.11 MAC协议的性能评估经典地基于解耦假设，该假设认为不同节点上的退避过程是独立的。此解耦假设源于平均场收敛，在渐近意义下（当无线节点数量趋于无穷大时）于瞬态阶段通常是成立的，但与普遍看法相反，在稳态阶段可能未必成立。该问题常与不动点方程解的存在性和唯一性相关；然而，最近也表明此条件并不充分；相比之下，一个充分条件是相关常微分方程的全局稳定性性质。在本文中，我们给出了一个简单的条件，确立了同质情形下解耦假设的渐近有效性。我们还讨论了异质情形和区分服务情形，并构建了一个新的常微分方程。我们证明，相关不动点方程解的唯一性是不充分的；我们展示了一个不动点方程有唯一解，但在稳态阶段的渐近意义下解耦假设并不成立的例子。