Apndice

on-line

Teoria de entroncamento

uas classes principais de sistemas de rdio entroncados so os sistemas ltima chamada removida [Lost
Call Cleared (LCC)] e os sistemas ltima chamada atrasada [Lost Call Delayed (LCD)]1.
Em sistemas LCC, no existe o enfileiramento para
solicitaes de chamada. Quando um usurio solicita o
servio, existe um tempo mnimo de configurao de
chamada e o usurio recebe acesso imediato a um canal,
se houver um disponvel. Se todos os canais j estiverem em uso e nenhum canal novo estiver disponvel, a
chamada bloqueada sem acesso ao sistema. O usurio
no recebe servio, mas livre para tentar chamar novamente mais tarde. Presume-se que as chamadas chegam
com uma distribuio de Poisson e que existe um nmero quase infinito de usurios. A frmula de Erlang B
descreve o grau de servio (GOS) como a probabilidade
de que um usurio qualquer experimente uma chamada
bloqueada em um sistema LCC. Presume-se que todas
as chamadas bloqueadas sejam instantaneamente retornadas a um conjunto infinito de usurios, e podem ser
recuperadas a qualquer momento no futuro. O tempo
entre as chamadas sucessivas de um usurio bloqueado
um processo aleatrio e com distribuio de Poisson.
Esse modelo preciso para um sistema grande, com
muitos canais e muitos usurios com padres de chamada semelhantes.
Em sistemas LCD, so usadas filas para manter as
solicitaes de chamada que esto inicialmente bloqueadas. Quando um usurio tenta chamar e um canal no
est imediatamente disponvel, a solicitao de chamada pode ser adiada at que um canal se torne disponvel. Para sistemas LCD, primeiro necessrio descobrir
a probabilidade de que todos os canais j estejam em
uso. Depois, dado que nenhum canal esteja disponvel,
necessrio saber a probabilidade de quanto tempo a
chamada deve ser adiada antes que um canal esteja disponvel para uso. A probabilidade de uma chamada no
ter acesso imediato a um canal em um sistema LCD
determinada pela frmula de Erlang C. Para sistemas
LCD, o GOS medido pela probabilidade de que as chamadas tenham atrasos maiores que t segundos. O conhecimento da frmula de Erlang C e da distribuio
de servio usado para analisar o GOS. Presume-se que
exista um nmero quase infinito de usurios no sistema,
e que todas as chamadas na fila sejam por fim atendidas.
O modelo Erlang C tambm pressupe um grande nmero de canais e um grande nmero de usurios com

Ape ndice_A_3a_prova.indd 1

padres de chamada semelhantes. Normalmente, cinco

ou mais canais so considerados um nmero suficientemente grande de canais.

A.1 Erlang B
A frmula de Erlang B determina a probabilidade
de que uma chamada seja bloqueada, e uma medida
do GOS para um sistema entroncado que no oferece
enfileiramento para chamadas bloqueadas (um sistema
LCC). O modelo Erlang B baseado nas seguintes asseres bsicas:
Solicitaes de chamada no tm memria, o que implica que todos os usurios, inclusive os bloqueados,
podem solicitar um canal a qualquer momento.
Todos os canais livres esto totalmente disponveis para
atender s chamadas at que todos os canais estejam
ocupados.
A probabilidade de um usurio ocupar um canal (chamada tempo de servio) distribuda exponencialmente. Chamadas mais longas tm menos probabilidade
de acontecer, conforme descrito por uma distribuio
exponencial.
Existe um nmero finito de canais disponveis no conjunto de entroncamento.
Solicitaes de trfego so descritas por uma distribuio de Poisson, que implica tempos entre chegadas de
chamadas distribudos exponencialmente.
Os tempos entre chegada das solicitaes de chamada
so independentes um do outro.
O nmero de canais ocupados igual ao nmero de
usurios ocupados, e a probabilidade de bloqueio
dada como
C

A
------
C!
Pr[Bloqueio] = --------------
C
k
A
----k!

(A.1)

k=0

onde C o nmero de canais entroncados, e A a carga

total oferecida ao sistema entroncado.

A.1.1 Derivao de Erlang B

Considere um sistema com C canais e U usurios.
Considere que seja a taxa mdia de chegada de chamada

08.04.09 11:01:11

2 Comunicaes sem fio princpios e prticas

por unidade de tempo para o sistema entroncado por inteiro (nmero mdio de solicitaes de chamada por unidade de tempo para todos os canais e todos os usurios), e
considere que H seja o tempo mdio de chamada (durao
mdia de uma chamada). Se A a carga oferecida para o
sistema entroncado, ento A = H.
A probabilidade de que uma solicitao de chamada
de um usurio seja bloqueada dada por
Pr[Bloqueio] = Pr[nenhum dos canais C est livre] (A.2)

