Operaciones 2, Ingeniera Comercial,

Universidad Catlica de Valparaso

Pablo Diez Bennewitz 1
Modelos de Optimizacin
Avanzados
Teora de Colas
TEORIA DE COLAS
La formacin de lneas de espera es un fenmeno
comn cuando la demanda por un servicio excede
momentneamente la capacidad de proporcionarlo

Esperar un servicio es parte de la vida diaria

Se espera para comer en restaurantes, se hacen
colas en las cajas de los supermercados, en los
hospitales, etc

Y el fenmeno no es exclusivo de los seres
humanos: los trabajos esperan para que los
procese una mquina (cuello de botella), los
automviles se detienen ante un semforo, etc
TEORIA DE COLAS
Las colas se producen debido a que, en ocasiones,
la capacidad instalada para proporcionar el
servicio es insuficiente, ya que la demanda por su
servicio es aleatoria, lo que implica que la teora de
colas trabaje con modelos probabilsticos

El estudio de colas determina las medidas del
funcionamiento de una situacin de colas,
incluyendo el tiempo de espera y la longitud de la
cola promedio, entre otras variables de inters.
Esta informacin sirve despus para decidir el
nivel apropiado de servicio para las instalaciones
ESTRUCTURA BSICA DE UN
MODELO DE COLAS
Los clientes que requieren un servicio se generan
a travs de una fuente de entrada o poblacin.
Estos clientes entran al sistema de colas y se unen
a la cola.

En determinado momento se selecciona un
miembro de la cola, para proporcionarle el
servicio, mediante alguna regla conocida como
disciplina de servicio (orden de llegada, aleatorio,
prioridades).
ESTRUCTURA BSICA DE UN
MODELO DE COLAS
Despus, se otorga el servicio requerido por el
cliente mediante el mecanismo de servicio,
caracterizado por el nmero de canales paraderos
o servidores y por el tiempo de servicio, tiempo
que transcurre desde el inicio del servicio para un
cliente hasta su trmino. El tiempo de servicio
puede tener una distribucin exponencial,
degenerada o gamma
ESTRUCTURA BASICA DE UN
MODELO DE COLAS
Fuente de
Entrada
Cola
Mecanismo
de Servicio
Clientes
servidos
Clientes
Sistema de Colas
Operaciones 2, Ingeniera Comercial,
Universidad Catlica de Valparaso
Pablo Diez Bennewitz 2
ALGUNOS MODELOS DE COLAS
1) Modelo simple con un solo servidor
2) Sistema de colas en serie (trmites en serie)
3) Sistema de colas simple multiservidor
XXXX XXXX XXXX S
Entrada Cola Servidor Salida
XXX XXX XXX XXX XXX
S S
S
S
S
S
XXXXXX XXXXXX
XX
XX
XX
ELEMENTOS DEL MODELO DE COLAS
Fuente de Entrada:


Tiempo entre Llegadas:


Tamao de las Colas:

Tiempo de Servicio:

