You are on page 1of 62

TEORÍA DE COLAS Y STOCKS

2
ÍNDICE
ELEMENTOS DE TEORÍA DE COLAS.....................................................................................................4
Descripción de un sistema de colas..........................................................................................................4
SALIDAS...................................................................................................................................................4
El proceso de Poisson y la distribución exponencial ................................................................................5
Variables asociadas a un sistema de colas..............................................................................................11
Notación de Kendall................................................................................................................................12
Cola determinística..................................................................................................................................14
COLAS TIPO M/M/1..................................................................................................................................16
Comprobación de la distribución de las llegadas...................................................................................16
Estudio de la cola....................................................................................................................................18
Medidas de eficacia en estado estacionario............................................................................................23
Fórmulas de Little...................................................................................................................................24
Ejemplos..................................................................................................................................................25
COLAS TIPO M/M/C.................................................................................................................................27
Estudio de la cola....................................................................................................................................27
Medidas de eficacia en estado estacionario............................................................................................31
Ejemplos..................................................................................................................................................32
Cola tipo M/M/C/K.................................................................................................................................39
Cuadro resumen.......................................................................................................................................41
COLAS TIPO M/G/1...................................................................................................................................42
Estudio de la cola....................................................................................................................................42
Fórmula de Pollaczek-Kintchine.............................................................................................................44
Distribución estacionaria en los puntos de salida...................................................................................47
Ejemplos..................................................................................................................................................48
Colas tipo M/Ek/1...................................................................................................................................50
Colas tipo M/G/1/N.................................................................................................................................51
COLAS CON PARÁMETROS VARIABLES...........................................................................................52
Caso general............................................................................................................................................52
Cola con desaliento.................................................................................................................................53
Cola binomial..........................................................................................................................................53
Cola con desaliento dependiente del tiempo de servicio.......................................................................54
Cola con tasa de servicio dependiente del estado...................................................................................55
Cola con servidor adicional cuando la cola es grande...........................................................................56
Colas con pérdidas...................................................................................................................................56
Problema de las máquinas.......................................................................................................................58
REDES DE COLAS....................................................................................................................................60
Redes de colas abiertas............................................................................................................................60
Redes de colas abiertas............................................................................................................................61
Redes de colas cerradas...........................................................................................................................62
Redes de colas cíclicas............................................................................................................................63

3
ELEMENTOS DE TEORÍA DE COLAS
Descripción de un sistema de colas
La teoría de colas aparece a principios del presente siglo para estudiar los
problemas de congestión de tráfico que se presentaban en las recientemente
inventadas comunicaciones telefónicas. Entre 1903 y 1905, Erlang es el
primero en tratar el tráfico telefónico de forma científica, y establece la unidad
de tráfico telefónico, que recibe su nombre. Posteriormente esta teoría se ha
aplicado a multitud de problemas de la vida real, como el tráfico de
automóviles, la regulación de semáforos en una ciudad, la determinación del
número de cajeros en los hipermercados, o el control de los tiempos de espera
de los procesos que acceden al procesador de un ordenador que trabaja en
tiempo compartido.

Lo elementos más importantes de un sistema de colas son: las llegadas, la


cola, el servicio y la salida.

LLEGADAS SALIDAS
COLA SERVIDOR /ES
TASA TASAS

En general, un sistema de colas consiste en uno o varios servidores que


prestan un servicio a uno o varios usuarios que acceden al sistema. El
proceso de llegadas lo regula una fuente generadora de usuarios y, en
general, estas llegadas serán de forma aleatoria. Esta fuente generadora de
usuarios puede ser finita o infinita.

Interesa saber cuál es el intervalo de tiempo entre las llegadas de dos usuarios
consecutivos. Además, según cómo sea el proceso de llegadas, los usuarios
pueden llegar individualmente o en grupos.

Si cuando un usuario llega al sistema el servidor está libre, se le da servicio. Si


el tiempo de servicio es mayor que el intervalo entre llegadas, el siguiente
usuario, cuando accede al sistema, encuentra que el servidor está ocupado,
por lo que debe quedar en espera, formando la cola.

4
Otra cuestión importante es saber cuánto tiempo debe esperar un usuario que
llega al sistema hasta que recibe el servicio, lo cual entra dentro del concepto
QOS (Quality of Service, calidad de servicio). Cuando en la cola hay más de un
usuario, al quedar el servidor libre hay que determinar cuál de los usuarios en
espera será el que pase a recibir servicio. Es decir, es necesario un proceso
para decidir qué usuario va a ser llamado de la cola; esto es lo que se llama
disciplina de la cola. Los modelos más importantes son los siguientes:

FIFO (First-In-First-Out): se le da servicio al primero que ha llegado, de forma


que la cola está ordenada según el orden de llegada de los usuarios.

LIFO (Last-In-First-Out): se le da servicio al último que ha llegado, de forma


que la cola está ordenada en orden inverso al de llegada de los usuarios.

SIRO (Service-In-Random-Order): Se sortea aleatoriamente cuál de los


usuarios en espera accederá al servicio.

No obstante, otro procedimiento para establecer la disciplina de la cola puede


ser el de establecer determinadas prioridades a los diferentes usuarios según
algunas de sus características.

En sistemas finitos, en los que el número de usuarios en espera es limitado, es


necesario establecer además qué sucede con aquellos usuarios que acceden
al sistema cuando la cola de espera está completa. Por último, en los sistemas
en que los usuarios son humanos, hay que tener en cuenta otros factores
propios del comportamiento humano como el hecho de que hay individuos que
no respetan el orden establecido en la cola o bien que hay usuarios que, a la
vista de la cola, renuncian a acceder al sistema.

Otra característica importante de un sistema de colas es el diseño de la


ejecución del servicio. El servicio puede estar ejecutado por uno o varios
servidores. Si el tiempo que tardan los usuarios en salir del sistema es mayor
que el intervalo entre llegadas, la cola aumentará indefinidamente y el sistema
puede llegar a colapsarse. Por tanto es necesario diseñar el sistema de forma
que el tiempo de servicio sea igual o menor que el intervalo entre llegadas. En
esta situación es importante saber cuánto tiempo va a estar un servidor
inactivo, tiempo que ha de ser mínimo para optimizar el rendimiento del
sistema. No obstante, en la mayoría de los sistemas la duración del servicio es
también una magnitud aleatoria.

Por último, los usuarios que salen del sistema pueden hacerlo al exterior o
pueden integrarse en otro sistema similar, en cuyo caso se habla de colas
enlazadas o redes de colas.

El proceso de Poisson y la distribución exponencial


En la mayoría de los sistemas de colas, el proceso de llegadas sigue una
distribución de Poisson. Se demuestra que si se da esta circunstancia, la
duración de los intervalos entre llegadas tiene una distribución exponencial o

5
una combinación continua de exponenciales, es decir, una distribución gamma,
que recibe el nombre de distribución erlangiana, o distribución K.

En efecto, si llamamos

Pn ( t )

a la probabilidad de que en un tiempo t el número de usuarios que acceden al


sistema sea n y esta probabilidad sigue una ley de Poisson de la forma:

( λt ) n
Pn ( t ) = e −λt
n!

entonces, la probabilidad de que el tiempo entre llegadas sea mayor o igual a


T (que es igual a la probabilidad de que no haya ninguna llegada en un
intervalo de duración T ), es:

P( t ≥ T ) = P0 (T ) = e −λT

Por tanto, la probabilidad de que el intervalo entre llegadas sea menor o igual a
T es:

P( t ≤ T ) =1 −e −λT

que es una ley de distribución exponencial. En estas condiciones, el valor


medio del intervalo entre llegadas será:

1
E[ T ] =
λ

donde λ es el número de llegadas por unidad de tiempo, que recibe el


nombre de tasa de llegadas.

La distribución exponencial tiene la propiedad de pérdida de memoria:

P( t > T + S ; t > S ) P( t > T + S ) e −λ( T +S )


(
P t >T +S t > S = ) P( t > S )
=
P( t > S )
=
e −λS
= e −λT = P( t > T )

Puesto que el número de llegadas en un intervalo de tiempo es una magnitud


completamente aleatoria que sigue un proceso de Poisson, es claro que el
proceso de llegadas es un proceso de nacimiento puro. Por tanto, el proceso
de servicio se debe diseñar de forma que su duración sea de forma
exponencial pura, es decir, como un proceso de muerte pura. De esta forma, el
sistema de colas podrá estudiarse como un proceso de nacimiento y muerte.

A continuación veremos algunos ejemplos de manejo de las distribuciones de


Poisson y exponencial.

6
Supongamos un ordenador al que llegan dos tipos de trabajos, largos y cortos,
según distribuciones de Poisson independientes con parámetros λ L y λ C ,
respectivamente. Se pide:

Probar que la probabilidad de que lleguen exactamente m trabajos cortos


entre dos largos es:

m
λ L  λC 
 
λL +λC λL +λC

Suponiendo que en un cierto intervalo llegan al ordenador n trabajos, ¿cuál


es la probabilidad de que k de ellos sean del tipo corto?

Supongamos que el primer trabajo largo llega en un instante t 1 = 0 ; el segundo


trabajo largo llegará en otro instante t 2 = t . La longitud t de este intervalo
será la realización de una variable exponencial de parámetro λ L . Llamaremos
C
N 0, t al número de trabajos cortos que llegan en ese intervalo. La probabilidad

pedida es:

( ) ( )

P N 0C,t = m = ∫ P N 0C,t = m T = t ⋅ f T ( t ) dt
0

donde f T ( t ) es la exponencial antes referida. Entonces:

e −λ C t ( λ C t )
m

( ) ∫

P N 0C,t = m = ⋅ λ L e − λ L t dt =
0 m!
λ mC λ L ∞ ( λ C + λ L ) m+1
=
( λC + λ L ) m +1 ∫ 0 m!
t m e − ( λC + λ L ) t dt

7
Por otra parte, la función Gamma responde a la siguiente expresión:

( ρ) = ∫x
ρ−
Γ 1
e −x dx
0

y una de sus propiedades es que se cumple:

Γ( ρ +1) = ρ ⋅ Γ( ρ )

por tanto, recursivamente, resulta:

Γ( ρ +1) = ρ!

Si hacemos ρ = m +1 y x = at , tenemos
∞ ∞
Γ( m +1) =

0
( at ) m e −at a ⋅ dt =
∫a 0
m +1 m
t e −at dt =m!

y, por tanto,


a m +1 m −at
∫0 m!
t e dt = 1

de donde, haciendo a = λL + λC , obtenemos que

(
P N 0C,t = m = ) λ mC λ L
( λC + λ L ) m
En respuesta a la segunda cuestión, el número total de trabajos que llegan al
ordenador en un cierto intervalo será:

N 0L,t + N 0C,t

que, por ser ambas distribuciones independientes, será una distribución de


Poisson de parámetro λ L + λ C . Por tanto, la probabilidad pedida será:

(
P N 0C,t = k ; N 0L,t + N 0C,t = n )=
(
P N 0C,t = k N 0L,t + N 0C,t = n = ) (
P N 0L,t + N 0C,t = n )
e − λ Ct ( λ c t ) e − λ Lt ( λ L t )
k n− k

=
(
P N 0C,t = k ; N 0L,t = n − k )= k!

( n − k) !
=
(
P N 0L,t + N 0C,t = n ) e
−( λ L +λ C
[( L C ) ]
)t λ + λ t n

n!

8
k n− k
λ kC λ nL− k n !  n λ kC λ nL− k  n  λ C   λ L 
= =   =   ⋅  ⋅ 
( λ L + λ C ) n ( n − k) ! k !  k ( λ L + λ C ) n  k  λ L + λ C   λ L + λ C 
que corresponde a una distribución binomial de parámetros:

 λC 
