Modeling the success transmission rate in Aloha MANETs with Binomial point process

In mobile ad hoc networks (MANETs), success transmission rate (STR), which is defined as the time average of number of successful transmissions per time slot conducted by a network node, is a fundamental performance metric for such networks and can be used to further evaluate other network performance. This paper is focused on an Aloha MANET where the mobility processes of network nodes are mutually independent and lead to a uniform distribution of nodes locations in steady-state. At first, it is proved that as time evolves the concerned network converges in distribution to an independently marked Binomial point process, based on which it is shown how the STR is related to the distributions of distances in the Binomial point process. Due to the difficulty in deriving exact expressions for node distance distribution, an approximation expression to the STR is derived. Finally, simulation results are provided to illustrate the accuracy of the approximation result.