Disciplina de Servicio
Servidor (es)
Clientes
Puede ser finita (mquinas en
un servicio de reparacin) o
infinita (llamadas telefnicas)
Es el arribo de clientes,
puede ser probabilstico
o determinstico
Puede ser finito o infinito
Describe la prestacin del
servicio que el servidor le da
al cliente. Puede ser
determinstico o
probabilstico
IMPORTANCIA DE LA TEORIA DE
COLAS EN LAS OPERACIONES
La teora de colas determina las medidas del
funcionamiento de una situacin de colas, es una
tcnica til para disear la capacidad del proceso
de operaciones, puesto que provee de informacin
muy til para decidir el nivel apropiado de
prestacin del servicio para las instalaciones
Para determinar la capacidad del proceso de
operaciones, se evalan los costos asociados al
servicio que se presta
COMPORTAMIENTO DEL
SISTEMA DE COLAS
Es diferente en cada una de las etapas del sistema.
Matemticamente es difcil plantear modelos en los
inicios y trminos de atencin del sistema, es ms
simple plantearlos cuando el sistema alcanza un
estado estable, el que se da si en todos los estados:
Estado
Estable
Entradas
al Sistema
Salidas
al Sistema
=
Si hay a lo menos un estado en el que, las entradas
al sistema no son iguales a las salidas del sistema,
entonces no se ha alcanzado el estado estable
TERMINOLOGA Y NOTACIN
n
Cantidad de clientes: Que estn en el sistema
en un momento dado
L
Valor esperado de clientes en el sistema
L E (n)
=
W
Valor esperado de tiempo de atencin
cliente en el sistema
W E (w)
=
de un
w: tiempo especfico que tarda un cliente particular
dentro del sistema. Es una variable aleatoria
TERMINOLOGA Y NOTACIN
P0 : Probabilidad de que el sistema est vaco
P1 : Probabilidad de que el sistema tenga 1 cliente
P2 : Probabilidad de que el sistema tenga 2 clientes
P3 : Probabilidad de que el sistema tenga 3 clientes
Pn : Probabilidad de que el sistema tenga n clientes
Probabilidad de que hayan n clientes en el
sistema en un instante determinado
Pn
Asimismo es posible definir:
Lq
Wq
Valor esperado de clientes en la cola
Valor esperado del tiempo en la cola
Operaciones 2, Ingeniera Comercial,
Universidad Catlica de Valparaso
Pablo Diez Bennewitz 3
Probabilidad de que hayan n clientes en el
sistema en un instante determinado
TERMINOLOGA Y NOTACIN
Pn
Esto tiene dos interpretaciones:
(1)
(2)
Probabilidad de que en un instante cualquiera
se observe el sistema y est presente un
estado n. Por ejemplo, P3 = 0,1 indica que la
probabilidad de encontrar 3 clientes en el
sistema es 0,1 o del 10%
Pn es la fraccin del tiempo en que el sistema
permanece en el estado n
TERMINOLOGA Y NOTACIN
Valor esperado de clientes en el sistema
L
L n Pn L E (n)
= =
n=0
8

En consecuencia:
LAS VARIABLES EN EL TIEMPO
En general la cantidad de clientes es el sistema
depende del instante de tiempo en que se
determinan


Luego, las variables dependen del momento de
tiempo en que se miden. Por ende, Pn, L, W, etc,
tambin dependen del tiempo: Pn(t), L(t), W(t), etc
n n (t)
=
Sin embargo, los modelos de
colas que se estudian, determinan
tales variables cuando el sistema
est en estado estable
n(t) = n
Pn(t) = Pn
L(t) = L
W(t) = W
LLEGADA DE CLIENTES AL SISTEMA
La llegada de clientes se asume que tiene una
distribucin poisson, con parmetro

Si A es el nmero de clientes que llegan en un
intervalo especfico de tiempo, entonces:

P(n=A)
=


A
n = 1,2,3,....
n
e
-
n !
Las llegadas al sistema son aleatorias. Es decir
que la probabilidad de llegada al sistema durante
un instante de tiempo es un valor constante,
independiente del nmero de arribos previos y de
la duracin del tiempo de espera
LLEGADA DE CLIENTES AL SISTEMA
Se define:

Tasa media de llegada de clientes al sistema
Indica el nmero promedio de clientes que
ingresa al sistema en un instante especfico
de tiempo

1
Tiempo promedio entre llegadas
es el tiempo promedio que transcurre entre
dos llegadas sucesivas, entre el arribo de
dos clientes consecutivos
SALIDA DE CLIENTES DEL SISTEMA
Segn los sistemas de colas, puede ser una
distribucin exponencial, degenerada o gamma

Pero, para que sea til, la forma supuesta debe ser
lo suficientemente realista para que el modelo
proporcione predicciones razonables y, tambin
debe ser lo suficientemente sencilla para que sea
matemticamente manejable

Para lograr todo lo anterior, se asume que los
tiempos de prestacin del servicio tienen una
distribucin exponencial, con parmetro 1

Operaciones 2, Ingeniera Comercial,
Universidad Catlica de Valparaso
Pablo Diez Bennewitz 4
SALIDA DE CLIENTES DEL SISTEMA
Si B es el tiempo de servicio para un cliente
promedio, la funcin de distribucin acumulada es:
P(B t)
<
=
1 e -
- t

si t 0
>
Obs: Poisson se refiere a unidades de evento
partido por unidades de tiempo fija
Exponencial se refiere a unidad de tiempo
existente entre dos eventos seguidos
Poisson
Exponencial
SALIDA DE CLIENTES DEL SISTEMA
Se define:

Tasa media de prestacin del servicio en el
sistema Indica el nmero promedio de
clientes que reciben el servicio en el sistema
en un instante especfico de tiempo. Es la
tasa media del servicio, implica el concepto
de velocidad de atencin del sistema