Bin n , 
 λ L +λC 

Segundo ejemplo:

El tiempo de vida de un tubo fluorescente hasta que deja de funcionar es una


exponencial de parámetro 10 horas. Una persona entra en una habitación
mientras el tubo fluorescente está funcionando. Si quiere trabajar cinco horas,
¿cuál es la probabilidad de que finalice su trabajo antes de que el fluorescente
deje de funcionar? ¿Si la vida del fluorescente no fuese exponencial, cuál sería
la probabilidad anterior?

Si llamamos t al tiempo de vida del tubo fluorescente, la probabilidad pedida


es:

− 21
P( t > 5) = 1 − P( t ≤ 5) = 1 − F (5) = e −5λ = e = 0.6065

Si el tiempo de funcionamiento no es exponencial, puede ser que siga una


distribución con memoria. Por tanto, en general:

1 − F (t + 5)
(
P T > t +5 T > t = ) F (t )

9
Tercer ejemplo:

En un equipo de música compuesto por radio y altavoz, el tiempo de vida de la


radio es exponencial de parámetro 1000 horas y el del altavoz es exponencial
con parámetro 500 horas. ¿Cuál es la probabilidad de que falle antes la radio?

Si llamamos X 1 al tiempo de vida de la radio y X 2 al del altavoz, la


probabilidad pedida es:
∞ ∞
P( X 1 < X 2 ) =

0
(
P X1 < X 2 X 2 =x ⋅ f ) X2 ( x ) ⋅dx =
∫ P( X
0
1 < x ) ⋅λ2 e −λ2 x ⋅dx =

=
∫ (1 −e λ ) ⋅λ e λ ⋅dx
0
− 1x
2
− 2x
=
∞ ∞

∫ ∫e
= λ e λ dx −λ
− 2x (λ − 1+ 2 λ )x
dx
2 2
0 0

Como la primera integral es igual a uno, tenemos:

λ2 λ1 1
P( X 1 < X 2 ) = 1 − = =
λ1 + λ 2 λ1 + λ 2 3

Último ejemplo:

Consideremos un punto fijo en una autopista. Sean U 1 , U 2 , ... la sucesión de


tiempos entre llegadas de vehículo a este punto. Supongamos que U 1 , U 2 , ...
son variables aleatorias independientes e idénticamente distribuidas, con
distribución:

P( U k ≤ t ) = 1 − e −λt − λte −λt

Calcular la distribución del número de vehículos que pasan por ese punto fijo
durante el intervalo de tiempo ( 0, t ) .

Llamemos N t al número de vehículos que pasan por el punto durante un


intervalo de duración t y Tn al instante en el que pasa el n-ésimo vehículo.
Entonces la probabilidad de que el n-ésimo vehículo pase dentro del intervalo
( 0, t ) es igual a la probabilidad de que el número de vehículos que pasa
durante el intervalo sea mayor que n :

e − λt ( λ t )
n −1 k
P( Tn ≤ t ) = P( N t ≥ n) = 1 − ∑ k!
para t ≥ 0
k =0

Una variable aleatoria Tn que tiene una distribución de este tipo, se dice que
sigue una distribución de Erlang de parámetros ( λ, n) ; en concreto, las
variables U k siguen una distribución de Erlang de parámetros ( λ,2) .

10
Variables asociadas a un sistema de colas
Para poder analizar los diferentes sistemas de colas, es necesario definir
previamente las variables que afectan a dicho sistema. Consideraremos en
primer lugar las variables asociadas a un usuario. Llamaremos t k al instante
en que se produce la llegada del k-ésimo usuario al sistema y τ k al tiempo
transcurrido desde la llegada del (k-1)-ésimo usuario y el k-ésimo; es decir:

τ k = t k − t k −1

Llamaremos w k al tiempo de espera en la cola, s k al tiempo de duración del


servicio y rk al instante de salida del sistema, todo ello referido al k-esimo
usuario. Si llamamos n k al número de usuarios que hay en el sistema cuando
llega el k-ésimo y si suponemos que el sistema tiene un solo canal de servicio,
podemos escribir:

ya que, en efecto, la espera del k-ésimo elemento finalizará cuando el (k-1)-


ésimo finalice el servicio y abandone el sistema. Por otra parte, se puede
comprobar que el tiempo de espera también es:
nk
wk = ∑s
i =1
k −i + wk −nk + t k −nk − t k

En efecto, cuando el k-ésimo usuario llegó al sistema, en éste había n k


usuarios; el primero de estos usuarios en el sistema en el instante t k , es
decir, el ( k − n k ) -ésimo usuario, comenzó a recibir servicio en el instante.

y a partir de este instante comenzaron los servicios a los usuarios ( k − nk −1) ,


( k − nk − 2) , ... , hasta el ( k −1) -ésimo, momento en el cual finalizará la espera
del k-ésimo usuario. Si generalizamos la anterior expresión en función del
primer usuario del sistema, se puede escribir:

k −1
wk = t1 + ∑ si − t k
i =1

que es una expresión muy útil, ya que en el caso de que el sistema tenga C
canales de servicio, tenemos:

11
donde t i es el tiempo de llegada del primer usuario a cada canal de servicio y
sil es el tiempo de duración del servicio al l -ésimo usuario del i -ésimo canal
de servicio. Todo lo anterior quiere decir que, conocidos los tiempos de llegada
y la duración del servicio a cada usuario, se puede reconstruir toda la historia
de la cola.

Una vez vistas las variables asociadas al usuario, vamos a definir otras
variables asociadas a un instante de tiempo t . Éstas son:

n( t ) número de usuarios en el sistema en el instante t.


nq (t ) número de usuarios en cola.
n s ( t ) número de usuarios en servicio.
nCL ( t ) número de canales libres.

Es evidente que se cumplen las siguientes relaciones:

n(t ) = nq (t ) + ns (t )
 nq (t ) = 0
n(t ) ≤ C⇒ 
 nC L(t ) = C − ns (t )
 nq (t ) = n(t ) − C

n(t ) > C⇒  ns (t ) = C
n = 0
 CL
Otras variables asociadas a un instante son:

X ( t ) número de usuarios que han llegado al sistema hasta el instante t .


Y ( t ) número de usuarios que han accedido al servicio hasta el instante t .
Z ( t ) número de usuarios que han salido del sistema hasta el instante t .

También en este caso son evidentes las relaciones:

n( t ) = X ( t ) − Z ( t )
nq ( t ) = X ( t ) − Y ( t )
Y ( t ) = n s ( t ) + Z (t )
X (t ) = k ⇔ t ∈[ t k , t k +1 ]
Y (t ) = k ⇔ t ∈[ t k + wk , t k +1 + wk +1 ]

Notación de Kendall

12
De las relaciones expuestas en el apartado anterior se desprende que si
conocemos las series:

{ tk } { sk }
y el número de canales C tenemos toda la información necesaria para
describir la cola. Por eso, para describir un sistema de colas se emplea la
notación de Kendall, que consiste en un grupo de letras y números de la forma:

A/B/C/m/d

donde cada uno de los dígitos tiene el siguiente significado:

A designa el proceso de llegadas; más concretamente, describe el tipo de


distribución del tiempo entre llegadas. Si este proceso es markoviano de tipo
Poisson-exponencial, en este lugar se colocará la letra M. Si el proceso es
determinístico, se colocará la letra D y la letra G si las llegadas son de otro
tipo.

B designa el proceso de servicio; es decir, describe la distribución del


tiempo de servicio y, por tanto, de las salidas del sistema. Se colocará la letra
M si este proceso es markoviano, D si es determinístico y G si es de otro tipo.
En todos los casos supondremos que la duración del tiempo de servicio es
independiente de la distribución de las llegadas.

C número de canales de servicio ó número de servidores.

m número máximo de usuarios simultáneos que se admiten en el sistema.


Si esta capacidad es infinita, se omite.

d disciplina de la cola, es decir, proceso de decisión de cuál de los


usuarios en espera va a pasar a recibir servicio, tal y como se describió en la
página 3. Por omisión se considera una cola tipo FIFO.

13
Cola determinística
Vamos a estudiar una cola en la que los tiempos de llegada y de servicio son
determinísticos; es decir, una cola que responde a la notación de Kendall
D/D/1. Más concretamente, vamos a estudiar el caso en que las llegadas y los
tiempos de servicios son constantes.

Supongamos que los usuarios llegan en intervalos de duración a (por tanto, la


tasa de llegadas es 1 a ) y que los servicios se producen en intervalos de
duración b (tasa de servicios igual a 1 b ). Es decir:

τk =tk − 1 =
tk− a ∀k
sk =b ∀k

Si suponemos que en t = 0 hay i usuarios en el sistema, los tiempos de


llegada son:

y los tiempos de espera en cola:

 (k − 1)b s i k ≤ i

wk =  0 s i k > i y n k = 0
 (k − 1)b − (k − i)a s i k > i y n > 0
 k

de forma que si la tasa de servicio es igual a la de llegadas, b = a , no habrá


nunca espera si la cola está vacía; si la cola no está vacía, ésta será siempre
de longitud constante. En cambio, si el tiempo de servicio es mayor que el
intervalo entre llegadas, b > a , la cola crecerá indefinidamente; en este caso,
el tiempo de espera será:

 (k − 1)b s i k ≤ i
wk = 
 (k − 1) b(− a) s i k > i
A la expresión ( k −1)( b − a ) se le llama factor de crecimiento, y aumenta de
forma directamente proporcional a k .

14
Otras variables correspondientes a este tipo de colas son:

número de usuarios que han llegado al sistema hasta el instante t :

t
X (t ) = i + , donde el símbolo indica “parte entera de”.
a

número de usuarios que han accedido al servicio hasta el instante t :

t
Y (t ) = +1
b

t
número de usuarios que han salido del sistema hasta el instante t : Z (t ) = b

Si el tiempo de servicio es menor que el intervalo de llegada, b < a la cola, en


caso de existir, irá disminuyendo progresivamente hasta desaparecer. En este
caso interesa saber cuál es el primer usuario que no tiene que esperar.

Supongamos que éste es el K -ésimo, que accederá al sistema en el instante


t K . Desde ese instante hasta el t K +1 , el número de usuarios que han llegado
al sistema es igual al número de usuarios que han accedido al servicio. Por
tanto:

X (tK ) = Y (tK )
tK tk
i+ = +1
a b

Por otra parte, como t K = ( K − i ) ⋅ a , tenemos:

i + ( K − i) =
( K − i)a +1
b
ib + ( K − i )b = ( K − i ) a + b
Kb = Ka − ia + b

de forma que el primer usuario que no tendrá que esperar será el número:

ia − b
K =
a −b

15
El tiempo de espera de un usuario será:

 ( k − 1) b s i k ≤ i

wk =  (k − 1)b − (k − i)a s i i < k ≤ K
0 s i k = K

y la cola desaparece en el instante:

T = t K + w K = ( K − i ) a + ( K − 1)b − ( K − i ) a = ( K − 1)b

COLAS TIPO M/M/1


Comprobación de la distribución de las llegadas
Como se dijo en el tema anterior, la distribución del número de llegadas en un
sistema de colas del tipo M/M/1 es markoviana según una ley de Poisson, la
distribución del servicio es independiente pero del mismo tipo y el sistema
cuenta con un único servidor.

Al estudiar un sistema de colas en la práctica, es necesario, en primer lugar,


comprobar que en efecto las llegadas son de este tipo. Para ello se procede de
la siguiente forma. Supongamos que se han estudiado las llegadas a un
sistema y ha resultado lo siguiente:

nº de llegadas por 0 1 2 3 4 5 6
hora
frecuencia 10 31 40 20 10 4 6

