Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
8, DECEMBER 2014
1355
I. INTRODUO
1356
r (t ) = Ak bk sk (t k ) hk (t ) + (t )
(1)
k =1
sk (t ) = zk ( i ) p (t iTc )
(2)
i =0
hk (t ) = ck (t ) (t ) = k e jk (t )
(3)
1357
y = RCAb +
(4)
sendo y o vetor Kx1 de sada, R a matriz de correlao K x K,
C = diag(c1,c2,...,ck) a matriz diagonal K x K dos coeficientes
do canal, a matriz diagonal de amplitudes K x K designada
por A e b o vetor K x 1 contendo um bit de informao de
cada usurio. representa o vetor de rudo aditivo branco
Gaussiano (AWGN) amostrado K x 1, de densidade espectral
de potncia bilateral N0/2.
sada do banco de filtros casados, encontra-se o decisor
abrupto, que, para sinalizao BPSK, toma decises a partir da
polaridade do sinal, ou seja:
(5)
b cd = sgn(y )
sendo a funo sinal modificada sgn(.) dada por:
1, se x < 0,
sgn( x) =
+1, se x 0.
O detector convencional, formado por um banco de filtros
casados, considera a MAI como um rudo adicional, tendo
assim seu desempenho prejudicado. J os detectores
multiusurios (MuD) se aproveitam da MAI como forma de se
aproximar ainda mais da soluo tima. Em [1], foi mostrado
que o detector timo ou de mxima verossimilhana ML
(Maximum Likelihood) calcula a funo custo de todas as
possveis solues, e retorna como soluo tima o argumento
do maior valor encontrado. A funo custo definida como:
f ( ) = {2y T C H A T CARAC H }
(6)
(7)
f ( ) = {F1 F2}
T
(8)
Lk (1) = 2{A(k )y (k )} A( k ) 2 R (k , k )
(9)
Dk (1) = 1 + e Lk ( 1)
(10)
k ( 1) =
Dk ( +1) Dk ( 1)
Dk ( 1)
(11)
1358
2)
3)
4)
5)
Pk (1) =
[ Pk (1)] [k (1)]
(15)
[ Pk (+1)] [k (+1)] + [ Pk (1)] [k (1)]
Dk (1) = 1 + e Lk ( 1)
k (1) =
PARA i
= 1,...,Niter
CLCULO
Dk (+1) Dk (1)
Dk ( 1)
DAS
PROBABILIDADES
CAMINHOS
Pk (1)
QUE
CADA
FORMIGA
SEGUE,
m=1,...,M:
- CAMINHO SEGUIDO
trail(m)
ESCOLHIDO
COM
BASE
NAS
PROBABILIDADES
CALCULADAS EM (15).
- AVALIA-SE O CAMINHO QUE CADA FORMIGA
SEGUE f(trail(m)) A PARTIR DE (8).
- CASO ALGUM CAMINHO SEJA SUPERIOR A
fbest, ATUALIZA-SE b e s t E RESPECTIVO fbest.
(13)
fbest = f (best )
P = P + f (best ) T (best )
best = b cd
CONFORME (15);
= , dim. 2 x K
e F2
best
6)
best .
no
o caso da deteeco multiusu
urio. No entan
nto, se a inforrmao
in
nicial no for muito
m
confiv
vel, i.e., em ceenrios cuja SN
NR for
baaixa e/ou eleevado carregaamento (L > 0.7) na deeteco
m
multiusurio, esse valor alto
o de pode in
nduzir as form
migas a
um
m caminho eq
quivocado, inccrementando a taxa de erro
o de bit
do
o sistema.
Por sua vezz, os parmettros e essto relacionaados
om a qualidad
de dos
accumulao dee ferormnio de acordo co
caaminhos que cada formigaa segue e peelo melhor caaminho
en
ncontrado b e s t , respectivaamente. De accordo com o estudo
so
obre os parm
metros do algorritmo ACO ap
plicado ao pro
oblema
do
o caixeiro viaj
ajante realizado em [26], oss valores dessees dois
paarmetros pou
uco interferem
m no desempen
nho do algoritm
mo. De
faato, nossos ressultados de sim
mulao descrritos nas subseees a
seeguir, relativo
os otimizaao destes d
dois parmetrros de
en
ntrada aplicad
dos ao probleema MuD, o
oferecem supo
orte s
co
oncluses enco
ontradas em [2
26].
O parmetro
o taxa de evap
porao ressponsvel porr evitar
um
m acmulo ex
xcessivo de ferrormnio sobrre algum camiinho, e
deessa forma ev
vitar a converrgncia equiv
vocada do alg
goritmo
so
obre timos llocais. Assim
m, a otimizao deste parmetro
taambm relev
vante para um
m bom desem
mpenho do ago
oritmo,
prrincipalmente quando a funo objetivo (6) apresentar m
muitos
ttimos locais, ccomo o caso
o do ACO-M
MuD em situaes de
op
perao de sisstema especfficas, i.e., de alto carregam
mento e
co
ondies hostis de canal. E
Em nosso estu
udo, inicialmeente, o
paarmetro asssumir valor 0
0.5 e sua imp
portncia em rrelao
ao
o desempenho
o do algoritmo
o ser analisaada em um seegundo
m
momento.
nlise de otim
mizao dos quatro
A seguir feito uma an
paarmetros do
o algoritmo ACO apliicado deeteco
m
multiusurio eem sistemass DS/CDMA
A em canal com
deesvanecimento
o plano em
m frequnciaa (Rayleigh flat),
co
onsiderando diferentes ccondies dee mobilidadee dos
teerminais mveeis no link rev
verso. As simu
ulaes Montee-Carlo
(A
Apndice A) para determ
minao dos valores
v
timo
os dos
paarmetros dee entrada do
o ACO-MUD
D foram reallizadas
co
onsiderando uma
u
SNR dee 20dB, uso de sequncias de
esspalhamento Gold de com
mprimento ((igual ao gan
nho de
prrocessamento)) N=31 e carregameento de sistema
s
K
.
Para
os
dem
mais
parmetr
ros do
1 0 0 % = 1 0 0 %
L =
%
allgoritmo ACO
O-MuD foram
m adotados oss seguintes v
valores:
prrobabilidade iinicial dos ferrormnios, = 0.01; populaao =
30
0 formigas; Niter = 20 iteraaes. A Tabeela I rene todos os
vaalores dos paarmetros de sistema e caanal empregad
dos na
an
nlise da otim
mizao dos parmetros
p
dee entrada do ACOM
MuD.
que a seguir, os desempen
nhos obtidos para o
Observe-se q
A
ACO-MuD, em
m termos de ttaxa de erro de
d bit (BER), foram
co
omparados ao
o desempenho
o obtido quaando h apen
nas um
n
nico usurio aativo no sistem
ma, denominad
do SuB (singlee-userbo
ound), uma v
vez que devido ao carreg
gamento do sistema
s
(K
K=31 usurio
os) torna-se impossvel ccomputacionallmente
ob
bter o desempenho do detecctor multiusurrio timo (OM
MuD).
A otimizao feita parrtindo-se de valores iniciaais pr
esstabelecidos para os parmeetros principaiss: = 1, = 1, = 8
1359
TAB
BELA I. PARME
ETROS DE SIST
TEMA E CANAL
L EMPREGADOS NA
AN
LISE DO ACO-M
MUD.
e = 1. Mantend
do trs parmeetros constantees e variando--se o
quarrto, obtido um primeiro conjunto de curvas (Figs. 1.a,
2.a, e 3.a)} paraa os parmetrros de entrada do ACO-M
MuD.
onjunto de cu
urvas, registtrado
Anaalisando-se essse primeiro co
os valores
v
de parrmetros que obtiveram
o
meelhor desempeenho,
send
do tais valorees adotados co
omo centro d
dos intervalos que
sero investigado
os na etapa seguinte da otimizao. Um
segu
undo conjunto
o de curvas de otimizao de parmetro
os de
entrrada ento o
obtido (Figs. 1.b,
1 2.b, e 3.b))}, agora em uma
regio mais estreeita de valorees, tendo os v
valores timos da
prim
meira etapa co
omo centro d
da faixa de vaalores, e tendo
o os
base
parmetros constaantes para cad
da curva atuaalizados com b
nos resultados daa primeira ettapa. Os valo
ores obtidos n
nesta
segu
unda etapa dee otimizao so
s ento adottados como id
deais
paraa o algoritmo naquela situaao de canal e de operao
o de
sisteema (Tabela III).
A. Canais Rayleeigh Plano: Velocidade
V
mxxima de 60 km
m/h
A Fig. 1.a m
mostra a prim
meira anlise de desempeenho
variando os parm
metros de acorrdo com a meetodologia descrita
anteeriormente. Paara os parmetrros e , pdee-se observar uma
tend
dncia de vallor timo nessta primeira etapa,
e
dados por:
=0
0.6, =6. J p
para os parm
metros e , notou-se que no
ve variao de desempen
nho nas resp
pectivas (amp
plas)
houv
faixas de valoress adotados. D
Dessa forma, foram admittidos
valo
ores intermediirios, dados por:
p
=5 e =
=3. Este conjunto
ento serviu de base para a seg
gunda etapa d
de otimizao para
e , conforme rresultados na Fig. 1.b, em u
um intervalo mais
m
o na
estreeito e centraado no respeectivo valor timo obtido
prim
meira etapa.
A
Analisando a Fig. 1.b, pod
de-se notar qu
ue a variao
o de
deseempenho do ACO-MuD quase imp
perceptvel n
nesse
interrvalo investig
gado, embora exista um meelhor desempeenho
paraa =0.6 e =7
7, que so os valores tidos como otimizaados
paraa esse cenrio
o. Finalmente,, o conjunto de
d valores tiimos
1360
VMAX= 60KM/H
VMAX= 120KM/H
VMAX= 240KM/H
0.6
0.4
0.6
7
7
4
5
5
5
3
3
3
B. Canais Ra
ayleigh Plano:: Velocidade m
mxima de 120
0 km/h
Com mobilid
dade maior e mesmo carreg
gamento de sistema
s
L=
=1, a Fig. 2
2.a mostra o resultado da primeira etaapa de
ottimizao varriando-se os parmetros de acordo ccom a
m
metodologia deescrita anteriorrmente. Da m
mesma forma, notousee variao de desempenho somente paraa e . Obtev
ve-se o
parm
metros
de
entraada
do
ACO-M
MuD.
F
Finalmente, para unidades mveis se deslocando com
velo
ocidades unifo
ormemente diistribudas enttre [0, 120] k
km/h
sujeeitas a canais com desvaneccimento plano
o em frequnccia e
carrregamento de sistema de 100%, a Tab
bela II resum
me o
conjjunto de valo
ores timos obtidos
o
para o
os parmetross de
entrrada do algorittmo ACO-MuD
D.
C. Canais Raylleigh Plano: V
Velocidade mx
xima de 240 kkm/h
A Fig. 3.a mostra
m
resultad
dos para a p
primeira etapaa da
anllise de desem
mpenho variand
do-se os parmetros de aco
ordo
com
m a metodollogia descritaa anteriormeente. Novameente,
ob
bservou-se vaariao signifficativa de deesempenho so
omente
paara os parmeetros e . Obtido o prrimeiro conjun
nto de
vaalores timos para estes parrmetros, =0
0.6, =3 e ado
otandosee os valores =5 e =3, eeste conjunto serviu de basse para
um
ma segunda etapa de otim
mizao para e , porm em
in
ntervalos maiss estreitos e ceentrados respeectivamente em
m cada
um
m dos valoress timos obtid
dos na primeirra etapa. O ressultado
mostrado na Fig. 3.b, a p
partir da quall so registrad
dos os
vaalores otimizaados dos parm
metros =0.6$
$ e =4. Novamente,
fo
oi mostrado que o deseempenho do algoritmo variou
leevemente na ssegunda etapaa de otimizao, refletindo que, a
paartir dos valo
ores otimizad
dos, o algorittmo apresentaa certa
ro
obustez em rellao aos parm
metros adotad
dos.
1361
velo
ocidade de con
nvergncia e a confiabilidaade da informaao
a p
priori, respecttivamente, so mais influ
uentes quanto
o ao
deseempenho do algoritmo (convergnciaa), enquanto os
parmetros e se mostraaram muito menos
m
relevan
ntes,
corrroborando a aanlise conduzzida em [26]. Isso comprov
va a
eficiincia do AC
CO-MuD, quee resulta em um desempeenho
quasse timo, sem
m necessidadee de ajustes significativos nos
valo
ores dos parmetros de en
ntrada algoritm
mo operando sob
diferentes problem
mas de otimizaao.
E
Em
concluso, a otimizao dos quatrro parmetross de
entrrada do algorittmo ACO-Mu
uD revelou qu
ue os parmetrros
e so praticaamente imunees variao do parm
metro
mob
bilidade do ccanal de mlttiplo acesso, indicando qu
ue o
algo
oritmo capazz de operar d
de forma robu
usta sob difereentes
temp
pos de coerncia do canal m
mvel.
V. R
RESULTADO
OS NUMRICOS
A. Complexidad
de Computaciional do Algorritmo
N
Nesta subseo, so ccomparadas a complexid
dade
com
mputacional d
dos detectoress: convencion
nal (CD), A
ACOMuD
D, e OMuD
D, em termo
os do nmerro de operaaes
realiizadas. Para see obter o nm
mero de operaes realizadass por
um algoritmo, foi analisaado seu pseudo-cdigo,, e
conttabilizado o nmero de multiplicaees e somas [25]
realiizadas ao lon
ngo do mesmo
o. Para a com
mparao entrre os
algo
oritmos, ser considerado
o somente aas operaes de
multiplicao e d
diviso, uma v
vez que as opeeraes de som
ma e
m tempo comp
putacional dessprezvel [25].
subttrao possuem
A tabela III m
mostra o nmeero de opera
es realizadoss por
cadaa algoritmo, eem funo do nmero de ussurios K e gaanho
de p
processamento
o N.
TAB
BELA III. NME
ERO DE OPERA
AES REALIZA
ADAS PARA C
CADA
DETECTOR.
ECTOR
DETE
C
CD
ACO
O-MUD
OM
MU D
parrmetros
de
en
ntrada
do
ACO
O-MuD.
t
ainda o co
onjunto de valores timos p
para os
A Tabela II traz
paarmetros dee entrada do
o ACO-MuD
D em canaiss com
deesvanecimento
o plano em freequncia com unidades mv
veis se
deeslocando com
m velocidades uniformemeente distribud
das no
in
ntervalo [0, 24
40] km/h.
Analisando os
o valores otiimizados nas diferentes situ
uaes
dee mobilidade, mostrados naa Tabela II, po
ode-se notar q
que no
ho
ouve diferenas significativ
vas para as disstintas condies de
caanal. Os parmetros e
, que esto rrelacionados com a
NMERO DE OPERA
AES
KN
[3K
K(K2+K+5)+KN(2
2K+1)]+
NITEER [M(K2+4K+1)+
+24K+1]
K((3K2+2K+1)+KN
N(2K+1)
+2K(K2+2K))
B. Desempenho
o com Parmeetros Otimizad
dos
T
Tendo em vista comprovar a eficincia do
o algoritmo A
ACOMuD
D, nesta sub
bseo so co
omparados o desempenho
o do
deteector heurstiico com e sem parmeetros de enttrada
otim
mizados, em fu
uno do nm
mero de itera
es (velocidad
de de
conv
vergncia) e relao
r
sinal-ru
udo. A Fig. 4 mostra a tax
xa de
erro
o de bit das so
olues encon
ntradas ao lon
ngo das iteraes,
paraa SNR = 20d
dB, Vmax =120
0 km/h e parm
metros de enttrada
otim
mizados e no
o-otimizados. Pode-se notaar que a partiir da
quin
nta iterao, o desempenho d
do ACO-MuD
D otimizado attinge
o lim
mite de desem
mpenho possv
vel de se obteer com o deteector
tim
mo de mxim
ma-verossimilh
hana, i.e., deesempenho muito
m
prx
ximo SuB. Lo
ogo, para o AC
CO-MuD, Niterr = 5 iteraess so
suficcientes para a completa cconvergncia do algoritmo
o em
canaais Rayleigh plano SISO DS/CDMA
D
e carregamento
o de
100%
%. A Fig. 5 corrobora eesse resultado
o, colocando em
1362
ximo ao SuB p
para todo o in
ntervalo de SN
NR investigado
o. J
prx
a F
Fig. 7 mostraa a robustez do algoritmo
o, em funo
o de
carrregamento e NFR (Neear Far Ra
atio) crescen
ntes,
conssiderando mettade dos usurrios como de iinteresse e a o
outra
metaade como inteerferente. Podee-se notar que o desempenh
ho do
ACO
O-MuD pouco
o varia com o aumento do
o carregamentto, e
man
ntm-se muito
o prximo do limite terico em uma NFR
R de
[-10
0; 10] dB, parra baixos carregamentos, e [-10; 5] dB, para
altoss carregamenttos.
Figurra 6. Desempenh
ho BER para o A
ACO-MuD sob ccanal Rayleigh p
plano,
L%=1
100% e Vmax=1
120km/h, consid
derando diferenttes valores parra os
parm
metros de entradaa.
Fiigura 5. Converg
gncia ACO-MuD
D para SNR [5,30]dB, canal R
Rayleigh
plano, L%=100% e Vmax=120km/h, = 0,4, = 7, = 5 e = 3.
Figurra 7. Desempenh
ho ACO-MuD paara NFR [-10,2
20]dB, canal Ray
yleigh
plano
o, L% [40,100]%
%, Vmax=120km/h, = 0,4, = 7
7, = 5 e = 3
3.
F
Finalmente, a Fig. 8 comparra o crescimen
nto do nmerro de
operraes necesssrias de acordo com o n
mero de usurios
paraa os detecto
ores CD, A
ACO-MuD ((com parmeetros
deviidamente otim
mizados), e O
OMuD. A fig
gura evidenciia o
cresscimento de co
omplexidade d
de comportam
mento exponen
ncial
do OMuD,
O
que accaba o tornand
do invivel de ser implemen
ntado
paraa grande nmeero de usurio
os, enquanto a complexidad
de do
ACO
O-MuD se mantm
m
satissfatoriamente prxima daa do
deteector convenciional.
VI. CONC
CLUSES
U
Um detector multiusurio
m
heeurstico baseaado na otimizaao
de colnia
c
de form
migas (ACO-M
MuD) adequad
do para operarr em
sisteemas uniportaadora BPSK DS/CDMA sob canais com
desv
vanecimento Rayleigh
R
plano
o foi proposto e caracterizad
do
1363
send
do o nmero de transmiss
es que deverriam ocorrer para
que um sistema com tal desemp
penho cometeesse nerros. Com
mo o
deseempenho do sistema reall estar abaiixo do limitee,
garaantido que oco
orram o mnim
mo de nerros.
AGRADE
ECIMENTOS
E
Este
trabalho recebeu sup
porte financeiiro da Fundaao
Arau
ucria (bolsa de iniciao cientfica), C
CAPES (bolsaa de
messtrado) e CN
NPq (Contrato
o 303426/200
09-8). Os auttores
gosttariam de lem
mbrar o apo
oio e as profcuas discussses
tcn
nicas comparttilhadas com os colegas d
do Laboratrio
o de
Teleecom & DSP d
da UEL.
NCIAS
REFER
[1]
Fiigura 8. Crescim
mento do nmero
o de operaes d
de acordo com K, para
diferentes detectorees.
[2]
[3]
om sucesso. U
Uma metodolo
ogia de otimizaao dos parm
metros
co
dee entrada do ACO-MuD ffoi sugerida, d
de forma a obter
o
o
m
melhor desem
mpenho possv
vel com um
m nmero fix
xo de
iteeraes. Os vaalores otimizaados se mostraaram suficienteemente
ro
obustos, de forrma a garantirr um desempeenho muito prrximo
ao
o desempenho
o timo (OM
MuD) para differentes cenrrios de
op
perao do sisstema e de can
nal, bem como diferentes situ
uaes
dee controle dee potncia, seem a necessiidade de alteeraes
siignificativas n
no algoritmo. A complexid
dade computaacional
do
o algoritmo, com os parmetros de en
ntrada devidaamente
ottimizados, mo
ostrou-se muiito baixa, cerrca de 10-7 v
vezes a
co
omplexidade ccomputacionaal do OMuD para a condio de
m
mximo carreg
gamento de siistema, porm
m com desemp
penhos
m
muito semelhaantes. Finalm
mente, a otim
mizao dos quatro
paarmetros de eentrada do alg
goritmo ACO-M
MuD revelou que os
paarmetros e so praticamente imu
unes variao do
paarmetro mob
bilidade do can
nal de mltipllo acesso, ind
dicando
qu
ue o algoritm
mo capaz d
de operar de forma robussta sob
diiferentes temp
pos de coern
ncia do canall mvel; na p
prtica,
ap
penas os parmetros e necessitam seer ajustados q
quando
ho
ouver altera
es drsticas nas condi
es de operao de
siistema e do can
nal de mltipllo acesso.
APN
NDICE A
MTOD
DO DE SIMUL
LAO MON
NTE-CARLO
O mtodo de simulao Monte Caarlo um mtodo
m
prrobabilstico largamente utilizado em
m telecomuniicaes
qu
uando no possvel determinar analiticamen
nte a
prrobabilidade d
de erro de ssistemas. No caso de deteectores
heeursticos em
m DS/CDMA,, o desempen
nho medid
do em
teermos de BER
R (Bit Error Ra
ate), que nadaa mais do qu
ue uma
m
medida estatsttica, sendo p
portanto o mtodo Monte Carlo
m
muito indicado para o problem
ma.
Em sistemass DS/CDMA, possvel se obter analiticaamente
o limite de deseempenho do sistema,
s
em terrmos de BER
RxSNR.
O MCS determ
mina um nmeero de trials, de forma a g
garantir
qu
ue ocorra um nmero mniimo de erros nerros. O nm
mero de
trrials calculaado a partir d
do limite de desempenho
d
teerico,
[4]
[5]
[6]
[7]
[8]
[9]
[10]
[11]
[12]
[13]
[14]
[15]
[16]
S. Verd, Mu
ultiuser Detectio
on, Cambridge, England: Camb
bridge
University Presss, 1998.
S. Verd, Com
mputational complexity of optimum
m multiuser detecttion,
Algorithmica, V
Vol. 4, No. 1-4, pp
p.303-312, 1989.
S.
Verd,
Optimum
m
multiuser
asym
mptotic
efficieency,
Communication
ns, IEEE Transacctions on, Vol. 34, No. 9, pp.890
0-897,
Sep 1986.
nimum probabilitty of error for assynchronous Gau
ussian
S. Verd, Min
multiple-accesss channels, Inforrmation Theory, IIEEE Transaction
ns on,
Vol. 32, No. 1, pp.85-96, Jan 1986.
obability of errorr in MMSE multii-user
H. V. Poor and
d S. Verd, Pro
detection, Info
ormation Theory, IEEE Transactio
ons on, Vol. 43, N
No. 3,
pp.858-881, Maay 1997.
P. Patel e J. Holtzman,
H
Analysis of a simple ssuccessive interfeerence
cancellation sccheme in a DS
S/CDMA system
m, IEEE Journa
al on
Selected Areas in Communicatiions, vol. 12, no. 5, pp. 796807
7, Jun
1994.
n, A family of mu
multiuser decision--feedback detecto
ors for
A. Duel-Hallen
asynchronous
code-division
n
multiple-aaccess
chann
nels,
ns, IEEE Transacctions on, Vol. 43, No. 234, pp.421
1-434,
Communication
1995.
C. Ergun and
d K. Hacioglu Multiuser detecction using a geenetic
algorithm in CDMA commun
nications system
ms, Communica
ations,
IEEE Transactiions on, Vol. 48, N
No. 8, pp.1374-13
383, Aug 2000.
H. S. Lim, and
d B. Venkatesh, An
1364