[论文解读] Minimal Evacuation Times and Stability

Leonidas Georgiadis, Georgios S. Paschos+2 more|arXiv (Cornell University)|Nov 20, 2012

Wireless Communication Security Techniques参考文献 8被引用 4

一句话总结

本文建立了在一般到达过程和可接受策略下的时隙排队系统中，最小撤离时间与系统稳定性之间的基本联系。通过使用撤离时间增长速率来表征稳定性，无需施加路径假设，证明了稳定性区域等于具有反馈的N用户广播删除信道的信息论容量区域。

ABSTRACT

We consider a system where packets (jobs) arrive for processing using one of the policies in a given class. We study the connection between the minimal evacuation times and the stability region of the system under the given class of policies. The result is used to establish the equality of information theoretic capacity region and system stability region for the multiuser broadcast erasure channel with feedback.

研究动机与目标

• 通过最小撤离时间的渐近增长速率来表征一般时隙排队系统的稳定性区域。
• 建立多用户通信系统中排队理论稳定性与信息论容量之间的联系。
• 证明具有反馈的N用户广播删除信道的稳定性区域等于其信息容量区域。
• 开发一种适用于多种系统（包括无线网络和控制系统）的方法论，且无需对策略施加样本路径假设。
• 通过构造一种实现撤离时间增长速率与容量区域倒数匹配的策略，验证该方法。

提出的方法

• 将最小撤离时间定义为在任意可接受策略下清空初始数据包批次所需的最短时间。
• 使用该最小撤离时间的渐近增长速率来表征系统类的稳定性区域。
• 构造一种混合撤离策略（π_l），该策略采用基于块的策略，若解码失败则转为逐个重传。
• 分析大批次规模下π_l的期望撤离时间，表明当误码率较小时，其趋近于单位速率的1。
• 利用反馈检测解码错误，并触发重传，实现完成或继续的高效信号传递。
• 通过策略构造与渐近分析，证明稳定性区域（S_B）等于容量区域（C），双向包含关系均成立。

实验结果

研究问题

• RQ1 最小撤离时间的渐近增长速率与一般排队系统的稳定性区域之间有何关系？
• RQ2 能否通过撤离时间分析表征具有反馈的多用户广播删除信道的稳定性区域？
• RQ3 具有反馈的N用户广播删除信道的信息论容量区域是否等于其排队稳定性区域？
• RQ4 何种策略构造可使撤离时间匹配容量所隐含的理论下界？
• RQ5 在何种条件下可可靠地使用撤离时间分析推断稳定性，以及在何种情况下可能失效？

主要发现

• 系统的稳定性区域完全由所有可接受策略下最小撤离时间的渐近增长速率表征。
• 对于具有反馈的N用户广播删除信道，信息论容量区域等于排队稳定性区域。
• 所构造的策略π_l实现了单位速率下趋近于1的期望撤离时间，证明了撤离时间增长速率的上界。
• 证明表明稳定性区域S_B等于容量区域C，通过双向包含关系（S_D ⊆ R ⊆ S_B）得到确认。
• 反馈的使用使发送方能够检测解码错误，并信号化继续或完成，从而实现高效撤离且开销最小。
• 用于帧状态信号的对数反馈开销不会影响渐近稳定性表征，因其为次线性增长。