Es fácil comprobar que el número medio de llegadas por hora es:

n = 2.207

y su cuasivarianza muestral:

sn2 = 2.147

Como se verifica que:

n ≅ sn2

es decir, que la media es sensiblemente igual a la varianza, podemos suponer


que se trata de una distribución de Poisson.

Para mayor precisión podemos efectuar el siguiente procedimiento.

16
Supongamos que en el estudio de otro sistema de colas ha resultado la
siguiente tabla:

n 0-4 5 6 7 8 9 10 11 12 13 14 15 16 >16
fn 0 1 0 3 3 6 5 9 10 11 8 6 1 0

donde n es el número de llegadas por hora y f n la frecuencia absoluta. La


media de esta distribución es n = 11.65 llegadas por hora. Si este proceso de
llegadas siguiera una distribución de Poisson, la probabilidad teórica de
obtener n llegadas por hora sería:

( 11.65) n e −11.65
Pn =
n!

con lo cual, para cada valor de n son de esperar las siguientes ocurrencias:
16
en = Pn ⋅ ∑ f n = 63 ⋅ Pn
n =0

cuyos valores podemos añadir a la tabla de esta forma:

n 0-4 5 6 7 8 9 10 11 12 13 14 15 16 >16
fn 0 1 0 3 3 6 5 9 10 11 8 6 1 0
en 11.3 5.9 6.9 7.3 7.5 6.4 5.3 12.42
9 7 8 7 3 4

(Las celdas que se han unido al comienzo y al final de la distribución de


frecuencias se deben a que, para que la aproximación por intervalos sea
buena, es necesario que en cada intervalo haya al menos 5 observaciones; por
ello se han agrupado ciertos intervalos cuyas frecuencias eran menores a 5).

Para comprobar la hipótesis de que esta distribución sigue una ley de Poisson,
construimos el estadístico de contraste:

( f n − en ) 2
χ2 = ∑
n
en

17
cuyos valores incluimos también en la tabla:

n 0-4 5 6 7 8 9 10 11 12 13 14 15 16 >16
fn 0 1 0 3 3 6 5 9 10 11 8 6 1 0
en 11.3 5.9 6.9 7.3 7.5 6.4 5.3 12.42
9 7 8 7 3 4
χ2 1.64 0 0.5 0.3 0.7 3.2 1.3 2.37
6 6 8 5 3

de forma que obtenemos para el estadístico de contraste el valor:

χ2 =10 .29

Para poder admitir la hipótesis con un nivel de confianza del 95%, es valor del
estadístico de contraste ha de ser menor que el correspondiente al valor de la
distribución de la χ2 para 0.95 y un número de grados de libertad que es:

(número de intervalos)-(número de parámetros)-1=8-1-1=6

valor que resulta ser:

χ 26 (0.95 ) = 12 .602

que es mayor que el calculado para el estadístico de contraste, por lo cual


podemos aceptar la hipótesis de que la distribución dada es de Poisson de
media λ = 11 .65 , con un nivel de confianza del 95%.

Estudio de la cola
En el estudio de un sistema de colas, interesa conocer la probabilidad de tener
n usuarios en el sistema en el instante t , es decir:
Pn ( t ) = P[ n( t ) = n]

y también interesa conocer el límite de esta probabilidad:

lim Pn ( t ) = Pn
t →∞

18
Si este límite existe y es constante, el sistema es estacionario.

Ya dijimos que en un sistema de colas M/M/1 los tiempos de llegadas y de


servicio son independientes y markovianos, con distribución Poisson-
exponencial. Puesto que estas distribuciones son poissonianas, si tomamos un
intervalo de tiempo h suficientemente pequeño, deben cumplir las siguientes
hipótesis:

La probabilidad de que se produzca una llegada en el intervalo ( t , t +h) es de


λh +0(h) , donde la expresión 0( h) indica un infinitésimo de orden menor que
el de h y λ es el parámetro de Poisson o tasa de llegadas (número medio de
llegadas por unidad de tiempo).

La probabilidad de que se produzcan dos o más llegadas en el intervalo


( t , t +h) es de 0( h) .

La probabilidad de que un usuario sea servido en el intervalo ( t , t +h) si el


sistema no está vacío es de µh +0(h) , donde µ es la tasa de servicio
(número medio de usuarios servidos por unidad de tiempo).

La probabilidad de que dos o más usuarios sean servidos en el intervalo


( t , t +h) si el sistema no está vacío es de 0( h) .

Sobre estas hipótesis trataremos de calcular Pn . Para ello veamos que ocurre
con la probabilidad de que en el instante (t + h) el número de usuarios en el
sistema sea n ; es decir:

Pn ( t + h) = P[ n( t + h) = n]

Para que en el instante (t + h) el número de usuarios en el sistema sea n


caben las siguientes posibilidades:

Que hubiera n usuarios en el instante t y que en el intervalo h no haya


llegado ninguno ni se haya servido ninguno:

Pn (t ) ⋅[ 1 − λh + 0(h)] ⋅[ 1 − µh + 0( h)]

Que hubiera n usuarios en el instante t y que en el intervalo h haya llegado


un usuario y se haya servido a un usuario:

Pn ( t ) ⋅[ λh + 0( h) ] ⋅[ µh + 0( h) ]

Que hubiera n +1 usuarios en el instante t y que en el intervalo h no haya


llegado ninguno y se haya servido a un usuario:

Pn+1 ( t ) ⋅[ 1 − λh + 0(h) ] ⋅[ µh + 0( h) ]

19
Que hubiera n −1 usuarios en el instante t y que en el intervalo h haya
llegado un usuario y no se haya servido a ninguno:

Pn−1 (t ) ⋅[ λh + 0(h)] ⋅[ 1 − µh + 0(h) ]

(No es posible que el número de llegadas o servicios en el intervalo h sean


superiores a uno, puesto que entonces h no sería suficientemente pequeño,
lo cual constituye una de las hipótesis que verifica la distribución de Poisson).

Por tanto, la probabilidad de que en el instante (t + h) haya n usuarios en el


sistema será la suma de las cuatro anteriores. Si agrupamos los términos en
0( h) , que tienden a 0( h) si h es suficientemente pequeño, y los términos en
h 2 los hacemos tender a cero, tenemos:

Pn (t + h) = Pn ( t ) ⋅ ( 1 − λh − µh) + Pn +1 (t ) ⋅ ( µh) + Pn −1 ( t ) ⋅ ( λh) + 0( h)

Todo lo dicho es válido para n > 0 . Para el caso en que n = 0 , la expresión


anterior queda:

P0 (t + h) = P0 (t ) ⋅ ( 1 − λh) + P1 ( t ) ⋅ ( µh) + 0( h)

Tomando las dos últimas expresiones, podemos operar de la forma siguiente:

 Pn (t + h) − Pn (t ) = − Pn (t ) ⋅ ( λ + µ ) h + µ h ⋅ Pn+ 1 (t ) + λ h ⋅ Pn− 1 (t ) + 0(h)



 P0 (t + h) − P0 (t ) = − P0 (t ) ⋅ λ h + µ h ⋅ P1 (t ) + 0(h)
Si dividimos ambas por h y tomamos límites cuando h → 0 , tenemos las
siguientes ecuaciones diferenciales:

d
 d t Pn (t ) = − ( λ + µ ) ⋅ Pn (t ) + µ ⋅ Pn+ 1 (t ) + λ ⋅ Pn− 1 (t )

 d P (t ) = − λ ⋅ P (t ) + µ ⋅ P ( t )
 d t 0 0 1

20
Si el sistema es estacionario, es decir, si existe tlim Pn (t ) = Pn y es finito, se
→∞
pueden resolver las ecuaciones diferenciales de la forma:

d
 d t Pn (t ) = 0 = − ( λ + µ ) ⋅ Pn + µ ⋅ Pn + 1 + λ ⋅ Pn − 1
d
 P0 (t ) = 0 = − λ ⋅ P0 + µ ⋅ P1 ⇒ P1 = λ P0
 d t µ
Entonces, para n = 1 será:

λ λ2
µP2 = ( λ + µ) P1 − λP0 = ( λ + µ) P − λP0 ⇒ P2 = P0
µ 0 µ2

Si aplicamos el método de inducción, suponiendo que es cierto para n,


probaremos que es cierto para n +1 :

λn λn −1 λn +1
µPn +1 = ( λ + µ) Pn − λPn −1 = ( λ + µ) P0 − λ P0 = P0
µn µn −1 µn

con lo que se ve que:

λn +1
Pn +1 = P0
µn +1

Naturalmente, como se trata de probabilidades, para que esta solución sea


válida debe ser:


∑Pn =1
n=0

de forma que:

λn
P0 ∑
n =0
µn

21
donde el sumatoria es la suma de los términos de una progresión geométrica
λ
de primer término a = 1 y razón r = . Esta suma, siempre que la razón sea
µ
menor o igual a 1, vale:

a
Σ=
1−r


λn

1
=
µ n λ
n =0 1−
µ

y, entonces:


λn 1 λ
P0 ∑ n =1 ⇒ P0 = ∞ n
= 1−
µ
n=0 µ λ
∑ µn
n=0

λ
lo cual sólo puede ser cierto para µ <1 . A este cociente lo denominamos ρ e
indica la tasa de llegadas por unidad de servicio, y es lo que recibe el nombre
de intensidad de tráfico. Entonces tenemos:

Pn = ρ n P0 = ρ n (1 − ρ)

Si ρ ≥ 1 estamos en el caso degenerado en el que la cola crece


indefinidamente. Si 0 < ρ < 1 entonces, a partir de un determinado momento
tendremos una distribución estacionaria. Es posible demostrar que existe una
distribución estacionaria si y sólo si ρ <1 , es decir si λ < µ , es decir, si la tasa
de llegadas es menor que la tasa de servicio.

22
Medidas de eficacia en estado estacionario
Como anteriormente, veremos algunos parámetros relacionados con los
usuarios y otros relacionados con el tiempo.

Sea N el número de usuarios en el sistema una vez que éste ha alcanzado el


estado estacionario, y sea N q el número de usuarios en la cola en las mismas
condiciones. Entonces, el número medio de usuarios en el sistema es:

∞ ∞ ∞
L = E[ N ] = ∑ nPn = ∑ n(1 − ρ) ρ n = (1 − ρ) ρ∑nρn−1
n =0 n =0 n =0

∞ ∞
1
La expresión ∑ nρn −1 es la derivada de ∑ρ n =
1− ρ
. Por tanto:
n =0 n=0


d  ∞ n d  1  1 L = ( 1− ρ) ρ
1
∑ nρ n −1 =  ∑ ρ  =  =
dρ  n =0  dρ  1 − ρ  ( 1 − ρ) 2

( 1− ρ) 2
n =0

Es decir, que el número medio de usuarios en el sistema en régimen


estacionario es:

ρ 1
L= =
1 − ρ µ −λ

Y el número medio de usuarios en cola será:

∞ ∞ ∞
ρ − ρ(1 −ρ)
[ ]
Lq = E N q = 0 ⋅ P0 + ∑(n −1) Pn = ∑n(1 − ρ) ρ n − ∑(1 − ρ) ρ n
n =1 n =1 n =1
=
1 −ρ

con lo cual:

ρ2 λ2
Lq = =
1 − ρ µ( µ − λ)

También se puede establecer el número medio de usuarios en colas no


vacías:


[ ] ∑ (n − 1) P[ N = n
Lq′ = E N q′ =
n =2
N ≥2 =]
∞ ∞ Lq
P ( N = n) Pn
= ∑(n −1) = ∑( n −1) =
n =2 P ( N ≥ 2) n =2 1 − P0 − P1 1 − P0 − P1

De manera que:

23
ρ2
1− ρ 1
Lq′ = =
ρ 2 1− ρ

