Introduccin: Las colas (lneas de espera) son parte de nuestra vida cotidiana.

Todos esperamos en colas para comprar un boleto para el cine, efectuar un depsito bancario, pagar vveres, enviar un paquete por correo, obtener comida en la cafetera, comenzar un recorrido en un parque de diversiones, etctera. Nos hemos acostumbrado a cantidades notables de espera, pero an nos molestamos con las esperas prolongadas. Sin embargo, tener que esperar no es slo una pequea molestia personal. La cantidad de tiempo que la poblacin de un pas desperdicia esperando en las colas es un factor primordial tanto de la calidad de vida como de la eficiencia de un pas. TEORA DE COLAS COLAS ESPECIALIZADAS DE POISSON DEFINICIN DE LAS MEDIDAS DE DESEMPEO Cuntos clientes suelen esperar en el sistema de colas? 2. Cunto suelen esperar estos clientes? Estas dos medidas expresadas en forma de interrogantes, por lo comn se expresan en trminos de sus valores esperados (en el sentido estadstico). Para hacer esto, es necesario aclarar si slo se estn contando con clientes mientras esperan en la cola (previo al iniciar el servicio) o mientras se encuentran en cualquier punto en el sistema de colas (ya sea en la cola o en servicio). Estas dos

formas de definir los dos tipos de medidas proporcionan cuatro medidas de desempeo. Se presentan estas cuatro medidas y su smbolos. L = nmero esperado de clientes en el sistema, incluye a quienes estn en el servicio (el smbolo L proviene de longitud) Lq = nmero esperado de clientes en la cola, que excluye a los clientes que estn en el servicio. W = tiempo de espera esperado en el sistema (incluye el tiempo de servicio) para un cliente individual (el smbolo W proviene de tiempo de espera) Wq = tiempo de espera esperado en la cola (excluye el tiempo de servicio) para un cliente individual. COLAS ESPECIALIZADAS DE POISSON RELACIONES ENTRE L, W, LQ Y WQ La nica diferencia entre W y Wq es que W incluye el tiempo esperado de servicio y Wq no. As 1/ es el smbolo de tiempo esperado de servicio, W = Wq + 1/ , donde = tasa media de servicio. Quiz la frmula ms importante en la teora de las colas proporciona una relacin directa entre L y W. Esta frmula es L = W, donde = tasa media de llegadas para los clientes que entran al sistema de colas. La frmula anterior (L = W), tambin se aplica a la relacin entre Lq y Wq. Por lo tanto, otra versin de esta frmula es: Lq = Wq Al combinar las relaciones anteriores tambin se obtiene la siguiente relacin directa entre L y Lq, L = W = (Wq + 1/ )

= Lq + / LAS NOTACIONES NORMALES O ESTNDAR PARA REPRESENTAR LAS DISTRIBUCIONES DE LLEGADAS Y DE SALIDAS SON: M = Distribucin de Markov (o de Poisson) de las llegadas o de las salidas (o lo que es igual, distribucin exponencial del tiempo entre llegadas o tiempo de servicio) D = Tiempo constante (determinstico) Ek = Distribucin Erlang o gamma de tiempo (o bien, la suma de distribuciones exponenciales independientes) GI = Distribucin general del tiempo entre llegadas G = Distribucin general del tiempo de servicio ENTRE LA NOTACIN DE DISCIPLINAS DE COLA ESTN: PLPS = Primero en llegar, primero en ser servido ULPS = ltimo en llegar, primero en ser servido SEOA = Servicio de orden aleatorio DG = Disciplina en general (es decir, cualquier tipo de disciplina) MODELOS PARA LNEAS DE ESPERA ESPECIALIZADAS DE POISSON. Cada modelo de los que a continuacin se analizaran se describe en trminos de la notacin extendida por Kendall, como la deduccin de pn es completamente independiente de la disciplina de la lnea de espera, es apropiado usar el smbolo DG (disciplina general) en la notacin de Kendall. LNEAS DE ESPERA SUCESIVAS O EN SERIE. MODELO EN SERIE DE DOS ESTACIONES CON CAPACIDAD DE LNEAS DE ESPERA CERO. A continuacin se analizaran lneas de espera de Poisson con estaciones de servicio dispuestas en serie, de manera que todo cliente debe pasar por las dos estaciones antes de completar el servicio. Para este modelo que describe esta situacin los tiempos de servicio en cada estacin estn exponencialmente distribuidos con la misma tasa de servicio m .

