Perspectiva de La Teoria de Colas

Perspectiva de la Teora de Colas
Se inicia en 1917 cuando el matemtico dans A. K. Erlang

resuelve el nmero de circuitos telefnicos necesarios para
atender un volumen de trco dado.
Se centra en el desarrollo y anlisis de modelos matemticos

vlidos para disear y dimensionar sistemas donde una
poblacin de usuarios (en sentido amplio) compiten por un
servicio ofrecido por un conjunto reducido de recursos.
Utiliza la teora de la probabilidad y la teora de los procesos

estocsticos para la resolucin de los ms variados sistemas
estocsticos de control, computacin y comunicaciones.
Campos de utilizacin: logstica de los procesos industriales de

produccin, ingeniera de redes y servicios, ingeniera de
sistemas informticos, etc.
Departamento de Enxe nera Telem atica Sistemas de Conmutaci on Evaluaci on de prestaciones y dimensionado p.1
Aplicacin en ingeniera de redes
Permite evaluar las prestaciones y dimensionar los recursos
necesarios para ofrecer una determinada calidad de servicio al
usuario.
Redes de conmutaci on de circuitos
Recursos: red de conexin interna de las centrales de
conmutacin, circuitos telefnicos entre centrales.
Calidad de servicio: probabilidad de rechazo de llamada.
Redes de conmutaci on de paquetes
Recursos: tamaos de memoria de los nodos de conmutacin,
capacidad de los enlaces entre ellos.
Calidad de servicio: probabilidad de prdida de paquete, tiempo
medio de trnsito a travs de la red.
ndice
Introduccin a la Teora de Colas.
Tipos de modelos.
Caracterizacin del Trco:
Proceso de llegadas.
Proceso de servicio demandado.
Frmulas de Little.
Notacin de Kendall.
Medidas de prestaciones.
Procesos de Poisson: modelos M/M/1 y M/D/.
Procesos de nacimiento y muerte: Solucin general
Sistemas con rechazo: Probabilidad de bloqueo.
Sistemas de espera: Tiempo medio de respuesta.

Tipos de modelos de colas (I)
.
.
.
.
recursos
cola
salida
de usuarios
o tareas
rechazados
usuarios
llegada
de usuarios
o tareas
Modelos con rechazo No tienen cola, es decir, si llega un usuario y
todos los recursos estn ocupados, el usuario es rechazado.
Modelos de espera Si llega un usuario y todos los recursos estn
ocupados, el usuario espera su turno en la cola (capacidad
ilimitada) hasta ser atendido.
Tipos de modelos de colas (y II)
.
.
.
.
recursos
cola
salida
de usuarios
o tareas
rechazados
usuarios
llegada
de usuarios
o tareas
Hay tambin modelos mixtos, donde la capacidad de la cola est
limitada a un determinado nmero de usuarios; as, si llega un
usuario y tanto los recursos como la cola estn llenos, ste es
rechazado.
Caracterizacin del Trco (I)
El trco ofrecido por los usuarios al sistema se modela mediante dos
procesos estocsticos, que consideraremos independientes entre s:
Proceso de llegadas Al sistema llegan las peticiones de servicio de los
usuarios (llamadas telefnicas, paquetes) en instantes aleatorios.
Caracterizaremos este proceso de llegadas de dos maneras
distintas, segn la dependencia del proceso de llegadas respecto
del nmero de usuarios actualmente en el sistema, es decir, del
nmero de usuarios inactivos:
Son independientes cuando el nmero de fuentes es innito.

Modelaremos el proceso conjunto de llegadas de todos los
usuarios al sistema.
Son dependientes cuando el nmero de fuentes es nito.

Modelaremos el proceso de llegadas por usuario.
Caracterizacin del Trco (y II)
Proceso de servicio demandado Las demandas de servicio
realizadas por los usuarios son tambin de carcter
aleatorio (duracin de la llamada, longitud del
paquete).
Proceso de llegadas (I)
1

