[论文解读] Performance Analysis of Hybrid ARQ with Incremental Redundancy over Amplify-and-Forward Dual-Hop Relay Channels

Ali Chelli, Amir Hadjtaieb+1 more|arXiv (Cornell University)|Apr 8, 2014

Cooperative Communication and Network Coding参考文献 19被引用 4

一句话总结

本文分析了在放大转发双跳中继网络中采用增量冗余（HARQ-IR）的性能，推导了中断概率、平均重传次数、平均传输速率、延迟和能量效率的精确表达式与边界。主要贡献在于在时变瑞利衰落信道下，基于信息论的全面性能分析，其有效性通过蒙特卡洛仿真得到验证。

ABSTRACT

In this paper, we consider a three node relay network comprising a source, a relay, and a destination. The source transmits the message to the destination using hybrid automatic repeat request (HARQ) with incremental redundancy (IR). The relay overhears the transmitted message, amplifies it using a variable gain amplifier, and then forwards the message to the destination. This latter combines both the source and the relay message and tries to decode the information. In case of decoding failure, the destination sends a negative acknowledgement. A new replica of the message containing new parity bits is then transmitted in the subsequent HARQ round. This process continues until successful decoding occurs at the destination or a maximum number $M$ of rounds is reached. We study the performance of HARQ-IR over the considered relay channel from an information theoretic perspective. We derive exact expressions and bounds for the information outage probability, the average number of transmissions, and the average transmission rate. Moreover, we evaluate the delay experienced by Poisson arriving packets over the considered relay network. We also provide analytical expressions for the expected waiting time, the sojourn time, and the energy efficiency. The derived exact expressions are validated by Monte Carlo simulations.

研究动机与目标

• 分析在时变瑞利衰落信道下，HARQ-IR 在放大转发双跳中继网络中的性能。
• 推导关键性能指标（如中断概率、平均重传次数和平均传输速率）的精确表达式及上界。
• 评估延迟指标，包括泊松到达分组的平均等待时间和停留时间。
• 研究在最多 M 次 HARQ 轮次条件下，HARQ-IR 在中继辅助系统中的能量效率。

提出的方法

• 建立一个三节点中继网络模型，包含源节点、放大转发中继和目的节点，采用瑞利衰落信道。
• 假设 HARQ 轮次间信道独立变化，并将重传次数限制在最多 M 轮以控制延迟。
• 在目的节点使用最大比合并技术，合并来自源节点和中继的信号，以提升解码分集增益。
• 利用指数随机变量乘积和梅杰 G-函数表示法，推导出精确的中断概率。
• 应用梅林变换和反梅林变换技术，推导出概率密度函数和累积分布函数。
• 通过建模分组排队行为，推导出期望等待时间和停留时间，分析延迟与能量效率。

实验结果

研究问题

• RQ1 在时变衰落的放大转发双跳中继信道中，HARQ-IR 的精确中断概率是多少？
• RQ2 平均重传次数如何随系统参数（如信噪比 SNR 和最大 HARQ 轮次 M）变化？
• RQ3 在泊松业务模型下，缓冲区中分组的平均等待时间和停留时间的解析表达式是什么？
• RQ4 在所考虑的中继系统中，能量效率如何随传输速率和 HARQ 轮次数量变化？
• RQ5 在采用增量冗余的 HARQ-IR 下，平均传输速率的边界和精确表达式是什么？

主要发现

• 本文利用梅杰 G-函数表示法，推导出放大转发双跳中继信道中 HARQ-IR 的精确中断概率表达式。
• 推导出中断概率的上界，该上界在高信噪比下具有紧致性，适用于性能评估。
• 平均重传次数以信噪比 SNR 和最大 HARQ 轮次 M 的函数形式被精确表达。
• 平均传输速率以闭式形式推导得出，表明其频谱效率优于追捕合并（chase combining）。
• 针对泊松到达分组，平均等待时间和缓冲区停留时间被解析表征，支持延迟分析。
• 通过推导能量每比特的解析表达式，量化了能量效率，揭示了可靠性、延迟与频谱效率之间的权衡。