Las medidas relativas al tiempo en un sistema en estado estacionario son:

Tq tiempo que un usuario pasa en cola.


Wq tiempo medio que un usuario pasa en cola.

La función de distribución de Tq es:

 0 s ti < 0
( )
P Tq ≤ t =  − (1− ρ )µ t
 1 − ρ e s ti ≥ 0
y su media:

λ
[ ]
Wq = E Tq =
µ( µ − λ)

Fórmulas de Little
Son un conjunto de fórmulas válidas siempre que el sistema sea estacionario y
del tipo M/M/1:

Número medio de clientes en el sistema: L = λW

Número medio de clientes en la cola: Lq = λWq

Como

λ ρ
Wq = =
µ( µ − λ) µ( 1 − ρ)

tenemos:

λ2 ρ2
Lq = =
µ( µ − λ) 1 − ρ

y como

1 1
W = Wq + =
µ µ( 1 − ρ)

24
tenemos:

ρ
L=
1 −ρ

Ejemplos
La ventanilla de un banco realiza las transacciones en un tiempo medio de 2
minutos. Los clientes llegan a la ventanilla con una tasa de 20 clientes por
hora. Si se supone que las llegadas son de Poisson y los servicios
exponenciales, se pide:

Porcentaje de tiempo en que el cajero está ocioso.


Tiempo medio de estancia de los clientes en la cola.
Fracción de clientes que deben esperar.

Si la atención a los clientes dura un promedio de 2 minutos, podemos decir


que la tasa de servicio es de µ = 30 clientes por hora. Como:

λ 2
ρ= = <1
µ 3

podemos afirmar que el sistema es estacionario.

En esta situación, el porcentaje de tiempo que el cajero está ocioso es igual a


la probabilidad de que no haya ningún usuario en el sistema:

P0 = 1 − ρ = 0.3333

luego el cajero estará ocioso un 33.33% del tiempo.

El tiempo medio que un usuario pasa en la cola es:

λ 20
Wq = = = 0.0667 horas
µ( µ − λ) 30 ⋅10

es decir, 4 minutos.

25
Por último, la fracción de clientes que deben esperar es:

ρ2
Lq 1− ρ 2
= =ρ=
L ρ 3
1− ρ

Otro ejemplo: Una tienda de alimentación es atendida por una persona. La


llegada de clientes los sábados es un proceso de Poisson con una tasa de 10
personas por hora y los clientes son atendidos según una política FIFO con un
tiempo medio de servicio de 4 minutos. Se pide:

Probabilidad de que haya cola.


Longitud media de la cola.
Tiempo medio de espera en cola.
Probabilidad de que el cliente esté menos de 12 minutos en la tienda.

La tasa de servicio es de µ =15 clientes por hora. Como λ < µ , el sistema es


estable con ρ = .
2
3

La probabilidad de que haya cola es:

λ
P[ n(t ) > 1] = 1 − P0 − P1 = 1 − P0 − P = 1 −1 + ρ − ρ(1 − ρ) = 0.4444
µ o

La longitud media de la cola será:

4
ρ2 4
Lq = = 9 = = 13
. 333
1− ρ 1 3
3
El tiempo medio de espera en cola:

λ 10
Wq = = = 0.1333 horas
µ( µ − λ) 15 ⋅5

es decir, de 8 minutos.

Por último, la probabilidad de que un cliente está menos de 12 minutos en la


tienda es equivalente a la probabilidad es la probabilidad de que el tiempo de
espera más el de servicio sean menores que 12, lo cual tiene una distribución
exponencial con parámetros [ µ, ( 1 −ρ) ] . Por tanto:

1 12
−15 ⋅ ⋅
P( T < 12 ) = 1 − e −µ(1−ρ) t = 1 − e 3 60 = 0.6321

26
COLAS TIPO M/M/C
Estudio de la cola
De acuerdo con la notación de Kendall, las colas tipo M/M/C corresponden a
sistemas con llegadas markovianas de Poisson, con tiempos de servicio
exponenciales (ambas independientes) y con C canales de servicio o
servidores.

En este caso, si llamamos n al número de usuarios en el sistema en un


instante dado, si es 0 ≤ n < C , entonces la variable aleatoria Z ( t ) que
corresponde al número de usuarios que han salido del sistema (que han
recibido servicio) hasta t se comporta como un proceso estocástico de
Poisson de parámetro ( nµ) . En cambio, si n ≥ C , Z ( t ) se comporta como un
proceso estocástico de Poisson de parámetro ( Cµ) .

Tomando un intervalo de tiempo infinitesimal h , según las mismas hipótesis


que hemos manejado anteriormente, es evidente que:

La probabilidad de que se produzca una llegada en el intervalo ( t , t +h) es


λh +0(h) donde, como ya sabemos, λ es la tasa de llegadas y 0( h) un
infinitésimo del orden de h .

La probabilidad de que se produzcan dos o más llegadas en el intervalo


( t , t +h) es 0( h) .

La probabilidad de que un usuario sea servido en el intervalo ( t , t +h) es:

 0 n =0
si

nµh + 0(h) si 1 ≤ n < C
Cµh + 0(h) si n ≥ C

siendo n el número de usuarios en el sistema en el instante t y µ la tasa de


servicio por cada canal.

La probabilidad de que dos o más usuarios sean servidos en el intervalo


( t , t +h) es:

 0 si n ≤1

0( h) si n≥2

27
Entonces, siguiendo un razonamiento similar al de la página 12, tenemos para
n = 0:

P[ n(t + h) = 0] = P0 (t + h) = P0 (t ) ⋅ [1 − λh + 0( h)] +
+ P1 (t ) ⋅ [1 − λh + 0(h)] ⋅ [ µh + 0(h)] +
+ P0 (t ) ⋅ [ λh + 0( h)] ⋅ [ µh + 0( h)] +
+ 0( h)

de donde, agrupando y simplificando, obtenemos:

P0 ( t + h) = P0 (t ) ⋅ ( 1 − λh) + P1 (t ) µh + 0( h)
P0 (t + h) − P0 (t ) = −λhP0 (t ) + µhP1 (t ) + 0(h)

Dividiendo por h y tomando límites cuando h tiende a cero, obtenemos:

d
P0 ( t ) = −λP0 (t ) + µP1 ( t ) (n = 0) (*)
dh

Análogamente, para 1 ≤ n < C , tenemos:

P[ n(t + h) = n] = Pn ( t + h) = Pn ( t ) ⋅ [ 1 − λh + 0( h)] ⋅ [ 1 − nµh + 0( h)] +


+ Pn ( t ) ⋅ [ λh + 0( h)] ⋅ [ nµh + 0( h)] +
+ Pn −1 ( t ) ⋅ [ λh + 0(h)] ⋅ [ 1 − ( n − 1) µh + 0( h) ] +
+ Pn +1 ( t ) ⋅ [ 1 − λh + 0(h)] ⋅ [ (n + 1) µh + 0(h) ] + 0(h)

de manera que:

Pn ( t + h) = Pn −1 ( t ) λh + Pn ( t ) ⋅[ 1 − ( λ + µn) h] + Pn +1 ( t ) ⋅ ( n +1) µh + 0( h)

de donde es fácil obtener:

d
Pn (t ) = λPn −1 (t ) − ( λ + nµ) Pn (t ) + ( n + 1) µPn +1 (t ) ( 1 ≤n <C) (**)
dh

Por último, para n ≥ C se tiene:

P[ n( t + h) = n] = Pn (t + h) = Pn ( t ) ⋅ [ 1 − λh + 0(h)] ⋅ [ 1 − Cµh + 0(h)] +


+ Pn ( t ) ⋅ [ λh + 0( h) ] ⋅ [ Cµh + 0( h) ] +
Pn −1 (t ) ⋅ [ λh + 0( h) ] ⋅ [ 1 − C * µh + 0( h) ] +
+ Pn +1 (t ) ⋅ [ 1 − λh + 0(h) ] ⋅ [ Cµh + 0(h) ] +
+0( h)

28
Se emplea el símbolo C* para indicar que ese valor será C cuando
n( t ) ≥ C y n cuando
n( t ) = C −1 . No obstante, es indiferente para los cálculos,
puesto que, al estar multiplicado por infinitésimos, pasará al termino 0( h) .

Entonces,

[ ]
Pn ( t +h) = Pn −1 ( t ) λh + Pn ( t ) 1 −( λ +Cµ) h + Pn +1 ( t ) Cµh +0( h)

y, finalmente,

d
Pn ( t ) = λPn −1 ( t ) − ( λ + Cµ) Pn ( t ) + CµPn +1 ( t ) ( n ≥ C) (***)
dh

Si reunimos las tres ecuaciones diferenciales así logradas (*), (**) y (***),
tenemos:

d
P0 ( t ) = −λP0 (t ) + µP1 ( t ) (n = 0)
dh
d
Pn (t ) = λPn −1 (t ) − ( λ + nµ) Pn (t ) + ( n + 1) µPn +1 (t ) ( 1 ≤n <C)
dh
d
Pn ( t ) = λPn −1 ( t ) − ( λ + Cµ) Pn ( t ) + CµPn +1 ( t ) ( n ≥ C)
dh

cuya resolución nos dará el comportamiento del sistema para cada instante.

No obstante, si suponemos que existe y es finito

Pn = lim Pn (t )
t →∞

entonces, tomando límites en las ecuaciones diferenciales, tenemos:

0 = −λP0 + µP1 ( n =0)


(I)

0 = λPn −1 −( λ + nµ) Pn +( n +1) µPn +1 ( 1 ≤n <C) (II)

0 = λPn −1 −( λ + Cµ) Pn 0 + CµPn +1 ( n ≥ C) (III)

De la primera de estas igualdades, obtenemos:

λ
P1 = P
µ 0

29
Haciendo en (II) n = 1 , obtenemos:
2
λ+µ λ 1  λ
P2 = P1 − P0 =   P0
2µ 2µ 2  µ

y, de la misma forma, para n = 2 < C :


3
λ +2µ λ 1  λ
P3 = P2 − P1 =   P0
3µ 3µ 3!  µ

y, de forma general, para 0 < n < C :


n
1  λ
Pn =   P0
n !  µ

Finalmente, de (III) obtenemos, para cualquier n ≥ C :


n
1  λ
Pn = n −C   P0
C C !  µ

En resumen, hemos obtenido:

 1  λn
   P0 ( n < C)
n!  µ 
Pn =  n
 1  λ
 C n −C C !  µ  P0 ( n ≥ C)

Ya sólo nos queda determinar P0 . Para ello emplearemos la condición de


consistencia:

∞ C −1 1  λ  n ∞
1  λ 
n
1= ∑ Pn = P0 ∑   +
n =0 n !  µ
∑ n −C
 
C !  µ 

n =0  n =C C 

Si llamamos

λ
r=
µ

a la intensidad de tráfico por canal, tenemos:

C −1 r n ∞
rn 
1 = P0 ∑ + ∑ n −C 
n =0 n ! n =C C
 C !

A su vez, para calcular el segundo sumatoria, llamamos

30
r
ρ=
C

a la intensidad de tráfico global del sistema, y tenemos:

∞ ∞ ∞ ∞
rn rC r n −C rC rC rC 1 rCC
∑ C n −C C ! = C ! ∑ C n −C =
C!
∑ρn −C =
C!
∑ρ n = ⋅ =
C ! 1 − ρ C !( C − r )
n =C n =C n =C n =0

Entonces:
−1
C −1 1  λ  n 1  λ
C
Cµ 
P0 = 

∑  
n !  µ
+   
C !  µ Cµ − λ 
n =0 

Puede probarse que es condición necesaria y suficiente que para que el


sistema sea estacionario que:

λ <Cµ

