3/$1,78 'RF

,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

-17HRUtD %iVLFD GH 7HOHWUiILFR 7

,1752'8&&,21

&RQWHQLGR

1. Antecedentes
2. Alcance y naturaleza
Teletrfico

de

la Teora

de

Proceso de entrada

Mecanismo de servicio

Disciplina de la disposicin en cola (queue

discipline)

Conservacin del flujo

3. Modelo matemtico

-21. 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

-3solo 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
( ( 1
circunstancias.
Cuando el nmero de clientes en el sistema esM, se dice que el sistema est en
estado Ej(j = 0, 1, .... n). Sea Pj la proporcin de tiempo en que j troncales estn
ocupadas; Pj es la proporcin que de tiempo que el sistema gasta en el estado E j.
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 E j es Pj, la velocidad a la que ocurre la
transicin ( ( 1
(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 E n + 1 representa un estado
fsicamente imposible (slo hay n troncales), la transicin
es cero. Por lo tanto la tasa a la cual la transicin ascendente ( ( 1 ocurre es
Pj cuando
j = 0,1,.......n -1; y es Cero cuando j = n.
Ahora consideremos las transiciones descendentes.
(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
E

j + 1 Ej

(j+1)/ . Como
el sistema est en
una proporcin de tiempo P j + 1, concluimos que la transicin
estado Ej+ 1
descendente E j + 1 Ej,
M 1
ocurre a la
velocidad
3 transiciones por unidad de tiempo (j = 0, 1, ... n-1).
M
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 P en trminos del valor P
j
es:
(
)
M

M!

3R

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

(TIN
2.2)

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

Pn 1
(TIN 2.3)
o P1 ......
Usando la ecuacin de normalizacin (TIN 2.3) conjuntamente con la ecuacin
(TIN 2.2), podemos
Po
determin
:
ar
Q
3
(

N
1

N
R 0 N!
As, para la proporcin P j del
tiempo en que j
3
M

(.)M/M!
Q
(.
/
)N
N!
N 0

(TIN 2.4)

troncales estn ocupadas, obtenemos la

frmula:
(TIN 2.5)

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 E 1n
(A):
( Q ( $) $ Q / Q!
Q
1
$N/N!
N 0

(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 P j
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-

2)

Exactamente en qu parte del sistema estamos interesados? Podemos

separar la seccin relevante y verla independientemente, o debemos tratarla dentro de
un todo.

3)

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.
4) Cmo se comporta el flujo entrante de demandas?
5) 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) cul es (en lenguaje probabilstico) elSURFHVR GH OOHJDGD de demandas?; y,
b) 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