A Formal Proof of the Optimal Frame Setting for Dynamic-Frame Aloha With Known Population Size

作者：Barletta Luca^*; Borgonovo Flaminio; Cesana Matteo

来源：IEEE Transactions on Information Theory, 2014, 60(11): 7221-7230.

DOI：10.1109/TIT.2014.2354642

• RFID
• collision resolution
• frame Aloha
• frame length
• optimal strategy

In dynamic-frame Aloha, subsequent frame lengths must be optimally chosen to maximize throughput. When the initial population size N is known, numerical evaluations show that the maximum efficiency is achieved by setting the frame length equal to the backlog size at each subsequent frame; however, to the best of our knowledge, a formal proof of this result is still missing, and is provided here. As byproduct, we also prove that the asymptotic efficiency in the optimal case is e(-1), provide tight upper and lower bounds for the length of the entire transmission period, and show that its asymptotic behavior is similar to ne - zeta ln(n) with zeta = -0.5/ ln(1 - e(-1)).

• 出版日期2014-11