Teora de Colas (o fenmenos de espera).

La teora de colas trata del estudio de las colas que se forman en la prestacin de los servicios. Esto es de las esperas que se forman en los sistemas para un item pueda recibir la prestacin de un servicio. Cuando se estudia las colas se tienen los siguientes conjuntos:
Cola Poblacin con acceso o o o o Centro de Servicios o Unidades servidas

Poblacin con acceso: Es el conjunto de la poblacin potencialmente usuaria del servicio y que por lo tanto en el momento dado puede accesar al servicio.

Cola: Son los elementos que estn esperando para ser atendidos en el centro de servicios. Centro de servicios: En el se encuentra el conjunto de la poblacin que esta siendo atendida en el momento. Unidades Servidas: Es el conjunto de la poblacin que ya ha sido atendida y vuelve a ser parte (por lo menos en la mayora de los casos) de la Poblacin con acceso.

NOTACION

A.-

Parmetros que caracterizan los modelos Los modelos de colas se pueden caracterizar por los siguientes 6

parmetros: (a/b/c):(d/e/f). En donde: abcdEs la distribucin de la llegadas. Es la distribucin de los tiempos de servicio. Es la cantidad de servidores en paralelo. Es la disciplina del servicio: - FIFO: Primero que que entra, entra, primero que sale. - LIFO: Ultimo primero que sale. - RAND: Aleatorio, al azar. - PRIOR: Con prioridades. efEs la capacidad mxima de elementos en el sistema (en servicio + cola). Es el tamao de la poblacin con acceso al sistema.

B.-

Principales variables y parmetros que se usan en los modelos. pn Ls Lq Ws Wq Es la probabilidad de n elementos o usuarios en el sistema. De esta manera p0 es la probabilidad de que el sistema este ocioso. Es la cantidad esperada de usuarios en el sistema. Es la cantidad esperada de usuarios en cola. Es el tiempo esperado de estada en el sistema. Es el tiempo esperado de estada en cola. Es la tasa de llegada expresada en usuarios por unidad de tiempo.

Es la tasa de servicio expresada en usuarios por unidad de tiempo. Es la razn entre las tasas de llegada y de servicio.

= /

FORMULAS GENERALES Las formulas con las cuales se van a presentar a continuacin son validas para todos los sistemas: 1.Cantidad esperada de usuarios en el sistema. Por la misma definicin de valor esperado se tiene:

Ls = npn
n=0

2.-

Cantidad esperada de usuarios en cola. Por la misma definicin de valor esperado y que hay n-c usuarios en cola se tiene:

Lq = (n-c)pn
n=0

3.-

Relacin entre la Cantidad Esperada de Usuarios en el Sistema y el Tiempo Esperado de Estada en el Sistema. La Cantidad Esperada de Usuarios en el Sistema se puede

expresar como la tasa de llegada por el Tiempo Esperado de Estada en el Sistema.

Ls = Ws

4.-

Relacin entre la Cantidad Esperada de Usuarios en Cola y el Tiempo Esperado de Estada en Cola. La Cantidad Esperada de Usuarios en Cola se puede expresar

como la tasa de llegada por el Tiempo Esperado de Estada en Cola.

Lq = Wq

Cuando no todos los intentan ingresar al sistema efectivamente entran en el, se tiene un efectivo menor que (eff < ), y las relaciones 3 y 4 cambian a: 3 Ls = effWs

y 4 Lq = effWq

5.-

Relacin entre el Tiempo Esperado de Estada en el Sistema y el Tiempo Esperado de Estada en Cola. El tiempo Esperado de Estada en el Sistema es el Tiempo

Esperado de Estada en Cola ms el promedio del tiempo de Servicio (1/).

Ws = Wq + 1/

6.-

Relacin entre la Cantidad Esperada de Usuarios en el Sistema y la Cantidad Esperada de Usuarios en Cola. La Cantidad Esperada de Usuarios en el Sistema es la Cantidad

Esperada de Usuarios en el Cola ms la razn taza de llegada tasa de servicio de Servicio.

Ls = Lq +

7.-

Evaluacin de la tasa efectiva de llegada. La tasa efectiva de llegada de puede obtener a partir de la

diferencia entre la cantidad de usuarios en el sistema y la cantidad de usuarios en cola multiplicado por la tasa de servicio.

eff = (Ls - Lq)

