Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2013/iii/paper-37/1/i/solution

A loss network models calls that need several resources simultaneously and are rejected, rather than queued, when insufficient capacity remains. Take finite resource and route sets. Let be the integer amount of resource required by a route- call, its capacity, and
Under fixed routing, each arriving call has a predetermined resource requirement. Take independent Poisson processes of rates and independent holding times with exponential distribution of rates . A feasible arrival changes to at rate ; a departure changes it to at rate . Put and assume each route uses a finite positive-capacity resource, so the state space is finite.
The product-form stationary distribution of a loss network is
For any feasible adjacent pair,
These detailed balance equations prove stationarity and make the process a reversible Markov chain. Equivalently, Independent random variables with Poisson distributions of means are conditioned on satisfying the joint capacity constraints. The conditioning makes resource occupancies dependent even though the unconstrained counts are independent.
By Poisson arrivals see time averages, a route- arrival sees acceptance probability , interpreting the numerator as zero for a negative capacity. Hence its blocking probability is and the expected value of its number in service is . This connects a stationary occupancy law to observable rejection and carried traffic.
The insensitivity of loss networks extends this occupancy formula to independent general holding-time distributions with the same expected values, under the usual fixed resource requirements and admission rule. Counts alone then need not be a Markov chain; residual holding times belong in a Markov description. The invariant occupancy formula survives. This is useful because detailed call-duration distributions can be difficult to estimate, while their means are much easier to measure.

New to topics? Read the docs here!