n2
n

n+1
n+2

n+3
2
n1
1

2
. . .
n+1

n+2
. . .
n2
n1
Las peticiones de los usuarios llegan en instantes aleatorios segn el
proceso estocstico continuo de tiempo (ndice) discreto
{
i
R
+
; i = 1, 2, . . . }.
_
A(t) = arg max
i
(
i
< t) N
; t R
+
_
: proceso estocstico discreto
de tiempo continuo de llegadas.

=
_
=
i+1
i
; i = 1, 2, . . .
_
: proceso estocstico continuo de
tiempo discreto tiempo entre llegadas consecutivas.
Proceso de llegadas (y II)
1

n2
n

n+1
n+2

n+3
2
n1
1

2
. . .
n+1

n+2
. . .
n2
n1
El proceso estocstico se modela usualmente como un proceso
estocstico estacionario en covarianza:

= E [
i
] R
+
i N
= Var [
i
] R
+
i N
= Cov [
i
,
i+u
] i N u N
Se dene la velocidad media o tasa media de llegadas o caudal de
entrada:

= 1/.
Proceso de servicio demandado (I)
Los usuarios realizarn peticiones de servicio de los recursos de
duracin aleatoria segn el proceso estocstico continuo de tiempo
discreto de (tiempo de) servicio demandado: S

= {S
i
; i = 1, 2, . . . }.
ste se modela usualmente como un proceso estocstico
estacionario en covarianza.
El tiempo de servicio demandado por un usuario puede ser:
Independiente del sistema: por ejemplo la duracin de una

llamada telefnica.
Dependiente del sistema: por ejemplo la duracin de transmisin

de un paquete, que depender de la capacidad de la lnea de
transmisin.
Proceso de servicio demandado (y II)
Para el caso de dependencia se denen:
Proceso de cantidad de servicio demandado L

= {L
i
; i = 1, 2, . . . }:
demanda de los usuarios en unidades de servicio (p.e. bits).
Capacidad de los recursos C: unidades de servicio atendidas por un
recurso por unidad de tiempo (p.e. bits/s).
As: S
i
=
L
i
C
i N.
Se dene la velocidad media de servicio:

= 1/S.
Procesos estocsticos usados
En esta asignatura modelaremos los procesos estocsticos y S
como procesos aleatorios puros: sus vv.aa. independientes e
idnticamente distribuidas.
Algunas Distribuciones (I)
Distribucin exponencial ( > 0)
Funcin de distribucin: F
X
(x) = 1 e
x
x 0
Funcin de densidad: f
X
(x) = e
x
x > 0
Media: E [X] = 1/
Varianza: Var [X] = 1/

2
Sin memoria:
Pr [X > t +x|X > x] =
Pr [X > t +x, X > x]
Pr [X > x]
=
Pr [X > t +x]
Pr [X > x]
=
1 F
X
(t +x)
1 F
X
(x)
=
1 1 + e
(t+x)
1 1 + e
x
= e
t
= 1 F
X
(t) = Pr [X > t]
Algunas Distribuciones (II)
Distribucin Pareto (m > 0, > 0)
X
(x) = 1
_
m
x
_
x m
Funcin de densidad: f
X
(x) =
m
x
+1
x > m
y por tanto
E
_
X
k
=
_

m
x
k
f
X
(x) dx = c
_
x
k
m
= k
Media:
E [X] =
_
_
_
m
1
> 1
1
Varianza:
Var [X] =
_
_
m
2
( 2) ( 1)
2
> 2
2
Algunas Distribuciones (y III)
Distribucin Pareto desplazada al 0 (m > 0, > 0)
X Pareto(m, ) denimos Y