Presume-se que as chamadas chegam de acordo com

a distribuio de Poisson, de modo que

n
e
Pr = { a ( t + ) a ( t ) = n } = --------- ( )
(A.3)
n!

for n = 0,1,2.....

minada chamada que acessou com sucesso o sistema entroncado, e foi alocada a um canal. Os tempos de servio
so considerados exponenciais com durao mdia de
chamada H, onde = 1/H a taxa de servio mdia (nmero mdio de chamadas atendidas por unidade de tempo). H tambm chamado de tempo mdio de reteno.
A probabilidade de que o tempo de servio da n-sima
chamada seja menor que uma durao de chamada s
dada por

Pr{sn < s} = 1 es s > 0

(A.9)

e a funo de densidade de probabilidade do tempo de

servio

p(sn) = esn

(A.10)

Pr{a(t + ) a(t) = 0} = 1 - + O()

(A.5)

Pr{a(t + ) a(t) = 1} = + O()

(A.6)

onde sn o tempo de servio da n-sima chamada.

Esse sistema entroncado(representado pela frmula de Erlang B) chamado sistema de enfileiramento
M/M/C/C. O primeiro M indica um processo de Poisson sem memria para chegadas de chamadas, o segundo indica um tempo de servio exponencial para
os usurios, o primeiro C indica o nmero de canais
entroncados disponveis, e o ltimo indica um limite
rgido sobre o nmero de usurios simultneos que so
atendidos.
A propriedade das cadeias de Markov pode ser usada para derivar a frmula de Erlang B. Considere um
processo estocstico de tempo discreto {Xn|n = 0, 1, 2,
} que apanha valores do conjunto de inteiros no negativos, de modo que os estados possveis do processo
so i = 0, 1, . O processo considerado uma cadeia
de Markov se sua transio do estado presente i para o
prximo estado i + 1 depender unicamente do estado i
e no dos estados anteriores. As cadeias de Markov de
tempo discreto permitem que o trfego seja observado
em pontos de observao discretos para condies de
trfego especficas. A operao de um sistema entroncado prtico contnua no tempo, mas pode ser analisada
em pequenos intervalos de tempo , onde um nmero positivo pequeno. Se Nk o nmero de chamadas
(canais ocupados) no sistema no instante k, ento Nk
pode ser representado como

Pr{a(t + ) a(t) 2} = O()

(A.7)

onde a(t) o nmero de solicitaes de chamada (chegando) que ocorreram desde t = 0 e o tempo entre
chegadas de chamadas (o tempo entre solicitaes de
chamadas sucessivas). O termo indica o nmero mdio
de solicitaes de chamada por unidade de tempo para a
populao de usurios, e chamado taxa de chegada.
O processo de Poisson implica que o tempo da nsima chegada de chamada e os tempos entre as chegadas
das solicitaes de chamada sucessivas so mutuamente
independentes. Os tempos entre as chegadas das solicitaes de chamada so exponencial e mutuamente
independentes, e a probabilidade de que o tempo entre
as chegadas seja menor que algum tempo s dada por
Pr(n s) = 1 e-s, s 0, onde n o tempo entre as
chegadas da n-sima chegada, e n = tn+1 tn, onde tn a
hora em que a n-sima solicitao de chamada chegou.
Em outras palavras, a funo de densidade de probabilidade para n 2
p(n) = e-n, n 0

(A.4)

Para cada t 0, 0,

onde O() a probabilidade de que mais de uma solicitao de chamada chegue durante o intervalo e
O()
uma funo de de modo que lim ------------ = 0 = 0.
0

A probabilidade de n chegadas em segundos encontrada a partir da Equao A.3

n
e
Pr = { a ( t + ) a ( t ) = n } = --------- ( ) (A.8)
n!

O tempo de servio do usurio a durao de deter-

Ape ndice_A_3a_prova.indd 2

Nk = N(k)

(A.11)

onde N um processo aleatrio discreto que representa o

nmero de canais ocupados em momentos discretos. Nk
uma cadeia de Markov de tempo discreto com probabilidades de ocupao de estado estacionrio que so idnticas cadeia de Markov contnua, e podem ter valores que
variam em 0, 1, 2, ... C.
A probabilidade de transio Pi,j descreve a probabilidade de ocupaes de canal por um intervalo de observao pequeno, e dada por

Pi,j = Pr{Nk+1 = j|Nk = i}

(A.12)

08.04.09 11:01:13

Apndice on-line A Teoria de entrocamento 3

....

....

....

1 C

12

Figura A.1 As probabilidades de transio representadas como um diagrama de estado da cadeia de Markov para Erlang B.

Usando as equaes A.5 a A.7, e considerando 0, obtemos

