Estimation of Blocking Probabilities in A Cellular Network Which Is Prone To Dynamic Losses
Estimation of Blocking Probabilities in A Cellular Network Which Is Prone To Dynamic Losses
Estimation of Blocking Probabilities in A Cellular Network Which Is Prone To Dynamic Losses
I.
INTRODUCTION
A typical cellular network essentially consist of set of resources to which a cellular call , or more precisely , a call attempt , with an associated holding time and class , arrive at random instances . These holding time & class criteria is governed by BSSAP & MAP Timers , which are set and configured in the HLR , MSC and BSC of the cellular network . Here the situation is being explained only considering a typical 2G Cellular Network . An arriving call or mobile terminating call is either accepted into the system or is blocked , rejected & lost . If the call is admitted into the system to sail through , it remains active in the system for the duration of its holding time , which is governed by the system timers , as explained above or depends upon subscriber behavior . The acceptance of call in the system is decided primarily on the basis of calling class and system resource utilization status. Cellular networks are classical tele-tra c models that have been used to estimate the performance of traditional circuit switched networks which includes the existing fixed telephone networks, as well as cellular networks. Modern broadcast networks have been designed to integrate several services into the same standalone network. The traditional cellular network model uses the theory that the process of arrival of calls into the network can be described by a time homogeneous Poisson process where events occur continuously and independent of one another. But, when the arrival rate of the calls changes considerably over time, this assumption is no more valid . Thus, the cellular network model can be extended so that the calls of a given tra c class are assumed to be generated by a Poisson process with a time varying rate. One of the basic tasks in any cellular network is to evaluate the blocking probability for each tra c class in the system. In the
given time horizon. However, we known that exact evaluation of blocking probabilities for stationary cellular networks representing pragmatic dimension networks is computationally very difficult due to the huge size of the state space. As an alternative, Monte Carlo (MC) simulation can be used to obtain the blocking probabilities which estimates the normalization constant and performance measures. This paper addresses the problem of efficiently estimating the MOL approximation by using MC simulation , with improved ideas from the importance sampling (IS) variance reduction method. The idea is to reduce the number of time points for which sampling is required. The direct method of computing the MOL approximation over a given selected time frame , consists of generating several MC simulation at every time point. With likelihood ratio method, we minimize the number of samples that are generated during the simulation by allowing some controlled reduction of accuracy in the result. Preferably, with likelihood ratio method samples are generated only once and these are used for all time points. To use these samples which generated at some reference time point at other time points requires the samples to be weighted appropriately with the likelihood ratio. This is similar to IS in stationary cellular networks, where it is used to offer better sampling of the most significant parts of the state space. Here, the likelihood ratio is used to scale the result to a different point in time. The method does not obtain extra effort in the simulation and the sample statistics can be used to determine if accuracy is good enough at each time point. When sample statistics imply that at some point of time the variance has become too large, at that time point samples are redrawn. In this paper, we compute approximations to the variance of our estimator to obtain insight into the dependence of the variance on the load. The results are used in different scenario illustrating function of the likelihood ratio method. We consider three application scenarios, where the likelihood ratio method is applied and explain by using arithmetical example. The scenarios correspond to situations, where 1) The likelihood ratio method is used for all time points. 2) The likelihood ratio method is used on-line until it breaks. 3) The on-line method is augmented with a method to estimate a time step into the future up to which the likelihood ratio method can be used.
ISSN: 2231-2803
http://www.internationaljournalssrg.org
Page 733
S = { x I | g : bg .x Cg } ,
where the scalar product is defined as bg .x = The set of blocking states for a class-r call, Br, consists of those states for which an addition of one more call from class r to a given state results in a link occupancy violating some link capacity constraint,
Br = { x S | g : bg (x + er) > Cg } ,
where er is a R-element vector with 1 in the r th element and zeros elsewhere. Let X(t) symbolize the state process of the finite capacity system. Alas, contrary to the case in the stationary cellular network, the distribution of X(t) does not anymore have the simple product form of (1). However, as the infinite capacity system still possesses the product form, an appealing approximation (known as the Modified Offered Load Approximation, MOL) for the distribution of X(t) is,
where r N, r = 1, . . . , R , with N denoting the set of natural numbers {0, 1, 2, . . .}. In general Poisson arrival location model in which arrivals move independently through a general state space according to a location stochastic process after arriving according to a non homogeneous Poisson process. It is well known that with inhomogeneous arrivals and the time dependent distribution of the process X(t) that starts empty is a product of independent Poisson distributions, similar to the stationary case
where t > 0 and r(0) = 0 for r = 1, . . . , R . The results in linear stochastic compartmental model i.e open network of infinite server queue also show that the form of the distribution (1) does not depend on the distribution of the call durations. However, for a commonly distributed call duration, Sr, the load r(t) is given by
(i) (ii)
On the relation, in equilibrium, between the system with finite and infinite capacity, where equation (2) is exact. On the explicit equation (1) for the time dependent distribution of the infinite capacity system.
When the initial distribution is Poisson with parameter , distribution (1) can be written as
We also know the analytical expressions and bounds on the error of the MOL approximation for a network with unit size calls and a single link, and for general call sizes and multiple links. We are interested in the prime performance measure which is the instantaneous blocking probability of a class r call at time t, Br(t). It is the probability that an arriving class r call is blocked at time t and is given by
Br(t) = P{ X(t) Br }
where r (0) = r for r = 1, . . . , R. If the initial distribution is a combination of Poisson distribution with the load (l) where l = 1,2..L, the time dependent distribution is the same combination of Poisson distributions, each determined by (1). Further note that (1) is determined by the load only. Routing such as usually happening in wireless network models also leads to an expression for the load and No explicit analytical expressions exist for computing Br(t). In principle, by generating a large number of realizations of the process, one can given enough computer time, to estimate Br(t), at any time point. However, by invoking the MOL approximation, Br(t) can be expressed in the form of a ratio of two state sums
ISSN: 2231-2803
http://www.internationaljournalssrg.org
Page 734
(t)
Br
l X
(t)
.(3)
To achieve this, ideas from the importance sampling (IS) variance reduction method are applied. IS is based on the following well known property of choosing the biased distribution which encourages the important regions of the input variable and saves huge run time.Consider a discrete random variable X with distribution p( ),
Computing the MOL approximation at time t consists of computing r(t), r, and then computing the loss probabilities from the time homogeneous cellular network with load r(t).Note that an estimate of r(t), r, as measured from a live network, is su cient , as well. All methods available for stationary cellular networks can be used to evaluate the blocking probabilities for a given fixed time t. Exact computation of these blocking probabilities can be done e ciently only for networks with special topologies and, in practice, approximations are required. Here we investigate the use of simulation method to estimate the blocking probabilities. By using Monte Carlo (MC) methods, one can generate independent samples directly from distribution (1). Here, we study the MC simulation techniques to estimate the MOL approximation of Br(t) for t = [0,T].
is
) > 0,
From these, it is the estimation of (t) that is often inefficient due to the rarity of the blocking states. We assume the probability (t) 1, as it incur much extra computational work as compared with the computational effort of estimating (t) .Thus, in the continuation, we focus on methods for estimating (t). In the straight forward method of computing MOL approximation of (t) for t [0, T ], one basically performs a separate simulation at every time point is used and ( [0, T ]. For each ) is estimated by the standard MC method
Thus, IS allows us to draw the samples from the distribution p*( ), and the bias is corrected with the likelihood ratio. The idea in IS is roughly to choose p*( ) such that it makes the occurrence of the more important samples more probable, thus reducing the number of samples required for estimating . Also, here IS is used to reduce
the number of samples required to estimate ( ). Our idea is to use the likelihood ratio to scale the results across different points in time. Now, assume we have a reference time point and samples ( ) generated from the distribution (x, ) given by (1). At another time point t, the only thing that has changed is the load. Thus, the points generated at time point can be reused at time point t, if the samples are simply weighted with the ratio of the probability of the sample at time t to the probability of the sample
where represents samples drawn from (1) and N is the total number of samples. This assumes that samples are autonomously drawn for each time point. In below mentioned likelihood ratio method, the idea is to minimize the number of samples drawn in the simulations when estimating (t), t [0, T ], by allowing some controlled reduction of accuracy of the estimates at the different time points. Supremely, we want to draw the samples only once, and with those samples estimate ( ) for all .
at time
ISSN: 2231-2803
http://www.internationaljournalssrg.org
Page 735
With the likelihood ratio method the results of all time points can be estimated by scaling the reference time point results with the likelihood ratio. What makes the method applicable is the explicit and simple expression for the likelihood ratio. This may raise the variance beyond an adequate level at some time points. For such points the samples need to be redrawn. Even though the sampling distribution at time t is not asymptotically optimal, assuming that loads do not vary heavily, under-estimation of the variance is not a major problem, since the twisting in the sampling distribution is not that great (it is proportional to the difference in the load at and t). However, if
evaluated
,t), equals
the difference in the loads at and t is indeed great, the underestimation problems discussed rigorously. Thus, our method incurs a slight computational increase corresponding to the computation of the statistics of other time points besides the reference time point, but potentially saves a considerable amount of time in that samples do not need to be generated separately for each time point.
.......................(8) for some [ , t]. To gain insight into the error, in observation 1 we relate the expected value of this error to the higher order derivatives of (t). For the variance we need the 2nd moment of ,
VII.
In the following we present some analytical results and observations on how the variance of (4) behaves as a function of time relative to our reference time Our idea is to approximate L(x, .
around .We consider only first two terms of expansion and ignore all the higher terms. First, we note that
. The dependencies are such that the variance depends quadratically in time on the variance of
and where err( ,t) denotes the error terms of the Taylor series
linearly
in
time
on
the
expectation of
ISSN: 2231-2803
http://www.internationaljournalssrg.org
Page 736
VIII.
i.e., the terms of the Taylor series (7) with respect to L(x, , t) coincide term by term with the higher order derivatives of (t) in the Taylor series (6) of . This also follows from the exclusivity of the Taylor series. Thus, the expected value of the error (8) equals
The accuracy of equation (10) has the hitch that it depends explicitly on time, whereas the MOL approximation depends explicitly on the load and implicitly on time, i.e., according to the MOL approximation, the value of B(t) at one time instant t1 relative to its value at another time instant t2 depends only on how much the load has changed from t1 to t2 and not on how far or near t2 and t1 are to each other in time. Therefore, here we capture the effect of the changing load in our approximations
and
for some
. The technique to be used is the same as above, the likelihood ratio is approximated by its Taylor series expansion around the reference load vector.
, r . In conclusion, we note that the error in (t) by using the Taylor series approximation (7) of L(x, , t) is naturally related to the rate of change in (t) which depends on the rate of change of the loads, i.e.,
Observation 2 : Here we bound the true likelihood ratio, i.e., the ratio of the probability of a specified state in the finite nonstationary cellular network at time t to the product form probability of the state in the MOL approximation corresponding to the reference time . To this end, let the real distribution of the finite non-stationary cellular network at time t be denoted here by p(x, t). So, we endeavor to compute
Note that this bound is increasing in t, which suggests that the accuracy of the MOL approximation decreases with t. The error is clearly determined by the blocking probabilities
ISSN: 2231-2803
http://www.internationaljournalssrg.org
Page 737
Figure1: Results for the uniform load scenario with standard MC (fig a) and likelihood ratio method (fig b)
for r = 2, . . . , 6. The magnitudes of the loads have been chosen such that blocking probabilities are of the order 1%. Also, in the arithmetical examples we estimate the ratio B(t) = (t)/(t). Thus, the same samples that are used for estimating (t) are used for estimating (t), as well. This results in a ratio estimator, for which the standard deviation can be obtained by using standard methods. All simulations were implemented in Matlab 6.0 and were run under Linux on a 700 MHz Pentium III PC. To compare the performance of the direct MC method and our likelihood ratio method in a fair manner, the sample generation was done in the same way for both the standard MC and the likelihood ratio method. We have used the discretized inverse transformation method, where the necessary Poisson distributions are simply computed into arrays and sample generation corresponds to a table lookup using a linear search. To compute B1(t), the blocking probability of class 1 for 32 evenly spaced time points in the interval [0, 2]. Two accuracy criterions, (1= 0.05, 2= 0.045) and (1= 0.02, 2= 0.018) were used. The results using the likelihood ratio method are compared against results obtained by direct MC simulation, i.e., by performing 32 repeated simulations and at each time point generating samples until an accuracy of 1 is reached.
Figure 1(a) corresponds to the uniform load scenario and shows our estimate of B1(t) and the 95% confidence intervals using the standard MC method with 1= 0.05 accuracy criterion. Figure 1(b) corresponds to the same uniform load scenario and shows the estimate for B1(t) when using the likelihood ratio method for accuracy criterions (1= 0.05, 2= 0.045). The iteration round at which each time point satisfied the target accuracy 1is also shown in the figure via a change of the marker. The 95% confidence intervals are only slightly shorter in magnitude than in the standard MC case.
ISSN: 2231-2803
http://www.internationaljournalssrg.org
Page 738
XII.
ARITHMETICAL EXAMPLES
We use the same scenarios and the two accuracy criterions (1= 0.05, 2= 0.045) and (1= 0.02, 2= 0.018) as defined previous. In Table 2, the number of samples needed in the simulations and the execution times of the program are shown for each of the cases.
208 700/690 s
92 400/210 s
..(15) Properly chosen r and max, in equation (15), prevents us from using the Taylor series approximation too far into the volatile future. To obtain from equation (15), one can solve as follows. At time t *= t1, standard MC simulation is performed until the target relative error criterion 1 is reached. During the simulation, =
As projected, compared with the likelihood ratio method discussed in the previous section, the performance of the on-line variant is almost equal in uniform load Scenario . However, in nonuniform load Scenario the on-line variant outperforms(surpass) the method discussed in the previous section, which is, due to the fact that in nonuniform load Scenario using the samples in all time points wastes computational effort as the samples are only valid for a relatively short period of time. The differences in the execution times are not substantial and can be explained by properties of Matlab. For the online variant samples are stored in a list that is iterated in a for-loop until the accuracy criterion breaks.
and
XIII.
need to be estimated. In the interval [t1, t1+ ], (t) is approximated by (7) and an approximate confidence interval can be obtained using (10) for the variance. At time t2= t1+ a new MC simulation is performed and a new is computed . This procedure is continued until T is reached.
ISSN: 2231-2803
http://www.internationaljournalssrg.org
Page 739
XV.
REFERENCES
[1] Multiservice Loss Models for Broadband Telecommunication Networks : K.W. Ross [2] An analysis of the Modified Offered Load approximation for nonstationary Erlang loss model: William .A. Massey, Ward Whitt. [3] Efficient importance sampling for Monte Carlo simulation of loss systems: P. Lassila, J.Virtamo, J.Karvo [4] Fast simulation of blocking probabilities in loss networks: M. Mandjes [5] Networks of infinite server queues with nonstationary Poisson input : William .A. Massey, Ward Whitt [6] Blocking probabilities in mobile communications networks with time varying rates and redialing subscribers: N.Abdalla, R.J. Boucherie, [7] Nearly optimal importance sampling for Monte Carlo simulation of loss systems: P.Lassila, J.Virtamo [8] On the optimality and stability of exponential twisting in Monte Carlo estimation: J.S. Sadowsky [9] Monze-Carlo summation applied to product-form loss networks : K.Ross, J. Wang [10] Monte Carlo Methods and Importance Sampling : Eric C. Anderson
ISSN: 2231-2803
http://www.internationaljournalssrg.org
Page 740