Las llegadas ocurren segn una distribucin de Poisson con tasa l y no se permiten colas en ninguna de las dos estaciones. Para plantear este modelo se requiere de identificar primeramente los estados del sistema. Los smbolos 0, 1, b, representan los estados libres, ocupado y bloqueado respectivamente. Sean i y j los estados en la estacin 1 y 2. Entonces los estados del sistema se pueden representar : { ( i, j) } = { ( 0, 0) ; ( 1, 0) ; ( 0, 1) ; ( 1, 1) ; ( b, 1) } Definiendo pij(t) como la probabilidad de que el sistema se halle en el estado (i, j) en el tiempo t. Las probabilidades de transicin entre los tiempos t y t+h se resumen en la siguiente tabla: Estados t (0, 0) (0, 1) (1, 0) (1, 1) (b, 1) (0, 0) 1- l * h m * h( 1-l * h) (0, 1) 1-m * h-l * h m * h( 1-l * h) m * h( 1-l * h) m * h( 1-l * h) (1, 0) l*h 1-mh m*h (1, 1) l * h( 1-m h) ( 1-m h) ( 1-m h) (b, ) m*h 1-mh

Nota : Los cuadros vacos indican que las transiciones entre los estados indicados t y t+h son imposibles (=0). Por esto se pueden plantear las siguientes ecuaciones: p0, 0(t+h) = p0, 0(t)(1-l h) + p0, 1(t)(m h) p0, 1(t+h) = p0, 1(t)( 1-m h-l h) + p1, 0(t)(m h) + p b, 1( t) ( m h) p1, 0(t+h) = p0, 0(t)(l h) + p1, 0(t)( 1-m h) p1, 1(t)( m h) p1, 1(t+h) = p0, 1(t)( l h) + p1, 1(t)( 1-2m h) pb, 1(t+h) = p1, 1(t)( m h) + p b, 1(t)( 1-m h) Recordando los trminos y tomando los lmites apropiados, las ecuaciones de estado estable son : p0, 1 - r p0, 0 = 0 p1, 0 + p b, 1- p1,0 = 0

r p0, 0 + p1, 1 p1, 0 = 0 r p0, 0 + 2p1, 1 = 0 p1, 1 p b, 1 = 0 Analizando estas ecuaciones y agregando la siguiente condicin : p0, 0 + p0, 1 + p1, 1 + p b, 1 = 1 se llega a la conclusin de que la solucin para pi, j es : p0, 0 = 2/A p0, 1 = ( 2r ) / A p1, 0 = ( r 2 + 2r ) / A p1, 1 = p b, 1 = r 2/ A donde A = 3r como:
2

+ 4r + 2. El nmero esperado en el sistema puede obtenerse

Ls = 0* p0, 0 + 1(p0, 1 + p1, 0) + 2( p1, 1 + p b, 1) = ( 5r 2 + 4r ) / 4 .

MODELO DE NO PRIORIDAD CON VARIOS SERVIDORES (M/M/C) : (NPRP/ / ) . Este modelo supone que todos los clientes tienen la misma distribucin del tiempo de servicio, los c canales tienen una distribucin de servicio exponencial idntica con tasa de servicio m . Las llegadas de K-sima lnea de espera con prioridad ocurren segn una distribucin de Poisson con una tasa de llegada l K, k = 1,2, ,m. Se puede demostrar para la k-sima lnea de espera que: Wq(k) = E{ x 0} / ( 1-Sk-1) ( 1-Sk) , k = 1,2, ,m donde : S0 = 0

Sk =

l i / cm < 1

E{ x 0} = 1/ cm [ r -c( c-r ) ( c-1) !( r n/ n!+ 1 ) , r = l / m

y la espera numrica estimada en la lnea de espera para todo el sistema viene dada por : Lq = l Wq. MODELO DE SERVICIO DE MQUINAS (M/M/R) : (DG/K/K), R > K. En este modelo se supone que se dispone de R tcnicos en reparaciones para dar servicio a k mquinas. Como una maquina descompuesta no puede generar nuevas llamadas mientras esta en servicio, el modelo es ejemplo de una fuente de llamadas finita. Si se define l como la tasa de descompostura por mquina, se tiene : (k-n)l , 0 n k l n = 0, n k nm , 0 n R m n = Rm , R n k 0, n > k Sustituyendo por l n y m n en la expresin de pn se obtiene : k r np0 , 0 n R n Pn =k (n!r n / R!Rn-R ) p0, R n k n

p0 = {

krn+

k (n!r n / R!Rn-R ) n n

las otras medidas de desempeo estn dadas por :

Lq =

(n-R)pn ) = Lq +l ef /m

Ls = Lq + (RDonde :

= nmero esperado de tcnico s =

l ef = m (R-

) = l (k-Ls)

La segunda expresin de l ef se obtiene como sigue. Como la tasa de llegadas dadas n mquinas en el sistema es l ( k-n)(donde l es la tasa de descompostura por mquina), en condiciones de estado estable : l ef = E{ l ( k-n) } = l ( k-Ls) Los resultados se aplican al caso de un solo tcnico haciendo sencillamente R = 1. En este caso se puede probar que : Lq = k - [ 1+( 1/ r ) ] ( 1 - p0) Ls = k -( 1 - p0) / r