3/$1,78  'RF    6

,QWURGXFFLyQ D OD 7HRUtD %iVLFD GH 7HOHWUiILFR

Sr. H. Leijon, UIT

81,21 ,17(51$7,21$/( '(6 7(/(&20081,&$7,216 ,17(51$7,21$/ 7(/(&20081,&$7,21 81,21 81,21 ,17(51$&,21$/ '( 7(/(&2081,&$&,21(6

-1-

7HRUtD %iVLFD GH 7HOHWUiILFR 7

,1752'8&&,21

&RQWHQLGR

1. Antecedentes

2. Alcance y naturaleza de la Teora de Teletrfico - Proceso de entrada - Mecanismo de servicio - Disciplina de la disposicin en cola (queue discipline) - Conservacin del flujo 3. Modelo matemtico

-2-

1.

Antecedentes

El desarrollo de la teora de trfico telefnico comenz a principios de este siglo. Los primeros logros en este campo se deben a Dane A. K. Erlang, cuyos trabajos se publicaron entre 1909 y 1928. Entre aqullos que continuaron con las ideas de Erlang, debemos mencionar al sueco Conny Palm, cuyos aportes durante el perodo 1936 - 1946 (1957) contribuyeron a dar a la teora de trafico su actual rigor. Muchas otras personas de diversas nacionalidades han contribuido tambin al desarrollo de la presente teora. La teora de trfico que puede ser aplicada a casos prcticos, se basa en el supuesto del equilibrio estadstico, lo que implica que sta slo puede tratar con casos sujetos a condiciones estacionarias. An no se ha inventado ningn mtodo prctico de clculo para las condiciones no estacionarias. No obstante, el antecedente terico para abordar tales casos se present en la tesis doctoral de Palm, en 1943, en la cual hizo un estudio de variaciones en la intensidad de llamadas. Ahora, con la ayuda de simulaciones computarizadas, ya es posible tratar con casos de trfico no estacionario. Sin embargo, las teoras aqu consideradas se limitarn a las condiciones estacionarias. Las teoras existentes usan diferentes combinaciones de supuestos y las derivaciones desde 1909 a la fecha surgen desde diferentes niveles de conocimientos y usan, en parte, diferente terminologa. Un repaso directo de las derivaciones para diferentes casos originalmente presentados no proveeran, por tanto, un claro escrutinio de la habilidad de la teora para describir los diferentes casos que ocurren en la prctica. Por eso, se ha preferido presentar la teora de trfico de una manera ms general, de la cual puedan derivarse varios casos particulares. Por ello, en la primera seccin se presentarn las caractersticas comunes a diferentes mtodos de agrupacin, tanto para sistemas de prdida como de retardo. Luego, ser preferible tratar separadamente con el grupo de disponibilidad total en un sistema de prdida y con el grupo de disponibilidad total en un sistema de retardo. Las teoras para interconexiones graduales (gradings) y sistemas de enlace sern tratadas en los captulos posteriores, en los cuales se comprender ms fcilmente cmo la teora general se aplica a estos casos. 2. Alcance y naturaleza de la Teora de Teletrfico

La teora de teletrfico puede considerarse como la teora de la disposicin en cola aplicada a los sistemas de telecomunicaciones. El concepto general de esta teora tiene que ver con el anlisis matemtico de sistemas sujetos a demandas, cuyas ocurrencias y duraciones pueden, en general, especificarse slo probabilsticamente. Por ejemplo, considere un sistema telefnico cuya funcin es proveer trayectos de comunicacin entre pares de aparatos telefnicos (clientes) de acuerdo a la demanda. La provisin de un trayecto de comunicacin permanente entre cada par de aparatos telefnicos sera astronmicamente caro y tal vez imposible. En respuesta a este problema, se proveen en un solo grupo comn, las facilidades necesarias para establecer y mantener un trayecto de conversacin entre un par de aparatos telefnicos, para ser usadas por una llamada cuando sean requeridas, y retornadas al grupo cuando ya no sean necesarias. Esto introduce la posibilidad de que el sistema sea incapaz de establecer una llamada demandada por carencia de equipo disponible en ese momento. As, surge inmediatamente la pregunta: cunto equipo debe proveerse para que la proporcin de llamadas experimentando retardos est por debajo de un nivel aceptable especfico? Preguntas similares a esa surgen en el diseo de muchos sistemas bastante diferentes de un sistema telefnico: cuntas camas debera proveer un hospital?; cuntos terminales de datos pueden ser conectados a un servicio de computadora de tiempo compartido ? Estas preguntas tienen una caracterstica comn: no pueden preverse en cada caso las veces en que los requerimientos de servicio ocurran y las cantidades de tiempo en que estos requerimientos emplearn facilidades, excepto en un sentido estadstico. Aunque estos sistemas son usualmente muy complejos, con frecuencia es posible abstraer de la descripcin del sistema, un modelo matemtico cuyo anlisis brinde informacin til. Considere el siguiente modelo. Los clientes piden el uso de un tipo particular de equipo (servidor). Si un servidor est disponible, el cliente que llega lo tomar y lo mantendr por un tiempo, despus del cual el servidor estar inmediatamente disponible para otro cliente que llega o est en espera. Si el cliente entrante no encuentra servidor disponible, entonces toma una accin especfica tal como esperar o retirarse. En consecuencia, el modelo se define en trminos de 3 caractersticas: el proceso de entrada, el mecanismo de servicio y la disciplina de la disposicin en cola. El proceso de entrada describe la secuencia de pedidos de servicio. Con frecuencia, por ejemplo, el proceso de entrada se especifica en trminos de la distribucin de las duraciones de tiempo entre los instantes de llegada de clientes consecutivos. El mecanismo de servicio es la categora que incluye caractersticas tales como el nmero de servidores y la duracin del tiempo en que los clientes retienen los servidores. Por ejemplo, los clientes pueden ser procesados por un

-3-

solo servidor, cada cliente reteniendo el servidor por la misma duracin de tiempo. La disciplina de disposicin en cola especifica la disposicin de los clientes bloqueados (clientes que encuentran todos los servidores ocupados). Por ejemplo, podra asumirse que los clientes bloqueados dejen el sistema inmediatamente o que esperen en cola por el servicio y sean servidos por orden de llegada. Ahora considere el siguiente modelo. Dos ciudades estn interconectadas por un grupo de n troncales telefnicas (servidores). Suponga que las llamadas que ingresan encuentran todas las troncales ocupadas y no esperan en lnea sino que se retiran del sistema. (Tcnicamente no hay espera en cola). Qu proporcin de llamadas entrantes (clientes) no podrn encontrar una troncal disponible (y as se perdern)?. Queremos derivar una frmula que prediga la proporcin de llamadas perdidas como una funcin de la demanda; es decir, deseamos derivar una frmula que permita estimar el nmero de troncales requeridas para cumplir un criterio de servicio predeterminado desde un estimado de la carga de trfico telefnico que se genera entre las dos ciudades. El gran valor prctico de cualquier modelo que lleve a tal frmula es obvio. Ahora daremos una derivacin heurstica de la frmula requerida, usando un concepto de gran importancia en ciencia e ingeniera, aqul de la conservacin de flujo. La siguiente derivacin es heurstica, de modo que nadie debe esperar comprenderla totalmente; la derivacin es un argumento de plausibilidad y es correcta en ciertas circunstancias. Cuando el nmero de clientes en el sistema es M, se dice que el sistema est en estado Ej (j = 0, 1, .... n). Sea P j la proporcin de tiempo en que j troncales estn ocupadas; Pj es la proporcin que de tiempo que el sistema gasta en el estado Ej. Llamemos a la tasa de llegada de la llamada; es el nmero promedio de solicitudes de servicio por unidad de tiempo. Considere primero el caso j < n. Ya que las llamadas llegan con una velocidad total , y ya que la proporcin de tiempo que el sistema gasta en el estado Ej es Pj, la velocidad a la que ocurre la transicin ( ( +1
M M

(el nmero promedio de tales transiciones por unidad de tiempo) es, por tanto, Pj. Ahora, consideremos el caso en el que j = n. Ya que el estado En + 1 representa un estado fsicamente imposible (slo hay n troncales), la transicin ( Q ( Q +1 es cero. Por lo tanto la tasa a la cual la transicin ascendente ( ( +1 ocurre es Pj cuando
M M

j = 0,1,.......n -1; y es Cero cuando j = n. Ahora consideremos las transiciones descendentes. Ej + 1 Ej (j = 0, 1, ....., n - 1)

Suponga que el tiempo medio de ocupacin (el tiempo promedio en que una llamada retiene una troncal) es , entonces si una troncal simple est ocupada, el nmero promedio de llamadas terminando durante un tiempo transcurrido es 1; la tasa de terminacin para una sola llamada es entonces, 1/. De modo similar, si dos llamadas estn en progreso simultneamente y el promedio de duracin de una llamada es , el nmero promedio de llamadas terminando durante un tiempo transcurrido es 2; por tanto, la tasa de terminacin para dos llamadas simultneas es 2/ . Por medio de este razonamiento, entonces, la tasa de terminacin para j+1 llamadas simultneas es (j+1)/ . Como el sistema est en estado Ej + 1 una proporcin de tiempo Pj + 1, concluimos que la transicin descendente Ej + 1 Ej, M +1 ocurre a la velocidad 3 + 1 transiciones por unidad de tiempo (j = 0, 1, ... n-1).

Ahora aplicamos el principio de conservacin de flujo. Si el sistema ha de estar en equilibrio estadstico, es decir, si la proporcin relativa de tiempo que el sistema gasta en cada estado ha de ser una cantidad estable, entonces la transicin ascendente Ej Ej + 1 debe ocurrir con la misma velocidad que la transicin descendente Ej+1 Ej. As es como tenemos las llamadas ecuaciones de balance del equilibrio estadstico.

Pj = ( j + 1) . 1 . Pj +1

(j = 0, 1, j......., n - 1)

(TIN 2.1)

Estas ecuaciones pueden resolverse recursivamente; el resultado, que expresa cada Pj en trminos del valor Po es:

( ) 3 = 3 M!
M M

(j = 0, 1, ....., n)

(TIN 2.2)

-4-

Ya que los nmeros {Pj} representan todos los posibles estados, la suma de ellos debe ser igual a la unidad:

Po + P1 + ...... Pn = 1

(TIN 2.3)

Usando la ecuacin de normalizacin (TIN 2.3) conjuntamente con la ecuacin (TIN 2.2), podemos determinar Po :

3R = (

( ) N 1 ) N! N=0
Q

(TIN 2.4)

As, para la proporcin Pj del tiempo en que j troncales estn ocupadas, obtenemos la frmula:

3 =
M

(. ) / M !
M

(. ) / N !
N N

(TIN 2.5)

=0

Debe hacerse una observacin importante con respecto a la frmula (TIN 2.5) y ella es que las proporciones {Pj} dependen de la tasa de llegada y el tiempo medio de ocupacin slo a travs del producto . Este producto es una medida de la demanda hecha al sistema; con frecuencia sta es llamada la carga ofrecida y se le da el smbolo A, $ = . Los valores numricos de A son expresados en unidades llamadas erlangs (erl), por el matemtico dans A. K. Erlang, quien fue el primero en publicar la frmula (TIN 2.5) en 1917. Cuando j = n en la frmula (TIN 2.5), tenemos la bien conocida frmula de prdida de Erlang, simbolizada en Europa por E1n (A):

(1Q ( $) =

$Q / Q !
N =0 N $ / N! Q

(TIN 2.6)

Posteriormente, derivaremos estos resultados ms detenidamente. El punto aqu es que algunos resultados matemticos potencialmente tiles, han sido derivados slo usando razonamiento heurstico. La pregunta que ahora debemos hacernos es: bajo qu condiciones son vlidos estos resultados? Ms precisamente, qu suposiciones acerca del proceso de entrada y mecanismo de servicio se requieren para la validacin de las frmulas (TIN 2.5) y ( TIN 2.6)?. Puede justificarse la aseveracin de que la velocidad del trnsito descendente es proporcional al tiempo medio de ocupacin? Cul es la relacin entre la proporcin Pj de tiempo que j llamadas estn en progreso y la proporcin j , es decir, de llamadas que ingresan y que encuentran j otras llamadas en progreso? Qu tan ampliamente es aplicable el anlisis de conservacin de flujo? Cmo manejar los procesos para los cuales este tipo de anlisis es inaplicable?

A veces, preguntas de esta naturaleza requieren argumentos matemticos altamente sofisticados. Sin embargo, aqu tomaremos una posicin intermedia con respecto al uso de matemticas avanzadas. El material debe ser accesible a un estudiante que entiende la teora de probabilidades aplicada y las reas afines de las matemticas. 3. Modelo matemtico

De lo anterior comprendemos que la teora de trfico consiste en el modelo matemtico de un sistema de telecomunicaciones (o de alguna parte de l) y su comportamiento cuando las demandas son hechas en l o por medio de l. Toda esta teora es un ejercicio en base a un modelo: no podemos establecer y examinar un sistema idntico y por eso construimos una versin (hipottica) simplificada, con entradas bien definidas y la analizamos. Por eso, la validez y utilidad de la teora que desarrollamos descansa enteramente sobre la respuesta a la pregunta : Cun satisfactorio es el modelo? Si tenemos poca confianza en el modelo, entonces sin importar cun sofisticadas sean nuestras matemticas, los resultados finales de la teora sern poco confiables. A fin de establecer nuestro modelo, tenemos que considerar cuidadosamente un nmero de puntos:

-5-

1) Exactamente en qu parte del sistema estamos interesados? Podemos separar la seccin relevante y verla independientemente, o debemos tratarla dentro de un todo. 2) Cul es el comportamiento tcnico preciso de esta seccin por la cual nos hemos decidido, en trminos de tiempos operativos, limitaciones en los accesos, tiempos muertos, respuesta detallada a una demanda, etc. 3) 4) Cmo se comporta el flujo entrante de demandas? Qu informacin queremos de nuestro modelo, y cun exacta debe ser?

Todos los puntos son interdependientes. Tal vez es ms fcil comenzar por el flujo entrante de demanda, e inquirir cmo sta est estructurada: lo cual por s mismo involucrar algunas suposiciones de que las fuentes de demanda - por ej. abonados - estn reaccionando al comportamiento usual del sistema de la manera usual. Tpicamente este flujo de demandas est ampliamente regido por el azar, de modo que los mtodos de procesos estocsticos sern apropiados. Entonces, necesitamos saber: a) b) cul es (en lenguaje probabilstico) el SURFHVR GH OOHJDGD de demandas?; y, cul es la distribucin del trabajo que ellas traen?

La descripcin del proceso de llegada podr requerir mayor o menor detalle. En un sistema de baja congestin de trfico nuevo ofrecido por una multitud de abonados independientes, podemos asumir con una alta precisin que (a cualquier velocidad sobre perodos de tiempo no muy largos) las llegadas son SXUR D]DU; es decir, que forman un proceso poissoniano. Si examinamos un sistema al que se ofrece trfico de desbordamiento, necesitaremos una descripcin ms compleja; y ms compleja an si esperamos una proporcin significativa de intentos repetidos. Consideremos ahora el segundo punto: la distribucin del trabajo que trae una sola demanda. Sin duda esto puede tener una considerable variacin cualitativa: si nos referimos a la ocupacin de circuitos, el trabajo consiste en un solo tiempo continuo de ocupacin; mientras que si estamos modelando el control comn de un sistema procesador complejo, puede ser una secuencia de tareas separadas, muy diferentes en tipos y duraciones. Sin embargo, hay dos casos particularmente comunes e importantes y son aqullos donde el tiempo de ocupacin tiene una distribucin exponencial negativa y donde ste es efectivamente determinstico, esto es, una constante. Ahora volvamos nuestra atencin al punto (4) precedente: qu informacin queremos del modelo. Esto naturalmente requiere, a cualquier velocidad, algn conocimiento del comportamiento del sistema (por ejemplo, estn bloqueadas las llamadas perdidas o ellas estn en fila de espera) y una comprensin del proceso de entrada. Ya que tal entrada es estocstica, la salida de nuestro modelo ser probabilstica, y puede consistir de probabilidades de prdida, retardos promedio, percentiles de ocupacin del procesador, o cantidades similares. Incluso puede ser sta slo la primera etapa en la construccin de un modelo ms complejo, en cuyo caso, podemos necesitar saber cmo completar detalles de las distribuciones de retardos, de llamadas desbordadas, o sobre algn otra cantidad que afecta el resto del sistema. En esta etapa, se considera el punto (1). Ahora estamos listos para atender los detalles de ingeniera del sistema, punto (2 ) precedente; y es en esta etapa, en la que nuestro modelo matemtico toma forma y se sabe si es posible un tratamiento analtico. Finalmente, todo el proceso se repite hasta que tengamos la confianza que es consistente y que el comportamiento del sistema es sin duda compatible con los supuestos del flujo de demanda entrante y viceversa. Asumimos entonces que un modelo ha sido o puede ser establecido. Este necesariamente ser, de una manera u otra, aproximado y debemos estimar qu efecto tendr esta aproximacin en los resultados del modelo. Si la respuesta es demasiado efecto, debemos dar nueva forma al modelo. El ltimo requerimiento es siempre para un nmero o grupo de nmeros, esto es, para un clculo numrico: cambios tan tiles con frecuencia pueden hacerse entre modelos aproximados y clculos aproximados. De hecho, puede no ser posible especificar los datos de entrada del comportamiento del abonado con el detalle que se necesita, porque las cantidades relevantes son desconocidas o, inclusive, inmensurables. En tales circunstancias son razonables las aproximaciones: decidir qu hara El Hombre Razonable y tomar una decisin sobre qu es lo que en el sistema debe ser dimensionado (por supuesto, con las salvaguardas apropiadas al sistema mismo) o analizar varios modelos, que difieran slo en el comportamiento del abonado, y presentar un rango de resultados para la toma de decisiones final basados en otros datos.

-6-

Afortunadamente la mayor parte de cantidades de inters, como la salida desde los modelos matemticos, son notablemente slidas con respecto a las variaciones en los procesos de entrada ( por supuesto siempre que ciertos parmetros crticos, como el trfico total ofrecido, se mantengan constantes); y modelos tan simples dan resultados tan exactos y tiles. Sin embargo, nunca debe olvidarse que no importa que tan elaborada sea la solucin matemtica, UN MAL MODELO SIGNIFICA RESULTADOS NO CONFIABLES