Impacto en el desempeo del protocolo ALOHA ranurado para un canal

con capacidad de recepcin mltiple de paquetes.

Vctor Sandoval Curmina
1
, Ral Garca Ruz
2
, Aldo G. Orozco Lugo
2
.
1
Instituto Tecnolgico de Mrida
Av. Tecnolgico Km 5 carretera Mrida-Progreso, Mrida, Yucatn, Mxico.
Tel: (999) 9448113 ext:163, Fax: (999) 9448181
CINVESTAV del IPN.
Av. Instituto Politcnico Nacional 2508 Col. San Pedro Zacatenco, 07360 Mxico D.F.
Tel: (55) 50613800 ext 6350
Correos: victors@itmerida.mx, rgarcia@mail.cinvestav.mx, aorozco@mail.cinvestav.mx.

Resumen.
Los avances en las tcnicas modernas de procesamiento
de seales permiten la recepcin correcta de varios
paquetes transmitidos simultneamente por el mismo
canal. El presente trabajo tiene como finalidad
determinar el impacto del uso de las tcnicas de
recepcin mltiple en un canal con protocolo de acceso
del tipo ALOHA ranurado. A travs de simulaciones en
MATLAB se presenta un anlisis del trfico cursado,
retardo promedio y estabilidad del protocolo ALOHA
ranurado en un canal con capacidad de recepcin
mltiple de paquetes.

Introduccin.
La necesidad de obtener altas tasas de trfico cursado
en las redes inalmbricas centralizadas es primordial para
poder mover la informacin de la creciente demanda de
servicios impulsados por el manejo de computadoras
porttiles, telfonos celulares y dems dispositivos
porttiles. Gracias a los avances alcanzados en la
actualidad dentro del rea del procesamiento de seales,
ya es posible que el receptor pueda separar y recibir
simultneamente seales de mltiples transmisores que
comparten un canal comn. Esto le otorga al receptor una
capacidad de recepcin mltiple de paquetes (MPR) [1].
El protocolo ALOHA ranurado es un protocolo hecho
para el control de acceso mltiple (MAC) donde se
permite que un grupo de usuarios compartan el canal de
comunicaciones.










El ALOHA ranurado fue diseado de tal manera que
una recepcin exitosa puede ocurrir solamente cuando un
paquete es transmitido dentro de una ranura de tiempo y
adems se supone que el canal est libre de ruido.
Estudios realizados han demostrado que en muchos de los
sistemas de comunicacin multiusuario la suposicin de
un modelo de canal con colisin es muy pesimista ya que
existe la posibilidad de que el receptor pueda recibir solo
algunos paquetes de entre todos los transmitidos [2]. Un
ejemplo de esto es el fenmeno captura, que es comn en
las redes de rea local, si la potencia de uno de los
paquetes recibidos es suficientemente grande comparada a
la potencia de los otros paquetes involucrados en la
colisin, entonces el paquete ms fuerte puede ser
correctamente decodificado, mientras que los otros
paquetes son perdidos. Otro ejemplo son los canales de
acceso mltiple CDMA, donde varios usuarios transmiten
simultneamente en la misma banda de frecuencia y un
detector multiusuario demodula la informacin
transmitida por todos los usuarios activos.
Por esta razn se analizarn y encontrarn las
implicaciones que la capacidad MPR tiene sobre el
ALOHA ranurado. Dentro de las implicaciones se ha
demostrado que los desempeos mejoran notablemente en
sistemas donde algunos de los paquetes involucrados en la
colisin pueden recibirse correctamente con respecto al
ALOHA ranurado tradicional; aunque algunos estudios
precisos acerca de la estabilidad del sistema no haban
sido obtenidos. A partir de [3] se inici el estudio
referente a como la MPR puede afectar las propiedades de
estabilidad del ALOHA ranurado.
Los motivos para escoger el ALOHA ranurado para
conocer el impacto de la capacidad MPR en un protocolo
de capa MAC son la simplicidad en el anlisis de su
comportamiento, y el hecho de ser una de las tcnicas que
se encuentran implementadas en varios sistemas de
comunicacin con acceso mltiple. Por lo tanto en el
desarrollo de este trabajo se efectuarn varias
simulaciones para comprobar el impacto que la capacidad
MPR puede ofrecerle al protocolo ALOHA ranurado.