Poo = 1 + O()

(A.13)

Pii = 1 + O() i 1

(A.14)

Pi,i+1 = + O() i 0

(A.15)

Pi,i-1 = + O() i 1

(A.16)

Pi,j = O() j i, j i + 1, j i 1

(A.17)

O diagrama de transio de estado para a cadeia de

Markov aparece na Figura A.1.
A Figura A.1 uma representao da cadeia de Markov de um sistema entroncado com C canais. Para entender o diagrama de estado da cadeia de Markov, considere que existe 0 canal sendo usado pelo sistema, ou
seja, no existem usurios. Por um pequeno intervalo de
tempo, a probabilidade de que o sistema continue a usar
0 canal (1 ). A probabilidade de que haver uma
mudana de 0 para 1 canal em uso dada por . Por
outro lado, se um canal estiver em uso, a probabilidade
de que o sistema passe para 0 canal usado dada por .
De modo semelhante, a probabilidade de que o sistema
continue a usar 1 canal dada por 1 . A soma
de todas as probabilidades de sada de certo estado 1.
Por um longo perodo de tempo, o sistema atinge o
estado estacionrio e tem n canais em uso. A Figura A.2
representa um estado estacionrio de um sistema LCC.
No estado estacionrio, a probabilidade de ter n canais em uso equivalente probabilidade de ter (n 1)
canais em uso, vezes a probabilidade de transio .
Logo, sob condies de estado estacionrio,

Pn-1 = nPn, n C

n=0

= 1

(A.19)

Usando a equao do equilbrio global para diferentes valores de n, pode-se ver que

Ape ndice_A_3a_prova.indd 3

n -1

n
Figura A.2 Um sistema LCC entroncado em estado estacionrio com
n canais em uso.

Pn-1 = Pnn, n = 1, 2, 3...., C

(A.20)

Pn-1 = Pnn

(A.21)

P
P 1 = --------0-

(A.22)

Avaliando a Equao A.20 para diferentes valores de

n1
P n = P 0 --- -----
n!

(A.23)

e
n

P 0 = --- P n n! = 1

P
i

(A.24)

i=1

Substituindo a Equao A.23 na Equao A.24

(A.18)

A Equao A.18 conhecida como equao do equilbrio global. Alm disso,

1
P 0 = -------------------------C
n
1
--- --- n!

(A.25)

n=0

Pela Equao A.23, a probabilidade de bloqueio para C

canais entroncados

C1
P c = P 0 --- ------
C!

(A.26)

Substituindo a Equao A.25 na Equao A.26,

08.04.09 11:01:17

4 Comunicaes sem fio princpios e prticas

C

1
--- ---- C!
P c = -------------------------C
n

1
--- ---- n!

(A.27)

A.2.1 Derivao do Erlang C

n=0

O trfego total oferecido A = H = /. Substituindo isso na Equao (A.27), a probabilidade de bloqueio

dada por
C 1
A -----C!
P c = -------------------C
n1
A ----n!

(A.28)

n=0

A.2 Erlang C
A frmula de Erlang C derivada da assero de que
uma fila usada para manter todas as solicitaes de chamadas que no podem ser imediatamente atribudas a
um canal. A frmula de Erlang C dada por
C

A
Pr[chamada adiada] = ----------------------------------------------------- (A.29)
C1 k
C
A
A

----A + C! 1 ---
k!
C

k=0

Se nenhum canal estiver imediatamente disponvel, a

chamada adiada e mantida em uma fila, e a probabilidade de uma chamada adiada ser forada a esperar mais de
t segundos na fila dada por
( )
------------------

(A.30)

onde C o nmero total de canais disponveis, t o tempo de atraso de interesse e H a durao mdia de uma
chamada. A probabilidade de que qualquer chamada seja
retida na fila por um tempo de espera maior que t segundos dada por
[

]=

] [
( )
------------------

(A.31)

O atraso mdio D para todas as chamadas em um

sistema enfileirado dado por

Ape ndice_A_3a_prova.indd 4

] ------------------
( )

e ( t )
(A.34)
Pr { a ( t + t ) a ( t ) = n } = ----------------------- ,

n!
n = 0, 1, 2,...
onde a o nmero de chamadas que esto esperando
atendimento.
Assim como a frmula de Erlang B foi derivada usando-se a suposio de que todos os tempos entre as
chegadas de chamada so exponenciais e independentes, o tempo entre chegadas de chamada sucessivas
n = tn+1 tn e a distribuio dos tempos entre chegadas
tal que

(A.32)

(A.33)

Pr{n s} = 1 e-s, s 0

(A.35)

Como para Erlang B, o tempo de servio para cada

usurio j no sistema entroncado considerado exponencial e dado por

Pr{sn s} = 1 e-s, s 0