1
Tiempo promedio entre prestaciones del
servicio es el tiempo promedio que se
demora en atender a un cliente en el sistema
Poblacin Cola
Mecanismo
de Servicio
Clientes
servidos
Clientes
Sistema de Colas
ESTRUCTURA BASICA DE UN
MODELO DE COLAS
Lq , Wq
L , W

(clientes / tiempo)
1

(tiempo / clientes)
Poisson
Exp
DIAGRAMA DE
NACIMIENTO Y MUERTE
Muestra el balance de entradas y salidas a cada
estado del sistema de colas
0 1 2 3

1 2 3
3
4
2 1 0

......
Para salir del estado 2 hay dos posibilidades:
DIAGRAMA DE
NACIMIENTO Y MUERTE
Sale un cliente que es atendido y en tal tiempo
no ingresa nadie al sistema ( )

El cliente que est siendo atendido no termina de
ser atendido e ingresa otro cliente al sistema ( )


2
2

2
pasa del estado 2 al estado 1

2
pasa del estado 2 al estado 3
ESTADO ESTABLE
Estado
Estable
Entradas
al Sistema
Salidas
al Sistema
=
En estado estable y bajo el supuesto de que puede
ocurrir slo una llegada o slo una salida a la vez:
Estado 0
Estado 1
Estado 2
Estado 3
P1
P1
P1 P1

1
1
1
1
=
=
=
=
P0











0
0 + P0 P2
P2 P2
P2
2
2
2 2 +
+
+
+
+ 3 3
3
4 P3 P3
P3
P4
Operaciones 2, Ingeniera Comercial,
Universidad Catlica de Valparaso
Pablo Diez Bennewitz 5
ESTADO ESTABLE
Se forma un sistema de n-ecuaciones y (n +1)
incgnitas. Resolviendo en funcin del Pn se tiene:
De la primera ecuacin (estado 0)
P1
P2
P1
=
P0
P2
P0 P1
P0


0
1
0






De la segunda ecuacin (estado 1)
0
2
2
=
( )
1
1 1 + -
=
( )
1 + -
1
P0












0
ESTADO ESTABLE
reemplazando P1:
P0
P0
P2
P2
P2
=
( )
1
1
1 1
+
+
-
-
P0
0
0
0
2
2
2
=



1
1
( ) 0 0
=








ESTADO ESTABLE
En general:
Pn
=
0 1
1
2
3
3
4
n-1
n
P0
Suponiendo que las tasas son constantes, entonces:
1
1
2
2
2
=
0 =
=
=
=
=
= = =
= =
3
3



4 n
n-1
=
=


Luego
Pn
n
P0
ESTADO ESTABLE
Si adems se considera que:

n=1
8

Pn
=
1
P0 + P1 + P2 + P3 + ........................ 1
=
P0 +



+ + P0 P0 P0


+ ...............
=
1
2 3
Progresin Geomtrica
Suma de la
progresin
geomtrica

i=1
n
a r
i
=
a ( 1 - r )
( 1 - r )
n
ESTADO ESTABLE


Por lo tanto




n
1
-
1
-
P0
=
1
Adems
Condicin de
estado estable


<
1
La tasa de llegada ( ) tiene que ser
menor que la tasa del servicio ( )


ESTADO ESTABLE
Como



<
1


n
0
1
1
1
si n
8

Entonces
P0
P0 ( 1 - 0 )
-
=
= -
P0
=


-
Es la probabilidad de
que hayan 0 clientes
en el sistema
Operaciones 2, Ingeniera Comercial,
Universidad Catlica de Valparaso
Pablo Diez Bennewitz 6
ESTADO ESTABLE
Asimismo, reemplazando:
Pn
=



-
Es la probabilidad de
que hayan n clientes
en el sistema
Obs: Las frmulas anteriores son un caso
particular analizado, no son frmulas
generales, puesto que incluyen muchos
supuestos en su anlisis
n
SUPUESTOS PARA LA CONDICIN
DE ESTADO ESTABLE




<
1
El sistema de colas no colapsa, o
sea que el sistema oscila entre los
estados razonables, si bien hay
cola, sta no crece sin fin
Las entradas y salidas de clientes al sistema
de colas, son de a un cliente cada vez
La tasa promedio de llegada de clientes y la
tasa promedio del tiempo de prestacin del
servicio, son independientes del estado
(cantidad de clientes) en el sistema de colas