PRINCIPALES MODELOS 1.- Modelo (M/M/1):(GD//) Este es el modelo ms sencillo y supone que los tiempos de llegada y de servicio obedecen a leyes Markovianas (estos es tiempo entre llegadas y tiempo de servicios exponenciales con medias 1/ y 1/ respectivamente, capacidad de servicio a un solo usuario y capacidad de del sistema y poblacin infinitos (muy grandes). Y los resultados que se presentan sirven para cualquier disciplina de servicios, y son vlidos siempre y cuando la tasa de llegada es menor que la tasa de servicio ( < 1); ya que de lo contrario tanto la cantidad de usuarios en el sistema y en cola como sus tiempos esperados en el sistema y en cola tenderan a crecer indefinidamente a medida que pase el tiempo: En este caso es fcil demostrar que:

pn = (1 )n y deducir que:

Ls = /(1 ) Lq = 2/(1 ) Ws = 1/(1 ) Wq = /(1 )

2.- Modelo (M/M/1):(GD/N/) Este modelo parecido al anterior, se diferencia de el en que la capacidad del Sistema es de N. Esto es que puede haber en cola a lo ms N-1 usuarios. Los usuarios que llegan, al estar copado el sistema no pueden entrar en l. Por lo tanto ya no es necesario de que la tasa de llegada sea menor que la tasa de servicio. En este caso se puede demostrar que: ((1 )/ (1 N+1))n pn = 1/(N + 1)

1 n = 0,1,...., N =1

y deducir que:
{1 (N+1)N + NN+1}/(1 )(1 N+1) 1

Ls =

N/2

=1

eff = (1 pN) Lq = Ls (1 pN)/ Ws = Ls/(1 pN) Wq = Lq/(1 pN)

3.- Modelo (M/M/1):(GD/K/K) Este modelo parecido al anterior, se diferencia del precedente en que ya no es slo la capacidad del Sistema que es limitada, sino que tambin es limitada la poblacin con acceso a l. Esta es la situacin tpica de los servicios internos de las organizaciones.

En este caso se puede demostrar que:

K pn = n

n!n p0
n

1nK -1

= K! p0/(K-n)! K n -1 = 1 + K!n/(K-n)!
n=1 K

p0 =

n=0

n!n

y deducir que: Ls = K (1 p0)/ Lq = K (1 + 1/)(1 p0)

Los siguientes tres modelos son similares a los tres primeros con la diferencia que son para una capacidad de servicio de c usuarios simultneamente, o sea, c servidores en paralelo.

4.- Modelo (M/M/c):(GD//) En este caso, ya no se exige que sea menor que 1, sino que /c sea menor que 1 (/c <1). En este caso se demuestra que: (n/n!)p0 (n/cn-cc!)p0 1nc cn -1 p0 = n/n! + c/c!(1 /c)
n=0 c-1

pn =

y se deduce que:

Lq = ( c+1/(c-1)!(c )2)p0 2 = (c/(c ) )pc Ls = Lq +

y adems se tiene las siguientes formulas aproximadas:

Si << 1, entonces: p0 (1 ) Lq c+1/c2

y Si /c 1, entonces: p0 (c )(c 1)!/cc Lq /(c )

5.- Modelo (M/M/c):(GD/N/) En este caso se puede demostrar que: (n/n!)p0 (n/cn-cc!)p0 1nc cnN

pn =

-1
n=0

n/n! + c(1 (/c)N-c+1)/c!(1 /c)

c-1

/c 1

p0 = n/n! + (c/c!)(N c + 1)
c-1

-1
n=0

/c = 1

y deducir que:
(p0 c+1/(c-1)!(c )2){1 N-c (N-c)N-c(1- )} = /c 1

Lq =

p0c(N c)( N c + 1)/2c!

/c = 1

eff = (1 pN) = (c c ) ( c = (c n)pn )

n=0 c

6.- Modelo (M/M/R):(GD/K/K)

R<K

Este modelo parecido al anterior, se diferencia del precedente en que ya no es slo la capacidad del Sistema que es limitada, sino que tambin es limitada la poblacin con acceso a l y obviamente lla cantidad de canales de servicios en paralelo es menor que el tamao de la poblacin 1 . Esta es la situacin tpica de los servicios internos de las organizaciones. En este caso se puede demostrar que:

K n pn = K n

n p0

1nR

[n!n / R!Rn-R] p0

RnK

-1 p0 =

K
n

n=0

+ n

K n!n / R!Rn-R n

n=R+1

y deducir que:

Si no fuera as (R K), entonces nunca habra items en espera

Lq = (n R)pn
n=R+1

eff = (K Ls) = (R R)
R

( Lq = (R n)pn )
n=0

7.- Modelo (M/M/):(GD//)

(Modelo de autoservicio)

En este modelo, denominado el del autoservicio se supone que la cantidad de canales de servicios es muy grande (infinito). En este caso se puede demostrar que: pn = e-n/n!

y deducir que:

Ls = Ws = 1/ Lq = Wq = 0

8.- Modelo (M/G/1):(GD//)

(Formula de Polaczek-Khintchine))

En este modelo, denominado P-K se supone: 1) 2) 3) Que las llegadas son Poisson con parmetro . Que la distribucin del tiempo de servicio tiene media E{t} y varianza Var{t}. La condicin de equilibrio que = E{t} < 1. En este caso se puede deducir que: Lq = 2(E2{t} + Var{t})/2(1 E{t}) Ls = Lq + E{t} Wq = Lq/ Ws = Ls/ = 1/ E{t}

EJEMPLO
Supongamos que tenemos el siguiente problema: Queremos prestar un servicio que se puede descomponer en dos tareas con duracin esperada de dos minutos para cada una, y los usuarios del servicio vienen con un promedio de tiempo entre ellos de tres minutos. Se quiere saber si al contratar dos personas para prestar el servicio, dedicar una de ellas a la primera tarea y la otra a la segunda, o que las dos personas realicen las dos tareas ( Ver grfica).

En el siguiente cuadro se resume los resultados las dos opciones. Opcin 1 Probabilidad de que no haya usuarios 0,11 Longitud media de la cola 2,67 Media de usuarios en el sistema 3,33 Tiempo medio para esperar servicio 8 min Tiempo medio en el sistema 10 min

tericos de Opcin 2 0,20 1,07 2,4 3,2 min 7,2 min

Cola 1 o o o o o o o

Tarea 1

Cola 2 o o o o

Tarea 2

Tarea 1 + 2

C o l a o o o o o o o Tarea 1 + 2

GRAFICA Claro est que en la elaboracin del cuadro anterior hubo unos supuestos, tales como: La distribucin del tiempo entre llegadas y de la prestacin de servicios es exponencial, que el usuario que no obtiene servicio inmediatamente va a hacer cola. Y analizando los resultados de este cuadro nos da que la mejor opcin es la 2. Pero podra plantearse otra cuestin y es que pasara si al hacer una misma persona la misma tarea no se demore 4 minutos sino 5. Para este caso el valor de los parmetros descritos en el cuadro anterior seran: 0,09; 3,78; 5,45; 11,36; 16,36; respectivamente. Y obviamente en este caso sera preferible la opcin 1.