(A.36)

Usando cadeias de Markov de tempo discreto com

probabilidades de transio dadas nas equaes A.12 a
A.17, a frmula de Erlang C facilmente derivada. Suponha que Pi,j indique a probabilidade de transio do
estado i ao estado j. O diagrama de estado para o sistema
aparece na Figura A.3.
A frmula de Erlang C derivada presumindo-se
que o sistema entroncado uma fila M/M/C/D, onde
C indica o nmero mximo de usurios simultneos
e D o nmero mximo de chamadas que podem ser
mantidas na fila esperando servio. Se D considerado
infinito, o sistema uma fila M/M/C/, normalmente
chamada simplesmente fila M/M/C. Se D infinito, Pk
pode indicar a probabilidade de o estado estacionrio
encontrar k chamadas no sistema (chamadas atendidas
e enfileiradas). Ou seja,

( )
------------------

Considere um sistema onde C o nmero de canais

entroncados. As asseres usadas para derivar a frmula
de Erlang C so semelhantes s que so usadas para derivar Erlang B, exceto pela estipulao adicional de que, se
uma chamada oferecida no puder ser atribuda a um canal, ela colocada em uma fila de tamanho infinito. Cada
chamada ento atendida na ordem de sua chegada, com
o processo de chegada obedecendo distribuio de Poisson, dada por
t

A Equao (A.28) a frmula de Erlang B.

Pr[espera > t | chamada adiada] =

enquanto o atraso mdio para as chamadas que so enfileiradas dado por H/(C A).

P k = lim Pr { N t = k }
k

(A.37)

onde Nt o nmero total de chamadas que esto usando ou

esperando pelo sistema no momento t. No estado estacionrio, a probabilidade de o sistema estar no estado k e fazer
uma transio para o estado k 1 no prximo intervalo de
transio a mesma que a probabilidade de o sistema estar

08.04.09 11:01:23

Apndice on-line A Teoria de entrocamento 5

....
....
....
(C -1)

C -1
C

1 (C 1)

...

C +1

1 C

Figura A.3 Probabilidades de transio representadas como um diagrama de estado de cadeia de Markov para Erlang C.

no estado k 1 e fazer uma transio para o estado k. Assim,

pelo diagrama de estado mostrado na Figura A.3,

Pk-1 = kPk para k C

(A.38)

- 1
para k C
P k = - --- P k 1

k

(A.39)

logo,

A probabilidade de que uma chamada ocorra quando

todos os C canais estiverem ocupados, e portanto tenham
que esperar, pode ser determinada usando a Equao A.42.
Pr[C canais
esto
ocupados]

Pk-1 = CPk para k C

(A.40)

para

e segue-se que

(A.42)

=0

C1

P0 1 +

C+1

1
----------------------+..... = 1
(C + 1) C
(A.43)
C
1

- --- ------------ --- ---k!- + ----C! C

kC

k=1

= 1

k=C

1
i.e., P 0 = -----------------------------------------------------------------------k
C
C1
--- 1 1 ---
1
---- + ---- --------------------- k! k!

k=1
1 ------C

1 -----------kC
C

1- ---
(A.47)
----
C!
1
= -------------------- ----------------------------------------------------------------------------Pr

[C canais
C
------1

C 1 k

esto
1
1
1
- - + ---- --- --------------------

-ocupados]
--
k!
k!

k=0
1 ------C

C
( )
= -----------------------------------------------------------------------------------------C1
k
C

--- ----
( ) + C! 1 -------
k!
C

k = 0

= 1, temos

-
1 -
P 0 1 + -
+ ..... + ------ -

C!

Como

---

k = C

A equao acima vlida para ------- < 1. Substituindo

C
P0 na Equao A.45

--- 1
----P 0
kC
k!
Pk =
k
kC
1 --1
----------------- P
C! k C 0
C

kC

1
1
= P 0 ------ --- ---------------------C!

1 -------
C

(A.41)

(A.46)

logo,
- 1
= - ---

1
1
------ --- ------------P
Pk =
=
C! C k C 0

k=C
k=C
1
= P 0 ------ ---
C!

(A.44)

(A.45)

Porm, A = / = H. Substituindo isso na Equao

A.47
Pr[C canais
esto
ocupados]

A
= ----------------------------------------------------C1 k
A
1 --C
A
----A + C!
C
k!

(A.48)

k=0

A Equao A.48 a expresso para Erlang C.

Referncias bibliogrficas
1
2

STALLINGS W. Local Networks, Nova York: Macmillan Publishing Company, 1990.

BERTSEKAS, D.; GALLAGER R. Data Networks, 2. ed.,Nova Jersey: Prentice Hall, 1992.

Ape ndice_A_3a_prova.indd 5

08.04.09 11:01:30