= X m
Y
(x) = Pr [Y x] = Pr [X m x] =
Pr [X x +m] = F
X
(x +m) = 1
_
m
x+m
_
x 0
Media: E [Y ] = E [X] m =
m
1
Varianza: Var [Y ] = Var [X]
Memoria:
Pr [X > t +x|X > x] =
1 F
X
(t +x)
1 F
X
(x)
=
_
m
t+x+m
_
_
m
x+m
_
=
_
x +m
t +x +m
_
= Pr [Z > t]
x
1 t 0
Con Z Pareto desplazada al 0 (x +m, )
Frmula de Little (I)

Nmero medio de usuarios M
de estancia X
Tiempo medio
Sean:
{A(t) N
; t R
+
}: proceso de llegadas a la caja
{D(t) N
; t R
+
}: proceso de salidas de la caja
Sistema vaco en el instante inicial

entonces el proceso nmero de usuarios en la caja cumple:
M = {M(t) = A(t) D(t); t R
+
}.
Frmula de Little (II)

Nmero medio de usuarios M
de estancia X
Tiempo medio
Denimos la suma de los tiempos de estancia en la caja de todos los
usuarios desde el tiempo 0 hasta t:
Y (t)

=
A(t)
i=1
mn (X
i
, t
i
)
=
_
t
0
M(x) dx
=
_
t
0
[A(x) D(x)]
Frmula de Little (III)
t
A(t)
Y (t)
D(t)
M(t)
Si = {
i
; i = 1, 2, . . . } y X = {X
i
; i = 1, 2, . . . } son estacionarios en
media, entonces:
lm
t
Pr
_
A(t)
t
<
_
= 1 > 0 lm
t
A(t)
t
=
lm
t
Y (t)
A(t)
= X
Frmula de Little (y IV)
t
A(t)
Y (t)
D(t)
M(t)
M = lm
t
Y (t)
t
= lm
t
A(t)
t
lm
t
Y (t)
A(t)
= X .
Notacin de Kendall (I)
2
3
N
1
.
.
.
.
.
.
.
.
1
2
m
mximo K
A / B / m / K / N / Z:
A: distribucin de la v.a. tiempo entre llegadas.
B: distribucin de la v.a. tiempo de servicio demandado.

M exponencial (Markov), P Pareto, U uniforme, D
determinista (constante), G general (arbitraria). . . Ambos procesos
de especicacin del trco ofrecido se consideran aleatorios puros.
m: nmero de recursos del sistema (idntica capacidad).

Notacin de Kendall (y II)
2
3
N
1
.
.
.
.
.
.
.
.
1
2
m
mximo K
A / B / m / K / N / Z:
K: capacidad del sistema en nmero de usuarios.
N: nmero de fuentes de peticiones (nmero de usuarios).

Estas dos ltimas sin especicar .
Z: disciplina de gestin de la cola.

FCFS (First Call First Served), LCFS (Last Call First Served), RR
(Round Robin). . . Sin especicar FCFS.
Medidas de prestaciones
Orientadas al sistema De inters para el administrador/proveedor del
servicio:
Intensidad de trco ofrecido.
Intensidad de trco cursado (sistemas con rechazo).
Factor de utilizacin de un recurso.

Orientadas al usuario Miden las prestaciones recibidas por el usuario:
Sistemas de espera:
Tiempo de espera en cola: fundamentalmente su media.
Tiempo de respuesta: fundamentalmente su media.
Sistemas con rechazo:
Probabilidad de bloqueo.
Trco ofrecido
Se dene A (tambin denotado por I), intensidad de trco ofrecido o
trco medio ofrecido, como el nmero medio de recursos ocupados
si el sistema de colas es capaz de atender todas las peticiones de los
usuarios.
Sistema de espera y m > , o sistema con rechazo y m = :

.
.
.
.
1
2
S
A
.
.
.
.
1
2
m
S
A
Frmula de Little:
M = X
MA,XS
A = S =