es decir, que la intensidad de tráfico por canal sea inferior al número de


canales.

Medidas de eficacia en estado estacionario


El número medio de usuarios en cola es:

∞ ∞ ∞
Lq = E [ N ] = ∑( n − C) Pn = ∑ nPn − ∑CPn =
n =C n =C n =C
∞ ∞
rn rn
= ∑n C n −C C ! P0 − ∑C C n −C C ! P0
n =C n =C

Resolviendo estos sumatorias se obtiene:

  λ
C 
   λ µ 
  µ 
Lq = P0  
( C −1) ! ( Cµ−λ)
2

 
 

31
A partir de este resultado, con las fórmulas de Little tenemos que el tiempo
medio de espera en la cola es:

Lq
Wq =
λ

el tiempo medio de permanencia en el sistema es:

1
W = +Wq
µ

y el número medio de usuarios en el sistema es:

L = λW

Otra característica importante es la función de distribución del tiempo de


espera en cola que se puede demostrar que es:




 0 s it < 0
 C
 λ
 C 
µ
( ) 
FTq (t ) = P Tq ≤ t = 1 −   P0 s i t = 0
 C! C − λ 
  µ
 

 λ C
[
 µ   1 − e
µ
]
− ( µ C− λ ) t

  
 ( C − 1) !( µ C − λ ) P0 + FTq (0) s i t > 0

Ejemplos
Una sucursal bancaria tiene dos cajas igualmente eficientes, capaces de
atender un promedio de 60 operaciones por hora con tiempos reales de
servicio que se observan exponenciales. Los clientes llegan con una tasa de
100 por hora. Determinar:

Probabilidad de que haya más de 3 usuarios simultáneamente en el banco.


Probabilidad de que alguno de los cajeros esté ocioso.
Probabilidad de que un cliente permanezca más de 3 minutos en la cola.

Tenemos un sistema con λ =100 usuarios por hora, µ=60 servicios por hora
y C = 2 . Como se verifica que λ <Cµ, podemos afirmar que el sistema es
estacionario.

Entonces, la probabilidad de que haya más de tres usuarios es:

32
P( n > 3) = 1 − P0 − P1 − P2 − P3

donde sabemos que:


−1
C −1 1  λ  n 1  λ
C
Cµ 
P0 =  ∑   +
n =0 n !  µ
  
C !  µ Cµ − λ 
=
 
−1 −1
 λ 1  λ
2
2µ   100 1 100 
2
120 
= 1 + +    = 1 + +    = 0.0909
 µ 2 !  µ 2 µ − λ  
 60 2  60  120 −100 

 
n
1  λ λ 100
P1 =   P0 = P0 = 0.0909 = 0.1515
n !  µ µ 60
n 2 2
1  λ 1  λ 1  100 
P2 =   P0 =   P0 =   0.0909 = 0.1263
C n −C
C!  µ  2  µ  2  60 
n 3 3
1  λ 1  λ 1  100 
P3 =   P0 =   P0 =   0.0909 = 0.1052
C n −C
C !  µ 2 ⋅ 2 !  µ 4  60 

de forma que:

P( n > 3) = 1 − P0 − P1 − P2 − P3 = 0.5261

La probabilidad de que uno de los cajeros esté ocioso es:

P( n < 2) = P0 + P1 = 0.0909 + 0.1515 = 0.2424

La función de distribución del tiempo de espera en cola es




 0 si t < 0
 C
 λ
 C 
µ
( ) 
FTq (t ) = P Tq ≤ t = 1 −   P0 s i t = 0
 C! C − λ 
  µ
 

 λ C
[
 µ   1 − e
µ
]
− ( µ C− λ ) t

  
 ( C − 1) !( µ C − λ ) P0 + FTq (0) s i t > 0

donde deberemos expresar la tasa de llegadas y la de servicio en unidades por


minuto:

33
100
λ= = 1.6667 usuarios por minuto
60
60
µ= = 1 usuario por minuto
60

Por tanto, la probabilidad de que un cliente permanezca más de tres minutos


en la cola es:

  λC 
µ
  [
 1 −e −3( µC −λ) ]
  µ
( )
P Tq >3 =1 −P Tq ( )
≤3 =1 −
(C −1)!( µC − λ )

P0 +FTq (0) 
 
 
 

donde

C
 λ  100 
2
C  2 
 µ  60 
FTq ( 0) = 1 − P0 = 1 − 0.0909 = 0.2425
 λ 
2 2 −
100 
C ! C −  
 µ  60 

y entonces, la probabilidad pedida es:

[ ] 0.0909
100 2 −3( 2 −1.6667 )

  1 −e 
 60  
P( T >3) =1 − +0.2425 =0.2786
 2 −1.6667 
 
 
Una oficina estatal de transportes tiene 3 equipos de investigación de
seguridad vial cuyo trabajo consiste en analizar las condiciones de las
carreteras cuando se produce un accidente mortal. Los equipos son
igualmente eficientes y cada uno destina un promedio de 2 días a investigar y
realizar el informe correspondiente en cada caso, con un tiempo real
aparentemente exponencial.

El número de accidentes mortales en carretera sigue una distribución de


Poisson con tasa media de 300 accidentes por año. Determínese:

Número medio de accidentes cuya investigación no ha comenzado.


Tiempo medio desde que se produce un accidente hasta que se empieza a
investigar.
Tiempo medio desde que se produce un accidente hasta que finaliza la
investigación.
Número medio de accidentes cuya investigación aún no ha terminado.

Estamos ante un sistema de colas con tasa de llegadas λ = 300 accidentes por
año o, lo que es lo mismo, λ = 0.82 accidentes por día, con tasa de servicio
µ =0.5 investigaciones por día y con C = 3 canales de servicio.

34
El número medio de accidentes cuya investigación aún no ha comenzado es el
número medio de usuarios en cola:

  λ
C  0.82 3 
   λ µ    0.82 ⋅0.5 
  µ   0 .5   =1.9555 P
Lq = P0   = P0   0
( C −1) ! ( Cµ−λ) ( )
2 2
  2 15
. −0.82 
  
 

 

donde:
−1
C −1 1  λ  n 1  λ
C
Cµ 
P0 = 

∑   +
n !  µ
  
C !  µ Cµ − λ 
=
n =0 
−1
 λ 1  λ
2
1  λ
3
3µ 
= 1 + +   +    =
 µ 2  µ 6  µ 3µ −λ
 
−1
 0.82 1  0.82 
2 3
1  0.82   15
. 
= 1 + +   +     = 0.1784

 0.5 2  0.5  6  0.5  15. −0.82 

35
Así pues, el número de accidentes cuya investigación aún no ha comenzado
es:

Lq =1.9555 P0 = 0.3489

El tiempo medio desde que se produce un accidente hasta que se empieza a


investigar es el tiempo medio de espera:

Lq 0.3489
Wq = = = 0.4255 dias
λ 0.82

El tiempo medio desde que se produce el accidente hasta que finaliza la


investigación es el tiempo medio de permanencia en el sistema:

1
W = +Wq = 2.4255 dias
µ

Por otra parte, el número medio de accidentes cuya investigación aún no ha


finalizado es el número medio de usuarios en el sistema:

L = λW = 1.9889

Una clínica canina tiene 3 veterinarios para vacunar perros. El número de


perros que llegan a la clínica sigue una distribución de Poisson con una tasa
media de 12 por hora. El tiempo medio empleado en vacunar a cada perro es
de 2 minutos. Determinar:

Porcentaje de tiempo con la sala de vacunación vacía.


Tiempo medio de espera.
Tiempo medio de permanencia de los perros en la clínica.
Número medio de perros en la clínica.
Probabilidad de que un perro espere más de 10 minutos para ser vacunado.

Estamos ante un sistema de colas con una tasa de llegadas de λ = 12


usuarios por hora, una tasa de servicio de µ = 30 servicios por hora y con
C = 3 canales de servicio. Como se cumple que

λ <Cµ

podemos afirmar que el sistema es estacionario.

36
El porcentaje de tiempo con la sala de vacunación vacía es:
−1
C −1 1  λ  n 1  λ
C
Cµ 
P0 =  ∑   +
n =0 n !  µ
  
C !  µ Cµ − λ 
=
 
−1
 λ 1  λ
2
1  λ
3
3µ 
= 1 + +   +    =
 µ 2  µ 6  µ 3µ − λ 
 
−1
 12 1  12  2 1  12  3 90 
= 1 + +   +    = 0.6701

 30 2  30  6  30  90 −12 

Es decir, el porcentaje de tiempo con la cola vacía es:

P0 = 67.01%

El tiempo medio de espera es:

Lq
Wq =
λ

donde

  λ
C  12  3 
   λ µ    12 ⋅30 
  µ   30   =1.27 ⋅10 −3
Lq = P0   =0.6701 ⋅  
( C −1) ! ( Cµ−λ) 2 ⋅( 90 −12 )
2 2
 
  
 

 

luego el tiempo medio de espera será de:

Wq =1.06 ⋅10 −4 horas = 0.3816 segundos

El tiempo medio de permanencia en la clínica es:

1 1
W= +Wq = +1.06 ⋅10 −4 = 0.0334 horas = 2.0064 minutos
µ 30

El número medio de perros en la clínica es:

L = λW = 12 ⋅1.06 ⋅10 −4 = 0.0013

37
Y, por último, la probabilidad de que un perro espere más de 10 minutos es:

 10 
P T >  = P( T > 0.1667 ) = 1 − P( T < 01667
. )=
 60 
 λC 

 10    µ
[
µ  1 −e −0.1667 ( µC −λ) ] 

P T >  = P( T >0.1667 ) =1 −P( T <0.667 ) =1 − P0 +FTq ( 0) 
 60   ( C −1) ! ( µC −λ) 
 
 

donde es necesario expresar las tasas de llegadas y de servicio en unidades


por minuto:

12
λ= = 0.2 perros por minuto
60

30
µ= = 0.5 perros por minuto
60

Entonces:

C
 λ  0.2 
3
C  3 
 µ  0.5 
FTq (0) = 1 − P0 = 1 − ⋅ 0.6701 = 0.9918
 λ 
6 ⋅ 3 −
0.2 
C ! C −  
 µ  0.5 

y, entonces, la probabilidad de que un perro espere más de 10 minutos es:

[ ] 0.6701
 0.2 3 −0.1667 ( 1.5−0.2 )

0.5  1 −e 
 10    0.5  
P T >  =1 − +0.9918 =0.0009
 60   2 ⋅( 15
. −0.2) 
 
 

38
Cola tipo M/M/C/K
Esta cola responde a las mismas hipótesis que la cola genérica M/M/C con la
limitación de que el número máximo de usuarios que se permiten
simultáneamente en el sistema es K .

Para este tipo de colas se demuestra que, si existe el estado estacionario, se


verifica:

−1
  λ   λ 
C K −C +1  
   1 −   
C −1 1  λ  n  µ    Cµ   
  
P0 = ∑   + 
n =0 n !  µ  
C ! 1 −
λ 
 
  Cµ  

 

 1  λ
n
   P0 ( 0 ≤ n < C)
 n!  µ
Pn =  n
 1  λ
C n −C C !   P0 ( C ≤ n ≤ K )
  µ

Veamos un ejemplo: En un taller caben cuatro máquinas que son reparadas


por dos mecánicos. Las máquinas llegan al taller como promedio una vez cada
tres horas y el tiempo medio de reparación es de 45 minutos. ¿Cuál es el
número medio de máquinas estropeadas en el taller?

Es evidente que se trata de un sistema con

λ = 0.3333 µ =1.3333 C =2 K =4

Se sigue verificando que, como

λ
ρ= = 0.125 < 1

el sistema es estacionario tenemos:

−1
  λ   λ 
C K −C +1  
   1 −    
C −1 1  λ  n  µ   Cµ  
  
P0 = ∑   +  =
n =0 n !  µ 
C ! 1 −
λ 
 
  Cµ 

 

−1
  λ   λ   
2 3
  0.3333    0.3333   
2 3
   1 −       1 −   

 λ  µ  
 2 µ  
 
 0.3333  1.3333    2.6667   
 
= 1 + +  = 1 + +  = 0.7778
 µ  λ    1.3333  0.3333  
2 ⋅ 1 −  2 ⋅ 1 − 
  2 µ    2.6667  
  
 

 

39
λ 0.3333
P1 = P0 = ⋅ 0.7778 = 0.1944
µ 1.3333
2 2
1  λ 1  0.3333 
P2 =   P0 =   0.7778 = 0.0243
C C !  µ
0 2  1.3333 
3 3
1  λ 1  0.3333 
P3 =   P0 =   0.7778 = 0.0030
C ⋅ C !  µ 4  1.3333 
4 4
1  λ 1  0.3333 
P4 =   P0 =   0.7778 = 0.0004
C C !  µ
2 8  1.3333 

Entonces, el número medio de máquinas estropeadas en el taller es:

4
L = E [ n] = ∑nPn = 0.1944 + 2 ⋅ 0.0243 + 3 ⋅ 0.003 + 4 ⋅ 0.0004 = 0.2536
n =0

40
Cuadro resumen
Es evidente que la cola tipo M/M/1 es un caso particular de la cola M/M/C y
ésta, a su vez, de la M/M/C/K, de forma que de las expresiones obtenidas para
el caso M/M/C/K, haciendo C=1 y K=∞, obtenemos las expresiones
correspondientes a la M/M/1. En el siguiente cuadro se presentan las
expresiones correspondientes a los tres tipos de colas vistos hasta ahora:

M/M/1 M/M/C M/M/C/K


1 −ρ
( ) 
−1 −1
P0 C −1 ( Cρ) C −1 ρC n ( ρC ) C 1 −ρk −c +1
ρC +1 C C 
n
( )
∑
n =0 n !
+ 
C ! ( 1 − ρ) 


n =0 n!
+
C ! ( 1 −ρ) 
  
 

 ( Cρ ) n  ( ρC ) n
Pn Pn = ρ P0
n
 P0 n<C  Po 0≤n<C
n !  n!
 C n 
 ( ρC ) P
n
C ρ P n≥C
 C ! 0
 0 C≤n<K
 C n −C C !
L ρ  PC  K

1 −ρ ρC 1 +  ρC + ∑( n − C ) Pn

 C( 1 − ρ) 2 
 n =C

Lq ρ2 ρ K

1 −ρ ( 1 − ρ) 2
PC
∑( n − C ) Pn
n =C
Wq ρ 1 1 K

λ n∑
µ( 1 −ρ) µC( 1 − ρ)
2
PC ( n − C ) Pn
=C
W 1
1  PC  1 1 K

λ n∑
µ( 1 − ρ) 1 +  + ( n − C ) Pn
µ C( 1 − ρ) 
2 µ
  =C

41
COLAS TIPO M/G/1
Estudio de la cola
Según la notación de Kendall, este tipo de colas viene caracterizado por un
proceso de llegadas según una ley de Poisson de parámetro λ , mientras que
los tiempos de servicio siguen una ley de tipo general, cuya función de
distribución es F (t ) . Además, hay un único canal de servicio.

Si llamamos t n al instante en que se produce la salida del sistema del n-ésimo


usuario, y

X n = n( t n )

al número de usuarios que quedan en el sistema en el instante t n en que se


produce la salida del n-ésimo usuario, lo primero que afirmaremos es que la
familia

{ X n } n∈N

es una cadena de Markov. Es decir, que

d
( X n +1 ) (
X n , X n −1 , ... , X 1 = X n +1 Xn )
d
donde el símbolo = significa “converge en distribución”. Esto es cierto porque

{ n( t ) } t ≥0

es un proceso estocástico con incrementos independientes y además es


markoviano. Por consiguiente:

P[ X n +1 = n( t n +1 ) X n = n( t n ) , X n −1 = n( t n−1 ) ,..., X 1 = n( t1 ) ] = P[ X n +1 = n( t n +1 ) X n = n( t n ) ]

Si llamamos ahora An+1 al número de clientes que llegan en el período de


tiempo sn+1 que dura el servicio al (n +1) -ésimo usuario, tendremos:

 X n − 1 + An +1 si X n ≥ 1
X n +1 = 
 An +1 si X n = 0

42
De forma que X n+1 sólo depende de X n y An+1 y, por tanto, es evidente
que el proceso

{ X n } n∈N

es un proceso estocástico de Markov.

Como las duraciones s n de los servicios son variables aleatorias


independientes con función de distribución F (t ) , podemos llamar Dn al
instante en que sale del sistema el n-ésimo usuario y, entonces, la variable
aleatoria

( An +1 S n +1 = t , Dn = t n , Dn +1 = t n +1 )
tiene la misma distribución que la variable aleatoria

N ( t n +1 − t , t n +1 )

que es el número de usuarios que han llegado al sistema en un intervalo de


duración t , supuesto que el usuario (n +1) -ésimo sale del sistema en el
instante t n+1 , cuya distribución verifica:

d d
N ( t n +1 − t , t n +1 ) = N ( t ) = Poisson ( λt )

Es decir, An+1 es independiente de X n , de Dn y de Dn+1 . Entonces:

e− λt ( λ t)
a

(
P A= a s= t = ) a!
∀ a = 0,1,2,...
∞ ∞
e −λt ( λt ) a
P ( A = a s = t ) ⋅ dF (t ) =
P( A = a ) =
∫ 0 ∫
0 a!
⋅ f (t ) ⋅ dt

Con lo anterior podemos deducir las probabilidades de transición de la cadena


de Markov, que son:

 ∞ e − λt ( λt ) j −i +1
Pij = P ( X n+1


= j X n = i ) = P( A = j − i + 1) =  0 ( j − i + 1)! f (t ) ⋅ dt
si j ≥ i − 1,i ≥ 1
0 si j < i − 1,i ≥ 1

43
Para i = 0 , es evidente que cuando un usuario sale del sistema dejándolo
vacío, el sistema continúa vacío hasta que llega el siguiente usuario. A partir
de este instante, el número de usuarios que llegará vendrá dado por una
distribución de Poisson de parámetro ( λs) . Entonces:

(
P0 j = P X n +1 = j ) (
X n = 0 = P( A = j ) = P X n +1 = j )
X n = 1 = P1 j

Fórmula de Pollaczek-Kintchine
La fórmula de Pollaczek-Kintchine, también conocida como fórmula P-K, es la
que nos permite calcular las medidas de eficacia de un sistema de colas del
tipo M/G/1.

Supongamos que existe la distribución estacionaria. Se puede demostrar que,


como en casos anteriores es condición necesaria y suficiente para que un
sistema sea estacionario que

λ<µ

donde λ es la tasa de llegadas y µ la tasa de servicios (número medio de


servicios por unidad de tiempo) que ya no es el parámetro de una distribución
exponencial. Es decir, ahora conoceremos del proceso de servicio:

[ ]
E s =
1
µ
[ ]
V s = σ 2s

Si llamamos

L( D ) = E [ X n ]

al número medio de usuarios en el sistema en estado estacionario, medido en


los instantes de salida de los usuarios, por ser el sistema estacionario, será:

L( D ) = E [ X n ] = E [ X n +1 ]

Sabemos que X n+1 es una función de X n y de A de la forma:

X n +1 = X n − U ( X n ) + A (*)

donde

1 si X n > 0
U( Xn ) = 
0 si X n = 0

Entonces, tomando esperanzas matemáticas en la expresión (*), tenemos:

44
[
E [ X n +1 ] = E [ X n ] − E U ( X n ) + E A ] [ ]
y , como las esperanzas matemáticas de X n+1 y X n son iguales, tenemos,
por el teorema de Fubini:

[
E U ( X n ) =E A] [ ] =∫ E[ A 0
]
s =t ⋅ f ( t ) dt =

[ ]
∞ ∞
=
∫λt ⋅ f (t ) dt
0 ∫
=λ t ⋅ f ( t ) dt =λ⋅ E
0
s

es decir,

[
E U( Xn ) = E A ] [ ] = λµ = ρ
Si ahora elevamos al cuadrado la igualdad (*), tenemos:

X n2+1 = X n2 + U 2 ( X n ) + A 2 − 2 X n U ( X n ) − 2 AU ( X n ) + 2 AX n

Si ahora tomamos esperanzas matemáticas teniendo en cuenta que


E [ X n2+1 ] = E [ X n2 ] , tenemos:

[ ] [ ] [ ] [
0 = E U 2 ( X n ) + E A 2 − 2 E X n U ( X n ) − 2 E AU ( X n ) + 2 E [ AX n ] ]
De la definición de la función U ( X n ) , resulta:

U 2( Xn ) = U( Xn ) y X n ⋅U ( X n ) = X n

Además, A y X n son independientes, con lo que resulta:

[ ] [ ]
0 = E U ( X n ) + E A 2 − 2 E[ X n ] − 2 E A [ ] E[U ( X ) ] + 2 E[ A ] E[ X
n n ]
[ ]
0 = ρ+E A 2 −2 L( D ) −2 ρ2 −2 ρL( D )

L( D ) =
ρ − 2 ρ2 + E A 2 [ ]
2( 1 − ρ)

45
Queda por calcular E A2[ ] ; para ello tomamos la definición de varianza:

[ ] = E[ A ] −( E[ A ])
2
2
V A

E [ A ] =V [ A ] +( E [ A ] ) [ ] +ρ
2
2 2
=V A

Y para la varianza de A tomamos:

[ ] =E   [ ]
V A V [ A s] +V 

E A s =
 
λ
= E [ λs] + V [ λs] = + λ2 σ 2s = ρ + λ2 σ 2s
µ

Entonces:

[ ]
E A 2 = ρ + λ2 σ 2s + ρ2

ρ − 2 ρ 2 + ρ + λ2 σ 2s + ρ 2
L( D) =
2( 1 − ρ )

y, simplificando, obtenemos la fórmula de Pollaczek-Kintchine, que es:

ρ 2 + λ2 σ 2s
L( D) = ρ +
2( 1 − ρ )

Si el sistema es estacionario, entonces el número medio de usuarios en el


sistema en los instantes de salida debe ser igual al número medio de usuarios
en el sistema en cualquier instante y, entonces:

ρ 2 + λ2 σ 2s
L =ρ+
2( 1 − ρ )

Aquí siguen siendo válidas las fórmulas de Little; por tanto, el tiempo medio de
permanencia en el sistema será:

L
W=
λ

el tiempo medio de espera en cola:

1
Wq = W −
µ

46
y el tamaño medio de la cola:

λ
Lq = λWq = L −
µ

Distribución estacionaria en los puntos de salida


Como ya se dijo antes, si el sistema es estacionario, la probabilidad de que
haya un determinado número de usuarios en el sistema en los puntos de salida
debe ser igual a la probabilidad de que haya ese mismo número de usuarios
en cualquier instante. Así pues, si calculamos la distribución de estas
probabilidades en los puntos de salida, tendremos la distribución de las
probabilidades Pn .

Es decir, si llamamos π n a la probabilidad de que haya n usuarios en el


sistema en el instante en que un usuario sale de éste en estado estacionario
será:

[
Pn = π n = lim P n( t n ) = n
t →∞
]
Estos valores π n serán los componentes del vector límite de la distribución
estacionaria del proceso de Markov ya descrito. Para calcularlos recordemos
que:

 ∞ e − λt ( λt ) j −i +1