Capacidad de recepcin mltiple de
paquetes.
En [3] se present un anlisis del ALOHA ranurado
con capacidad MPR y la aportacin importante de este
trabajo fue el concepto de la matriz MPR para describir
las caractersticas del canal. La matriz MPR se encuentra
formada por probabilidades condicionales representadas
como e
mn
que describen las respuestas del canal ante la
transmisin de varios paquetes al mismo tiempo. La
probabilidad condicional e
mn
indica la probabilidad de
recibir n paquetes exitosos de m paquetes transmitidos.
Por lo tanto las propiedades MPR de un sistema con M
usuarios quedan representadas como:
|
|
|
|
|
.
|

\
|
=
M M M M M
e e e e
e e e
e e
E
, 2 , 1 , 0 ,
2 , 2 1 , 2 0 , 2
1 , 1 0 , 1
0
0
0 0

(1)
De la matriz MPR se puede determinar el nmero
esperado de paquetes recibidos correctamente cuando un
total de m paquetes ( donde 0 s m s M ) son transmitidos
al mismo tiempo, el cual se expresa como:

=
A
=
m
n
n m m
ke E
1
,
(2)
Con la expresin anterior se puede definir entonces la
capacidad MPR de un canal mediante la expresin:
m
M m
E
,..., 1
max
=
A
= n
(3)
Donde n es el nmero mximo de paquetes que se
puede esperar sean recibidos exitosamente en una ranura
de tiempo. Esto es el mximo desempeo que el canal con
recepcin mltiple de paquetes puede ofrecer,
independientemente del protocolo de control de acceso al
medio.

Modelo del protocolo ALOHA ranurado con
capacidad MPR.
El primer paso del anlisis es calcular las
probabilidades de cada uno de los estados del sistema en
estado estable, para esto es necesario establecer como
opera el protocolo ALOHA ranurado con capacidad MPR.
A continuacin se explica el modelo a ser utilizado para
obtener las caractersticas de trfico cursado, retardo
promedio y estabilidad:
a) Todos los paquetes transmitidos tienen la misma
longitud y cada paquete requiere de una unidad de
tiempo, llamada ranura de tiempo, para la
transmisin. Todos los usuarios se encuentran
sincronizados a travs de una estacin central de
manera tal que solo al inicio de una ranura de tiempo
cualquier usuario con un paquete para transmitir lo
haga y que posteriormente finalice la transmisin
antes del inicio de la siguiente ranura de tiempo.
b) Todos los paquetes generados por cada uno de los
usuarios de la red para su transmisin siguen un
proceso de Poisson. Toda la tasa de generacin de
paquetes para el sistema se representar como y nos
indica el valor promedio de generacin de nuevos
paquetes por los usuarios en cada ranura de tiempo.
c) Se utilizar la capacidad MPR para un canal descrito
por la matriz MPR en vez del canal con colisin libre
de ruido.
d) Cada usuario de la red obtiene la informacin de
retroalimentacin del receptor que especifica si en
esa ranura de tiempo fueron transmitidos cero
paquetes, un paquete o ms de un paquete; por lo
tanto cada usuario sabr si su paquete transmitido es
recibido exitosamente o no. Esta suposicin de
informacin de retroalimentacin inmediata asume
que el retardo de ida y vuelta de un paquete es
despreciable con respecto al tiempo de duracin de
una ranura.
e) Cada paquete que se encuentre involucrado en una
colisin y no pueda ser recibido exitosamente deber
ser retransmitido en alguna ranura de tiempo
posterior. Este proceso lo repetir el usuario hasta
que su paquete sea recibido exitosamente por el
receptor. Todo usuario con un paquete que debe ser
retransmitido es llamado usuario en estado
acumulado.
f) Cualquier usuario puede encontrarse en: 1) Estado no
acumulado, que es el estado inicial de un usuario y
solo en este estado se puede generar un nuevo
paquete con una probabilidad q, una vez generado el
paquete el usuario pasa al estado acumulado; 2)
Estado acumulado, que sucede cuando el receptor le
informa al usuario que su paquete transmitido ha
sufrido una colisin o despus de que un usuario en
estado no acumulado ha generado un nuevo paquete,
aqu es donde nicamente el usuario puede transmitir
un paquete en el canal con una probabilidad r y
adems no puede generar un nuevo paquete. Este
modelo para el ALOHA ranurado se le conoce como
primera transmisin retardada (DFT).

