INVESTIGACIN OPERATIVA 2

(FRMULAS DE TEORA DE COLAS)

1. Modelo de colas con poblacin infinita y un servidor (M/M/1/DG//)
Llegadas Poisson
Servicio Exponencial

n =
n =

para n = 0, 1, 2, ...,
para n = 1, 2, 3, ...,

Las siguientes ecuaciones son vlidas slo cuando = / < 1.

Cn = i=1,n (i-1/i) = (/)n = n
para n = 1, 2, 3, ...,
p = n=0, n Pn = n=0, Pn = n=0, Pn =
Pn = Cn P0 = (1 - )n
para n = 1, 2, 3, ...,
P(n 1) = 1 - P0 =
L = (1 - ) [1/(1 - )] / = (1 - )/(1 - )2 = / (1 -
Lq = / (1 - - = 2 / (1 -
Ls = L - Lq = / (1 - -2 / (1 - =
W = L / p = L / = / (1 - = 1 / (- )
Wq = Lq / p = Lq / = 2 / (1 - = /(- )]
Ws = W - Wq = 1 / (- ) - (- )] = 1 /
P(Wq > t) = e-(1 - )t
2. Modelo de colas con cola de espera finita y un servidor (M/M/1/DG/K/)
Las siguientes ecuaciones son vlidas slo cuando = / < 1 y = / > 1
Cn = i=1,n (i-1/i) = (/)n = n
para n = 1, 2, 3, ..., K
p = n=0,n Pn = n=0,K-1Pn = (1 - Pk)
P0 = (1 - 1 - K+1)
Pn = Cn P0 = [(1 - (1 - K+1)] n
para n = 1, 2, 3, ..., K
P(n 1) = 1 - P0 = 1 - [(1 - 1 - K+1)]
L = [ (1 - - [(K + 1)(K+1) / (1 - K+1)]
Lq = n=s, (n-s) Pn = n=1, K (n-1) Pn = n=0, K nPn - n=1, K Pn = L - (1 - P0)
Ls = L - Lq = 1 - P0
W = L / p = L / [(1 - PK)]
Wq = Lq / p = Lq / [(1 - PK)]
Ws = Ls / p = (1 - P0) / [(1 - PK)]
3. Modelo de colas con poblacin infinita y varios servidores (M/M/s/DG//)
Sea s el nmero de servidores en paralelo.
Llegadas Poisson
Servicio Exponencial

n =

para n = 0, 1, 2 , ...,
n

para n = 1, 2, 3, ..., s-1

para n = s, s+1, s+2 , ...,

n = {
Las siguientes ecuaciones son vlidas slo cuando = /s < 1.
Cn = i=1,n (i-1/i) = (/)n /n! = (sn / n!
para n = 1, 2, 3, ..., s-
Cn = i=1,n (i-1/i) = [(/)s /s!] (/s)n-s = (sn / s! sn-s
para n = s, s+1, s+2, ...,
p = n=0, n Pn = n=0, Pn = n=0, Pn =
P0 = {[n=0, s-1 (sn / n!] + [(ss / (s! (1 - ))]}-1
Pn = Cn P0 = [(s)n / n!] P0
para n = 1, 2, 3, ..., s-1
Pn = Cn P0 = [(s)n / (s! sn-s)] P0
para n = s, s+1, s+2, ...,

P(ns) = (s)s P0 / [s!(1 - )]

Lq = P(ns) (1 -
Wq = Lq / p = Lq / = P(ns) / (1 - = P(ns) / (s-
Ls = s
L = Lq + Ls = P(ns) (1 - s
Ws = 1 /
W = Wq + Ws = P(ns) / (s- 1 /
P(W > t) = [1 + P(ns) (1-e(-t(s - 1 - s)) / (s - 1 - s)] e-t
P(Wq > t) = P(ns) e-s(1 - )t
4. Modelo de colas con cola de espera finita y varios servidores (M/M/s/DG/K/ )
Sea K el tamao del sistema de colas, y s el nmero de servidores en paralelo, donde K s.
Llegadas Poisson
Servicio Exponencial

n =

para n = 0, 1, 2, ..., K-1

n

para n = 1, 2, 3, ..., s-1

para n = s, s+1, s+2, ..., K

n = {
Las siguientes ecuaciones son vlidas slo cuando = /s < 1.
Cn = i=1,n (i-1/i) = (/)n /n! = (sn / n!
para n = 1, 2, 3, ..., s-
Cn = i=1,n (i-1/i) = [(/)s /s!] (/s)n-s = (sn / s! sn-s
para n = s , s+1, s+2, ...,
p = n=0,n Pn = n=0,k-1 Pn = (1 - Pk)
P0 = [1 + n=1, s-1 (sn / n! + (ss / s! n=s, K (n-s ]-1
Pn = Cn P0 = [(s)n / n!] P0
para n = 1, 2, 3, ..., s-1
Pn = Cn P0 = [(s)n / (s!s(n - s))] P0
para n = s, s+1, s+2, ..., K
L = n=0,s-1 n Pn + Lq + s(1 - n=0,s-1 Pn)
Lq = {P0(/ )s [s!(1 - )2]} [1 - K-s - (K - s) K-s (1 - )]
W = L / p = L / [(1 - PK)]
Wq = Lq / p = Lq / [(1 - PK)]
5. Modelo de colas con poblacin finita y un servidor (M/M/1/DG/N/N)
Sea N el tamao de la poblacin.
Llegadas Poisson
Servicio Exponencial

n = (N - n)
n =

para n = 0, 1, 2, ..., N-1

para n = 1, 2, 3, ..., N

Las siguientes ecuaciones son vlidas slo cuando = /s < 1.

Cn = i=1,n (i-1/i) = N! n / (N - n)!
para n = 1, 2, 3, ..., N
p = n=0, n Pn = n=0,N (N - n)Pn = (N - L)
P0 = [n=0,N N! n / (N - n)! ]-1
Pn = N! n P0 / (N - n)!
para n = 1, 2, 3, ..., N
L = N - (1 - P0) /
Lq = N - (1 - P0) (+ 1) /
W = L / p = L / [(N - L)]
Wq = Lq / p = Lq / [(N-L)]
6. Modelo de colas con poblacin finita y varios servidores (M/M/s/DG/N/N)
Sea N el tamao de la poblacin, y s el nmero de servidores en paralelo, donde N s.
Llegadas Poisson
Servicio Exponencial

n = (N - n)

para n = 0, 1, 2, ..., N-1

para n = 1, 2, 3, ..., s-1

para n = s, s+1, s+2, ..., N

n = {
Las siguientes ecuaciones son vlidas slo cuando = /s < 1.
Cn = i=1,n (i-1/i) = N! (sn / (N-n)! n!
para n = 1, 2, 3, ..., s-
Cn = i=1,n (i-1/i) = N! (sn / (N-n)! s! sn-s
para n = s, s+1, s+2, ..., N
p = n=0, n Pn = n=0,N (N - n)Pn = (N - L)
P0 = {n=0,s-1 (s)n N! / [(N - n)! n!] + n=s,N (sn N! / [(N - n)! s! s(n-s)]}-1
Pn = N! (s)n P0 / [(N - n)! n!]
para n = 1, 2, 3, ..., s-1
Pn = N! (s)n P0 / [(N - n)! s! s(n-s)]
para n = s, s+1, s+2, ..., N
L = n=0,s-1 n Pn + n=s,N (n-s) Pn + s (1 - n=0,s-1 Pn)
Lq = n=s,N (n - s) Pn
W = L/p = L / [(N - L)]
Wq = Lq/p = Lq / [(N - L)]
7. Modelo de colas con distribucin de servicio desconocida para un servidor (M/G/1/DG/ /)
Llegadas Poisson
Servicio desconocido

n =
media 1/ y varianza 2

para n = 0, 1, 2, ...,
para n = 1, 2, 3, ...,

= / < 1
P0 = 1 -
Lq = [22 + 2] / 2(1 - )
L = + Lq
Wq = Lq /
W = Wq + 1 /
8. Modelo de colas con distribucin de servicio Erlang para un servidor (M/E k/1/DG//)
Llegadas Poisson
Servicio Erlang

n =
media 1/ y varianza 1 / (k2)

para n = 0, 1, 2, ...,
para n = 1, 2, 3, ...,

= / < 1
P0 = 1 -
Lq = {2 / [(- )]} (1 + k) / 2k
Wq = { / [(- )]} (1 + k) / 2k
W = Wq + 1 /
L = W
9. Modelos sin prioridad adquirida
Llegadas Poisson
Servicio Exponencial
Nmero de servidores en paralelo

para la prioridad de clase i (i = 1, 2, 3, ..., N)

= i=1,N i
Las siguientes ecuaciones son vlidas slo cuando = /s < 1.
Wqk = 1 / (A Bk-1Bk)
para k = 1, 2, 3, ..., N
Donde:
A = s! [(s - )/(ss] (j=0,s-1 (sj / j!) + s
B0 = 1
Bk = 1 - (i=1,k i) / (s
para k = 1, 2, 3, ..., N
Wk = Wqk + 1 /
para k = 1, 2, 3, ..., N

Lk = k Wk
Lqk = k Wqk
10.

para k = 1, 2, 3, ..., N
para k = 1, 2, 3, ..., N

Modelos con prioridad adquirida

Llegadas Poisson
i
para la prioridad de clase i (i = 1, 2, ..., N)
Servicio Exponencial

Nmero de servidores en paralelo

s
= i=1,N i
Las siguientes ecuaciones son vlidas slo cuando = /s < 1.
Wk = 1 / ( Bk-1Bk)
para k = 1, 2, 3, ..., N
Donde:
B0 = 1
Bk = 1 - (i=1,k i) / (s
para k = 1, 2, 3, ..., N
Wqk = Wk - 1 /
para k = 1, 2, 3, ..., N
Lk = k Wk
para k = 1, 2, 3, ..., N
Lqk = k Wqk
para k = 1, 2, 3, ..., N
11. Colas infinitas en serie
Sea m el nmero de servidores en serie.
Llegadas Poisson
i =
para i = 1, 2, 3,..., m
Servicio Exponencial
i
para i = 1, 2, 3,..., m
Por la propiedad de equivalencia, cada instalacin de servicio se puede analizar usando los modelos
(M/M/1/DG//) o (M/M/s/DG//) de manera independiente.
12. Redes de Jackson
Una red de Jackson es un sistema de m instalaciones de servicio en donde la instalacin i (i = 1, 2, 3,..., m)
tiene:
1) Una cola infinita.
2) Clientes que llegan de fuera del sistema de acuerdo a un proceso de entrada Poisson con parmetro a i.
3) si servidores con la misma distribucin Exponencial para los tiempos de servicio con parmetro i.
Un cliente que deja la instalacin i se encamina despus a la instalacin j (j = 1, 2, 3,..., m, pero j i) con
probabilidad pij, o sale del sistema con probabilidad:
qi = 1 - j=1,m pij
Cualquier red de este tipo tendr la siguiente propiedad: Bajo condiciones de estado estable cada instalacin
j (j=1, 2, 3,...,m) en una red de Jackson se comporta como si fuera un sistema de colas (M/M/s/DG/ /)
independiente con tasa de llegadas: j = aj + i = 1,m i pij ; en donde sj j > j.
Relaciones entre Pn, L, W, Lq, Wq, Ls y Ws
L = n=0, n Pn
Lq = n=s, (n-s) Pn
W = L / p
W q = L q / p
p = n=0, n Pn
Ls = L - L q
W s = W - Wq

Documento preparado por los profesores del curso.