A New Finite-Source Queueing Model for Mobile Cellular Networks Applying Spectrum Renting
نویسندگان
چکیده
This paper proposes a retrial queueing model with the finite number of sources to evaluate the performance of spectrum renting in mobile cellular networks. The model incorporates necessary ingredients such as the finite number of subscribers, their impatience and a queue for the outbound service. To consider the specific feature of spectrum renting and the current mobile cellular technology, a variable number of servers that are switched on and off in groups is introduced. We present a novel way to take into account the renting fee, which can be used to fine-tune the operation of the spectrum renting procedure. Numerical results show that it is still profitable to initiate a spectrum renting request at high loads, even if no discount is offered by the frequency bands’ owners. This is the pre-print version accepted for APJOR (http://www.worldscientific.com/worldscinet/apjor).
منابع مشابه
Initial Results on Modeling in PRISM Mobile Cellular Networks with Spectrum Renting∗
We report in this paper on our initial results on modeling in the probabilistic model checker PRISM the system described in the paper “A New Finite-Source Queueing Model for Mobile Cellular Networks Applying Spectrum Renting” by Tien v. Do et al. That paper proposes a new finite-source retrial queueing model to consider spectrum renting in mobile cellular networks; numerical results are there p...
متن کاملApplying High Performance Computing to Analyzing by Probabilistic Model Checking Mobile Cellular Networks with Spectrum Renting∗
We report on the use of high performance computing in order to analyze with the probabilistic model checker PRISM mobile cellular networks, in particular the system described in the paper “A New Finite-Source Queueing Model for Mobile Cellular Networks Applying Spectrum Renting” by Tien v. Do et al. That paper proposes a new finite-source retrial queueing model to consider spectrum renting in m...
متن کاملProbabilistic Model Checking on HPC Systems for the Performance Analysis of Mobile Networks∗
We report on the use of HPC resources for the performance analysis of the mobile cellular network model described in “A New Finite-Source Queueing Model for Mobile Cellular Networks Applying Spectrum Renting” by Tien v. Do et al. That paper proposed a new finite-source retrial queueing model with spectrum renting that was analyzed with the MOSEL-2 tool. Our results show how this model can be al...
متن کاملA new queueing model for spectrum renting in mobile cellular networks
Article history: Received 20 December 2010 Received in revised form 17 May 2011 Accepted 6 December 2011 Available online 5 April 2012
متن کاملPerformance Modeling of Finite-Source Cognitive Radio Networks
This paper deals with performance modeling aspects of radio frequency licensing. The utilization of mobile cellular networks can be increased by the idea of the cognitive radio. Licensed users (Primary Users PUs) and normal users (Secondary Users SUs) are considered. The main idea is, that the SUs are able to access to the available non-licensed radio frequencies. A finite-source retrial queuei...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- APJOR
دوره 31 شماره
صفحات -
تاریخ انتشار 2014