Para este modelo, la matriz MPR se obtendr
siguiendo la propuesta de [4]. En esta propuesta se
manejan las variables K, que representa el nivel de
diversidad con el que trabaja el receptor, y D,
determinado por la longitud del libro de cdigo utilizado
para distinguir a los usuarios que transmitieron paquetes
en la misma ranura de tiempo. Las probabilidades de
transicin de estado p
ij
, donde i es el estado inicial y j el
estado final, para el protocolo ALOHA ranurado con
capacidad MPR estn determinadas por la expresin (4).
En (4) M es el nmero de usuarios del sistema, e
mn
son
los elementos de la matriz MPR y K el nmero mximo
de paquetes colisionados que pudieran ser recibidos
exitosamente gracias al uso de diversidad en el receptor.
( )

= + >
= + >

|
|
.
|

\
|

|
|
.
|

\
|
+

|
|
.
|

\
|
+
|
|
.
|

\
|

|
|
.
|

\
|

= =
= =

|
|
.
|

\
|

|
|
.
|

\
|
+

|
|
.
|

\
|

s s
|
|
.
|

\
|
+

|
|
.
|

\
|
<
=

+
=

=

= =

=

=

= =
+
=

=





0 1
0 1
) 1 (
) 1 ( ) 1 (
) 1 ( ) 1 ( 1
0
0
1
) 1 ( ) 1 (
) 1 ( ) 1 ( 1
1 ) 1 ( ) 1 (
0
) , min(
1
) , min(
1
) , min(
1 1
) , min(
1
) , min(
1
) , min(
1 1
) , min( ) , min(
i i j
i i j
q q
j
M
q q
i j n
i M
r r
m
i
e
q q
i j
i M
r r
m
i
e
i j
i j
q
q q
n
i M
r r
m
i
e
q r r
m
i
e
i j K i q q
j i n
i M
r r
m
i
e
K i j
p
j M j
j n M i j n m i m
i K
m
j M m
n
mn
j M i j m i m
i K
m
m
n
mn
M
i n M n m i m
i K
m
j M m
n
mn
i M m i m
i K
m
m
n
mn
j n M j i n m i m
i K
j i m
j M m
j i n
mn
ij
(4)
En [4] se presenta un mtodo para generar una matriz
MPR, en donde si el nmero de paquetes transmitido m es
tal que m>K entonces ninguno de los paquetes ser
recibido exitosamente; pero si mK entonces el receptor
podr recibir exitosamente todos esos paquetes cuyo
cdigos no son compartidos por otros dentro de la misma
ranura de tiempo. Por lo tanto, la matriz MPR queda
determinada mediante la expresin (5).

= = =
= > =
> > =
=
m n y K m
D
D f
e
n y K m e
n y K m e
E
m
mn
mn
mn
mn
,..., 1 , 0 ,..., 2 , 1
) (
0 1
0 0
(5)
Donde
( ) D f
mn
est dado por
( ) ) ( ) , ( ) , (
0
j D f j D P n m C D f
j i mn
=

;
siendo C(u,v) las maneras de seleccionar v paquetes de u
transmitidos, P(u,v) las maneras de asignar diferentes
cdigos de una longitud de libros de cdigo de u a v
paquetes, y
) (
0
j D f
j i

que est dado por:

=
j i
k
k j i k
j i
k j D k j D P k j i C j D f
0
0
) )( , ( ) , ( ) 1 ( ) (
.
Una vez obtenidas las probabilidades de transicin, las
probabilidades de cada uno de los estados del sistema en
estado estable son calculadas a travs de la solucin del
siguiente sistema de ecuaciones:

=
+ +
+ +
=
+ + + + + =
+ + + + =
+ + + =
M
i
i
K K
K K
K K
P y
p P p P p P p P p P P
p P p P p P p P P
p P p P p P P
0
2 2 2 32 3 22 2 12 1 02 0 2
1 1 1 21 2 11 1 01 0 1
0 10 1 00 0 0
1
...
...
...

(6)
De la expresin (4) se puede deducir que el trfico
cursado en el estado X
t
(probabilidad de que exista una
transmisin exitosa) queda como:
m X
X
m
m
n
m t
mn exitosa
t
t
r r
m
X
ne P

= =

|
|
.
|

\
|
=

) 1 (
1 1
(7)
El trfico cursado S y el retardo promedio D se
determinan de manera analtica mediante las siguientes
expresiones:

=
= =
M
i
i exitosa exitosa
P i P i P E S
0
) ( )] ( [
(8)
S
X
D
t
+ =1
(9)
donde
t
X (estado promedio en el que se encuentra el
sistema) est dado por

=
=
M
i
i t
iP X
0
.
Un concepto importante a partir del cual se pueden
obtener los puntos de operacin del sistema y determinar
su estabilidad es la recta de carga. Esta se obtiene
suponiendo que existe un equilibrio entre el trfico
cursado y el trfico de entrada al canal. Por lo tanto, en
una grfica donde el trfico cursado est en funcin del
trfico ofrecido es posible trazar una recta que una los
puntos en los que el trfico de entrada es mximo, debido
a que ningn usuario se encuentra en estado acumulado,
con el mnimo, cuando todos los usuarios se encuentran
en estado acumulado. En la figura 1 se muestra un
ejemplo que determina la recta de carga para el protocolo
ALOHA ranurado.

Figura 1. Obtencin de la recta de carga en el ALOHA
ranurado para un nmero M de usuarios.

Un canal que maneja el protocolo ALOHA ranurado es
definido como estable si su recta de carga intercepta (no
tangencialmente) el contorno de equilibrio (grfica del
trfico cursado en funcin del trfico ofrecido) solamente
una vez; de otra manera, el canal es definido como
inestable (biestable) [5]. A los puntos de intercepcin de
la recta de carga con el contorno de equilibrio se les
conoce como puntos de equilibrio. Otra definicin de
estabilidad aparece en [7] y se basa en los resultados de
[5] y [6]. Esta definicin dice que el comportamiento de
un canal ALOHA ranurado es estable si la distribucin de
las probabilidades en estado estable de los usuarios en
estado acumulado es unimodal, y es inestable (biestable)
si ste es bimodal.

Simulaciones y resultados.
Con todas las expresiones anteriores es posible
implementar un programa que analticamente pueda
encontrar los valores de S y D para el ALOHA ranurado
con capacidad MPR utilizando las probabilidades de
estado estable generadas para unos valores de M y r dados
y variando los valores de q en el intervalo de (0,1] para
obtener diferentes valores de trfico ofrecido y graficar la
curva que describe el comportamiento del retardo
promedio en funcin del trfico cursado. Es importante
mencionar que en este ejemplo se manej una longitud
infinita en el libro de cdigos (D=), lo que genera una
matriz MPR de:

=
= s =
=
valor otro cualquier para e
n m y K m e
E
mn
mn
0
1

De aqu que la capacidad MPR es igual al valor de K.
En la figura 2 se muestran los resultados analticos del
ALOHA ranurado cuando M=25 usuarios, r=0.2 y
utilizando capacidades MPR de uno, dos, cuatro y ocho.

Figura 2. Retardo promedio en funcin del trfico cursado
para el ALOHA ranurado con M=25 usuarios, una r=0.2 y
diferentes capacidades MPR.

En la figura 2, cuando la capacidad MPR es igual a
uno se tiene el caso de un ALOHA ranurado simple,
donde el mximo trfico cursado es de 0.3678 para un
trfico ofrecido de 1. Como se puede apreciar la
capacidad MPR aumenta el valor del mximo trfico
cursado y disminuye tambin el retardo promedio. A
continuacin se presenta los resultados de un programa
que tambin, adems de los resultados analticos, generar
los resultados simulados del protocolo ALOHA ranurado
con capacidad MPR, pero que a diferencia del caso
anterior se est considerando ahora una longitud finita de
D=32 en el libro de cdigos. Los resultados se muestran
en la figura 3.

Figura 3. Comparacin del retardo promedio en funcin
del trfico cursado analtico con respecto al simulado
cuando se tiene M=25 usuarios, una r=0.2 y diferentes
capacidades MPR.

Es importante notar al comparar los resultados
analticos de la figura 2 con los de la figura 3, que se
puede ver una ligera degradacin en el trfico cursado y el
retardo promedio, esto debido a que a pesar de que el
nmero de paquetes transmitidos en una misma ranura sea
igual o menor a K existe la posibilidad de que algunos de
ellos o todos manejen el mismo cdigo y por lo tanto el
receptor no los podr recibir exitosamente haciendo que la
capacidad MPR sea menor al valor de K utilizado. Por
ejemplo, para el caso donde K=8 se tiene que el trfico
cursado mximo es de aproximadamente 4.05 paquetes
por ranura de tiempo con un retardo promedio de
aproximadamente 6.2 ranuras de tiempo cuando D= y
ahora cuando D=32 se tiene que el trfico cursado
mximo es de aproximadamente 3.65 paquetes por ranura
de tiempo con un retardo promedio de aproximadamente
7 ranuras de tiempo. Si se analiza el caso cuando K=2 se
tiene que el trfico cursado mximo es de
aproximadamente 0.75 con un retardo promedio de
aproximadamente 9.1 cuando D= y para cuando D=32
se tiene que el trfico cursado mximo es de
aproximadamente 0.75 con un retardo promedio de
aproximadamente 9.4. Con esto se verifica que la
degradacin en el trfico cursado y el retardo promedio
depende de la relacin entre D y K, por que en el caso
donde D=32 y K=2, donde la relacin es de 16:1, la
degradacin es casi despreciable; pero en cambio para el
caso donde D=32 y K=8, donde la relacin es de 4:1, la
degradacin aumenta pero prcticamente no es grande la
diferencia existente. Pasando a la estabilidad del ALOHA
ranurado con capacidad MPR, en la figura 4 se presentan
los resultados del trfico cursado en funcin del trfico
ofrecido para capacidades de MPR de uno (4a), dos (4c) y
cuatro (4e), as como la distribucin en el tiempo de
operacin del canal en los puntos de equilibrio estable
deseado y no deseado (4b, 4d y 4f) si la recta de carga
corta en tres puntos del grfico de trfico cursado en
funcin del trfico ofrecido para una corrida de 250000
ranuras de tiempo.

(a)

(b)

(c)

(d)

(e)

(f)

Figura 4. Relacin de la recta de carga con los puntos de
equilibrio del modelo con capacidad MPR de (a) 1, (c) 2 y
(e) 4; con sus respectivos tiempos en cada punto de
operacin (b) 1, (d) 2 y (f) 4; para una corrida de 250000
ranuras de tiempo.

Aqu se comprueba como el ALOHA ranurado simple
(capacidad MPR de uno) presenta un comportamiento
inestable (biestable), pasando de un punto de equilibrio
deseado a uno no deseado; mientras que cuando el canal
tiene una capacidad MPR, ya sea de 2 o 4, el ALOHA
ranurado se vuelve estable. Para esta simulacin se
manejaron los parmetros de operacin del sistema como
M=50 usuarios, q=0.0075 y r=0.1. Tambin aqu se puede
apreciar como el mximo trfico cursado es incrementado
para un mayor valor de trfico ofrecido.

Conclusiones.
De los resultados obtenidos anteriormente se
comprueba como la capacidad MPR de un receptor
mejora notablemente el desempeo de un protocolo de
control de acceso al medio como lo es el ALOHA
ranurado, diseado para resolver el problema de las
colisiones cuando dos o ms paquetes son transmitidos al
mismo tiempo en el canal. Vemos como el valor mximo
del trfico cursado es incrementado y alcanzado para un
mayor trfico ofrecido, esto permitira poder tener una
mayor tasa de transmisin de datos para los usuarios.
Adems el retardo promedio para transmitir
exitosamente un paquete por los usuarios se ve
disminuido logrando as que la transferencia de
informacin de los usuarios al sistema sea en un menor
tiempo.
Por ltimo, analizando la estabilidad en el punto de
operacin del protocolo se puede apreciar como la
capacidad MPR puede eliminar el comportamiento
biestable del ALOHA ranurado haciendo que nicamente
opere en el punto de equilibrio estable deseado. Existen
trabajos ms detallados sobre otras maneras de analizar la
estabilidad del protocolo y ver como afectan los
parmetros M, q y r del protocolo a su estabilizacin.

Referencias.
[1] L. Tong, Q. Zhao and G. Mergen, Multipacket
Reception in Random Access Wireless Networks: From
Signal Processing to Optimal Medium Access Control,
IEEE Communications Magazine, pp. 108-112, Nov.
2001.
[2] M. Zorzi and R. R. Rao, Capture and Retransmission
Control in Mobile Radio, IEEE Journal on Select. Areas
in Comm., vol. 12, pp. 1289-1298, Oct 1994.
[3] S. Ghez, S. Verd, and S. C. Schwartz, Stability
Properties of Slotted Aloha with Multipacket Reception
Capability, IEEE Trans. Automat. Contr., 33(7):640-649,
July 1988.
[4] A. G. Orozco-Lugo, M. M. Lara, D. C. McLernon and
H. J. Muro-Lemus, Multiple Packet Reception in
Wireless Ad Hoc Networks Using Polynomial Phase
Modulating Sequences, IEEE Trans. Signal Processing,
vol. 51, no. 8, pp. 2093-2110, Aug. 2003.
[5] S. S. Lam, Packet switching in a multi-access
broadcast channel with application to satellite
communication in a computer network, Ph. D.
dissertation, Dep. Comput. Sci., Univ. Calif., Los
Angeles, Mar. 1974.
[6] A.B. Carleial and M.E. Hellman, Bistable behavior
of ALOHA-type systems, IEEE Trans. Commun., vol.
COM-23, pp. 401-410, Apr 1975.
[7] Y. Onozato and S. Noguchi, On the Thrashing Cusp
in Slotted ALOHA Systems, IEEE Trans. Commun., vol.
COM-33, pp 1171-1182, Nov. 1985.


Vctor Sandoval Curmina naci en Mxico,
D.F. Obtuvo el grado de Ingeniero en
Electrnica por el Instituto Tecnolgico de
Mrida en 1995. De 1998 a la fecha ha sido
profesor en el Instituto Tecnolgico de Mrida,
impartiendo materias del rea de electrnica.
Sus reas de inters son control de acceso al
medio, redes inalmbricas. Ha participado como asesor y jurado
en diversos eventos acadmicos a nivel local y nacional.
Actualmente se encuentra terminando su tesis de Maestra en
Ciencia de la Ingeniera Elctrica especialidad Comunicaciones
en el Centro de Investigacin y Estudios Avanzados del Instituto
Politcnico Nacional.

Ral Garca Ruiz recibi el ttulo de ingeniero
en comunicaciones y electrnica del IPN en
1987, el grado de maestro en ciencias en
ingeniera elctrica (especialidad
comunicaciones) del CINVESTAV-IPN en
1989 y el grado de doctor del Instituto
Nacional Politcnico de Grenoble en 2003.
Desde 1989 trabaja en el CINVESTAV en el rea de Redes de
computadoras y protocolos de comunicacin.

Aldo Gustavo Orozco Lugo naci en
Guadalajara, Jalisco. Recibi el ttulo de
ingeniero en comunicaciones y electrnica en la
universidad de Guadalajara en 1993, el grado
de maestro en ciencias de la ingeniera
elctrica, en la especialidad de comunicaciones,
en el centro de investigacin y de estudios
avanzados del instituto politcnico nacional, Mxico, D. F., en
1997 y el grado de doctor, especializado en procesamiento
digital de seales y su aplicacin en telecomunicaciones, en la
universidad de Leeds, Gran Bretaa, en 2000. Actualmente es
investigador titular en la seccin de comunicaciones del
CINVESTAV-IPN en la ciudad de Mxico y tiene a su cargo la
asignatura de procesamiento digital de seales, que forma parte
del programa de maestra en comunicaciones impartido en la
misma institucin.