FACTOR DE UTILIZACION
=


Indica la proporcin de tiempo
en el que el sistema de colas
est ocupado
Si 1
Si 1 <
>
El sistema est sobrecopado la
mayor parte del tiempo: la cola
est creciendo permanentemente
El sistema no est copado
Por ejemplo, si 0,9 indica
que el 90% del tiempo el sistema
de colas est ocupado y que, el
10% del tiempo no lo est
=
FACTOR DE UTILIZACION
Las frmulas anteriores de P0 y de Pn, se pueden
denotar tambin como:
P0
=
1
-
Pn =
n
( 1 )
-
VALOR ESPERADO DE CLIENTES
EN EL SISTEMA
n Pn
L E (n)
= =

n=0
8

E (n)
=
0P0 + 1P1 + 2P2 + 3P3 + ...................
L
=
0(1- ) + 1 (1- ) + 2 (1- ) + 3 (1- ) + ........
2 3
Factorizando:
L
=
(1- ) + 2 + 3 + 4 +
2 3 4
........................
L = (1- ) 1 + 2 + 3 + 4 +
2 3
......................
L
=
(1- ) ( + + + +
2 3 4
......................
VALOR ESPERADO DE CLIENTES
EN EL SISTEMA
donde ( + + + + + )
2 3 4 5
..........
es progresin
geomtrica
Suma de la
progresin
geomtrica

i=1
n
a
i
=
a ( 1 - a )
n
1 - a
Por lo tanto L (1- )
=
(1- )
1 -
n
como <
1 (condicin de estado estable)
<
1
n
0 si n
8

Operaciones 2, Ingeniera Comercial,
Universidad Catlica de Valparaso
Pablo Diez Bennewitz 7
VALOR ESPERADO DE CLIENTES
EN EL SISTEMA
En consecuencia
L (1- )
=
1 -
derivando:
L =
(1- )
(1- ) - (-1)
(1- )
2
L
=
(1- )
1
(1- )
2 L =
1 -
reemplazando
=


L


-
=
PROPIEDADES
Tambin se pueden demostrar:
W =

-
1
L
=
W
Lq Wq
=

Wq
=

( )
-
-


Lq
=
( )

2
Si se dispone de los valores de y , entonces es
posible conocer a cada una de las variables
principales de los modelos de colas: L, W, Lq, Wq

RELACION ENTRE W y Wq
W = Wq + Ws
Ws Tiempo medio de la prestacin del servicio
Se define
que es un valor a priori
desconocido
Ws = W - Wq
Ws
=


-
1
-
-

( )
1

Ws =
( )



-
-
=

W Wq +
1

=
VALOR ESPERADO DEL TIEMPO
DE ATENCION DE UN CLIENTE
Se puede demostrar de acuerdo a las frmulas
planteadas en las propiedades anteriores
W
=
-


1
W = Wq + Ws
=
W Wq +

1
Pero tambin se puede obtener mediante W = E(w)
determinando la distribucin de probabilidades de w
Recuerdo:
w es el tiempo especfico que tarda un
cliente en el sistema. Es una variable
aleatoria
VALOR ESPERADO DEL TIEMPO
DE ATENCION DE UN CLIENTE
Consideremos la probabilidad de que un cliente
tarde ms de un tiempo T en salir del sistema
Sea Sn+1 = T1 + T2 + T3 + .............. + Tn + Tn+1
Sn+1 es la suma de los tiempos de atencin de los
n clientes que ya estaban en el sistema, ms el
tiempo de atencin del n+1 cliente, que acaba de
ingresar al sistema
donde T1, T2, T3, ........... son variables aleatorias
independientes que tienen
una distribucin exponencial
PROPIEDAD REPRODUCTIVA
Por una propiedad reproductiva, la suma de las
variables aleatorias con distribucin exponencial,
tiene una distribucin de probabilidades gamma
Sn+1 tiene una distribucin gamma
Entonces
P (w t)
n=0

8

= >
Pn P(Sn+1 t)
>
P (w t) considera dos supuestos
>
Al ingresar el cliente al sistema, ste est ocupado
El tiempo de espera en la cola ms el tiempo de
atencin del cliente sea mayor que t
Operaciones 2, Ingeniera Comercial,
Universidad Catlica de Valparaso
Pablo Diez Bennewitz 8
VALOR ESPERADO DEL TIEMPO
DE ATENCION DE UN CLIENTE
Reemplazando las frmulas de Pn y , y
despus de mucho trabajo algebraico se llega a:
P(Sn+1 t)
>
> P (w t)
=
e
-
1 -


t
,si t 0 >
w tambin tiene una distribucin exponencial !!!
E(w)
=
1

-
1 -


W E(w)
= =
1
-

UNIDADES DIMENSIONALES
W (tiempo)
L (clientes)
(clientes / tiempo)
(clientes / tiempo)

(tiempo / clientes)

(tiempo / clientes)




1
1
NOMENCLATURA
Un modelo de colas se caracteriza
por los siguientes smbolos:
Tiempo entre
llegadas, que
se asocia a una
distribucin
exponencial (la
tasa de llegada
es poisson)
Tiempo de servicio,
que es exponencial
Cantidad de
servidores
en paralelo
Cantidad en la
poblacin potencial
(poblacin finita)
Cantidad admisible
en el sistema
(capacidad finita)
M / M / S / K / N
MODELOS DE COLAS
Segn se combinen las diferentes caractersticas
(poblacin finita o infinita, uno o ms servidores,
capacidad admisible finita o infinita), se da origen
a una combinacin de distintos modelos de colas:
Modelo M / M / 1
Modelo M / M / S
Modelo M / M / 1 / K
Modelo M / M / S / K
Modelo M / M / 1 / N
Modelo M / M / S / N
MODELOS DE COLAS
Si el modelo de colas tiene capacidad admisible
finita, entonces el modelo se denota con la letra K

Si el modelo de colas atiende a una poblacin
finita, entonces el modelo se denota con la letra N

Cuando el modelo de colas tiene tanto poblacin
finita como capacidad admisible finita, entonces el
modelo se denota con letra N (si hay poblacin
finita, se asume capacidad admisible finita)
S SERVIDORES EN PARALELO
Si existen S servidores, pero se forma una sola
cola para requerir el servicio, que es suministrado
por el servidor que se desocupe primero,
entonces estamos en el caso de servidores en
paralelo

Ejemplos de esto son algunos bancos, algunos
locales de pago de ciertos servicios pblicos,
algunas fiambreras de los supermercados, etc

Este caso corresponde al modelo M / M / S
Operaciones 2, Ingeniera Comercial,
Universidad Catlica de Valparaso
Pablo Diez Bennewitz 9
0 1 2 S

2
3 S


.....
Si los servidores tienen todos la misma tasa de
servicio constante , entonces hay un aumento
proporcional en la tasa de prestacin del servicio
de las sucursales a:
S SERVIDORES EN PARALELO
n , si n S
S , si n S


>
<
S+1 S+2 ....

S S

MODELO M / M / S
Segn el balance de entradas y salidas a cada
estado del sistema, en flujo estable:





Pn
=
n-1 n-2
n
2
3
1
2
0
1
P0
En este caso:
1
n-1
2 0 = = = = = 3 n-1 =
n Pero:


=
=
n , si n S
S , si n S
s
<
>
Condicin de estado estable


S
<
1
Se obtiene:
Pn


n
n


S !
n !
S
(n-s)
; si n S


; si n S
>
n
n
<
Para determinar : P0 P0 + P1 + P2 + P3 + ......... = 1
P0 +



1 !
+
2
3 2
2 !
+
3
3 !
+
+
S
S+1 S
S !
+
P0
P0
P0 P0 P0
P0
S+1
S ! S
1 2
P0 + P0
S+2
S+2
S S !
+ = 1
MODELO M / M / S MODELO M / M / S
Factorizando:
P0

n=0
S-1



n-s
S n
1
n !
+
1
S !


8

8

n=s
S
n-s
=
1
Adems:
n=s
S
Es una progresin geomtrica
cuyo resultado es:
n-s
S
1

=
S


n=s
8

1 -
Finalmente, se obtiene P0
S-1

n=0


n
1
n !
+
S !
1

S
1
-


S
1
1
P0
=
MODELO M / M / S MODELO M / M / S
Asimismo, con los valores de P0, P1, P2, ........., Pn
es posible obtener el valor de L
L = 0P0 + 1P1 + 2P2 + ...........
(S - 1) !
S


S+1
P0
-


+


=
L
2
Lq


+
L Lq
=
cumplindose:
Operaciones 2, Ingeniera Comercial,
Universidad Catlica de Valparaso
Pablo Diez Bennewitz 10
MODELO M / M / S
Usando las frmulas tradicionales, es posible
obtener las dems variables de inters
Wq
=
=
Lq

Wq W +
1

P (w > t)


t
-
e
1
-


S 1


S
P0


-
1 S !
=
S 1 - -
- -
+ 1
t
-
e
SISTEMA DE COLAS CON
CAPACIDAD FINITA
Con capacidad admisible finita significa que el
sistema puede contener como mximo K
clientes, por lo tanto se asume que:
n =
0 si n > K
Existen dos modelos de colas con capacidad finita:
Modelo M / M / 1 / K : Caso de un solo servidor
Modelo M / M / S / K : Con S servidores en paralelo
Un solo servidor y capacidad admisible finita
0 1 2


K
0
MODELO M / M / 1 / K

.....
S = 1
n =
n =


Ejemplos de modelos M/M/1/K son
un mdico que atiende con una
consulta particular independiente o
el taxi colectivo en hora vespertina
MODELO M / M / 1 / K
Pn


n
P0
; si n K

; si n K
0 >
<
P0


1
-
-
=
1


K+1
Se obtiene
por suma de
progresin
geomtrica
MODELO M / M / 1 / K








K+1
K+1
1
L
=
-
-
( K+1 )
1 -
Lq = L ( 1 ) Como S = 1 P0 - -
MODELO M / M / 1 / K
En un modelo de cola con capacidad finita sucede:

n

0
si n K

si n K
<
>
Por lo tanto, corresponde: W
= =
L

Wq
Lq

donde
=
n=0

8

n
Pn
K-1

n=0
= Pn con
n=0
K-1
Pn
=
( 1 - Pk )
Operaciones 2, Ingeniera Comercial,
Universidad Catlica de Valparaso
Pablo Diez Bennewitz 11
MODELO M / M / 1 / K
Luego:
donde
Pk
=


P0
K
Finalmente:
L
K
P0


( 1 )
-
=
W
=
( 1 - Pk )
MODELO M / M / S / K
El sistema de S servidores en paralelo con
capacidad finita no permite ms de K clientes, por
lo que K es el nmero mximo de servidores que
pueden necesitarse. Suponiendo S < K, hay varios
servidores (S) y un lmite en la capacidad del
sistema (K)

Un ejemplo de esto es la sala de emergencia de un
hospital: el sistema tendra una capacidad
admisible finita, si solo hay K camillas para los
pacientes y, si la poltica del hospital es derivar a
los pacientes que llegan hacia otro hospital
cuando no hay lugares disponibles
0 1 2 S

2 3 S


..... S+1 K ....

S S

S
0
MODELO M / M / S / K
Ejemplos de modelos M/M/S/K son las secciones
de maternidad y urgencia en un hospital o
algunos centros integrales de belleza
Pn


n
n


S !
n !
S
(n-s)
; si n S


; si S n K

; si n K
>
n
<
P0
P0
< <
0
MODELO M / M / S / K
n
Para obtener , se utiliza un mtodo bastante
similar al del modelo M / M / S
P0
S

n=0


n
1
n !
+
S !
1

S


S
1
P0
=

n =S+1
K S n
-
MODELO M / M / S / K
(S-1)! S


s+1
P0
-


+


=
2
Lq


1
-
S
(k-s)
-
(K-S)
S

(k-s)
-
1
S
Adaptando la derivacin de Lq del modelo M / M / S
al caso actual de M / M / S / K se llega a:
MODELO M / M / S / K
L
=
n=0
S-1
n Pn + Lq + S 1 -

n=0
S-1
Pn
Operaciones 2, Ingeniera Comercial,
Universidad Catlica de Valparaso
Pablo Diez Bennewitz 12
MODELO M / M / S / K
Como modelo de cola con capacidad finita, ocurre:

n

0
si n K

si n K
<
>
Por lo tanto, corresponde: W
= =
L

Wq
Lq

donde
=
n=0

8

n
Pn
K-1

n=0
= Pn con
n=0
K-1
Pn
=
( 1 - Pk )
MODELO M / M / S / K
Luego:
donde
Pk
=


P0
K
Finalmente:
L
K
P0


( 1 )
-
=
W
=
( 1 - Pk )
SISTEMA DE COLAS CON
POBLACION FINITA
La fuente de entrada o poblacin potencial es finita
Se define el tamao lmite de la poblacin como N
Cuando el nmero de clientes en el sistema de colas
es n (n = 0, 1, 2, ......, N) existen slo (N - n) clientes
potenciales restantes en la fuente de entrada
Poblacin
Potencial
N
n clientes en el sistema

(N - n) clientes potenciales
afuera
SISTEMA DE COLAS CON
POBLACIN FINITA
Este problema tiene mltiples aplicaciones en el
flujo de recursos materiales de la cadena logstica
Una de sus aplicaciones ms importante es el
problema de reparacin de mquinas o
mantencin de computadores, donde se asigna a
uno o ms mecnicos la responsabilidad de la
mantencin de N computadores, dando servicio a
cada uno de los que se descomponen.
SISTEMA DE COLAS CON
POBLACIN FINITA
Los computadores constituyen la poblacin
potencial Cada uno es un cliente en el sistema de
colas cuando est descompuesto en espera de
ser reparado, mientras que cuando est en
operacin normal est afuera del sistema, pues
no est en reparacin.
Cada tcnico asistente o cuadrilla de tcnicos es
un servidor, que trabaja la mantencin en una
solo computador a la vez.
Un solo servidor y poblacin finita
0 1 2 3


N

N (N-1)
MODELO M / M / 1 / N
(N-2)

(N-3)
.....
S = 1
n =
n

(N - n) ,si n N
0 ,si n N
<
>
Operaciones 2, Ingeniera Comercial,
Universidad Catlica de Valparaso
Pablo Diez Bennewitz 13
Esquema suponiendo poblacin finita N = 5
0 1 2 3


4 5

2 3 5 4
MODELO M / M / 1 / N
Otros ejemplos de modelos M/M/1/N son el mdico
que atiende enfermos de patologas escasas o el
alumno AII con sus optativas de final de semestre
Para el esquema con N = 5, y usando las ecuaciones
de balance de estado estable en cada estado:
MODELO M / M / 1 / N
Estado 0
Estado 1
Estado 5
P1
P1 P1

=
=
=
P0




+ P0 P2
P4
+
P5
5
4 5
De acuerdo a una situacin general, con un total
de N estados (poblacin finita) se obtienen P0 y Pn
.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

S-1

n=0


n
N !
1
P0
=
(N - n) !

n

Pn
=
(N - n) !
P0
MODELO M / M / 1 / N
N !
Lq (n - 1) Pn
=

n=1
N
Como
Lq = L - (1 - P0)
L N
= -


(1 - P0)
MODELO M / M / 1 / N
En un modelo de cola con poblacin finita sucede:

n

0
si n N

si n N
<
>
Por lo tanto, corresponde: W
= =
L

Wq
Lq

donde
=
n=0

8

n
Pn
K-1

n=0
= Pn
(N - n)
(N - n)
=
( N L )
-
0 1 2 S-1



N


N (N-1) (N-2)

(N-S+2)
.....
S > 1
n


n


(N - n) ,si n N
0 ,si n N
<
>
2
3 2 (S-1) S
S
(N-S+1)

(N-S)
S

S S
N-1 .....
Varios servidores (S > 1) y poblacin finita (N)
Se asume S < N
MODELO M / M / S / N

n
S
,si n S
,si n S
<
>
MODELO M / M / S / N
Con las ecuaciones de balance de estado estable:
Es la misma frmula del modelo M / M / S / K, solo que
ahora se multiplica por la combinatoria del nmero
de clientes (n) sobre la poblacin potencial (N)
Pn


n

S !
n !
S
(n-s)
; si n S


; si S n N

; si n N
>
n
<
P0
P0
< <
0
(N - n) !
N !
(N - n) !
N !
Operaciones 2, Ingeniera Comercial,
Universidad Catlica de Valparaso
Pablo Diez Bennewitz 14
MODELO M / M / S / N
Adems:
S-1

n=0


n
N !
1
P0
=
(N - n) !
+

N
n=S
(N - n) !


n
S ! S
(n-s)
N !
Lq (n - S) Pn
=

n=S
N
L
=
n=0
S-1
n Pn + Lq + S 1 -

n=0
S-1
Pn
Despus se pueden obtener W y Wq con las
mismas ecuaciones que en el caso de un servidor