Pij = P ( X n+1


= j X n = i ) = P( A = j − i + 1) =  0 ( j − i + 1)!
f (t ) ⋅ dt si j ≥ i − 1,i ≥ 1
0 si j < i − 1,i ≥ 1

P0 j = P1 j

De la misma manera, podemos definir la probabilidad de que haya n llegadas


al sistema entre dos puntos de salida:

e −λt ( λt )
∞ n
k n = P( A = n ) =

0 n!
f (t ) ⋅ dt

de tal forma que se ve claramente que

Pij = k j −i +1

47
con lo que la matriz de transición de la cadena de Markov queda de la
siguiente forma:

 k0 k1 k2 k3 ...
 
 k0 k1 k2 k3 ...
P= 0 k0 k1 k 2 ...
 
0 0 k0 k 1 ...
 
 ... ... ... ... ...

y los π n se calculan hallando:

Φ = lim P n
n →∞

para lo cual se emplean los procedimientos de análisis de procesos


estocásticos.

Ejemplos
En cierto aeropuerto, el tiempo que un avión tarda en aterrizar desde que
recibe autorización de la torre de control tiene de media 4 minutos y varianza
0.15, pero con distribución desconocida. Las llegadas de aviones al aeropuerto
son de Poisson con una media de 8 aviones por hora. Calcular el tiempo medio
de espera de un avión desde que llega al aeropuerto hasta que recibe la
autorización para aterrizar.

8
La tasa de llegadas es λ = = 0.1333 aviones por minuto, y la tasa de servicio
60
1
es de µ = = 0.25 , con σ 2s = 0.15 . Como es λ < µ , el sistema es estacionario
4
λ
con intensidad de tráfico ρ = µ = 0.5333 .
El número medio de aviones en el sistema será:

ρ2 + λ2 σ 2s ( 0.5333 ) + ( 0.1333 ) 0.15


2 2
L = ρ+ = 0.5333 + = 0.8409
2( 1 − ρ) 2( 1 − 0.5333 )

48
El tiempo medio de espera será:

1 L 1 0.8409 1
Wq = W − = − = − = 2.308 minutos
µ λ µ 0.1333 0.25

Un profesor universitario quiere someter a sus alumnos a un examen oral. Se


supone que el proceso se ajusta a una cola tipo M/G/1 con una duración media
para cada examen de 9 minutos con varianza 90. Los alumnos se citan en
intervalos de 12 minutos. Calcular el tiempo medio de espera de los alumnos
antes de entrar al examen.

1 1
En este caso es λ = = 0.0833 alumnos por minuto, µ = = 0.1111
12 9
exámenes por minuto y σ s = 90 .
2

Entonces:

λ 0.0833
ρ= = = 0.75 < 1
µ 0.1111

luego el sistema es estacionario.

El número medio de alumnos en el sistema será:

ρ 2 + λ2 σ 2s 0.75 2 + 0.08332 2
⋅ 90
L = ρ+ = 0.75 + = 3124
.
2( 1 − ρ) 2( 1 − 0.75)

y el tiempo medio de espera:

1 L 1 3124
.
Wq = W − = − = − 9 = 28 .5 minutos
µ λ µ 0.0833

49
Colas tipo M/Ek/1
Un tipo de sistemas de colas especialmente interesante es aquél en el que las
llegadas son de Poisson y la duración del servicio sigue una distribución de
Erlang, también llamada distribución K.

Esta distribución resulta de sumar k variables aleatorias independientes e


idénticamente distribuidas con distribución exponencial de parámetro µ , y su
función de densidad es:

f X (t ) =
( µk ) k t k −1e −µkt
( k −1)!
es decir, es una distribución gamma de parámetros ( k , µk ) .

Por tanto, si la distribución es estacionaria,

e − λt ( λ t ) ( µ k ) k k − 1 − kµ t
∞ n
K n = P( A = n ) =
∫0 n!

( k − 1) !
t e dt

En este caso, es fácil demostrar que la intensidad de tráfico para el sistema es:

λ
r=

por lo que la cola M/Ek/1 se puede considerar equivalente a la M/M/K.

50
Colas tipo M/G/1/N
Como indica la notación de Kendall, se trata de un sistema de colas con
llegadas de Poisson y tiempos de servicio según una distribución de
probabilidad cualquiera conocida, pero con una capacidad máxima de N
usuarios en el sistema simultáneamente.

En este caso, la matriz de transición será del proceso estocástico asociado


será de la forma:

k0 k1 k2 ... k N −1 A N −1 
 
k0 k1 k2 ... k N −1 A N −1 
0 k0 k1 ... k N − 2 A N −2 
P= 
 ... ... ... ... ... ... 
0 0 0 ... k1 A1 

 
0 0 0 ... k0 A0 

donde

A j −1 = k j + k j +1 + k j +2 +... = ∑k i
i= j

Entonces, en la distribución estacionaria, las probabilidades límite toman la


forma:

−1
 N 

π 0 = 1 + υ i 
 i =1 
υi
πi = N
1+ ∑υ i
i =1

donde se tiene:

υ0 = 1
π k k k k
υ i = i = 1 − 1 υ i −1 − 2 υ i − 2 −...− i −1 − 1
π0 k0 k0 k 0υ 1 k 0

51
COLAS CON PARÁMETROS VARIABLES
Caso general
En muchos sistemas de colas donde intervienen seres humanos es necesario
tener en cuenta el comportamiento de estas personas ante el sistema. Se da
con frecuencia el caso de las personas que renuncian a esperar en cola, el de
personas que rompen la disciplina de la cola, en que el gestor del sistema
modifica los tiempos de servicio a la vista del número de usuarios en cola, etc.

Se hace, por tanto, necesario introducir este comportamiento humano en la


modelización matemática del sistema. En general el comportamiento humano
afectará a la tasa de llegadas y a la tasa de servicio y, normalmente, la
variación de estas tasas será función del número de usuarios en el sistema, de
tal forma que ya no tendremos tasas constantes, sino unas tasas variables:

λ n = f ( n) µ n = g ( n)

La obtención de las ecuaciones que regulan este tipo de sistemas se hace de


forma análoga al procedimiento empleado hasta ahora, partiendo de :

d
 d t Po (t ) = − λ 0 P0 (t ) + µ 1 P1 (t )

 d Pn (t ) = − ( λ n + µ n ) Pn (t ) + λ n − 1 Pn − 1 (t ) + µ n + 1 Pn + 1 (t )
 d t
de forma que se puede demostrar que es condición necesaria y suficiente para
que exista la distribución estable que:

∞  i −1
λj  ∞
λ0 λ1λ2 ... λi −1
1+ ∑∏ 

 =1 +
µ j +1  ∑ µ µ µ ... µ <∞
i =1  j =0  i =1 1 2 3 i

Entonces se obtiene:

−1
 ∞
λ0 λ1λ2 ... λi −1 
P0 = 1 +


∑i =1
µ1 µ2 µ3 ... µi 


λ0 λ1λ2 ... λn −1
Pn = P0
µ1 µ2 µ3 ... µn

A continuación veremos algunos de las colas más interesantes de este tipo.


Además veremos los casos en que el número de canales de servicio es
variable y el caso en que haya pérdidas en función de la cola.

52
Cola con desaliento
Es el caso en el que algunos individuos, al llegar al sistema y observar que
existe un cierto número de usuarios en cola, desiste de acceder al sistema. En
este caso, las tasas de llegadas y de servicio puede ser modelizada de la
forma:

λ
λn= ( n = 012
, , ,...)
n+ 1
µ n = µ ∀n
En este caso, tendremos:
−1
−1  
 ∞
λi   1 

1
P0 = 1 +  = = λ  = e −ρ
 µi i! λ λ2 λ3
+ ...  

 i =1  1+ + 2 + 3
µ µ 2! µ 3! e µ 

λn −ρ ρ n e −ρ
Pn = e =
µ n!
n
n!

de tal forma que la probabilidad de que el número de usuarios en el sistema en


un momento dado sea n sigue una distribución de Poisson de media igual a
la intensidad de tráfico ρ .

Cola binomial
En este caso supondremos que el tamaño de la cola (del dispositivo de
espera) es limitado, de forma que el número máximo de usuarios en cola
simultáneamente es N , y que la tasa de llegadas es función del tamaño del
dispositivo de espera y de la cantidad de usuarios en cola, es decir, del
espacio disponible en el dispositivo de espera:

 N −n
 n<N
λ n =  N (n + 1)

0 n≥N
µn = µ

53
Entonces,
−1
 N  
 ∞ 
i  −N
 
∑   1
P0 = 1 + =
1 + µN 

 N µi 
i
 
i =1
 

 

n N −n
N   1   µN 
 
Pn =  ⋅ 
  
  

n
   1 + µN  1 + µN 

de tal forma que la probabilidad de que el número de usuarios en el sistema en


un momento dado sea n sigue una distribución binomial.

También existe la llamada cola binomial negativa. Se da esta cola cuando las
tasas de llegada y servicio son de la forma:

N +n
λn =
N (n + 1)
µn = µ

en cuyo caso se obtiene


N
 1 
P0 = 1 − 
 µN 
N n
 −N   1   −1 
Pn =   ⋅ 1 −   
 n   µN   µN 

Cola con desaliento dependiente del tiempo de servicio


Como su propio nombre indica, se da este tipo de cola cuando la tasa de
llegada depende no sólo del número de usuarios en el sistema, sino del tiempo
de servicio, de forma que a mayor tiempo de servicio, menos probabilidades de
llegadas hay, y suele ser de esta forma:

αn

µ
λ n = λe n ≥ 0, α > 0
µn = µ

54
En este caso se obtiene:

1
P0 = ∞

∑ρ γ
i =0
i i ( i −1)

Pn = ρ n γ n ( n −1) P0
α
donde γ = e −2 µ .

Cola con tasa de servicio dependiente del estado


Se da este tipo de cola en aquellos casos en los que el supervisor del sistema
presiona a los servidores para que acorten el tiempo de servicio a medida que
aumenta el número de usuarios en el sistema. En estos casos se dice que la
tasa de servicio está afectada por un coeficiente de presión que suele ser de
la forma n α . En este caso, las tasas son:

λn = λ
µn = nα µ

de forma que:
−1
 ∞
λi   ∞ ρi 
P0 = 1 +


i =1

µ n 1α 2α 3α ...i α 
= ∑ α

 i =0 ( i!) 
λn ρn
Pn = P = P0
( n!) α
0
µ n 1α 2α 3α ...nα

En el caso particular en que tengamos α = 1 ,

P0 = e − ρ
ρn
Pn = e − ρ
n!

que modeliza un sistema de colas con infinitos servidores, modelo que se


adapta muy bien a algunos sistemas de autoservicio.

55
Cola con servidor adicional cuando la cola es grande
Este caso trata de aquellas situaciones en las que el número de canales de
servicio es:

C =1 n<N
C =2 n≥N

siendo las tasas de llegada y servicio constantes e iguales a λ y µ


respectivamente. Entonces tenemos:

( 1 − ρ) ( 2 − ρ)
P0 =
1 − ρ − ρ N +1
ρ n P0 1≤ n ≤ N

Pn =  1
 n− N
ρ n P0 n≥N
2

Colas con pérdidas


Este tipo de sistemas de colas se da cuando tenemos un sistema con un
número limitado de usuarios en el sistema simultáneamente, y tal que aquellos
usuarios que intentan acceder al sistema cuando la cola está llena producen
pérdidas.

Este modelo se adapta bien al caso de una central telefónica con C líneas; en
este sistema, las llamadas que intentan acceder a la central cuando todas las
líneas están ocupadas se pierden. El sistema respondería a la notación de
Kendall G/G/C/C. El objetivo al diseñar un sistema de este tipo es minimizar la
probabilidad de perder usuarios.