Trco cursado (I)
Se dene A
c
, intensidad de trco cursado o trco medio cursado,
como el nmero medio de recursos ocupados.
c
.
.
.
.
1
2
m
c
S
A
c
.
.
.
.
1
2
m
c
S
A
c
c
B
Denimos la tasa media cursada o velocidad media cursada de
tareas o caudal de salida (throughput )
c
como el nmero medio de
salidas del sistema por unidad de tiempo.
Frmula de Little:
M = X
MA
c
,XS,
c
A
c
=
c
S =

c
Trco cursado (II)
Sistema de espera
c
.
.
.
.
1
2
m
c
S
A
c
c
=
_
_
si < m A
c
=

= A
m si m A
c
= m

= A.
Cuando > m A =

>
m
= m el sistema est
congestionado. La situacin especial = m supondr congestin
salvo en sistemas degenerados como el D/D/m.
Trco cursado (III)
Sistema con rechazo
.
.
.
.
1
2
m
c
S
A
c
c
B
Se dene B, probabilidad de bloqueo (de llamada), como la
probabilidad de que una peticin sea rechazada.
c
= B = (1 B)
A
c
=

c
= (1 B)

= (1 B) A A
Trco cursado (y IV)
Sistema con rechazo
.
.
.
.
1
2
m
c
S
A
c
c
B
La situacin A
c
= A slo se dar en casos degenerados:
Sistemas D/D/m/m con < m .
Sistemas G/G/m/m/N con m N, donde, por lo tanto, no hay

competencia por los recursos.
Bloqueo temporal (sistema con rechazo)
Se dene B
T
, probabilidad de bloqueo temporal, como la
proporcin del tiempo en que si llegase una tarea sta
sera rechazada, es decir, probabilidad de que todos los
recursos estn ocupados.
En general B
T
= B.
1

2

3

4

5

6
t
Por ejemplo un sistema D/D/1/1 con = 1/2 y S = 1
tendr una probabilidad de bloqueo temporal: B
T
= 1/2
pero su probabilidad de bloqueo (de llamada): B = 0.
Factor de utilizacin (I)
Se dene , factor de utilizacin de un recurso, como la
probabilidad de que dicho recurso est ocupado, y por
tanto equivale al trco medio cursado por dicho recurso.
Si los recursos se seleccionan sin discriminar por el
servicio demandado por las tareas y de forma
sucientemente equitativa (p.e. seleccin cclica o
aleatoria), entonces aplicando la frmula de Little:
M = X
M,XS,
c
m
=

c
m
S =
A
c
m
Factor de utilizacin (y II)
Sistema de espera
=
A
c
m
=
mn (A, m)
m
=
mn
_
, m
_
m
= mn
_

m
, 1
_
Si m = 1 y el sistema no est congestionado, entonces = A.
Sistema con rechazo
Si el sistema no es degenerado:
A
c
< m =
A
c
m
< 1.
Tiempo de espera y de respuesta (I)
.
.
.
.
W S
T
Un usuario i-simo, habr de esperar en la cola desde su llegada al
sistema un tiempo aleatorio W
i
. Asimismo, pasar un tiempo
aleatorio entre que entra al sistema y sale del mismo T
i
. Estas v.a.s
estn relacionadas entre s: T
i
= W
i
+S
i
. La sucesin de ambos
tiempos para el conjunto de usuarios llegados al sistema componen
sendos procesos estocsticos: W = {W
i
; i = 1, 2, . . . } proceso
estocstico tiempo de espera en cola, y T = {T
i
; i = 1, 2, . . . } proceso
estocstico tiempo de respuesta.
Tiempo de espera y de respuesta (II)
Ambos procesos, T y W, no sern en general estacionarios. As, por
ejemplo, si partimos del sistema vaco en el instante inicial, entonces
tendremos: E [W
1
] = W
1
= 0 < E [W
2
] < E [W
3
] <
Deniendo W(t) = E [ W
i
|
i
= t], es de-
cir, la esperanza del tiempo de espera
en cola de una tarea si llega en el ins-
tante t, tendremos, si el sistema no est
congestionado y los procesos y S son
estacionarios en covarianza Transitorio Permanente
W(t)
t
W
Es decir, los procesos estocsticos {W
i
, i 1} y {T
i
, i 1} podrn
considerarse estacionarios.
Tiempo de espera y de respuesta (y III)
Aunque y S sean procesos estocsticos aleatorios puros, T y W
sern procesos estocsticos autocorrelacionados.
i1
W
i1
S
i1
t
Por ejemplo, en un sistema G/G/1:

Pr [W
i
= 0|W
i1
= w] = Pr [ > w +S] .
Queda patente la dependencia entre las v.a.s del proceso estocstico
W. Nos centraremos en el estudio del rgimen permanente de
ambos procesos, donde si y S son estacionarios en covarianza,
tambin lo sern T y W (sistema no congestionado), y especialmente
en sus primeros momentos: T = W +S.
Usuarios en cola y en sistema (I)
Denimos los procesos estocsticos discretos de tiempo continuo:
nmero de usuarios en la cola
Q

= {Q(t) N
; t R
+
},
nmero de usuarios en el sistema
N

= {N(t) N
; t R
+
}.
Ambos sern estacionarios en covarian-
za si lo son y S (para t 0, y si es de
espera sin congestin).
.
.
.
.
N
Q
1
2
m
Obviamente: Q(t) = max (0, N(t) m).
Para un sistema con rechazo: Q(t) = 0 t R
+
y N = A
c
.
Usuarios en cola y en sistema (y II)
Sistema de espera (sin congestin)
Aplicando la frmula de Little:
a la cola
M = X
MQ,XW
Q = W
al sistema
M = X
MN,XT
N = T
.
.
.
.
1
2
m
W
T
N
Q
Adems: N = Q+A

Perspectiva de La Teoria de Colas

Cargado por

Información del documento

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Perspectiva de La Teoria de Colas

Cargado por

Copyright:

Formatos disponibles

Perspectiva de la Teora de Colas

Se inicia en 1917 cuando el matemtico dans A. K. Erlang

Se centra en el desarrollo y anlisis de modelos matemticos

Utiliza la teora de la probabilidad y la teora de los procesos

Campos de utilizacin: logstica de los procesos industriales de

Introduccin a la Teora de Colas.

Caracterizacin del Trco:

Proceso de servicio demandado.

Procesos de Poisson: modelos M/M/1 y M/D/.

Procesos de nacimiento y muerte: Solucin general

Sistemas con rechazo: Probabilidad de bloqueo.

Sistemas de espera: Tiempo medio de respuesta.

Son independientes cuando el nmero de fuentes es innito.

Son dependientes cuando el nmero de fuentes es nito.

Independiente del sistema: por ejemplo la duracin de una

Dependiente del sistema: por ejemplo la duracin de transmisin

Varianza: Var [X] = 1/

Varianza: Var [Y ] = Var [X]

Sistema vaco en el instante inicial

A: distribucin de la v.a. tiempo entre llegadas.

B: distribucin de la v.a. tiempo de servicio demandado.

m: nmero de recursos del sistema (idntica capacidad).

K: capacidad del sistema en nmero de usuarios.

N: nmero de fuentes de peticiones (nmero de usuarios).

Z: disciplina de gestin de la cola.

Intensidad de trco ofrecido.

Intensidad de trco cursado (sistemas con rechazo).

Factor de utilizacin de un recurso.

Tiempo de espera en cola: fundamentalmente su media.

Tiempo de respuesta: fundamentalmente su media.

Sistemas con rechazo:

Sistemas D/D/m/m con < m .

Sistemas G/G/m/m/N con m N, donde, por lo tanto, no hay

Por ejemplo, en un sistema G/G/1:

También podría gustarte