Para ello, es necesario calcular cuál es la probabilidad de perder un usuario.


En efecto, supongamos un sistema de colas del tipo G/M/C/C, en el que la tasa
de llegadas sea

λ n = f (n)

y con servicio de tipo exponencial, con tasa

µn = µ

56
En este caso, en estado estacionario tenemos:

λ 0 P0 = µP1

( λ n + nµ ) Pn = λ n −1 Pn −1 + (n + 1) µPn +1 0<n<C
µCP = λ n=C
 C C −1 PC −1

sistema que resuelto da los siguiente:

−1
 C
λ0 λ1λ2 ...λi −1 
P0 = 1 +


∑i =1
µ i i! 

λ0 λ1λ2 ...λni −1
Pn = 0 <n ≤C
µ n n!

Pn = 0 n >C

La probabilidad de perder un usuario es la probabilidad de que el sistema esté


lleno en el instante en que llega dicho usuario, es decir, en estado
estacionario, será igual a PC .

λ0 λ1λ2 ... λC
PC = P0
µC C!

que resulta ser igual a la proporción esperada de usuarios perdidos. A la


expresión de esta proporción se la conoce con la fórmula de Engset−O´Dell.
Si particularizamos para el caso de la cola M/M/C/C, es decir, para λ n = λ ,
tenemos:

−1 −1
 r2 r3 rC   C
ri 
P 0 = 1 + r +
 2!
+
3!
+ ... +
C !



= 1 +


i =1

i! 
rn
Pn = P0 0<n ≤C
n!
Pn = 0 n> C

57
donde r es la intensidad de tráfico por canal. Entonces, la proporción de
usuarios perdidos será:
−1
rC   r2 r3 rC 
PC =    
 C!  ⋅ 1 + r + 2! + 3! + ... + C! 
   

A esta expresión se la conoce como fórmula de pérdida de Erlang.

Problema de las máquinas


Un tipo de sistema de colas que tiene especial interés es el que responde al
modelo que se ha dado en llamar problema de las máquinas, cuyo enunciado
general es el siguiente:

Supongamos que una fábrica dispone de M máquinas que se usan en


intervalos de tiempo cuya duración tiene distribución exponencial de media
λ−1 . Supongamos que existen m máquinas trabajando en el instante t . La
probabilidad de que el servicio de mantenimiento de la fábrica llame a una de
esas máquinas a reparar en el intervalo ( t , t +∆t ) es:

mλ⋅ ∆t +0( ∆t )

donde 0( ∆t ) es un infinitésimo de orden inferior al de ∆t . La duración del


tiempo de mantenimiento de las máquinas sigue una distribución exponencial
de media µ−1 y para estas tareas la fábrica cuenta con C equipos de
mantenimiento (que aquí hacen el papel de canales de servicio).

Interesa calcular el número medio de máquinas que no están trabajando en el


instante t . O bien, la probabilidad de que en un instante cualquiera, el número
de máquinas inactivas sea igual a n .

Veamos en primer lugar que la tasa de llamadas a reparar (que es la tasa de


entrada en el sistema de mantenimiento) es:

λ n = mλ = ( M − n) λ

siendo n el número de máquinas inactivas. Por otra parte, la tasa de


reparación (que es la tasa de servicio del sistema de mantenimiento) es:

nµ 1 < n ≤ C
µn = 
Cµ n ≥ C

Si llamamos N (t ) al número de máquinas inactivas en el instante t , lo que


pretendemos calcular es:

[
Pn ( t ) = P N ( t ) = n N ( 0) = i ]

58
y, más concretamente, el valor de:

Pn = lim Pn (t )
t →∞

si es que existe situación estacionaria.

Si establecemos las ecuaciones en diferencia de forma adecuada, tendremos:

λMP0 = µP1 ( n = 0)
[ ]
( M − n) λ + nµ Pn = ( M − n + 1) λPn −1 + ( n + 1) µPn +1 ( 1 ≤ n ≤ C)
[ ]
( M − n) λ + µC Pn = ( M − n + 1) λPn −1 + µCPn +1 ( C ≤ n ≤ M)

de donde obtenemos en situación estacionaria

 M  n
  ρ P0 0≤n≤C
 n 
Pn = 
 M  n!
ρn P C ≤ n ≤ M

  C
n n − C
C!

En el caso particular en el que sólo exista un único equipo de mantenimiento


( C =1) , entonces:

M!
Pn = ρ n P0 ∀ 0≤ n≤ M
( M − n) !
En este tipo de problemas se definen los conceptos de disponibilidad de
máquinas (proporción media de máquinas disponibles):

E[ N ]
1−
M

y de utilidad operativa del taller:

C M
nPn
∑ C
+ ∑ Pn
n =0 n =C +1

magnitudes que suelen estar tabuladas para diferentes valores de M y de ρ


.
También se definen y tabulan otros parámetros como el coeficiente de
pérdidas, que es el cociente entre el número medio de máquinas que están
trabajando y el número total de máquinas, o el coeficiente de pérdidas de los
equipos de mantenimiento, que es el cociente entre el número medio de
equipos de mantenimiento ociosos y el número total de equipos de
mantenimiento.

59
REDES DE COLAS
Redes de colas abiertas

Una red de colas es un conjunto de vértices o nodos conectados por un


conjunto de caminos, en los que cada nodo es un sistema de colas con uno o
varios servidores, de tal forma que los usuarios que salen de uno de los
sistemas de colas entran en otro situado en otro nodo, estando estos nodos
conectados en una combinación serie-paralelo, donde cada servicio se
resuelve de manera independiente.

Estas redes sirven para modelizar aquellos sistemas en que los usuarios
necesitan ser servidos por varios servidores diferentes. Casos típicos son las
redes de ordenadores, la secuenciación de tareas en la línea de ensamblaje
de una fábrica, etc. En la práctica generalmente se consideran solamente
redes de colas de tipo markoviano.

El primer tipo de redes de colas que consideraremos es el de las colas en


tándem, o redes de colas en serie, que responden muy bien como modelos de
las cadenas de montaje, de los reconocimientos médicos por varios
especialistas, intersecciones de tráfico, etc.

Comenzaremos por el caso más sencillo que consiste en dos servidores, es


decir, dos sistemas de colas, conectados en serie. Los usuarios llegan al
primer servidor de la red de forma poissoniana, con tasa λ y, una vez que son
servidos, pasan al segundo servidor. Existen, por tanto dos procesos: N 1 (t )
que es el número de usuarios en el primer sistema de colas en el instante t y
N 2 (t ) que es el número de usuarios en el segundo sistema en el instante t .
Analizaremos el proceso conjunto { N 1 (t ), N 2 (t )} como un proceso estocástico
cuyo espacio de estados es:

{( n , n
1 2 ) }
n1 , n 2 = 0,1,2,3, . ..

Interesa conocer

Pn1n2 = P( N 1 = n1 , N 2 = n 2 )

es decir, la probabilidad de que, en estado estacionario, el número de usuarios


en el primer sistema sea n1 y en el segundo sea n 2 . Se puede demostrar que
esta probabilidad límite existirá si y sólo si

λ λ
ρ1 = <1 y ρ2 = <1
µ1 µ2
donde µ1 y µ2 son las tasas de servicio de los dos sistemas de colas. Si en
este sistema establecemos las probabilidades de forma similar a como hemos
hecho en los sistemas de colas anteriores, obtendremos las siguientes
ecuaciones:

60
 λ P0 0 = µ 2 P0 1

 ( λ + µ 2 ) P0n2 = µ 1 P1,n2 − 1 + µ 2 P0,n2 + 1 n2 > 0

 ( λ + µ 1 ) Pn1 0 = µ 2 Pn11 + λ Pn1 − 1,0 n1 > 0
( λ + µ + µ ) P = µ P
 1 2 n1n2 1 n1 + 1,n2 + 1 + µ 2 Pn1 ,n2 + 1 + λ Pn1 − 1,n2 n1 , n2 > 0

cuya solución fue dada por R. R. P. Jackson en 1954 y es la siguiente:

Pnn1 2 = ρ 11 ρ 22 P0 0 n1,n2 > 0 


nn
⇒ Pnn1 2 = ( 1− ρ 1) ( 1− ρ 2 ) ρ 11 ρ 22 ∀ n1, n2
nn

P0 = 0( 1− ρ 1) ( 1− ρ 2 ) n1 = n2 = 0
Para el caso general de S nodos en serie, tendremos:
S
Pn1 ,n2 ,...,nS = ∏( 1 − ρi ) ρini
i =1

Redes de colas abiertas


Supongamos una red en la que existen K vértices de tal forma que el vértice
i -ésimo tiene S i servidores; supongamos que a cada vértice llegan los
usuarios con tasa λ i y son servidos con tasa µi . Después de ser servido en
el vértice i , el usuario pasa al vértice j con probabilidad αij , y sale de la red
con probabilidad
K
1− ∑α ij >0
j =1

61
La red se llama abierta porque existe una probabilidad no nula de que un
usuario salga de la red. Interesa conocer la distribución de probabilidad límite
Pn1 ,n2 ,...,nk del número de usuarios en cada vértice en estado estacionario. En
1957, J. R. Jackson (diferente a R. R. P. Jackson mencionado en la página
anterior) demostró que:

Pn1 ,n2 ,...,nk = P1 ( n1 ) ⋅ P2 ( n 2 )⋅...⋅PK ( n k )

a partir de lo cual dedujo:

  γ i 
r
  µi
 Pi (0) 0 ≤ r ≤ Si
 r!
Pi (r ) =  r

 γ 

 i
µ
 P (0)  i 
r ≥ Si
 i ( S ) r − Si S !
 i i

siendo los γ i conocidos como la tasa efectiva de llegadas al vértice i ,


cuyos valores son las soluciones al sistema de ecuaciones:
K
γ i = λ i + ∑ α ij γ j i = 1,2, ... , K
j =1

A esta solución para las redes de colas abiertas se la conoce como Teorema
de Jackson.

Redes de colas cerradas


Es una variante de la anterior, en la que la probabilidad de que un usuario
salga del sistema es nula; es decir,
K
1− ∑α ij =0
j =1

Entonces, el número de usuarios en la red N permanece constante. Bajo


estos supuestos, se puede demostrar que:

K n
Pi i
Pn1 ,n2 ,...,nK = C ⋅ ∏
i =1 φ1 ( n1 ) ⋅ φ 2 ( n 2 ). .. φ i (ni )

62
donde φ j (n) = min { n, S j } y además se satisface que

ρ r ∑ µ r α rS = ∑ µ S α Sr ρ S r = 1,2, ... , K
r S

Para determinar la constante C se emplea la condición de consistencia:

∑Pn ,n ,...,n1 2 K
=1

Redes de colas cíclicas


Una red de colas con K vértices se dice cíclica si se comporta de forma que
los usuarios se mueven siempre desde el vértice i al i +1 , para 1 ≤ i < K , y
desde el vértice K pasan al 1. Para este tipo de redes se pueden establecer
las siguientes relaciones:

 µ1
µ 1ρ 1 = µ K ρ K  ρ 2= µ ρ1
 2
µ 2 ρ 2 = µ 1ρ 1   µ2 µ1
 ρ 3= ρ 2= ρ 3
µ 3ρ 3 = µ 2 ρ 2  ⇒  µ3 µ3
..   ..
 
µ K ρ K = µ K− 1ρ K− 1  µ1
ρ K= µ ρ1
 K
y, en la distribución límite:
ni
K
 µ1 
Pn1 ,n2 ,...,nK = ( Cρ 1N )∏
i =2
 
 µK 

donde C se determina por normalización.

63

You might also like