Académique Documents
Professionnel Documents
Culture Documents
Thse
Prsente devant
LInstitut National des Sciences Appliques de Lyon
pour obtenir
Le grade de docteur
Par
Katia Runser
Jury
0 Introduction 1
2 Outils et mthodes 46
2.1 La prdiction de couverture radio . . . . . . . . . . . . . . . . . . . . . . . . 46
2.1.1 Le canal radio Indoor . . . . . . . . . . . . . . . . . . . . . . . . . . 46
2.1.2 Les approximations circulaires . . . . . . . . . . . . . . . . . . . . . . 47
2.1.3 Les modles empiriques . . . . . . . . . . . . . . . . . . . . . . . . . 47
2.1.4 Les modles dterministes . . . . . . . . . . . . . . . . . . . . . . . . 49
2.1.5 Rsum et Perspectives . . . . . . . . . . . . . . . . . . . . . . . . . 52
2.2 Algorithmes doptimisation pour le problme wLP . . . . . . . . . . . . . . 54
2.2.1 La difficult du problme wLP . . . . . . . . . . . . . . . . . . . . . 54
2.2.2 Loptimisation mono-objectif continue . . . . . . . . . . . . . . . . . 57
2.2.3 Loptimisation mono-objectif combinatoire . . . . . . . . . . . . . . . 71
2.2.4 Loptimisation multiobjectif . . . . . . . . . . . . . . . . . . . . . . . 81
2.3 Conclusions et perspectives . . . . . . . . . . . . . . . . . . . . . . . . . . . 86
iii
iv TABLE DES MATIRES
7 Conclusions 202
Annexes 208
2. Publications 213
v
Remerciements
vi
CHAPITRE
Introduction
0
Contexte
Le problme de planification radio sinscrit dans un objectif global damlioration des
performances des outils de communication actuels. Quelle que soit leur nature, ces outils
se doivent de transmettre des donnes le plus rapidement possible tout en garantissant
une rception limitant au maximum la perte dinformation. Il est dusage de classifier les
techniques de communication selon la nature du mdium de transmission utilis et de les
rpartir en deux grandes catgories : les technologies filaires et les technologies sans-fil.
Les technologies filaires, utilisant des fils de cuivre ou des fibres optiques, sont actuelle-
ment bien matrises. Les ondes lectromagntiques sont guides dans des fils avec peu de
pertes de donnes. Par exemple, le taux derreur bit pour des transmission optiques SDH
est de lordre de 1e9 pour un dbit qui peut atteindre 400Gbits/s. Les technologies ADSL
permettent datteindre des dbits minimaux de 16Mbits/s (ADSL2+ , ITU-T standard
G.992.5) sur le lien descendant et de 800Kbits/s sur le lien montant avec de simples paires
torsades de cuivre. Il est galement possible dobtenir des transmissions garantissant un
taux derreur bit de 1e7 pour des transmissions voix avec la technologie G.SHDSL pour
des dbits de transmission de 2.3Mbits/s.
Les technologies sans-fil se diffrencient par la nature de leur canal de communication
qui nest plus comparable un guide donde born limitant les pertes, mais constitu dun
fluide illimit, lair. Le comportement de ce mdium de transmission dpend de la nature
et des proprits de rflexion de lenvironnement dans lequel il se trouve. En effet, les
ondes radio se propagent dans un environnement ouvert o des phnomnes de rflexion,
de rfraction, de diffraction et dinterfrences surviennent localement. Ce comportement
alatoire limite les performances des technologies de transmission sans-fil en termes de
porte de communication et de qualit de transmission.
Une communication radio ne peut tre tablie que si le rapport entre la puissance du
signal reu et le bruit environnant est suffisant pour permettre la dmodulation du signal
par le rcepteur. Du fait de la nature du mdium radio, il est difficile dobtenir une qualit
de communication semblable celle obtenue avec les technologies filaires. Lamlioration
de ces performances passe par la mise en place de techniques de traitement du signal,
daccs au mdium et de codages volus qui permettent aux quipements de sadapter aux
variations temporelles et spatiales du signal. Ces techniques vont garantir la comprhension
du message dans un environnement bruit en diminuant la marge de puissance ncessaire
pour pouvoir linterprter.
Un systme de transmission, quil soit filaire ou non, se doit dtre utilisable quelle que
soit la nature de lenvironnement o on souhaite le dployer. Pour que ce systme atteigne
ses performances nominales voire optimales, il est ncessaire de le dployer en respectant
des contraintes inhrentes son mode de fonctionnement. Ainsi, pour un rseau filaire,
il suffit de limiter la longueur des segments de communication pour que lattnuation du
signal le long du fil nempche pas la transmission. Pour des rseaux locaux, il nest pas
compliqu de respecter cette condition aux vues des dimensions des btiments et de la
porte de communication dun rseau filaire conventionnel.
1
CHAPITRE 0. INTRODUCTION
Par contre, le dploiement de rseaux sans-fil prsente des contraintes plus complexes
grer pour obtenir des conditions de transmission optimales. La rception du message
est tributaire de la qualit du lien radio qui elle mme est contrainte par la configuration
de lenvironnement (position et nature des murs, prsence de meubles.. ) et la position de
lmetteur. Il est clair que le choix de lemplacement et des caractristiques des metteurs
radio, compte tenu de la description de lenvironnement, est primordial pour le bon fonc-
tionnement dun rseau sans-fil. Ce choix est le coeur du problme de planification radio
trait dans ce manuscrit.
De par la nature du mdium radio, les rseaux sans-fil favorisent la mobilit des uti-
lisateurs. Contrairement aux rseaux de type cellulaire, un rseau wLAN ne permet pas
une vitesse de dplacement suprieure celle dun piton. Les utilisateurs sont quips
de terminaux divers : ordinateur portables, tlphones, assistants personnels, etc ... Deux
familles de standards ont t dfinies lheure actuelle :
HIPERLAN, propos par lETSI [2, 3].
802.11, propos par lIEEE [4]
Les standards 802.11 et HIPERLAN ont t dfinis respectivement par des instituts
amricain et europen. Cest le standard issu de lIEEE, 802.11, qui a t implant dans les
produits commercialiss. Certains rsultats issu des travaux dHIPERLAN ont t intgrs
des extensions du standard 802.11.
Les standards HIPERLAN et 802.11 prvoient deux modes de fonctionnement : le mode
ad-hoc et le mode infrastructure (cf. figure 2). En mode ad-hoc, chaque terminal mobile
2
CHAPITRE 0. INTRODUCTION
est un noeud actif du rseau qui est capable de dialoguer directement avec un autre noeud
du rseau, sans passer par un tiers de communication. Des travaux sont en cours pour
proposer des algorithmes de routage multi-sauts pour permettre la communication entre
deux noeuds qui ne sont pas porte de communication [5]. Par exemple, dans la figure
2-(1), la communication directe entre les terminaux A et C nest pas possible et ncessite
lintervention du terminal B pour router linformation.
LAN
AP
terminal A
terminal C
terminal A
terminal B
terminal B
(1) (2)
Le premier chapitre de cette thse introduit toutes les facettes du problme de plani-
fication dun rseau wLAN. Nous commenons par dcrire les spcificits de la technologie
wLAN IEEE 802.11 pour pouvoir dcrire plus particulirement le mode de dploiement
3
CHAPITRE 0. INTRODUCTION
actuel dun rseau de ce type. Ceci nous permet dintroduire les variables et objectifs que
comporte un processus de planification de rseau sans-fil. Cette tude nous a permis de
confronter les travaux de la littrature ayant dj abord cette problmatique pour mettre
en vidence les points durs du problme.
Le second chapitre prsente les outils ayant servi aux mthodes de planification pr-
sentes au chapitre 1. Ces outils peuvent se dcomposer en deux familles : les modles
de prdiction de couverture radio et les algorithmes doptimisation. Le problme de pla-
nification wLAN est un problme doptimisation difficile qui ncessite la mise en oeuvre
dalgorithmes de recherche labors. Les principaux modles de prdiction de couverture
radio et les algorithmes utiliss dans les mthodes existantes sont dcrits et analyss. La
premire partie se termine par une conclusion qui prsente les amliorations et nouvelles
problmatiques qui rsultent de lanalyse de lexistant.
Dans la suite, nous traitons les trois points durs du problme de planification suivants :
1. Lutilisation dun modle de prdiction de couverture radio fiable et adapt tout
type denvironnement clos (Indoor).
2. La proposition de critres de planification pour optimiser la couverture radio, les
interfrences, le dbit rel et les performances dun systme de localisation.
3. La proposition dheuristiques doptimisation mono- et multiobjectif.
4
CHAPITRE 0. INTRODUCTION
que cet algorithme permet de trouver les jeux de paramtres optimaux en un temps ac-
ceptable si le nombre de matriaux est faible. La dernire partie de ce chapitre prsente
la validation proprement parler des prdictions du simulateur une fois les paramtres de
propagation du simulateur fixs. Les prdictions sont testes dans dautres environnements
et compares des mesures relles pour vrifier leur exactitude.
Le cinquime chapitre entame la dernire partie du manuscrit qui prsente les solutions
de planification que nous proposons. Ce chapitre dcrit notre modlisation discrte du pro-
blme qui exploite directement les caractristiques du modle de prdiction de couverture
MR-FDPF. Le modle MR-FDPF se base sur un dcoupage gomtrique de lenvironne-
ment de test pour calculer la couverture radio. Ce dcoupage est utilis dans ces travaux
pour dfinir la position des points daccs candidats du processus de planification. Dans
le mme chapitre, les diffrents critres de planification dfinis au cours de la thse sont
prsents. Ces critres permettent damliorer la couverture, de limiter les interfrences, de
garantir un dbit par utilisateur ou encore damliorer un service de localisation de station
mobile.
5
Partie I : Ingnirie des rseaux
locaux sans-fil
6
CHAPITRE
La planification dun rseau
1 wLAN
Comme prsent dans lintroduction, cest dans le mode de fonctionnement infrastruc-
ture que se pose le problme de planification dun rseau local sans-fil. Ce problme, r-
frenc par la suite sous lacronyme problme wLP (wireless LAN Planning), est dfini
comme suit :
Ce problme de planification est similaire celui pos depuis 10 ans dans les rseaux
cellulaire et largement trait dans la littrature ([6, 7, 8, 9]). Dans cette partie, ce problme
est utilis comme lment de comparaison pour prsenter les principales caractristiques
de la planification dun rseau wLAN.
La planification dun rseau sans-fil est un problme doptimisation dont les variables
sont donnes par lensemble des configurations possibles des points daccs et les objectifs
par la description mathmatique des services que le rseau doit offrir. Ce chapitre commence
par une prsentation du standard IEEE 802.11, ce qui nous permet dintroduire les variables
du problme de planification dcrites par la suite. La dernire partie prsente les objectifs
que lon peut dfinir pour la planification automatique dun rseau wLAN. Ces objectifs
correspondent des services offerts par le rseau wLAN.
8
CHAPITRE 1. LA PLANIFICATION DUN RSEAU WLAN
Tab. 1.1 Bandes de frquences et canaux wLAN pour la France (Source : ART)
La toute premire version de la norme 802.11 a t propose en 1997 [10]. Elle dcrit les
couches physiques et MAC pour une vitesse de transmission allant jusqu 2Mbits/s dans
la bande des 900 MHz. Les extensions de cette norme sont les suivantes :
802.11 - La version de 1999 passe dans la bande ISM (Industrial, Science and
Medicine) des 2.4 GHz avec toujours des dbits atteignant 2Mbits/s. La bande de
frquences utilise est partage avec dautres types de rseaux sans fils (Bluetooth
en particulier) ainsi que diverses applications exploitant les radio-frquences.
802.11b [11] ajoute la description dune couche physique amliore proposant des
dbits de 5.5 et 11Mbits/s.
802.11a [12] permet datteindre des vitesses de transmission de 54 Mbits/s en
exploitant une technologie OFDM. Elle travaille dans une bande de frquences centre
autour de 5GHz.
802.11g [13] utilise la mme technologie de transmission que 802.11a mais 2.4GHz
et permet galement datteindre des vitesses de 54 Mbits/s. Cette norme a t d-
veloppe pour garantir une compatibilit avec les quipements 802.11b. Ainsi, un
quipement 802.11b pourra communiquer jusqu 11 Mbits/s dans un rseau din-
frastructure 802.11g.
802.11e introduit des garanties de qualit de service dans 802.11. Cette extension
de la norme nest pas encore finalise.
802.11h sapplique aux normes dfinies dans la bande des 5GHz et dfinit une poli-
tique de contrle de puissance et dallocation dynamique de frquences. Cette exten-
sion permet de respecter les limites de puissance imposes dans les diffrents pays et
de limiter les interfrences sil y a cohabitation avec dautres systmes de radiocom-
munication, notamment les radars.
802.11f propose un protocole dinteroprabilit entre des points daccs de diffrents
constructeurs (Inter Access Point Protocol) qui permet notamment de raliser un
changement de cellule (handover) sil y a mobilit du terminal.
802.11i dfinit un standard dnomm Robust Security Networking qui prsente une
volution notoire de la version initiale du protocole de scurit, le WEP, car elle
permet dempcher lintrusion dutilisateurs indsirables sur le rseau.
802.11n est actuellement en cours de dveloppement. Elle permettra dici lanne
2007 datteindre des dbits de lordre de 500 Mbits/s. Les deux propositions actuel-
lement en lice sont bases sur une couche physique de type MIMO (Multiple Input
Multiple Output).
Le tableau 1.1 rpertorie les caractristiques des deux bandes de frquences alloues en
France par lAutorit de Rgulation des Tlcommunications pour les rseaux wLAN.
9
CHAPITRE 1. LA PLANIFICATION DUN RSEAU WLAN
(1) (2)
Fig. 1.1 Rpartition des canaux (1) dans la bande ISM, (2) dans la bande 5GHz.
La couche FHSS
Cette couche est base sur une technique de transmission dite saut de frquences
(Frequency Hopping). La bande de frquences est divise en une srie de canaux de 1 MHz
de large. Ainsi, en France, la bande des 2.4 GHz tant comprise entre 2.402 GHZ et 2.483
GHz, 79 canaux sont dfinis (cf. Tab. 1.1). Au cours dune mme transmission, lmetteur
change rgulirement de canal selon une squence pseudo alatoire connue du rcepteur.
Cette squence rpartit uniformment le signal sur toute la bande de frquences et diminue
la probabilit dinterfrence avec dautres signaux mis. Chaque point daccs possde sa
propre squence configure manuellement par linstallateur.
La couche FHSS transmet la trame binaire par modulation de frquence (GFSK -
Gaussian Frequency Shift Keying). Cette modulation fait varier la frquence de la porteuse
Fc de plus ou moins fd pour reprsenter les symboles transmettre. Ainsi, pour obtenir
un dbit de 1Mbits/s , deux frquences sont utilises :
Fc + fd pour transmettre un bit 1,
Fc fd pour transmettre un bit 0.
Pour doubler le dbit, 4 frquences sont dfinies pour transmettre des symboles composs
de deux bits (00, 01, 11 et 10).
La couche DSSS
La couche DSSS rpartit le signal transmettre sur toute la largeur du canal laide de
la technique Direct Sequence Spread Spectrum. Le canal radio est plus large quen FHSS.
Il vaut 22 MHz. Cette technique dtalement de spectre est une technique issue des tech-
nologies de transmission radar. Elle permet de rpartir la densit spectrale de puissance
10
CHAPITRE 1. LA PLANIFICATION DUN RSEAU WLAN
du signal mis bande troite sur une bande de frquences plus large. Le signal est tal
sur la bande 22 MHz en ladditionnant un code dit pseudo-noise (cf. Fig 1.2-(1)). Ce
code est compos dune squence de bits +1 et -1 au dbit plus important. Cette addition
a pour effet dans le domaine spectral dtaler le signal sur toute la bande de frquences
comme prsent dans la figure 1.2-(2). Le code utilis par tous les points daccs est le code
de Barker.
1 bit
1
t
0 Signal Data Signal Data
1 t Bruit
-1 Signal tal
Chip Code Pseudo Noise
t
f
Signal tal
Fig. 1.2 talement du signal DSSS : (1) Addition binaire du code et du signal (2)
Dtalement spectral
Pour que les points daccs ninterfrent pas entre eux, chaque AP se voit attribuer un
canal de communication. Aprs talement, le canal radio occupe une bande spectrale 22
MHz. Or, daprs le tableau 1.1, 14 canaux sont dfinis sur la bande de frquences ISM.
Comme le prsente la figure 1.1, les canaux se recouvrent. En observant la forme du spectre
du signal 802.11b aprs talement et modulation reprsent sur la figure 1.3, on observe
que le rapport signal sur interfrences entre deux canaux adjacents espacs de 5 MHz est
quasi nul. Cest en utilisant deux canaux espacs dau moins 22 MHz que lon arrivera
obtenir jusqu 30 dB de rapport signal sur interfrences.
dBm dBm
0 0
-20
-30 -28
-40
-50
fc-30 fc-22 fc-11 fc+11 fc+22 fc-30 fc-20 fc-11 fc-9 fc+9 fc+11 fc+20
fc fc Freq. (MHz)
Fig. 1.3 Gabarit des spectres aprs talement et modulation des signaux 802.11b et
802.11g.
De ce fait, lattribution des canaux aux points daccs prsents dans un btiment devient
dlicate car lutilisation de deux canaux adjacents pour deux AP qui couvrent la mme
zone cr des interfrences importantes.
Ainsi, si lon souhaite travailler avec des canaux totalement disjoints, on ne possde
que 3 frquences rpartir sur le jeu de points daccs dploys. Ce problme dallocation
de frquences (FAP : Frequency Assignment Problem) est un problme souvent trait dans
la littrature [14] car il survient galement dans les rseaux cellulaires.
La couche DSSS transmet la trame tale sur une porteuse laide dune modulation
de phase. Chaque bit 0 ou 1 est alors reprsent par une variation de la phase de la
11
CHAPITRE 1. LA PLANIFICATION DUN RSEAU WLAN
porteuse. Pour transmettre 1Mbits/s, la modulation est une modulation binaire (DBPSK :
Differentiate Binary Phase Shift Keying) o chaque bit correspond une phase de la
porteuse. Pour transmettre 2Mbits/s, quatre phases sont utilises pour transmettre
1Mbits/s des symboles de deux bits (DQPSK : Differentiate Quadrature Phase Shift
Keying).
802.11g
Lapproche traditionnelle qui tend diminuer la taille des bits transmis pour augmenter
le dbit savre tre particulirement affecte par le phnomne des trajets multiples. En
effet, si la dure des symboles transmis est infrieure la dure dtalement temporel du
12
CHAPITRE 1. LA PLANIFICATION DUN RSEAU WLAN
Pour connaitre la vitesse de transmission et la taille dun paquet reu par la couche
physique, le dbit de transmission de lentte contenant ces informations est fix 1
Mbits/s pour FHSS, DSSS et HR-DSSS et 6Mbits/s pour OFDM. Ainsi, lors de la r-
ception dun paquet, il est possible par la lecture de lentte dadapter la couche physique
la rapidit de modulation qui a permis dencoder le paquet. Le choix de la vitesse de
transmission est rgi par la technique de modulation employe par le fabricant. Ainsi, pour
que lon puisse comprendre tous les symboles transmis, il faut un rapport signal sur inter-
frences (SIR) suprieur un seuil donn et un niveau de puissance reue suprieur une
valeur limite.
Par exemple, la carte Lucent Orinoco PCMCIA Silver/Gold base sur la norme
802.11b change de dbit dmission avec les seuils de rapport SIR et de puissance reue
prsents dans le tableau 1.2.
Tab. 1.2 Puissance et SIR Seuils pour la carte IEEE 802.11b Lucent Orinoco PCMCIA
Silver/Gold
13
CHAPITRE 1. LA PLANIFICATION DUN RSEAU WLAN
Le mode PCF
PCF, le mode daccs sans contention, est un mode daccs complmentaire au DCF.
Il est utilis pour implmenter des services temps rel, comme la transmission de voix ou
de vido. Ce systme met en oeuvre un accs contrl au mdium laide dun systme de
rservation. Un point daccs fonctionnant en mode PCF est une station qui dispose de la
fonction de coordination. La fonction de coordination utilise une structure temporelle de
super-trame prsente dans la figure 1.5.
DCF
Slot
Multi-Trame
Le mode DCF
Ce mode daccs permet de donner la parole aux diffrents noeuds du rseau par la mise
en place dune technique daccs distribue proche des techniques daccs comptition
14
CHAPITRE 1. LA PLANIFICATION DUN RSEAU WLAN
que lon peut trouver dans les communications filaires (Ethernet, 802.3). DCF dispose de
deux modes de fonctionnement : laccs en mode station de base et le mode RTS/CTS.
Le mode RTS/CTS a t conu pour palier au problme des noeuds cachs survenant
principalement en mode ad-hoc. Il est prsent la fin de cette partie. Une description de
son fonctionnement et une valuation de ses performances la fois par la modlisation et
lexprimentation sont prsentes dans la thse de Dominique Dhoutaut [15].
le mcanisme CSMA/CA,
le tirage alatoire de backoff,
les dures IFS.
En pratique, les collisions se passent toujours au niveau des rcepteurs qui reoivent
plusieurs signaux en mme temps. La premire caractristique du mode DCF est dutiliser
des acquittements pour stipuler que le message a bien t reu. Si lacquittement ne parvient
pas lmetteur, celui-ci retransmet les paquets non acquitts.
Ethernet prvoit dobserver ltat du canal avant dmettre ses donnes. Si le canal est
libre, alors la trame est mise. Si une collision est dtecte, la trame est r-mise aprs une
dure dattente alatoire. Or, avec le mdium radio, il nest pas possible de dtecter les
collisions. Par consquent, un autre mcanisme qui conditionne lautorisation dmission a
t dfinit cherche sassurer que le mdium radio est rellement libre avant dmettre.
Le principe retenu en mode DCF est dattendre une priode de dure alatoire appele
backoff avant dmettre. Si pendant cette dure alatoire aucune communication nest
dtecte sur le mdium, on considre que le mdium est libre et on met sa trame. La
figure 1.6 schmatise ce qui se passe lorsque deux mobiles porte de communication
veulent mettre vers un troisime et que le canal devient libre.
15
CHAPITRE 1. LA PLANIFICATION DUN RSEAU WLAN
f
of
DIFS SIFS DIFS SIFS
ck
ba
Station 1 DATA
n t
ta
es
ACK ACK
fr
Destinataire
of
f
of
ck
ck
ba
ba
Defering
Station 2 DATA
Canal
Occup
Le backoff est tir alatoirement par chaque station qui souhaite accder au canal quand
celui-ci est libre. Le mode de tirage du backoff est prsent plus loin. Dans la figure 1.6,
cest la station 1 qui accde en premier au canal car elle a tir un backoff plus petit que la
station 2. La station 2 se rend alors compte de lactivit sur le canal et va attendre la fin
de la transmission en cours. Elle se met en mode defering. Le rcepteur va acquitter son
message laide dune trame ACK reue par les deux stations. La station 2 va alors sortir
du mode defering et dcrmenter le reste de son backoff. Sil ny a pas dautre mission
dtecte pendant ce temps, elle met ses donnes.
Le Tirage alatoire du backoff. Cest un moyen de lutter contre les collisions dans la
norme 802.11. Nous prsentons son calcul car cest un lment cl du modle dvaluation
de performance du mode DCF exploit dans la dfinition du critre de planification de QoS
prsent dans la partie 5.2.3. Le temps de backoff est calcul de la faon suivante :
La quantit aSlotTime reprsente la dure dun slot de temps dfini par la couche
physique qui vaut par exemple 20 s en DSSS. Random() reprsente un nombre alatoire
choisi entre 0 et la taille de la fentre de contention CW .
La taille de la fentre de contention CW varie avec le nombre de retransmissions de
paquets. Sa valeur initiale est aCW min et sil y a chec de transmission dun paquet,
CW est multiplie par 2. La valeur du backoff est alors tire au sort dans une plus grande
fentre. Laugmentation de la taille CW est borne par la valeur aCW max. Si au bout
de nbEssaisM ax le paquet nest pas transmis avec succs, il est abandonn et la station
traite le paquet suivant dans sa file dattente.
Les dures IFS. La norme IEEE 802.11 dfinit des temps intertrame variables qui per-
mettent de faire varier la priorit daccs au mdium de certains paquets. Plus lintertrame
est courte pour une station, plus son accs est prioritaire car le temps mis pour accder
au mdium est plus faible. On retrouve ces dures sur le schma de communication de la
figure 1.6. Les quatre dures IFS utilises dans la norme 802.11 sont les suivantes :
SIFS (Short Inter-Frame Spacing) : cest la dure la plus courte. Elle permet laccus
de rception de prcder toute autre transmission qui pourrait dbuter en mme
temps. De la sorte, on garantit que laccus de rception soit transmis avant tout
autre paquet en attente.
16
CHAPITRE 1. LA PLANIFICATION DUN RSEAU WLAN
PIFS (Point coordination Inter-Frame Spacing) : cette dure est utilise pour lenvoi
dun paquet en mode daccs PCF.
DIFS (Distributed Inter-Frame Spacing) : cette dure est plus longue que les dures
SIFS et PIFS. DIFS est utilis avant lenvoi dun paquet en mode daccs DCF.
EIFS (Extented Inter-Frame Spacing) : cette dure est utilise si la couche PHY in-
dique que la trame reue est errone. EIFS assure la transmission daccuss de r-
ception dautre stations. Cest la dure la plus longue parmi tous les IFS. Si pendant
un temps EIFS il y a rception dune trame correcte, EIFS est stopp et la station
repasse en mode daccs normal en attendant DIFS.
Les dures IFS sont des lments importants de lvaluation de performances de 802.11
car leurs valeurs influent directement sur lutilisation globale de la bande passante par les
stations.
A
Zone de
Couverture de A
Obstacle B
Zone de
Couverture de C
Cest pour empcher les consquences nfastes de cette configuration que le mcanisme
RTS/CTS a t mis en place. Avant denvoyer un paquet de donnes, la station source
envoie la station destination un paquet spcial dappel RTS (Request To Send). Si ce
paquet est reu par la station destinataire, cette dernire rpond par un paquet CTS (Clear
To Send). Si la station source reoit convenablement ce dernier paquet, elle peut prendre
la main la fin de la transmission du CTS et envoyer son paquet de donnes. Cest ce
paquet CTS qui sera la fois reu par A et C et qui permettra C dtre au courant de
la future communication qui engagera B et une autre station. Si la communication entre
A et B est correcte, un accus de rception est envoy par la station destinataire B. Ainsi,
C qui reoit galement laccus de rception, sait que le mdium radio est libre. Sil y a
chec de transmission soit du RTS, soit du CTS ou absence daccus de rception, toute la
procdure est reprise.
Un autre mcanisme, le vecteur dallocation NAV (Network Allocation Vector), est as-
soci au RTS/CTS. Il a pour rle damliorer le contrle de laccs au canal. Les paquets
RTS et CTS portent dans leurs champs une indication spcifique qui donne la dure du
17
CHAPITRE 1. LA PLANIFICATION DUN RSEAU WLAN
18
CHAPITRE 1. LA PLANIFICATION DUN RSEAU WLAN
19
CHAPITRE 1. LA PLANIFICATION DUN RSEAU WLAN
contraint par la gographie des lieux, mais galement par lobtention dautorisations dim-
plantation des stations de base. Cest pourquoi on retrouvera plus souvent en planification
cellulaire un ensemble de positions discrtes de stations de base pour lesquelles il faudra
trouver la meilleure configuration antennaire possible. Le choix de la configuration anten-
naire permet de palier au faible degr de libert que comportent les variables de position
[18].
En planification wLAN, ce sont les premiers travaux qui ont considr un espace continu
des positions [33, 25, 23, 26, 24, 31]. Avec laugmentation de la surface planifier, la
formulation discrte des positions sest avre bien plus abordable et ce pour deux raisons :
1. la diminution de la taille de lespace de recherche,
2. la similarit des positions candidates prsentes dans une mme pice.
En effet, on se rend compte sur la figure 1.8 que la diffrence entre les couvertures radio
de 2 AP prsents dans la mme pice est faible lchelle du btiment. On peut alors
considrer quun point daccs prsent au centre dune pice est reprsentatif des autres
positions candidates de la pice et ainsi passer dun espace continu des positions un
espace discret.
-50 dBm
AP1
AP2
-100 dBm
Fig. 1.8 Comparaison des cartes de couverture simules de deux points daccs prsents
dans la mme pice.
Les autres articles de la bibliographie [35, 34, 27, 24, 37, 36, 40, 38, 41, 39, 42, 43, 29, 44]
dfinissent un espace discret des positions candidates.
20
CHAPITRE 1. LA PLANIFICATION DUN RSEAU WLAN
prsente une porte de communication importante. Ce type de cellule peut alors crer des
zones de rsurgence du signal grande distance. En planification cellulaire, le tilt per-
met dobtenir des cellules connexes et ainsi de diminuer les interfrences occasionnes par
celles-ci. Adel Jedidi tudie en dtails cette problmatique dans ses travaux de thse [18].
Fig. 1.9 Simulation du rayonnement en champ libre dune antenne directionnelle wLAN
(G0 = 4dBi, ouverture = 60 ) obtenue avec WILDE (cf. partie 2.3).
Les points daccs wLAN sont quips dantennes moins volues que les stations de
base GSM. Il existe des points daccs quips dantennes omnidirectionnelles ou directives.
Le diagramme de rayonnement azimutal dune antenne directionnelle peut sassimiler une
antenne quasi-omnidirectionnelle pour laquelle il existe un gain plus important (+3dB
+5dB) sur une moiti du diagramme comme le prsente la figure 1.9.
Il nest pas possible dincliner une antenne et ainsi de faire varier son tilt. Cette variable
importante de la planification cellulaire nest pas exploitable en planification wLAN.
Il est possible de modifier la puissance dmission dun point daccs par paliers, lesquels
sont dfinis par les constructeurs.
Les seuls paramtres antennaires wLAN sont :
lazimut k ,
la puissance dmission P k .
Modifier la position p = (px, py) dun point daccs permet de compenser ce manque de
paramtres antennaires. En effet, le dplacement Indoor permet de jouer sur le diagramme
de rayonnement du fait de la rpartition plus dense des obstacles (murs, portes...). La
position des points daccs est donc un des principaux paramtres rgler.
Stamatelos et Ephremides [24] font partie des premiers chercheurs avoir propos une
formulation au problme de planification wLAN en 1996. Ils ont alors dj pris en compte
la puissance dmission en dfinissant une variable p continue. Bahri et Chamberland [41],
Wong et al. [35] recherchent la fois la position et la puissance dmission du nombre
minimal de points daccs. Lensemble des puissances dmission est discret pour eux.
21
CHAPITRE 1. LA PLANIFICATION DUN RSEAU WLAN
Les seuls travaux qui mettent en oeuvre la directivit des AP sont proposs par Aguado
et al.[30]. Lobtention de la direction dmission est traite comme un problme part
entire o lon recherche lorientation optimale des N metteurs dans un ensemble discret
dorientations possibles. Ce scnario doptimisation considre que la position, le nombre et
la puissance des AP sont dj fixs.
22
CHAPITRE 1. LA PLANIFICATION DUN RSEAU WLAN
Definition 2 Un objectif de planification est une mesure des performances du rseau sans-
fil optimiser pour un type de service donn.
La mesure choisie peut tre plus ou moins complexe calculer et mettre en jeu des
modles plus ou moins prcis pour dcrire le service choisi. Nous commenons par prsenter
les notations utiliss dans la suite du manuscrit. Puis, une prsentations des objectifs de
planification dfinis dans la littrature est propose. Ces objectifs permettent doptimiser
la couverture, le recouvrement et la rpartition du dbit dans un rseau. Cette section se
termine par la prsentation de deux modles qui permettent destimer le dbit offert aux
utilisateurs du rseau et de quantifier la puissance des interfrences. Ces modles seront
utiliss dans la mise en oeuvre de nos propres critres.
1.3.1 Notations
Un objectif de planification peut soit sappliquer une portion du plan, soit un
ensemble discret de points de tests. Dans la suite du mmoire, nous dsignons par :
Une zone rectangulaire du plan P est dsigne par le terme de bloc. Elle est reprsente
dans la figure 1.10 et dfinie comme suit :
Definition 3 Un bloc Bl est une zone rectangulaire dont le coin haut gauche se situe a la
position p = (px, py) et dont les dimensions sont donnes par s = (nx, ny).
O i
j
p=(px, py)
(il , jl)
Bl ny
bl
nx
23
CHAPITRE 1. LA PLANIFICATION DUN RSEAU WLAN
Pour un utilisateur mobile, le rapport signal sur interfrences au point bl a pour forme
gnrale :
FlBS
(SIRl )mW = (1.1)
(P n )mW + (P Il )mW
Definition 5 La cellule Ck est forme par lensemble des points couverts par le point
daccs k au-dessus du seuil de qualit Sq et o cet AP est Best Serveur :
24
CHAPITRE 1. LA PLANIFICATION DUN RSEAU WLAN
Dans lquation 1.4, S reprsente le rapport signal sur bruit minimal qui permette de
garantir un taux derreur acceptable et EAP lensemble des points daccs prsents sur le
plan P . On dsigne par le terme trous de couverture les portions du plan qui ne respectent
pas la contrainte de couverture.
Bahri et Chamberland [41], Wong et al. [35], Prommak et al. [36], Amaldi et al. [44]
dcrivent le problme de planification laide dun programme linaire. Ils imposent une
contrainte dure de couverture o tous les points du plan doivent satisfaire la condition
de lquation 1.4. Lobjectif principal de planification est soit la minimisation du nombre
de points daccs, soit lobtention dune qualit de service adquate. La contrainte de
couverture garantit labsence de trou de couverture.
Minimiser f = . f1 + (1 ) . f2 (1.5)
NP
X
wl ABS + max(0, ABS
f1 = l l Amax ) (1.6)
l=1
25
CHAPITRE 1. LA PLANIFICATION DUN RSEAU WLAN
Il recherche la plus grande attnuation prsente parmi tous les points de test. Ce critre
permet de pnaliser des solutions qui prsentent des trous de couverture et donc doptimiser
localement la couverture radio. Cette plus grande attnuation est galement pondre par
le terme de pnalisation seuil ( max(0, ABSl Amax )).
Les coefficients de pondration wl , l [1, NP ] permettent daccorder plus ou moins
dimportance une zone du plan. La fonction objectif prsente un paramtre qui permet
de dfinir quel objectif prime dans la recherche dune solution.
Unbehaun et Kamenetsky [27], Aguado et al. [30] et Ji et al. [31] rutilisent la mme
dfinition du critre de couverture dans leurs travaux.
NP
X
max 0, Sq FlBS
fseuil = 1/NP . (1.8)
l=1
NP
X
fseuil = 1/NP . fmesl (1.9)
l=1
Le critre propos par He et al. [28] prsente alors une fonction de mesure de la forme
fmesl = max 0, Sq FlBS . Les choix que nous avons effectus pour dfinir un critre de
couverture nous ont men tudier plusieurs variantes de la fonction fmes. Ces variantes
sont reprsentes sur la figure 1.11.
La figure 1.11-(a) reprsente la fonction de mesure qui associe un poids de 1 chaque
point non couvert. Cette fonction de mesure permet de calculer le pourcentage de surface
non couverte.
26
CHAPITRE 1. LA PLANIFICATION DUN RSEAU WLAN
1 1
F (dBm) F (dBm) F (dBm)
Sq Sq Smin Smax
27
CHAPITRE 1. LA PLANIFICATION DUN RSEAU WLAN
0
Pout (i, j) = 1 exp (1.10)
SN Rl
I
Y i
Pout (i, j) = 1 (1.11)
+ i
i=1
He et al. proposent dans [28] un second critre qui minimise le taux derreur bit en
chaque point de test. Le BER (Bit Error rate) est dfini par le rapport entre le nombre de
bits mal reus et le nombre total de bits envoys. Une valeur seuil de BER est fixe. Une
solution de planification est value en sommant les points o ce BER seuil est atteint.
Lestimation du taux derreur bit est ralise pour un canal CDMA large bande et un
canal CDMA bande troite. Une telle estimation passe par le calcul en chaque point de
test de la rponse impulsionnelle du canal. Ce calcul peut-tre ralis laide de simulations
de lancer de rayons mais il est trs coteux. Pour diminuer les cots de calcul de la rponse
impulsionnelle au moment de la planification, une simulation complte du canal radio de
chaque systme CDMA a t ralise sur un environnement de test donn.
A partir des rponses impulsionnelles obtenues, des lois dapproximation du BER en
fonction du rapport signal bruit ont t dfinies. Dans la modlisation dun systme
bande troite, seule la composante la plus forte de la rponse impulsionnelle a t prise en
compte. Pour la modlisation du systme large bande, les deux premires impulsions sont
modlises.
Les objectifs dfinis par Cheung et Murch et He et al. permettent de modliser plus
finement le comportement du canal radio. Leur efficacit dpend nanmoins de lexactitude
du modle utilis. Le modle de probabilit de coupure de Cheung et Murch est thorique et
na pas t valid par des tests rels. Le modle de BER propos par He et al. a lavantage
dtre adapt lenvironnement indoor qui a permis de le dfinir.
Finalement, dans ces approches, le critre bas sur le niveau de signal est remplac
par un critres bas sur le BER, qui est une fonction monotone du rapport signal bruit.
Les fonctions de mesure dfinies la figure 1.11 peuvent galement tre utilises pour ce
critre. La principale diffrence pour sa mise en oeuvre tient dans la ncessit destimer le
niveau dinterfrences en chaque point, ce qui est coteux.
28
CHAPITRE 1. LA PLANIFICATION DUN RSEAU WLAN
NP
1 X
f= min | FlBS Flk | (1.13)
NP k[1,N ],k<>BS
l=1
Cet objectif est agrg en une seule fonction avec lobjectif de couverture dfini par
Sherali et al. (cf. Eq. 1.5). Le problme de planification tel quils lont dfini cherche
slectionner des solutions qui couvrent tout lenvironnement et qui minimisent le recouvre-
ment entre les zones de service des AP.
29
CHAPITRE 1. LA PLANIFICATION DUN RSEAU WLAN
Les travaux ultrieurs formulent le problme laide dun programme linaire et sas-
surent que le trafic total demand par lensemble des TTP couverts par un AP nexcde
pas sa capacit. Prommak et al. [36] ont fix la capacit dabsorption de trafic dun point
daccs CAP = C0 , avec = 0.9 et C0 le dbit le plus lev que peut fournir lAP (en
802.11b, C0 = 11 Mbits/s). Le coefficient permet de prendre en compte la perte de dbit
due aux techniques daccs au canal radio (couche MAC). Nous allons voir ci-aprs que
cette capacit est encore grandement surestime.
En 2004, Molina et Gonzalez [43] combinent un critre de couverture et un critre de
trafic. Ce dernier vrifie galement que la demande des TTP nexcde pas la capacit du
point daccs fixe. De mme, Bahri et Chamberland [41] imposent la mme contrainte de
trafic dans un programme linaire qui minimise le nombre de points daccs.
Les deux travaux proposs par Lee et al. [38] et Amaldi et al. [44] sont les premiers
avoir choisi de dfinir comme objectif principal doptimisation un critre de qualit de
service. Ils ont dfini un modle qui a pour objectif de rpartir le mieux possible entre les
TTP le dbit fourni par les points daccs. La couverture et le recouvrement sont pris en
compte par la mise en place de contraintes.
Lee et al. [38] dfinissent la mme contrainte de capacit sur les points daccs CAP =
C0 , mais leur objectif principal est de minimiser pour obtenir une rpartition uniforme
du trafic sur les points daccs.
Amaldi et al. [44] se placent dans le contexte des rseaux wLAN et considrent quun
seul canal est utilis dans le rseau pour tous les points daccs. Lanalyse quils ont effectue
du protocole daccs CSMA/CA les a mens dfinir une mesure qualitative de la capacit
du rseau. Un utilisateur pourra accder au rseau si tous ses interfrents se taisent. Ainsi, la
probabilit daccs dun utilisateur i au mdium radio est de 1/nbInter(i), avec nbInter(i)
le nombre dutilisateurs qui interfrent lutilisateur i. La mesure de capacit du rseau est
la somme des probabilits daccs pour tous les utilisateurs du rseau. Lobjectif prsent
30
CHAPITRE 1. LA PLANIFICATION DUN RSEAU WLAN
par Amaldi et al. est de maximiser la capacit du rseau sous la contrainte de couverture
totale.
1.3.5 Rsum
Pour synthtiser les diffrentes approches tudies dans cet tat de lart, un tableau
rcapitulatif des objectifs dfinis par chaque article cit est propos ici. Les articles sont
classs en fonction des 3 principaux objectifs de planification : couverture, interfrences et
QoS.
La premire colonne stipule si le nombre de points daccs N est variable et la seconde
si lobjectif principal est de minimiser le cot, cest--dire le nombre dAP. Les objectifs de
couverture sont rpartis en fonction de la grandeur utilise pour quantifier la couverture :
la puissance reue (PR ), le taux derreur bit (BER) ou le taux de coupure (TxC). Dans la
description des objectifs dinterfrences, il est prcis si lallocation des canaux est effectue
conjointement la planification (FAP). De plus, il est prcis si le critre dinterfrences a
t calcul en valuant la taille des zones de recouvrement (Rec), le rapport SIR sur le lien
descendant (SIR D) ou le rapport SIR sur le lien montant (SIR M).
Le critre principal dfini par tous les travaux cits dans ce tableau est relatif la
couverture radio. Plusieurs formes de critres ont t proposes pour garantir un accs
correct une station mobile quelque soit sa position. Ces critres ncessitent tous une
estimation du canal radio, soit parce quil faut connatre la puissance reue en un point,
soit parce quil faut connatre la rponse impulsionnelle du canal. Ainsi, la qualit des
solutions obtenues par planification est fortement corrle la qualit des prdictions de
couverture exploites.
Or, comme nous le verrons dans la partie suivante 2.1 qui prsente les modles de
prdiction de couverture, il est ncessaire de trouver un compromis entre la qualit des
prdictions et le temps ncessaire lobtention dune carte de couverture radio. En effet,
une estimation prcise de la couverture radio passe par des temps de calculs relativement
longs tandis que lutilisation de modles plus simples permet destimer le canal bien plus
31
CHAPITRE 1. LA PLANIFICATION DUN RSEAU WLAN
rapidement. La recherche dun compromis entre temps de calcul et prcision reste donc une
problmatique majeure.
Les critres qui traitent soit du recouvrement entre cellules, soit des interfrences ont
t pris en compte par la moiti des travaux prsents. En effet, les interfrences sont
une des causes majeures de dgradation du canal radio wLAN. La plupart des critres
dinterfrences prsents ci-avant considrent que les seuls metteurs actifs du rseau sont
les points daccs. De ce fait, ils ne tiennent compte que des interfrences prsentes sur le
lien de communication descendant, cest--dire de lAP vers la station mobile.
Seuls Wong et al. [35] ont pris en compte le calcul du rapport signal sur interfrences
sur le lien montant au niveau du point daccs. Pour dterminer le SIR montant, il faut
estimer la couverture radio de chaque point de test en plus des couvertures radio des AP,
ce qui est coteux en temps de calcul. La section suivante prsente une tude originale des
interfrences au niveau des noeuds mobiles pour amliorer lvaluation de performances du
rseau.
Tous les travaux relatifs au trafic considrent que le dbit global propos par le point
daccs tous les utilisateurs quil couvre est constant. Or, les modles dvaluation de
performance et les mesures de dbit dun rseau wLAN de type 802.11b [15, 45] montrent
que ce dbit global varie avec le nombre dutilisateurs qui le couvrent. Ainsi, pour prendre
en compte une capacit raliste de point daccs nous introduisons dans la section suivante
un modle issu dune valuation de performances de la technique daccs au canal radio.
Il est galement possible de planifier un rseau pour une application spcialise qui
ncessite une rpartition des niveaux de puissance qui rponde certaines contraintes.
Cest en analysant les performances dalgorithmes de localisation wLAN que nous nous
sommes rendu compte de limportance du placement des AP pour ce genre dapplication
[46].
Les algorithmes de localisation travaillent partir dune base de connaissance qui dcrit
lenvironnement radio dun btiment. A chaque tentative de localisation, la puissance des
signaux reus par les AP au point courant est recherche dans cette base de connaissance
pour en dduire la position du rcepteur. Sil existe des zones du btiment qui prsentent
une rpartition des puissances reues par tous les points daccs qui est similaire, il existe
une indtermination dans la recherche puisque, pour un mme vecteur signal, il existe
plusieurs positions possibles dans le plan. De ce fait, les erreurs de localisation sont dautant
plus frquentes.
Les seuls travaux notre connaissance qui cherchent positionner les AP pour amliorer
la qualit dun algorithme de localisation sont proposs par Jan et al. dans [40]. Les auteurs
proposent une procdure de localisation qui exploite lintersection des zones de service des
AP. La localisation de la station mobile est ralise partir de lidentifiant de tous les AP
que cette station capte. Ce jeu didentifiants permet de dterminer une portion du plan.
Plus le plan est partitionn en un nombre important de portions, plus la localisation
est prcise. Cest pourquoi ils ont choisi de minimiser la taille de la plus grande portion
du plan, le tout avec un nombre dAP fix. Ce qui est dommage, cest quils utilisent un
modle circulaire de couverture dAP. De ce fait, ils se retrouvent toujours avec des cellules
connexes et peu dindterminations dans la localisation.
32
CHAPITRE 1. LA PLANIFICATION DUN RSEAU WLAN
Modle de dbit
Nous proposons dtudier comment le dbit se rpartit entre les utilisateurs pour esti-
mer le dbit offert par un AP. Pour cela, il faut connatre la rpartition des utilisateurs et le
mode daccs au canal radio quils utilisent. Dans un rseaux de type 802.11, il ny a pas de
duplexage frquentiel et les communications montantes (de lutilisateur vers lAP) et des-
cendantes (de lAP vers lutilisateur) sont ralises sur le mme canal par accs concurrent.
Ici, on considre que lAP ne cherche pas communiquer et ne fait que recevoir des pa-
quets. Dans ce cadre, comme lont montr plusieurs travaux dvaluation de performances
de rseaux wLAN ([45, 47]), le dbit fournit par un AP varie en fonction du nombre duti-
lisateurs prsents dans sa zone de service. De ce fait, nous avons choisi dutiliser dans ces
travaux de thse le modle analytique dvaluation de performances propos en 2005 par
J.-L. Lu et F. Valois dans [48]. Ce modle estime les performances de dbit dun rseau
IEEE 802.11 en mode DCF. Il est inspir des travaux de Bianchi [45] qui modlisent les
tats du backoff du protocole daccs DCF de 802.11 (cf. 1.1.3).
Le modle de dbit dtermine le dbit utile fourni par un point daccs aux utilisa-
teurs connaissant le nombre dutilisateurs communiquant 11 Mbits/s, 5.5 Mbits/s, 2
Mbits/set 1 Mbits/s. On considre que les utilisateurs ont toujours un paquet mettre :
ils fonctionnent en rgime satur. De ce fait, on modlise le rseau wLAN dans le pire cas
dutilisation o la limitation de la bande passante est due une forte probabilit de colli-
sions. On saffranchit du choix dun modle de trafic car dans ces travaux, on ne souhaite
pas planifier un rseau pour une application ddie.
Les travaux de J.-L. Lu et F. Valois se distinguent de ceux de Bianchi par la prise
en compte des zones de service et par lutilisation dune probabilit de retransmission pr
qui modlise la fois la probabilit derreur pe due une mauvaise transmission et une
probabilit de collision pc . La probabilit de collision pc est soit due au problme des noeuds
cachs o les deux stations mettent croyant trouver le mdium libre alors quil ne lest
pas, soit due aux interfrences entre les deux signaux mis.
Le modle prend en entre le nombre dutilisateurs communiquant 11 Mbits/s, 5.5
Mbits/s, 2 Mbits/set 1 Mbits/spour chaque AP. Ces quantits peuvent tre obtenues par-
tir de prdictions de couverture radio comme nous le prsenterons au chapitre 5. Lanalyse
des tats du backoff mne la formulation dune chane de Markov. Cette chane est d-
taille dans lannexe 1. Sa rsolution permet de dterminer la probabilit de transmission
russie sans erreur dans un slot de temps pour un noeud couvert par un AP.
33
CHAPITRE 1. LA PLANIFICATION DUN RSEAU WLAN
)n1 + pe . Cette quation nest pas rsolvable analytiquement car ltat stationnaire de
la chane de Markov, b0,0 , dpend galement de pr . La valeur de la probabilit derreur pe ,
dtermine exprimentalement (cf. [48]), est fixe 0.04.
La valeur maximale de obtenue pour un seul noeud couvert est de 0.0572. Quand le
nombre de noeuds tend vers linfini, la valeur de converge vers 0.035. La valeur maximale
est une bonne solution initiale pour la recherche de Newton car la convergence est rapide
quand la solution initiale est proche de la solution optimale. La valeur de est calcule
1.106 . Lalgorithme converge en un maximum de 5 itrations. Nous pouvons en conclure
que la fonction prsente est proche dune fonction convexe.
Le modle dvaluation de performances donne des rsultats ralistes pour un seul
point daccs car la prsence dinterfrences entre plusieurs AP nest pas prise en compte.
Pour que ce modle soit applicable un rseau complet, il est ncessaire de rpartir les
canaux de faon optimale pour minimiser les interfrences. De ce fait, dans la phase de
planification, il sera important dutiliser conjointement au critre de QoS un critre qui
limite les interfrences.
Fig. 1.12 Evolution du dbit total fournit par un AP en fonction du nombre de noeuds
mobiles.
34
CHAPITRE 1. LA PLANIFICATION DUN RSEAU WLAN
La puissance des interfrents au point bl , si lon ne tient compte que des signaux
mis par les AP, est facilement calculable partir des puissances reues au point bl .
Il est ncessaire de connatre les canaux ci de lensemble des canaux C attribus chaque
AP i :
C = (c1 , . . . , ci , . . . , cN ), ci C (1.15)
Pour un noeud mobile prsent au point bl , on peut classer tous les signaux reus du
plus fort au plus faible :
Le signal le plus puissant est le signal best serveur FlBS avec lequel le mobile plac
au point bl dialogue. Lensemble des signaux interfrents au point bl , dnomm Il , est
constitu de tous les signaux Fli diffrents de FlBS . Le calcul de la puissance totale des
signaux interfrents est donn par lquation suivante :
X
P Il = 10.log 10 (cbs , ci ) [Fli ]mW (1.16)
iP Il
35
CHAPITRE 1. LA PLANIFICATION DUN RSEAU WLAN
Elle permet de tenir compte du recouvrement inter-spectre dans le calcul des interf-
rences. Elle dpend de la fonction de rjection R(n). Les valeurs en dB de cette fonction
pour les carts de canaux compris entre 1 et 4 sont donnes dans le tableau 1.3 pour les
systmes 802.11b et 802.11g.
n =| cbs ci | 0 1 2 3 4
10log10 R(n) pour 802.11b 0 2.25 dB 5.25 dB 9.9 dB 29.8 dB
10log 10 R(n) pour 802.11g 0 3.9 dB 6.9 dB 12 dB 25.5 dB
Tab. 1.3 Rjections R(n) du signal interfrent en fonction de lcart entre le canal de
lAP best serveur cbs et le canal interfrent ci .
La puissance des interfrents au point bl avec prise en compte des signaux mis
par les autres mobiles est plus complexe calculer.
Pour raliser cela, il est ncessaire de connatre la rpartition des utilisateurs. Il est alors
possible de dterminer le numro du canal de transmission que ces utilisateurs utilisent
puisquils communiquent sur le mme canal que leur AP "Best Serveur". Ainsi, un sous-
rseau de communication est constitu par les Ni utilisateurs attachs un mme AP i.
Ils travaillent tous sur le mme canal ci .
La zone de brouillage Bi associe un canal ci se dplace au cours du temps comme
le prsente la figure 1.13. On peut y observer la zone B1 relative aux lments actifs du
canal c1 . Une partie de lenvironnement Foch est ici reprsente avec 1 AP et 3 noeuds qui
lui sont rattachs. La carte suprieure gauche prsente la couverture de lAP. Les autres
cartes prsentent les cartes de couverture des noeuds quand ils communiquent. La zone de
brouillage correspond la couverture des noeuds en cours dmission. On observe quau
cours du temps, la couverture de la zone de brouillage se modifie de faon non ngligeable.
La couverture du noeud numro 1 qui met dans le couloir est bien plus importante que la
couverture de lAP.
AP Noeud 1
dBm
Noeud 2 Noeud 3 -40
-80
36
CHAPITRE 1. LA PLANIFICATION DUN RSEAU WLAN
protocole MAC le plus souvent utilis en 802.11 est le protocole daccs DCF (cf. 1.1.3).
Contrairement au GSM, lAP accde au canal avec les mmes chances que les noeuds de
sa zone de service. Les seuls paquets quil met en plus sont des beacons de signalisation.
De plus, chaque noeud du rseau transmet ses donnes avec une rapidit de modulation
diffrente en fonction de la qualit du canal. Ainsi, un noeud peut soit mettre 1, 2, 5.5
ou 11 Mbits/sen 802.11b. Le modle dvaluation de performances prsent dans la section
suivante (cf. p. 33 et annexe 1) permet dvaluer le taux doccupation du canal des noeuds
travaillant avec un mme AP en fonction de leur rapidit de modulation. On y considre
que les mobiles cherchent mettre en continu et que les AP ne gnrent jamais de trafic
sur le rseau sans-fil. Or, dans un rseau standard, le trafic de lAP vers le mobile nest pas
ngligeable (tlchargements, broadcast, requtes, ...).
Nous avons choisi de modliser lAP comme un utilisateur standard puisquil accde
au canal avec la mme priorit que les autres utilisateurs. On suppose que le noeud qui
modlise lAP communique 11 Mbits/s, mme si en ralit il communique la rapidit
de modulation du noeud quil sert. Nous avons fait ce choix pour se placer dans le pire cas
possible. Le modle dvaluation de performances nous procure les valeurs de piAP , le taux
doccupation du canal de lAP i, et pij , le taux doccupation du noeud j rattach lAP i.
Nous proposons deux estimations de la dgradation du canal que lon peut impacter
aux interfrences. La premire value la puissance moyenne des signaux interfrents en
un point. On peut alors en dduire une carte de couverture de brouillage et calculer en
chaque point du plan un rapport SIR. La seconde estimation propose de quantifier le taux
doccupation du canal en chaque point pour un canal donn. Cette estimation ne permet
plus de calculer de rapport SIR.
i X N
F l = 10.log 10 piAP . [FlBS ]mW + pij . [Fl j ]mW (1.17)
jNi
N
Fl j reprsente la puissance reue du noeud Nj au point bl . Pour connatre la zone
N
de brouillage de chaque AP, Fl j est calcule pour chaque point du plan. On peut alors
calculer la puissance des interfrences daprs lquation 1.16 en remplaant Fli par sa
i
valeur moyenne temporellement F l . La modlisation des interfrences prsente ici est
une modlisation statistique du comportement de la zone de brouillage Bi .
37
CHAPITRE 1. LA PLANIFICATION DUN RSEAU WLAN
AP1 AP2
(b) Zone de brouillage de lAP1
AP1
(c) Zone de brouillage de lAP2
Mobiles
APs
AP2
Fig. 1.14 (a) Carte de couverture standard des deux AP. (b) Carte de brouillage statis-
tique de lAP1 . (c) Carte de brouillage statistique de lAP2 .
38
CHAPITRE 1. LA PLANIFICATION DUN RSEAU WLAN
AP1
(a) Taux doccupation de lAP1
Mobiles
APs
AP2
(b) Taux doccupation de lAP2
Fig. 1.15 (a) Carte du taux doccupation du canal pour le sous-rseau de lAP1 . (b)
Carte du taux doccupation du canal pour le sous-rseau de lAP2 .
39
CHAPITRE 1. LA PLANIFICATION DUN RSEAU WLAN
Xh j i
Tl = Fli P n piAP + Fl P n pij
(1.18)
jN i
o :
N i est le nombre de noeuds rattachs lAP i.
Fli est la puissance reue au point dindice l depuis le noeud j,
P n est la puissance de dtection de porteuse,
[.] reprsente une condition boolenne.
Si le point bl est couvert par lAP ou un des noeuds, le taux doccupation du canal de
llment est ajout au taux doccupation global T xm . Cette carte de brouillage permet
de dterminer la proportion de temps o le canal est occup en chaque point du plan. La
figure 1.15 prsente cette carte pour lexemple prsent prcdemment (cf. p.38).
Dans ces cartes de taux doccupation, on observe bien que le nombre de noeuds a une
importance non ngligeable. La prise en compte des interfrences dues aux utilisateurs est
importante pour rpartir correctement les canaux pour un rseau 802.11.
40
CHAPITRE 1. LA PLANIFICATION DUN RSEAU WLAN
= Argminx0 f (x),
x f : RD R avec D le nombre de variables (1.19)
Pour pouvoir prendre en compte les contraintes dun problme doptimisation, un terme
de pnalisation est rajout la fonction de cot f (x). Ce terme de pnalisation pondre
lvaluation de f (x) quand la contrainte nest pas satisfaire. Ainsi, une contrainte dingalit
ci (x) 0 qui sapplique au point de test i pour la solution x est incluse dans la fonction
de cot comme suit :
NP
X
P (x, ) = f (x) + max(0, ci (x)) (1.20)
i=1
Approche combinatoire
Dans une approche combinatoire du problme wLP, un ensemble de positions candidates
de point daccs, rfrenc par EAP et de taille finie M , est dtermin soit par linstallateur
soit automatiquement par lheuristique doptimisation. Un point daccs candidat numro
k est dsign par sa position bl , sa puissance dmission P k et son azimut k .
41
CHAPITRE 1. LA PLANIFICATION DUN RSEAU WLAN
Chaque candidat est dfini dans le processus doptimisation par une variable binaire xk
qui vaut 1 si le site candidat fait partie de la solution courante et 0 sinon. Ainsi, une solution
issue dune formulation discrte est donne par le vecteur binaire des xk , k [0, M ] :
(x1 , . . . , xk , . . . , xM )
x
= Argmin f (x) (1.21)
ci (x) 0 i [1, I]
(1.22)
dj (x) = 0 j [1, J]
La formulation discrte est la formulation qui a t la plus souvent exploite dans la
littrature relative au problme wLP : [35], [34], [27], [24], [37], [36], [40], [38], [41], [39],
[42], [43], [29], [44].
42
CHAPITRE 1. LA PLANIFICATION DUN RSEAU WLAN
Fortune et Al. [23] sont les premiers avoir travaill sur le problme wLP en 1995 en
proposant un outil de planification dnomm WISE. Ils dfinissent une fonction doptimi-
sation unique qui maximise le pourcentage de points couverts. He et Al. [28] proposent
deux objectifs selon le critre de couverture dfini dans lquation 1.8. Les deux objectifs
diffrent selon la nature de la grandeur optimise : la premire grandeur est la puissance
reue et la seconde le taux derreur bit.
La probabilit de coupure est minimise par Cheung and Murch [26] en introduisant
une fonction objectif qui calcule la moyenne pondre de la probabilit de coupure Pout
(cf. Eq. 1.10 and 1.11) :
Z
f= Pout (x) p(x) dA (1.23)
S
Stamatelos and Ephremides [24] minimisent une fonction unique qui agrge deux ob-
jectifs, lun quantifiant la surface non couverte et le second la surface interfre. Le poids
de chaque objectif est dfini laide dun coefficient : f = U + (1 )I. Sherali et Al.
[25] proposent galement une fonction doptimisation qui est la somme pondre de deux
critres.
Les modlisations proposs par Stamatelos and Ephremides et Sherali et Al. sont des
modles doptimisation multiobjectifs qui permettent dutiliser les heuristiques standard
doptimisation mono-objectif. La difficult de ce type de fonction rside dans le choix de
la valeur du poids .
Formulation multi-objectifs
Molina et Gonzalez [43] ont choisi de formuler le problme wLP laide de trois critres :
f1 (x) la minimisation du nombre de points daccs,
43
CHAPITRE 1. LA PLANIFICATION DUN RSEAU WLAN
Definition 6 Dans le cadre dun problme de minimisation qui exploite n critres, une
solution x domine une solution y si et seulement si :
La solution dominante x est meilleure que la solution y sur au moins un des critres. Les
ensembles des solutions domines et non domines peuvent se reprsenter dans lespace des
fonctions dvaluation. La figure 1.16 reprsente plusieurs solutions dans lespace des fonc-
tions dvaluation f1 et f2 . Chaque solution s est positionne dans cet espace en fonction
de ses valuations par f1 et f2 . Les solutions reprsentes par les croix sur le graphe sont
des solutions non domines, les solutions reprsentes par des points sont des solutions do-
mines. Graphiquement, une solution non domine ne possde aucune autre solution dans
la zone rectangulaire qui la spare du point O (pour un problme de minimisation).
f2
Solution domine
Solution non-domine
f1
Les solutions non domines sont intressantes car ce sont les meilleures solutions de
lensemble. Chacune est la meilleure solution pour une pondration donne entre f1 et
f2 . Ces solutions non domines constituent le front de Pareto de lensemble des solutions
reprsentes.
Definition 7 Le front de Pareto Thorique dun problme doptimisation est form par
toutes les solutions non domines de lensemble complet des solutions admissibles du pro-
blme.
44
CHAPITRE 1. LA PLANIFICATION DUN RSEAU WLAN
Le but dune heuristique doptimisation multiobjectif est de faire voluer les solutions du
front de Pareto des solutions courantes pour obtenir le front de Pareto optimal du problme.
Ce front optimal comporte des solutions que linstallateur de rseau peut analyser aprs la
recherche pour slectionner la solution qui lui convient le mieux.
minimise cT x
subject to Ax b (1.25)
x 0.
Un Programme Linaire en nombres entiers est obtenu laide dun programme linaire
en restreignant les variables des valeurs entires. Par exemple, on peut restreindre x
x = {0, 1}. Dans ce cas, on parle de programme linaire en nombre entiers binaires.
Un programme linaire en nombres entiers binaires a t dfini par Wong et Al. [35]
pour modliser le problme de planification dun rseau CDMA. Lobjectif est de minimiser
le nombre de points daccs. Plusieurs contraintes sont dfinies qui imposent la couverture
de tous les points de test, la limitation de la puissance dmission des AP et un rapport
signal sur interfrences garanti pour le lien montant et le lien descendant.
Un autre programme linaire a t propos par Mateus et Al. dans [29]. Lobjectif prin-
cipal est de maximiser la surface couverte. Comme Lee et Al. [38] ou Bahri et Chamberland
[41], ils imposent une contrainte sur le rapport signal sur interfrences pour pouvoir raliser
lallocation des canaux en mme temps que la planification.
Les contraintes de qualit de service qui imposent que le trafic demand un point
daccs soit born se dfinissent aisment sous la forme dun programme linaire ([36], [38],
[41]).
45
CHAPITRE
Outils et mthodes
2
2.1 La prdiction de couverture radio
2.1.1 Le canal radio Indoor
Dans un environnement Indoor, cest--dire un environnement clos, la propagation des
ondes est plus complexe prdire que pour des environnements ouverts qui prsentent
peu dobstacles. En effet, la prsence dobstacles rend dune part le trajet des ondes radio
plus complexe car les rflexions et rfractions sont plus nombreuses, et dautre part la
diffraction survient plus frquemment. De plus, la multitude des chemins emprunts par
les ondes issues dun metteur a pour consquence dlargir la rponse impulsionnelle du
canal radio. De ce fait, il nest plus possible de modliser la propagation des ondes par une
simple fonction de la distance entre lmetteur et le rcepteur.
T.S. Rappaport prsente dans [50] les deux approches thoriques communment utilises
pour dcrire un canal radio :
d
Akl (d)dB = Akl (d0 )dB + 10.a.log10 + X (2.1)
d0
o Akl (d0 ) est lattnuation moyenne une distance de rfrence d0 et X une variable
alatoire de distribution gaussienne moyenne nulle et de variance . Cette variable ala-
toire permet de modliser la variabilit du canal radio. Cest cette approche qui sapplique
au canal radio Indoor.
46
CHAPITRE 2. OUTILS ET MTHODES
Pour obtenir des cartes de couverture ralistes dans leur processus de planification,
Mateus et al. [29] ont choisi de ne pas utiliser de modle de prdiction. Ils ont ralis un
ensemble de mesures pour obtenir une carte de couverture pour chacune des 6 positions
candidates de station de base. Pourtant, il est important de noter que des mesures sont
reprsentatives du moment o elles ont t ralises et ne sont pas forcment valables pour
dautre priodes de la journe. En effet, le comportement du canal radio est fortement
influenc par la densit des personnes prsentes, la configuration des meubles, etc...
La carte de couverture tablie par Mateus et al. nest pas assez gnrique et peut ne pas
reprsenter le comportement moyen du canal radio. De plus, le temps de prise de mesure et
de traitement est vraiment important, ce qui ne permet pas un passage grande chelle ais.
On peut en conclure que la simulation du canal radio est essentielle pour la planification
wLAN car elle permet de traiter des environnements de grande taille. Lobjectif essentiel
dun bon simulateur est de dcrire le comportement moyen du canal radio.
47
CHAPITRE 2. OUTILS ET MTHODES
48
CHAPITRE 2. OUTILS ET MTHODES
Wong et al. [35], Sherali et al. [25], Cheung et Murch [26], Adickes et al. [37], Prommak
et al. [36], Aguado et al. [30], Ji et al. [31], Bahri et Chamberland [41], Maksuriwong [39]
et Molina et al. [43] ont choisi dutiliser un modle empirique pour prdire la couverture
radio dans leur processus de planification du rseau.
49
CHAPITRE 2. OUTILS ET MTHODES
mais avec une grande prcision. Pour la planification, nous nous intressons uniquement
au premier cas.
La mthode de lancer de rayons est celle qui a la plus faible complexit [66, 65],
en particulier lorsque le nombre de rflexions prendre en compte diminue. Par contre,
plusieurs artefacts de calcul sont gnrs du fait de la discrtisation angulaire de la source.
En effet, plus on sloigne de la source, plus la distance entre 2 raies augmente. Pour
rduire ces artefacts, Fortune et al. [66] ont propos le principe de sparation de rayon
(ray-splitting) qui en contrepartie augmente considrablement le temps de calcul. Lautre
possibilit consiste lancer des faisceaux ou tubes [70] de faon rduire leffet de lchan-
tillonnage angulaire.
Dun autre ct, Suzuki and Mohan [73, 75] ont propos la notion de Frustum. Il sagit
dun polydre dont les faces sont limites par les obstacles. Nanmoins, cette technique
sapproche alors trs exactement de la technique image. En effet le Frustrum correspon-
dant la zone dillumination de londe rflchie correspond exactement la dfinition de
la zone dillumination de la source image. Lauteur ne donne pas suffisamment dlments
dimplmentation pour valuer les diffrences avec une approche image. Cette mthode
sassimile donc pleinement la mthode des images, et sa complexit est identique. La
diffrence tient dans le fait que cette approche est directement adapte au calcul de cou-
verture radio (lensemble des points illumin par une source image est dfini).
Notons que le premier facteur limitant de cette approche est laugmentation exponen-
tielle de sa complexit avec le nombre de rflexions prendre en compte. Pour limiter les
temps de calcul, Rajkumar et al. [58] proposent de construire un arbre de partitionnement
de lespace tenant compte des objets rduisant ainsi la complexit des algorithmes de test
dintersection. De faon similaire Zhong [77] ou Imai [76] proposent de partitionner lespace
en blocs quivalents des pices pour le premier, et simplement des zones rgulires de
lespace pour le deuxime. Ceci permet dacclerer la recherche dintersections entre les
murs et le rayon incident.
La mthode des images quant elle ne gnre que peu dartefacts [66, 67, 79, 82],
mais ncessite en contrepartie un temps de calcul qui augmente exponentiellement avec le
nombre de rflexions que lon veut considrer. Les travaux les plus rcents ont t surtout
ddis la rduction du temps de calcul, et en particulier sur la rduction du temps de
calcul ddi la recherche des chemins [79, 83, 84].
Agelet et al.[79] proposent de dcouper lenvironnement en boites (bounding boxes)
contenant chacune le mme nombre dobstacles, ou un nombre dobstacles limit. Dautre
part, ils sparent le traitement en 2 parties : la premire consistant calculer un arbre de
visibilit (visibility tree), et la deuxime lutiliser pour calculer les rsultats souhaits.
Sans donner beaucoup de dtails, Athanasiadou et al. [82]font de mme, tout en rduisant
encore le temps de calcul en utilisant une approche multi-plans 2D plutt quune vraie
approche 3D.
50
CHAPITRE 2. OUTILS ET MTHODES
Les approches les plus rcentes cherchent rduire le temps de calcul sans perdre en
prcision pour les microcellules en environnement urbain [84, 78, 85]. Aprs une premire
illumination, Pousset et al. [84] proposent de classer les points de rception en zones effet
majoritaire : la zone en LOS, la zone de rflexion, les zones de diffraction. Ceci permet de
ngliger les effets secondaires dans les zones dj illumines. Chen et al. [78] proposent la
mise en oeuvre dapproches progressives en slectionnant de faon intelligente les rayons
lancer prioritairement et dans [85] en exploitant une architecture parallle sur rseau
dordinateurs.
Wolfe et al. ont propos le concept de chemin dominant [71]. Leur approche repose
tout dabord sur la dfinition de pices et dartes sparant les pices. Chaque pice est
borde par un ensemble darte, et les pices sont toujours connectes par une arte. Ils
construisent ensuite un arbre de connectivit en partant de la pice contenant la source.
Le premier niveau de larbre est constitu des artes associes cette pice, puis le niveau
suivant des pices voisines, etc... Le processus est ritr, sauf que chaque branche est
arrte si une arte a dj t utilise. Puis finalement leurs travaux ultrieurs reposent sur
lide de ne garder que le chemin le plus fort [72, 68, 69].
Enfin, Hassan-Ali et al. [65] proposent galement une approche originale que les auteurs
qualifient dapproche statistique, mais qui se classe finalement plus dans les approches d-
terministes quempiriques. Ils dfinissent une zone elliptique dinfluence entre lmetteur
et le rcepteur qui nest pas sans rappeler lellipsode de Fresnel. Lenvironnement est d-
coup lui en zones rectangulaires, ou pices. Un ensemble de paramtres de propagation
est associ chaque mur et chaque pice. Enfin, lattnuation moyenne par chemin est
calcule partir de lintersection entre lellipsode et les diffrentes pices. La complexit
de calcul dune telle approche repose sur le calcul de lellipsode et de lintersection avec
les pices pour chaque couple metteur - rcepteur. Bien que suprieur, elle volue linaire-
ment en fonction du nombre de rcepteurs, comme dans les approches empiriques, tout en
ayant tenu compte statistiquement de la propagation dans les blocs de lellipsode. Cette
approche et celle de Wolfe sont toutes les deux linterface entre les approches empiriques
et dterministes.
Lapproche par trac de rayon (lanc ou images) est donc probablement la plus po-
pulaire parmi les mthodes dterministes. En rsum, la complexit de la technique des
images peut tre approche par Nr nrw [66, 75, 65] o nw est le nombre dobjets et r le
nombre de rflexions (ou diffractions) successives autorise. Ce rsultat correspond en fait
une approche de force brute, o le processus de calcul est lanc successivement pour
chaque point de rception possible. Lorsque lon calcule une couverture complte, on peut
considrer que la puissance reue
est calcule pour tous les points illumins par une source.
Fortune et al [66] estiment Nr le nombre de points de rception moyen par zone illu-
mine. Enfin, avec une bonne organisation des donnes et la mise en oeuvre dun arbre de
visibilit appropri, le nombre total de murs nw peut tre remplac par mw correspondant
au nombre moyens dobjets illumins par une source image. Fortune et al. [66] estiment
empiriquement cette valeur
p mw = nw . Finalement la complexit, aprs optimisation,
peut tre donne par : Nr nrw . Concernant lapproche de lanc de rayons, la complexit
dpend en premier lieu du nombre de rayons lancs kr . A chaque rflexion, un rayon est
divis en 2 : le rayon rflchi, et le rayon transmis. Cela conduit un nombre total de
rayons [65] Kr = kr 2r+1 1. Pour chaque rayon, 2 types de calcul sont effectuer : la
recherche des intersections entre 1 rayon et les objets de lenvironnement, et le calcul de
lattnuation pour chaque point de rception situ sur la trajectoire. Tous les auteurs pr-
sentant cette mthode ngligent cette seconde charge de calcul car il savre que la charge
principale de calcul est plutt lie la recherche dintersection. Pour une approche non
51
CHAPITRE 2. OUTILS ET MTHODES
Pour rduire la complexit du problme, Frhwirt et al. [34] et Fortune et al. [23] ont
choisi de limiter le nombre de rayons pour obtenir des cartes de couverture en 3 dimensions.
Les travaux rcents de Kamenetsky et Unbehaun [27], He et al. [28] et Wertz et al.
[42] ont pu accder une capacit de calcul leur permettant dexploiter des moteurs de
lancer de rayons en 3 dimensions performants. He et al. [28] et Wertz et al. [42] exploitent
leurs propres modles de prdiction dcrits respectivement dans [28] et [86]. Ces modles
font appel des techniques de beam tracing, o ce ne sont plus des rayons mais des fais-
ceaux coniques qui sont lancs. Pour pouvoir raliser toutes les simulations de couverture
ncessaires la planification de rseau, ils ont d utiliser une grappe de calculateurs en
parallle.
Le tableau prsent ci-aprs rpertorie les techniques utilises par chaque article cit.
52
CHAPITRE 2. OUTILS ET MTHODES
53
CHAPITRE 2. OUTILS ET MTHODES
Dans cette partie, la difficult du problme de planification de rseau sans-fil est in-
troduite dans la section 2.2.1. Les parties suivantes prsentent une taxonomie des deux
familles dalgorithmes utiliss dans la littrature relative au problme wLP :
les algorithmes mono-objectif,
les algorithmes multiobjectif.
Les deux sections 2.2.2 et 2.2.3 prsentent respectivement les algorithmes doptimi-
sation mono-objectif continus et combinatoires. La section 2.2.4 prsente les algorithmes
multiobjectif dj implants pour rsoudre le problme de planification wLAN.
Optimisation et difficult
La rsolution dun problme doptimisation peut-tre galement prsente sous la forme
dun problme doptimisation sous contrainte. Je dfinis ici la rsolution du problme dop-
54
CHAPITRE 2. OUTILS ET MTHODES
timisation comme tant la recherche dun algorithme appartenant lensemble des al-
gorithmes possibles A qui permettent de rsoudre un problme doptimisation P avec un
nombre doprations lmentaires N op (, P infrieur ou gal au nombre maximal dopra-
op
tions possible Nmax ). Ce nombre maximal doprations est issu des contraintes dcrites au
paragraphe prcdent.
On dfinit communment la complexit dun algorithme C() comme le nombre dop-
rations lmentaires effectues par lalgorithme pour trouver la solution S dun problme
de taille N , o N caractrise la taille de lespace de recherche.
La complexit dun problme P est la complexit du meilleur algorithme que lon ait
trouv pour le rsoudre.
Les caractristiques dun problme P qui vont rendre sa rsolution plus ou moins
aise sont les suivantes :
N : la taille de lespace de recherche,
Cf : le nombre doprations lmentaires ncessaires lvaluation dune solution,
la nature de la fonction dvaluation.
Le seul algorithme qui assure dans tous les cas lobtention de loptimum est lalgorithme
exhaustif qui teste toutes les solutions. Sa complexit vaut N Cf .
Plus lespace de recherche est grand, plus lnumration des solutions est longue et
plus la complexit dun algorithme de recherche exhaustive est grande. De mme, plus il
faut doprations lmentaires pour valuer une solution, plus il est difficile de trouver une
solution en respectant une contrainte de complexit maximale.
Sil nest pas possible de rsoudre P avec un algorithme exhaustif en respectant la
contrainte de complexit maximale, il faut trouver un algorithme qui ncessite moins
dvaluations de solutions (N sol < N ). En effet, la complexit dune valuation dpend du
problme et nest pas modifiable par lalgorithme.
Cet algorithme va explorer lespace des solutions de faon intelligente. Pour cela, il
pourra tenir compte de la forme de la fonction dvaluation pour guider sa recherche vers
des parties de lespace des solutions qui prsentent des solutions proches de loptimal.
Si la fonction dvaluation est une fonction convexe sur tout son espace de dfinition, la
recherche de loptimum est simple. En effet, comme on sait quil ny a quun seul optimum,
un algorithme de recherche locale qui naccepte chaque itration quune solution meilleure
de loptimum actuel pourra converger vers loptimum global. Si la fonction dvaluation
nest pas convexe, il peut exister plusieurs optimums locaux. De ce fait, une stratgie de
recherche locale converge vers loptimum le plus proche du point de dpart. Loptimum
trouv nest pas forcment loptimum global. Plus la forme de la fonction dvaluation
est rugueuse, plus il est difficile dexploiter la connaissance a priori sur sa forme pour
loptimiser.
55
CHAPITRE 2. OUTILS ET MTHODES
56
CHAPITRE 2. OUTILS ET MTHODES
a- La programmation linaire
Il existe plusieurs approches qui permettent de formuler un problme doptimisation
sous la forme dun programme linaire. Cette forme ne permet pas de simplifier la rsolution
du problme mais dlaborer des algorithmes qui, dans certains cas, conduisent une bonne
approximation de la solution optimale. La forme gnrale dun programme linaire a t
prsente dans le chapitre prcdent, par lquation (1.25), p. 45.
Plusieurs algorithmes ont t proposs pour rsoudre des programmes linaires. Le
plus utilis est la mthode du simplexe dveloppe par Dantzig la fin des annes 1940.
Le simplexe peut tre prsent comme une visite du polydre spcifi par lensemble des
57
CHAPITRE 2. OUTILS ET MTHODES
contraintes dingalits Ax b jusqu ce que lon trouve une solution optimale. Cette
mthode est vraiment efficace en pratique mais il existe des instances de problmes pour
lesquelles la mthode ncessite un temps de traitement exponentiel.
Les programmes linaires en nombres entiers sont bass sur une approche discrte du
problme trait. Cest pourquoi ce paragraphe pourrait aussi bien tre inclus dans la partie
ddie aux algorithmes doptimisation combinatoire (2.2.3).
Primal Dual
Pn
contr. i aij xj = bi var. i yi sans contr. de signe
Pj=1
n
contr. i j=1 aij xj bi var. i yi 0
n
var. j xj sans contr. de signe contr. j
P
Pi=1 aij yi = cj
n
var. j xj 0 contr. j i=1 aij yi cj
minimise cT x maximise bT y.
De la mme faon, il est possible de dfinir une problme dual de minimisation pour
un problme primal de maximisation. Si lon nomme P et D les problmes respectivement
primal et dual, le thorme de dualit prcise que si les deux programmes sont ralisables,
alors les valeurs des solutions optimales concident.
Si lon cherche minimiser le programme linaire en nombres entiers (ILP ) dont la
version relaxe est un programme linaire LP , nimporte quelle solution du programme dual
de LP , appele DLP , prsente un cot infrieur ou gal la valeur optimale du programme
ILP . Ainsi, cette solution ralisable du problme dual peut tre utilise comme une borne
infrieure quand on estime la qualit dune solution de ILP (cf. fig. 2.2).
Fig. 2.2 Espace des valeurs des solutions ralisables de ILP et DLP.
58
CHAPITRE 2. OUTILS ET MTHODES
Un algorithme primal-dual exploite cette proprit pour trouver une solution approxi-
mative dun programme linaire en nombres entiers ILP . Tout au long de la rsolution de
lalgorithme, il est possible de maintenir une solution faisable x de ILP et une solution
y du problme DLP . A chaque tape, x et y sont examins et modifis pour driver une
nouvelle paire de solutions x et y . y est la solution duale de LP qui possde un meilleur
cot que y et x est une solution plus ralisable que x. Lalgorithme sarrte quand la
solution en nombre entiers devient ralisable. La qualit de cette solution est value en
la comparant la solution duale finale. Cette approche permet dobtenir des algorithmes
plus rapides car il nest pas ncessaire de rsoudre de faon optimale ILP ou DLP .
b- La recherche linaire
La recherche linaire est la brique de base des mthodes continues locales, quelles
soient drivatives ou non. Cette mthode itrative recherche le minimum de la fonction
dvaluation dans une seule direction de lespace des solutions. A litration k, la valeur de
xk+1 = xk + k dk est calcule pour que f vrifie la condition f (xk+1 ) f (xk ). Ici, dk est
la direction de recherche et k le pas du dplacement. Si on pose () = f (xk + dk ), la
recherche linaire optimale dtermine le meilleur pas qui vrifie :
( ) = 0
(2.6)
( ) (), pour 0
Le pas est le pas qui assure la dcroissance de f au premier minimum local. Dans
la plupart des algorithmes modernes de recherche linaire, la valeur exacte de nest
pas calcule car la charge de calcul est trop importante. En pratique, une valeur de est
choisie pour quelle assure une dcroissance suffisante de f . Trois lois ont t proposes par
Armijo, Golfstein et Wolfe pour dfinir des intervalles de scurit pour le choix de .
59
CHAPITRE 2. OUTILS ET MTHODES
x
x
r
x x r
d d d d
(a) (b)
Fig. 2.3 (a) Espace cartsien : d et r sont orthogonaux. (b) Espace conjugu : d et d
sont orthogonaux
60
CHAPITRE 2. OUTILS ET MTHODES
Fig 2.3-a). Cest par le choix de la nouvelle direction de recherche que les deux mthodes
diffrent. La descente de gradient ralise une recherche selon la direction r, tandis que la
mthode des gradients conjugus utilise la direction d , la direction conjugue d.
Dans lespace conjugu (cf. Fig 2.3-b), d est tangent au cercle au point x . Comme la
direction suivante d est Q-orthogonale d, d et d sont perpendiculaires sur la figure 2.3-b.
Puisque la direction d passe par le minimum de la fonction quadratique f (x), la mthode
des gradients conjugus trouve directement loptimum global.
La mthode des gradients conjugus permet de trouver loptimum dune fonction qua-
dratique, mais elle donne galement de bon rsultats pour une fonction continue et drivable
f (x). Plus la fonction sloigne dune forme quadratique, moins les directions de recherches
sont conjugues et plus la convergence est lente. Malgr cela, cet algorithme est prfrer
la mthode de descente de gradients.
avec g (xk ) la drive dordre 1 de g. Pour pouvoir appliquer cette mthode la mini-
misation de f (x), on pose g(x) = f (x). Dans ce cas, on a lquation suivante chaque
itration k :
Cette expression est vrai si 2 f (xk ) est une matrice dfinie positive, ce qui nest pas
toujours le cas.
La mthode de Quasi-Newton consiste en la substitution du Hessien 2 f (xk ) par une
matrice dfinie positive qui est rvalue chaque itration. La dfinition gnrale dun
algorithme de Quasi Newton est donne par lquation 2.11 :
dk = Bk gk
(2.11)
xk+1 = xk + k dk
Bk est la matrice qui approche linverse du Hessien de f au point xk . A litration 0,
on pose B0 = I et on cherche la meilleure mise jour possible de la matrice courante Bk
par Bk+1 = Bk + k . Il existe plusieurs formules pour dfinir k . La formule de Broyden,
celle de Davidon, Fletcher and Powell (DFP) et celle de Broyden, Fletcher, Goldfarb and
Shanno (BFGS) sont les plus performantes.
61
CHAPITRE 2. OUTILS ET MTHODES
Simplex de recherche directe (cf. Fig. 2.5, p.64). Le problme combinatoire est rsolu par un
algorithme de rseaux de neurones. Comme il nest pas possible de calculer analytiquement
la drive de la fonction de cot propose, le gradient est calcul par diffrences finies.
Les performances de lalgorithme de descente de gradient sont vraiment limites au
vu des rsultats prsents dans leur article [24]. La solution optimale na pas t trouve
au bout de 200 itrations de recherche pour les scnarios de tests exploitant des antennes
directives. Cest lalgorithme des rseaux de neurones qui a trouv des solutions les plus
proches de loptimum.
Sherali et al. [25] ont appliqu la mthode des gradients conjugus et la mthode de
Quasi-Newton au problme de placement dun seul metteur. La mthode de Quasi-Newton
implante utilise la formule BFGS. Le gradient est galement valu par diffrence finie
mais Sherali et al. ont introduit un paramtre de pertubation > 0 qui permet dadapter
lestimation du gradient. A chaque point x R3 , la ie coordonne du gradient est donne
par lquation 2.12 :
f (x) f (x + ei ) f (x)
= (2.12)
ei
Le principal inconvnient des mthodes drivatives, cest quil nest pas toujours possible
dobtenir une formulation analytique de la fonction dvaluation. Ainsi, pour obtenir une
seule valuation du gradient, il est ncessaire de calculer 2N + 1 valuations de fonctions
si on travaille dans un espace N dimensions. Pour le problme wLP, ceci implique un
mme nombre destimations de couvertures radio.
d- La recherche directe.
Les mthodes de recherche directe ont t principalement dveloppes pour rsoudre
des problmes sans contraintes o on cherche optimiser une seule fonction de cot. La
62
CHAPITRE 2. OUTILS ET MTHODES
dfinition de ces techniques est donne par Hooke et Jeeve en 1961 dans [90] :
"We use the phrase Direct Search to describe sequential examination of trial
solutions involving comparison of each trial to be best obtained up to that time
together with a strategy for determining what the next trial solution will be."
Ces mthodes locales nexploitent que les valuations de la fonction de cot f . Elles
ont t proposes dans les annes 60, avant la dfinition des rgles de convergence dAr-
mijo, Goldstein et Wolfe et avant la mise au point de lalgorithme de Quasi-Newton. Leur
convergence vers le premier point stationnaire de la fonction de cot est prouve pour la
majorit dentre elles. Il existe trois groupes dalgorithmes :
les mthodes grille discrte (Discrete Grid Methods),
les mthodes directions adaptatives (Adaptative Direction Search Methods),
les mthodes de recherche motifs (Pattern Search Algorithms).
Une prsentation gnrale des mthodes recherche directe est donne dans [91]. Une
description dtaille de chaque mthode a t ralise par D.R. Powell dans [92].
Les mthodes grille discrte sont utilises si lespace de recherche Rn est limit
par des contraintes ai xi bi , i [1, n]. Une grille rgulire G est dfinie dans cet espace
o chaque noeud est une solution ralisable.
Lobjectif dun algorithme grille discrte est de produire chaque itration k la valeur
xk+1 G qui satisfait la contrainte f (xk+1 ) f (xk ). Une solution de dpart x0 est choisie
et lalgorithme sarrte quand il ny a pas eu damlioration de f pendant L itrations.
Une mthode grille discrte est efficace sil est possible de tester un nombre suffisant de
directions de recherche. Si lespace des solutions est de dimension n, il faudra tester les n
directions chaque itration pour explorer tout lespace des solutions.
Les mthodes directions adaptatives font voluer les directions de recherche utili-
ses chaque tape au fur et mesure que lon avance dans le droulement de lalgorithme.
La recherche directions conjugues (conjugate direction search) est une mthode de
63
CHAPITRE 2. OUTILS ET MTHODES
xa
xworst
G
xnew
xb
recherche direction adaptative. Elle a t propose par Powell en 1964 [93]. Le but de la
procdure est de crer un ensemble de D directions conjugues en D tapes de calcul.
A la premire tape, n recherches linaires sont ralises dans les n directions de len-
semble des solutions Rn . Puis, une dernire recherche linaire est ralise dans la direction
dn+1 qui relie la premire solution obtenue la prcdente. Si cette recherche amliore
f , le nouveau point xn+1 est choisi comme point de dpart pour ltape suivante et la
meilleure des D directions de recherche stockes est mise jour avec dn+1 . Sil ny a pas
damlioration dans la direction dn+1 , les D directions de recherche ne sont pas modifies.
Au bout de D tapes on peut mettre jour les D directions de recherche pour construire
un ensemble de directions conjugues.
Les mthodes de recherche motifs utilisent une figure gomtrique pour explorer
lespace de recherche. Lvolution de la figure ou du motif permet de diriger la recherche vers
les zones intressantes de lespace des solutions. Lexemple le plus connu est la mthode
Simplex qui a t propose par Spenley et al. en 1962 [94]. Spenley et al. avaient pour
objectif de borner le nombre dvaluations de fonctions par itration (n + 1) valuations
si n est la dimension de lespace de recherche.
Un simplex est une figure gomtrique qui comporte (n + 1) points dans un espace de
dimension n. Si le simplex nest pas vide, ses (n + 1) sommets dfinissent un plan dans
lespace Rn R. Lide de base de la mthode est de construire chaque itration un
simplex non vide dont linclinaison puisse guider la recherche sur f . A chaque sommet du
simplex est attribu une solution x Rn .
A chaque itration, chaque sommet est valu par f et le sommet le plus mauvais est
slectionn. La position de ce pire sommet est modifie laide dune rflexion par rapport
au centre de gravit du simplex. Un exemple avec n = 2 est donn dans la figure 2.5.
Pour amliorer les performances de lalgorithme, Nelder et Mead on rajout dautres
mouvements du simplex dans [95] : lexpansion, la contraction et la rduction. Lexpansion
dplace le pire sommet deux fois plus loin que la rflexion, la contraction deux fois moins
loin et la rduction divise toutes les artes du triangle par deux. Pour pouvoir dterminer
dans quels cas il est intressant deffectuer ces mouvements, des conditions relatives aux
valeurs de la fonctions de cot aux sommets du simplex ont t dfinies. Des paramtres
permettent dadapter le comportement de lalgorithme au problme trait.
La mthode du Simplex, ne pas confondre avec la mthode du Simplexe utilise en
programmation linaire, est utilise trs souvent mme si sa convergence nest pas toujours
possible. En effet, quand le simplex dcrit un plan orthogonal la direction du gradient,
la convergence ne peut se faire (cf. [96]).
64
CHAPITRE 2. OUTILS ET MTHODES
e- Lalgorithme DIRECT
Cet algorithme a t propos par Jones et al. [97] en 1993 pour loptimisation de fonc-
tions plusieurs variables dans un espace continu born. Cest un algorithme doptimisation
globale qui appartient galement la famille des mthodes de recherche directe. Lalgo-
rithme DIRECT dcompose lespace de recherche en hyper-rectangles dont la dimension
est donne par le nombre de variables.
Au cours de son excution, DIRECT ralise un compromis entre recherche globale et
recherche locale par son mode de slection des hyper-rectangles explorer. Les hyper-
rectangles slectionns sont dits optimaux. Les blocs qui ne sont pas optimaux une
itration donne peuvent le devenir par la suite. Cette stratgie permet selon He et al.
[28] de converger rapidement dans un espace de recherche raisonnablement large. He et al.
prsentent DIRECT comme un algorithme trs utile pour valuer loptimum dune fonction
de type boite noire qui ncessite peu de paramtrage.
x, y M |f (x) f (y)| |x y|
Si lon connat une valuation f (y), il est possible de dterminer un borne infrieure et
une borne suprieure pour les autres points x [a, b] de f :
65
CHAPITRE 2. OUTILS ET MTHODES
f(x)
f(y)+k|x-y|
f(y)-k|x-y|
a y b
f(x)
f(a)-k|x-a| f(b)+k|x-b|
a x1 b
Lalgorithme de Schubert est une des applications qui utilise cette borne infrieure.
Celui-ci va calculer dans lintervalle de dpart la valeur de f en x1 et calculer la borne
infrieure pour chaque intervalle [a, x1 ] et [x1 , b]. Il va recalculer une valeur de f dans
66
CHAPITRE 2. OUTILS ET MTHODES
Ce sont ces deux limitations de loptimisation lipschitzienne qui ont men au dveloppe-
ment de lalgorithme DIRECT. DIRECT value la fonction au centre dhyper-rectangles, ce
qui rgle le problme de passage des dimensions suprieures. De plus, DIRECT nutilise
plus directement la constante de Lipschitz mais teste toutes les dimensions du problme
pour dterminer si une rgion ou un domaine de lespace doit tre divis en sous rgions
pour litration en cours.
Les hyper-rectangles qui rsultent de la subdivision sont valus et seuls les hyper-
rectangles considrs comme potentiellement optimaux sont slectionns pour litration
suivante. A chaque itration, ces blocs potentiellement optimaux sont nouveaux subdivi-
ss et leurs fils sont valus leur tour. Lalgorithme se termine quand il ny a plus de bloc
slectionn la fin dune itration. Bien entendu, fmin est mis jour la fin de chaque
itration.
Protocole de dcoupage.
Dans un premier temps, on value dans chaque dimension ei les valeurs f (c1 ei ).
La grandeur reprsente un tiers de la longueur du ct de lhyper-rectangle test dans la
dimension. Le schma de gauche de la figure 2.8 prsente les positions de ces points pour
un problme deux dimensions.
67
CHAPITRE 2. OUTILS ET MTHODES
Par la suite, les dimensions ei,i[1,n] sont classes laide des valeurs de wi calcules
par wi = min(f (c1 ei ), f (c1 + ei )). Les dimensions sont classes par ordre croissant
de wi , ce qui revient les classer par ordre croissant des meilleures valuations effectues
dans chaque dimension.
On divise alors le cube central en tiers dans lordre des dimensions obtenu prcdem-
ment. Dans lexemple de la figure 2.8, on commence par dcouper en tiers dans la direction
e1 qui comporte la plus faible valeur de f . Puis on dcoupe le rectangle central en tiers dans
la dimension suivante, la dimension e2 . On va ainsi crer cinq nouveaux hyper-rectangles
dont on connat dj la valeur f (ci ) de la fonction de cot en leur centre.
Definition 8 Soit > 0 une constante positive et fmin la meilleure solution actuelle. Un
hyper-rectangle j est dit "potentiellement optimal" sil existe > 0 tel que :
68
CHAPITRE 2. OUTILS ET MTHODES
Sur ce graphe, daprs les quations 2.14 et 2.15, un hyper-rectangle est potentiellement
optimal sil appartient lenveloppe convexe des points reprsents. Les points noirs de
la figure sont les hyper-rectangles potentiellement optimaux. La condition 2.14 peut se
traduire laide des pentes des courbes prsentes droite et gauche du point P (di , f (ci ))
que lon teste. Si les pentes des courbes passant par P et les points droite de celui-ci sont
toutes suprieures aux pentes des courbes passant par P et les points gauche de celui-ci,
alors il existe un > 0 vrifiant 2.14.
La condition 2.15 contraint plus le choix des blocs en terme de taille. En effet, lhyper-
rectangle i ne sera slectionn que si les pentes des courbes droite de P sont suprieures
la droite passant par P et fmin . Ceci permet de ne pas slectionner de blocs trop petits
et ainsi de stopper la convergence plus tt.
La slection prsente ici permet dexplorer la fois des blocs de taille importante pour
raliser une recherche globale et des blocs de faible taille pour raliser une recherche locale.
Le paramtre influe sur la pente de la droite passant par P et fmin . Plus cette pente
est faible ( = 0), plus des hyper-rectangle de faible taille seront slectionns et plus on
favorisera une recherche locale. Si epsilon est proche de 1, la pente de cette courbe est plus
forte et seuls quelques hyper-rectangles de petite taille sont slectionns. On favorise alors
la recherche globale.
Applications au problme wLP. DIRECT a t implant par He et al. [28]. Ils ont
choisi dutiliser cet algorithme pour sa capacit raliser en parallle une recherche locale
et globale. Ils ont dfini deux critres darrt supplmentaires que sont la taille minimale
des blocs et une tolrance limite sur la convergence de la fonction dvaluation.
Il dfinissent la tolrance f = (fmin fmin )/(1.0+ fmin ) partir de la valeur prcdente
de la fonction fmin et de la valeur courante fmin . Lalgorithme sarrte quand cette tolrance
est infrieure un seuil fix, cest--dire quand lamlioration de la fonction de cot nest
pas suffisante.
f- Tableau rcapitulatif.
Le tableau 2.2.2 rcapitule les algorithmes doptimisation continue utiliss dans la lit-
trature relative au problme wLP.
69
CHAPITRE 2. OUTILS ET MTHODES
Wong et al.
[35]
Mateus et
al. [29]
Lee et al.
[38]
Sherali et
al.[25]
Ji et al.[31]
Aguado et
al.[30]
He et al.
[28]
Fortune et
al. [23]
Stamatelos et
Ephremides [24]
Cheung et
Murch [26]
70
CHAPITRE 2. OUTILS ET MTHODES
Algorithmes Combinatoire
Lobtention de loptimum global est une tche souvent ardue qui peut demander des
heures voire des journes de calcul. Dans ces cas, il est souvent plus intressant de calculer
une solution approche du problme qui soit somme toute suffisamment bonne, le tout
en un temps de calcul polynomial. Les algorithmes qui permettent dobtenir ces solutions
approches en un temps polynomial sont appels algorithmes dapproximation. Dans [100],
des heuristiques connues dapproximation de problme difficiles (NP-Complets) sont pr-
sentes et discutes. Les mthodes suivantes sont dcrites ci-aprs car elles ont t utilises
pour rsoudre le problme wLP :
la stratgie gloutonne,
la recherche locale,
71
CHAPITRE 2. OUTILS ET MTHODES
La stratgie gloutonne est utilise pour des problmes doptimisation o il est nces-
saire de slectionner un sous-ensemble dlments pour composer une solution optimale qui
respecte les contraintes existantes. Pour appliquer cette stratgie, il est ncessaire que len-
semble des lments que lon considre soit monotone, i.e. que si un ensemble S dlments
compose une solution ralisable, alors un sous-ensemble S de S compose galement une
solution ralisable.
Un algorithme glouton (greedy en anglais) commence par trier tous les lments de
lespace des solutions selon un critre donn, qui nest pas forcment le critre dvaluation
final. Par exemple, on pourrait trier lensemble des points daccs candidats par rapport
la taille de leur zone de service. La solution s finale est initialise soit un ensemble vide,
soit gale lensemble des solutions. Par la suite, chaque itration, on va dans le premier
cas rajouter des lments dans s , soit dans le second cas, supprimer des lment de s . A
chaque rajout ou suppression, on va tester si la solution remplit ou non les contraintes du
problme.
Le schma prsent de lalgorithme est gnrique et se doit dtre adapt chaque
problme. Clairement, le choix du critre de tri a une importance non ngligeable dans
la procdure. Pour chaque instance du problme il existe un tri optimal, mais il nest
pas vident de le trouver. Un algorithme glouton est souvent implant pour obtenir une
premire solution ralisable du problme. Cette solution est alors rutilise par dautres
algorithmes pour trouver loptimum voulu.
Wertz et al. proposent galement une heuristique dinspiration gloutonne [42]. Leur
ensemble de dpart comporte lensemble des points daccs candidats dont on calcule
lavance les cartes de couverture radio. Lcart moyen de puissance est calcul pour chaque
couple de cartes de couverture. Lalgorithme calcule sa solution de dpart aprs avoir
regroup les AP qui prsentent un cart moyen de puissance infrieur une limite donne.
Ceci leur permet de crer des groupes dAP qui prsentent des zones de services trs
proches. Pour chaque groupe, lAP qui a la plus grande zone de service est ajout la
72
CHAPITRE 2. OUTILS ET MTHODES
solution gloutonne S. Les AP qui nappartiennent aucun groupe sont galement ajouts
dans S. Lalgorithme glouton rajoute ensuite chaque itration lAP qui amliore le plus
la fonction de cot.
Les mthodes Branch & Bound ont pour objectif de nexplorer que des sous-parties
intressantes de lespace de recherche. Si on suppose que lon minimise une fonction f (x) sur
un domaine de dfinition restreint, pour pouvoir mettre en oeuvre une technique Branch
& Bound, il faut tre capable de calculer une borne infrieure de f pour une instance
du problme doptimisation et galement de pouvoir diviser lespace de recherche pour
rsoudre indpendamment les sous problmes engendrs par la division.
Cette technique prsente deux tapes. Le but de la premire tape est de trouver une
solution ralisable du problme qui soit galement un optimum local. Pour cela on com-
mence par considrer le problme original sur lespace des solutions complet. Une recherche
de borne suprieure et infrieure de f est lance sur le problme complet. Si la recherche
se termine et que les deux bornes sont gales, alors un optimum local est trouv. Sinon,
lespace des solutions est divis en deux rgions ou plus qui couvrent lintgralit de la
rgion originale. Le problme initial restreint aux rgions cres devient un sous problme,
problme fils du problme principal. La hirarchie des problmes est souvent reprsente
par un arbre dont la racine est le problme principal et les noeuds les sous problmes fils. La
recherche de bornes est alors applique aux sous problmes engendrs jusqu lobtention
de loptimum local S.
La seconde tape cherche un optimum global connaissant la valeur de f pour la solution
S. Lobjectif de cette tape est de supprimer les branches de larbre qui ne permettront pas
datteindre une solution meilleure que S. Ainsi, si la borne infrieure dune rgion de les-
pace est suprieure au cot de la solution ralisable dj trouve, la rgion ne peut contenir
73
CHAPITRE 2. OUTILS ET MTHODES
doptimum plus intressant. Cette rgion nest pas explore et la branche de larbre est cou-
pe. La recherche est ritre jusqu ce que tous les noeuds de larbre soient supprims ou
explors. Cette technique permet de restreindre lespace de recherche pour nexplorer que
les zones intressantes.
c- Les mtaheuristiques
Actuellement, les mtaheuristiques sont de plus en plus souvent employes car elles per-
mettent de faire face des problmes difficiles. Pourtant, au vu du nombre de techniques
et de concepts compris sous le terme de mtaheuristiques, il nexiste toujours pas de dfini-
tions communment admise de ces mthodes. La dfinition propose par le Metaheuristics
Network est la suivante :
Une mtaheuristique est un ensemble de concepts qui peuvent tre utiliss
pour dfinir une heuristique applicable un large ensemble de problmes. En
dautres mots, une mtaheuristique peut tre vue comme un algorithme gn-
rique applicable diffrents problmes doptimisation avec relativement peu de
modifications.
Ces techniques sinspirent souvent dun processus doptimisation qui intervient spon-
tanment dans la nature. Cest pourquoi les dcisions ne sont plus dterministes : une
partie des choix est faite avec une probabilit donne. Ces mthodes sont des mthodes
doptimisation stochastiques. Les exemples de mtaheuristiques sont nombreux : le recuit
simul (simulated annealing (SA)), la recherche tabou (tabu search (TS)), les algorithmes
volutionnaires (evolutionary algorithms (EC)), la recherche locale itrative (Iterative Lo-
cal Search (ITS)) ou encore loptimisation par colonie de fourmis (ant colony optimization
(ACO)). Les mthodes en italique ont t utilises pour rsoudre le problme de planifica-
tion wLAN et sont prsentes dans la suite du document.
Le recuit simul est une mtaheuristique bien connue inspire du procd de recuit
des mtaux. Pour refroidir un mtal et garantir lobtention dun arrangement stable des
74
CHAPITRE 2. OUTILS ET MTHODES
Energie
Potentielle S0
S1
S2
Recuit
S3
Temps
Fig. 2.11 Recuit des matriaux et minimisation de lnergie potentielle des atomes.
Lalgorithme original propos par Mtropolis en 1953 choisit un premier tat thermo-
dynamique dnergie E et de temprature T. Une perturbation de la solution est alors
ralise et on mesure la variation dnergie dE. Si ce changement est ngatif, la nouvelle
configuration nergtique est accepte. Si dE est positif, la configuration est accepte avec
une probabilit dfinie laide du facteur de Boltzmann p = exp(dE/T ). Ce processus
est rpt plusieurs fois pour obtenir de bonnes statistiques la temprature T . Puis la
temprature T est diminue et le processus ritr jusqu T = 0.
Lapplication de cette approche de Monte Carlo gnralise pour la rsolution de pro-
blmes combinatoires a t propose par Kirkpatrick et al. et Cerny en 1983 et 1985. Ltat
courant du systme de thermodynamique est associ la solution courante du problme
combinatoire, lquation dnergie du systme est associe la fonction objectif et ltat
stable au minimum global. La difficult la plus importante qui intervient dans limplanta-
tion de lalgorithme est quil nexiste pas danalogie vidente entre la temprature T et un
autre paramtre du problme combinatoire. De plus, la vitesse de convergence dpend la
fois de la frquence des changements de temprature, du choix de la solution initiale et de
combien la temprature est diminue chaque tape du refroidissement.
Applications au problme wLP. Le recuit simul a fait parti des toutes premires
mthodes testes pour la planification wLAN en 1994, par Anderson et McGeehan dans
[33]. Le voisinage de la solution de cot f (s) est dfini par lensemble des solutions qui
peuvent tre atteintes par des changements alatoires des paramtres du systme pour
arriver une nouvelle configuration s de cot f (s ). Les paramtres du systme sont les
positions en x et y dans le plan 2D de chaque AP. Lamplitude des changements est rgie
par la temprature T du systme laide dune distribution Gaussienne moyenne nulle
et de variance T.
La temprature initiale est initialise 80 mtres pour un environnement de taille
650 650 mtres et celle-ci diminue de 10 mtres toutes les 100 itrations. Pour chaque
test effectu, lalgorithme trouve une configuration trs proche de loptimum. Les tests
75
CHAPITRE 2. OUTILS ET MTHODES
ont t raliss sur un PC Pentium 60 MHz et ont dur 25 heures en moyenne. Avec
la puissance de calcul de lpoque, lutilisation dune mtaheuristique est synonyme dun
temps de traitement consquent. De plus, pour pouvoir obtenir de tels temps de calcul, il
a fallu dfinir un environnement de test trs simple et utiliser un modle de prdiction de
couverture radio empirique.
La recherche Tabou a t prsente par Fred Glover en 1986 dans [101]. Tous les
principes de cette recherche sont dcrits dans [102]. La recherche locale prsente au dbut
de cette partie sur les algorithmes combinatoires est une heuristique qui naccepte pas de
solution plus mauvaise que loptimum actuel. Pour palier cela, il est possible dans la
recherche tabou daccepter une solution qui ne soit pas meilleure que loptimum lissue
dune itration. Ainsi, comme pour la mthode de recuit simul, la recherche peut franchir
des cols de la fonction dvaluation pour explorer dautres zones de lespace de recherche.
Pourtant, linconvnient majeur de cet algorithme rside en lapparition trs rapide de
boucles dans la recherche.
Lide de lapproche tabou, est de rajouter un peu dintelligence dans cette recherche
pour viter de passer deux fois au mme endroit. Ainsi, Fred Glover a propos dintroduire
une mmoire qui stocke les solutions dj testes ou des caractristiques de celles-ci pendant
une certaine dure. Cette mmoire, dnomme liste Tabou, permet dinterdire le mouvement
vers une solution voisine qui appartient une partie de lespace des solutions dj visite.
La recherche tabou commence par trouver une optimum local. Pour viter de repasser
par cet optimum local, les mouvements rcents sont stocks dans une ou plusieurs listes
tabou. Ce nest pas forcment un mouvement complet qui est rendu tabou. Par exemple,
on peut rendre tabou la variable qui est modifie pendant litration courante. De la sorte,
on diminue la taille de lespace de recherche car on sinterdit la recherche dans la direction
dfinie par la variable tabou.
On peut reprsenter une liste tabou par une file dattente de type F IF O de taille T .
Bien entendu, la taille de la liste tabou doit tre bien infrieure au nombre de variables
76
CHAPITRE 2. OUTILS ET MTHODES
n du problme pour ne pas rendre lespace de recherche une itration {k, k > T } vide
de solutions tester. Pour amliorer les proprits de convergence de cet algorithme, il est
bon daprs [88] dintroduire une taille variable de la liste tabou dont la valeur est choisie
dans un intervalle fix [Tmin , Tmax ]. Plus la taille minimale de lintervalle Tmin est leve,
plus le risque de bouclage est faible. De mme, plus la largeur de lintervalle est grande,
plus les risques de bouclage sont faibles. Il existe une valeur optimale dintervalle o la
convergence est atteinte en un minimum ditrations sans phnomne de bouclage. Cette
valeur optimale est bien entendue fortement dpendante de la nature du problme trait.
Cette mmoire peut tre utilise diffremment en fonction de lavancement de lal-
gorithme. Ainsi, au dbut de la recherche, elle permet dexplorer lespace de recherche en
interdisant un grand nombre de mouvements. Cest la phase de diversification. Par la suite,
quand des zones intressantes sont trouves, la liste peut devenir moins contraignante et
ainsi permettre de converger localement vers une solution optimale. Avec ce type dimplan-
tation, on retrouve un fonctionnement qui ralise un compromis entre recherche globale et
locale.
Il est possible de lever le caractre tabou dune solution. On parle alors de critre das-
piration. Le critre daspiration le plus simple est celui qui accepte une solution tabou qui
est meilleure que loptimum courant. Daprs P. Siarry, [88], on observe par lexprience
que ce critre daspiration est trs rarement mis en oeuvre dans le droulement de lheuris-
tique. De plus, le fait dimplanter un critre daspiration rend le traitement dune itration
bien plus long car il est ncessaire dvaluer toutes les solutions du voisinage pour savoir
si lune dentre elles pourrait tre aspire. Quand le critre daspiration nest pas appliqu,
on nvalue pas les solutions tabou du voisinage.
La recherche tabou a t traditionnellement utilise pour rsoudre des problme dop-
timisation combinatoire, or, elle est de plus en plus souvent applique des problmes
continus. La mthode est efficace pour des problmes prsentant beaucoup de variables.
Mais comme la plupart des mtaheuristiques, cette technique implique un nombre impor-
tant dvaluations de fonctions. De ce fait, il devient difficile de traiter des problmes avec
une fonction dvaluation coteuse en temps de calcul. Le nouveau challenge en optimi-
sation combinatoire, comme la prsente Fred Glover lors de sa prsentation lors de la
confrence ROADEF2003 (Avignon), est dimplanter une recherche tabou qui soit efficace
pour des fonctions coteuses.
77
CHAPITRE 2. OUTILS ET MTHODES
avec CPLEX, la borne reprsente est obtenue sans allocation frquentielle. Les auteurs
attribuent cette hypothse la diffrence de qualit entre la solution tabou et la borne
infrieure de CPLEX.
Les tests mens avec un rseau de type 802.11b nont pas permis de trouver de solution
ralisable pour les instances qui prsentent un nombre lev de points de test (400, 500
et 600). Cest lallocation frquentielle qui a rendu la recherche plus difficile car ils nont
utilis que les 4 canaux disjoints de 802.11b pour le FAP.
1/ Initialisation de la population
2/ Evaluation de la population initiale
Rpter
3/ Croisement
4/ Mutation
5/ Slection
Jusqu convergence.
Pour cette heuristique, on utilise le terme de chromosome pour dsigner une solution
du problme. Les variables qui composent la solution sont alors dsignes sous le nom de
gnes.
Il existe plusieurs types de recherches volutionnaires : (a) la programmation gntique
(GP), qui fait voluer des programmes, (b) la programmation volutionnaire (EP), qui
cherche optimiser des fonctions continues sans recombinaison, (c) les stratgies volu-
tionnaires (ES), qui cherchent optimiser des fonctions continues avec recombinaison, et
(d) les algorithmes gntiques (GAs), qui optimisent des problmes combinatoires.
Les algorithmes volutionnaires sont souvent prsents comme des mthodes doptimi-
sation globale, mme si la convergence vers loptimum global nest garantie que dans un
sens probabiliste assez faible. Pourtant, une des forces de ces stratgies est quelle permet
dobtenir de bons rsultats pour des fonctions bruites, cest--dire pour des fonctions avec
de nombreux minima locaux.
78
CHAPITRE 2. OUTILS ET MTHODES
assigner un poids unique fi . Une mesure de la qualit totale de la population est dfinie
comme suit :
Npop
X
F = fi
i=1
Aguado et Al [30] et Ji et al. [31] ont galement implant une version simplifie dalgo-
rithme gntique pour comparer ses performances dautres heuristiques. Les deux travaux
montrent que les solutions obtenues sont proches des solutions optimales mais que leur re-
cherche ncessite plus dvaluations de fonction. Aguado et Al concluent galement quune
implantation plus labore de lalgorithme devrait fournir de meilleurs rsultats, notam-
ment en utilisant une mthode o plusieurs sous-populations sont traites en parallles et
o une communication inter-populations permet de propager les individus performants.
d- Tableau rcapitulatif.
Le tableau suivant prsente les rfrences des articles qui ont implant des algorithmes
combinatoires pour rsoudre le problme wLP.
79
CHAPITRE 2. OUTILS ET MTHODES
80
CHAPITRE 2. OUTILS ET MTHODES
Contexte
Les deux premires approches permettent dappliquer les techniques connues doptimi-
sation mono-objectif. En effet, la formulation laide dun programme linaire va permettre
de transformer des objectifs de planification en contraintes du problme et ainsi utiliser
un algorithme de programmation linaire pour rsoudre le problme. Cette approche peut
rendre le problme trop difficile rsoudre si les contraintes restreignent trop lespace des
solutions admissibles.
La seconde approche dfinit une unique fonction dvaluation sans contraintes laide
dune combinaison linaire des critres dvaluation. Dans ce cas, la fonction dvaluation
fagr est calcule partir des Nf fonctions objectif comme suit :
i=Nf
X
fagr = i fi (2.17)
i=1
Limportance de chaque critre dans la fonction agrge est dfinie par la valeur des
Pi=N
coefficients de pondration i , i [1, Nf ]. Ces coefficients vrifient la condition i=1 f i =
1.
Contrairement la programmation linaire, ce type de formulation ne restreint en rien
lespace des solutions et fournit une valuation de chaque solution en fonction du critre
de cot agrg. Cette formulation est plus souple car on trouve plus aisment une solution
ralisable du problme.
Par contre, la solution obtenue est conditionne par le choix des coefficients de pon-
dration i . Cette solution sera le reflet dun problme fig o lon dfinit une priorit
dans les objectifs prendre en compte. Lutilisation de fonctions agrges ncessite une
connaissance a priori des besoins de linstallateur. La recherche mono-objectif ralise avec
un critre agrg ne permet de raliser quun seul compromis entre les fonctions de cot.
81
CHAPITRE 2. OUTILS ET MTHODES
f1 D
f*agr S
O
f2
La figure 2.12 illustre ce compromis. Elle reprsente lespace dfini par deux critres f1
et f2 minimiser. Lensemble des valeurs admissibles du problme est reprsent par une
forme connexe S. Lensemble des points qui minimisent soit f1 , soit f2 , dfinit la surface
de compromis reprsente en gras sur la figure 2.12.
Si lon minimise la fonction agrge avec les coefficients 1 et 2 fixs, on va chercher
la solution le long dune droite (O, D) dquation f2 = 1 /2 f1 . La minimisation de fagr
dtermine la solution fagr dont lvaluation se trouve lintersection de la surface de
compromis et de la droite (O, D). Par cette figure, on observe bien quune optimisation
mono-objectif laide dune fonction de cot agrge ne fournit quune seule solution. Si
cette solution ne convient pas linstallateur, il faut modifier les coefficients de pondration
et relancer lalgorithme de recherche.
La plus grande partie des travaux de planification wLAN ont choisi de prendre en
compte le caractre multiobjectif en dfinissant soit un programme linaire [35], [29], [38],
[41],[36], soit une fonction unique agrge [23], [24], [26], [25], [27], [28], [33].
Quand les coefficients de pondration ne peuvent pas tre dfinis a priori, Yann Colette
et Patrick Siarry [103] proposent dappliquer des techniques doptimisation interactives o
les coefficients peuvent tre modifis par linstallateur au cours de la recherche. A tout
moment, linstallateur peut visionner le rseau wLAN planifi en observant des mtriques
reprsentatives de la qualit de celui-ci (taux de couverture, puissance moyenne des inter-
frents, ...) et modifier la vole les coefficients de pondration des critres pour diriger la
recherche vers les solutions diffrentes.
Yann Colette et Patrick Siarry prsentent une autre alternative : au lieu de dfinir les
coefficients de pondration avant la recherche ou pendant la recherche, il est possible de
mettre en oeuvre une stratgie o linstallateur choisit un compromis a posteriori.
Ainsi, lalgorithme fournit linstallateur une jeu de bonnes solutions quil pourra
slectionner non seulement en fonction des critres doptimisation fi mais en fonction de
contraintes dimplantation spcifiques son tude. Par exemple, il se peut quentre deux
bonnes solutions, il choisisse la plus mauvaise des deux car elle lui permet de fournir un
dbit plus lev dans une zone prcise du btiment.
Des algorithmes ont t mis au point pour trouver un ensemble de solutions appartenant
la surface de compromis. Ces algorithmes sont prsents dans la partie suivante.
82
CHAPITRE 2. OUTILS ET MTHODES
La premire famille dalgorithmes est base soit sur des mtaheuristiques de recherche
locale, soit sur des mtaheuristiques de recuit simul (cf. 2.2.3). Au cours de la recherche
de la solution, une mmoire permet litration k de stocker les solutions non domines
rencontres au cours de la recherche.
Ici, tous les critres doivent tre strictement positifs. A chaque itration, on va archiver
la solution x dans une mmoire taille variable si et seulement si elle nest pas domine
par les solutions dj prsentes dans larchive. Les solutions de larchive qui sont domines
par x sont retires de la mmoire.
Dans cette ltape 2b, on cherche transformer le vecteur form par les Nf valuations
en une grandeur qui permette de rendre compte de lefficacit des solutions les unes par
rapport aux autres.
83
CHAPITRE 2. OUTILS ET MTHODES
i=K
X
mi = Sh(d(i, j)) (2.18)
j=1
84
CHAPITRE 2. OUTILS ET MTHODES
F (i)
fi = (2.20)
mi
La distance d(i, j) peut tre calcule soit dans lespace des solutions, soit dans lespace
des fonctions objectif. On parle alors respectivement de niches gnotypiques ou de niches
phnotypiques. Dans le premier cas, la distance d(i, j) est calcule avec la distance de Ham-
ming partir des vecteurs binaires qui reprsentent les solutions i et j dans lalgorithme.
Dans le second cas, la distance d(i, j) est la distance euclidienne entre les deux points de
lespace des phnotypes (i.e. des fonctions). Il est possible de crer des fonctions de niche
combines pour discriminer les solutions la fois dans lespace des solutions et dans lespace
des fonctions.
Lefficacit de cette mthode rside dans le fait que les objectifs soient rduits une
valeur defficacit factice obtenue partir dun classement ralis en fonction du rang de
Pareto. Elle possde nanmoins linconvnient dtre sensible au choix de la valeur de share .
85
CHAPITRE 2. OUTILS ET MTHODES
86
CHAPITRE 2. OUTILS ET MTHODES
ces travaux deux critres qui ont pour objectif de limiter cette redondance et ainsi diminuer
les erreurs de localisation.
Comme nous lavons prsent dans la partie 2.1, les modles empiriques ncessitent peu
de calculs mais leurs prdictions sont peu ralistes. Des erreurs quadratiques moyennes bien
suprieures 10 dB peuvent tre observes. Les mthodes dterministes permettent elles
datteindre une prcision infrieure 10 dB derreur mais au prix dun calcul bien plus
coteux.
Ce sont les modles empiriques qui ont t le plus souvent exploits pour la planification
wLAN. Les premiers travaux raliss avec une puissance de calcul limite ne pouvaient
utiliser de mthode dterministe de type lancer de rayon. Les travaux raliss par la suite
dans les annes 2000 exploitent un modle empirique pour sa simplicit de mise en oeuvre.
Les techniques dterministes ont lavantage dtre adaptables aux problmes traits car
il est possible de diminuer la charge de traitement en diminuant le nombre de rflexions
prises en compte pour chaque rayon. Mais ceci implique une perte de prcision dans les pr-
dictions. Pour linstant, ces mthodes ne permettent pas dobtenir la fois des couvertures
ralistes en un temps de traitement abordable pour loptimisation.
Nous avons choisi dans cette thse de travailler avec une moteur de prdiction de
couverture radio issu dune mthode de prdiction de couverture radio discrte. Cette
mthode, dnomme MR-FDPF et prsente pour la premire fois par Gorce et Ubeda en
2001 [107] est dtaille au dbut de la partie 2.3. Le modle de prdiction choisi a pour
principal avantage de calculer rapidement des cartes de couverture ralistes, quelque soit
la rsolution demande.
Une part importante des travaux prsents dans cette thse a pour objectif de valider
les prdictions de couverture radio issues de ce modle. Lensemble des rsultats relatifs la
validation des prdictions de couverture radio sont prsents dans la partie II, au chapitre
4. Cette validation a ncessit la mise en place dun processus de calibration du modle
MR-FPDF.
87
CHAPITRE 2. OUTILS ET MTHODES
algorithmes de rsolution standard implants dans loutil CPLEX narrivent pas trouver
une approximation correcte de la solution optimale.
Les algorithmes combinatoires ont t choisis pour prendre en compte les formulations
plus complexes du problme et ainsi dfinir plus de variables (i.e. la puissance dmission,
lazimut, le nombre de points daccs). Les meilleures solutions sont obtenues avec les
algorithmes de la famille des mtaheuristiques. Il est cependant ncessaire de raliser un
nombre relativement lev dvaluations de la fonction objectif et il nest pas facile de
dfinir de condition darrt pour ce type dalgorithme.
Suite cette analyse de ltat de lart, nous avons choisi dans un premier temps de nous
intresser limplantation dune heuristique dterministe qui ne cherche qu optimiser la
couverture pour un nombre de points daccs fix. Cet algorithme en deux tapes a t
dvelopp pour exploiter les caractristiques du modle de prdiction de couverture radio
utilis. La premire tape est une tape combinatoire de recherche exhaustive et la seconde
repose sur une heuristique continue ayant pour objectif de rduire le nombre de trous de
couverture radio.
Par la suite, pour rendre ltape de recherche combinatoire plus performante et pouvoir
prendre en compte plusieurs critres de planification, nous avons implant une mtaheu-
ristiques tabou. Cette mtaheuristique a t amliore pour pouvoir obtenir un jeu de
solutions optimales diffrentes.
La dernire proposition que nous faisons consiste en la mise en place dun algorithme
tabou bas sur la dominance au sens de Pareto. Ce processus reprend les tapes de la
recherche tabou et au lieu de ne faire voluer quune seule solution, il travaille avec une
population de solutions.
88
Partie II : Modlisation de la
propagation dans les btiments
89
Introduction
Les conclusions tablies dans ltat de lart (cf. chapitre 2.3) montrent que la difficult
du choix dune mthode de calcul de la propagation rside dans le compromis fiabilit -
temps de calcul quil faut tablir.
Nos travaux reposent sur un modle de propagation de type lments finis appel MR-
FDPF (Multi-Resolution Fourier Domain ParFlow) propos par Gorce et al en 2001 et
prsent dans [107] puis [108]. Ce modle de prdiction repose sur une approche origi-
nale que lon peut classer parmi les mthodes de calcul lments finis. En exprimant le
problme dans le domaine frquentiel et en travaillant en rgime harmonique, le rgime
permanent est obtenu par la rsolution dun systme linaire.
Loriginalit de lapproche MR-FDPF repose sur la faon dont la rsolution de ce sys-
tme est ralise. Cette rsolution est effectue en 2 phases :
Dans une phase de pr-traitement, une structure multi-rsolution est construite par
lagrgation progressive des pixels du plan. Cette phase, de complexit
(N 3 ), N
tant la plus petite dimension de lespace 2D, est excute indpendamment de la
connaissance des caractristiques de la source. Elle peut donc tre considre comme
un pr-traitement.
La seconde phase exploite la structure multi-rsolution et calcule le champ perma-
nent issu de chaque source. La complexit de calcul dune source est de lordre de
((N 2 )log(N )).
Notons que la structure multi-rsolution peut tre avantageusement utilise pour rduire
encore le temps de calcul, en rduisant la rsolution danalyse, sans pour autant ngliger
aucun des chemins de propagation.
Dans ce travail de thse, nous avons adapt lalgorithme MR-FDPF pour lestimation de
la couverture radio dmetteurs de type 802.11b dans des environnements clos (ou Indoor )
en deux dimensions. Limplantation du moteur de calcul est en JAVA, pour la portabilit,
et interface les librairies COLT du CERN [109] et les librairies BLAS [110] pour optimiser
les temps de calcul. Le moteur de prdiction de couverture radio ainsi dvelopp se nomme
WILDE (WIreless Lan DEployment). Il est intgr dans un outil logiciel de planification
de rseaux sans fil.
Pour respecter les contraintes imposes par les ingnieurs rseaux exploitant ce logiciel,
nous nous sommes imposs des contraintes de temps de calcul sur une machine standard,
cest--dire sur une station de travail de type PC avec un processeur de 2GHz et une
mmoire vive associe de 1Go. Ainsi, pour obtenir des temps de simulation raisonnables
avec cette contrainte, nous avons introduit 2 hypothses simplificatrices dans la mthode
MR-FDPF : la restriction 2 dimensions, et le travail avec une frquence de simulation
plus faible que la frquence radio relle. Limpact de ces hypothses sur les simulations est
prsent dans la partie 3.2.
Pour limiter les erreurs de prdiction, et adapter au mieux le simulateur lenviron-
91
CHAPITRE 2. OUTILS ET MTHODES
nement rel, nous proposons la mise en oeuvre dun processus de calibration bas sur un
ensemble de mesures relles. Cette calibration est effectue en relaxant les constantes de
propagation (permittivit et affaiblissement) des matriaux et en adaptant leurs valeurs de
faon minimiser les erreurs de prdiction. Ce processus de calibration est formul comme
un problme doptimisation continue plusieurs variables. Le critre choisi est un critre
aux moindres carrs qui minimise lerreur quadratique moyenne entre les valeurs mesures
et les valeurs prdites par simulation. La formulation de ce processus est donne en 3.2.4.
Nous avons mis en oeuvre un algorithme de recherche directe dnomm DIRECT (cf.
2.2.2) qui permet implicitement de raliser une recherche la fois locale et globale dans
lespace des solutions. Ses performances sont prsentes dans la partie 4.2. Une partie des
travaux lis la calibration et la validation des prdictions du moteur WILDE ont t
prsents en 2005 lors de la confrence IEEE VTC [111]. Leur synthse est donne dans le
rapport de recherche [112].
92
CHAPITRE
La mthode Multi-
3 Rsolution FDPF adapta-
tive
La mthode FDPF (Frequency Domain ParFlow ) a t prsente pour la premire fois
dans [107]. Une amlioration de celle-ci, la mthode "Adaptative Multi-Resolution FDPF"
prsente ici, a t propose en 2003 dans [108]. Ces algorithmes ont pour point de dpart
lapproche ParFlow propose en 1997 par Chopard et al. [113] dveloppe dans le contexte
de la planification GSM. Cette approche temporelle discrte, similaire aux mthodes TLM
(Transmission Line Matrices) est prsente dans la partie 3.1.1. La partie suivante 3.1.2
prsente la mthode FDPF propose par Gorce et al. Une premire amlioration au niveau
bloc est trate en 3.1.3. La partie 3.1.4 prsente la dernire tape qui a men la mthode
Adaptative multi-rsolution FDPF propose dans [108]. La dernire sous-partie 3.1.6 pr-
sente les cartes de couvertures obtenues actuellement et les performances de la mthode en
termes de temps de calcul et doccupation mmoire.
x x
fS f f
N f
0 0
f
E
f
W
f
W
f
E
f
N y
f
S
(a) (b)
Fig. 3.1 Un pixel avec (a) ses flux entrant, (b) ses flux sortant.
Dans cette approche, le champ lectrique est divis en 5 composantes (cf. fig. 3.1), ap-
peles flux. Ces flux se propagent de proche en proche laide de matrices de propagation
drives des quations de Maxwell. Dans la suite du document, les flux sortants du pixel
(i, j) sont rfrencs par fd (i, j) et les flux entrants par fd (i, j). Les indices d {E, W, S, N }
indiquent la direction de propagation du flux, conformment aux directions cardinales (est,
ouest, sud, nord). La simulation de diffrents milieux dilectriques ncessite lintroduction
dun flux interne additionnel f0 (i, j) qui permet de modifier la vitesse de propagation en
93
CHAPITRE 3. LA MTHODE MULTI-RSOLUTION FDPF ADAPTATIVE
certains noeuds. Ce flux a un rle fondamental car il permet en modifiant les proprits
locales de la propagation, dintroduire naturellement les phnomnes macroscopiques que
sont la rflexion et la diffraction. Ces phnomnes sont illustr la figure 3.2. Lenviron-
nement reprsent est de taille 15m 35m, discrtis avec un pas de 5cm.Notons que
lenvironnement est entour dun matriaux absorbant pour limiter les problmes de bord.
Lalgorithme ParFlow a t propos par P.O. Luthi [114, 113]. Dans sa thse, Luthi a
dvelopp une formulation gnrale pour la rsolution de problmes de propagation sur une
grille rgulire. Applique aux quations de Maxwell par une discrtisation du 1er ordre
sur une grille rgulire de 4-connexit, lalgorithme obtenu est identique lalgorithme
TLM (Transmission Line Matrix) propos par Hoefer [115] en 1984. Cet algorithme est
utilis pour la simulation des champs lectriques et magntiques dans des structures de
petites tailles (composants lectroniques, antennes) [116],[117]. Si cette mthode permet de
reflter fidlement la propagation des ondes lectromagntiques, elle ncessite en revanche
une puissance de calcul importante.
Bien que naturellement exploitable en trois dimensions (3D), nous restreignons ici la
description thorique un environnement 2D, pour des raisons de clart. Limplantation a
t faite en 2D uniquement, car la complexit du 3D reste un problme important. Seule
la composante transverse du champ lectrique complexe (amplitude, phase) est considre.
La valeur du champ au pixel bl est dduite de la valeur de flux entrants par :
fE (i, j) + fW (i, j) + fS (i, j) + fN (i, j) + Y (i, j)f0 (i, j)
(i, j) = (3.1)
n2 (i, j)
Chopard et al. [113] ont propos la mise en oeuvre dun automate cellulaire pour rsoudre
le problme laide des quations de diffusion-propagation suivantes :
f ij (t) = ij f ij (t dt) (3.3)
f ij (t) = ( f ij (t)) (3.4)
o :
94
CHAPITRE 3. LA MTHODE MULTI-RSOLUTION FDPF ADAPTATIVE
DR / ls = 1/12 DR / ls = 1/6
DR / ls = 1/4 DR / ls = 1/2
Fig. 3.3 Couverture dune source ponctuelle en fonction du rapport R /s pour s = 960
MHz.
Lautomate cellulaire propage les flux sortant dun pixel source vers ses pixels voisins.
Chaque pixel voisin gnre son tour des flux sortant qui sont considrs comme des flux
entrants par les pixels connexes. Pour obtenir une carte de couverture complte, il est
ncessaire dattendre la convergence de cet automate cellulaire vers le rgime permanent,
la frquence de simulation s . Pour obtenir une simulation raliste, le pas de discrtisation
95
CHAPITRE 3. LA MTHODE MULTI-RSOLUTION FDPF ADAPTATIVE
R doit tre suffisamment petit devant la longueur donde s pour avoir une dispersion
faible et garantir la quasi isotropie du champ simul. Comme illustr la figure 3.3 le
champ propag issu dune source ponctuelle ne reste pas isotrope lorsque le rapport R /s
augmente. Notons par contre, que plus le pas R est petit plus le temps de calcul augmente.
Chopard propose un compromis par la limite suivante R s /6, que nous reprendrons
par la suite.
Ainsi, les quations de ParFlow peuvent tre exprimes laide de lgalit suivante :
o est la matrice de diffusion globale et S(t) le vecteur source constitu de valeurs binaires
sij non nulles en (i, j) uniquement si une source sy trouve localise. La transforme de
Fourier, relativement au temps, de ce systme conduit :
o = ej2s dt .
On admettra alors que la source utilise est bande troite, centre autour de la
frquence de simulation s . Ds lors, cette mthode ne permet de modliser quun rgime
harmonique, excluant lestimation de ltalement temporel et des retards de propagation.
Les diffrentes exprimentations menes en Indoor pour la norme 802.11 [10] [61] [120]
montrent que le canal radio wLAN est un canal court en comparaison la dure des
symboles. Il est donc lgitime de considrer que lestimation bande troite est suffisante,
en particulier pour lestimation de puissance moyenne pour la planification dun rseau
sans-fil. Comme nous le verrons plus loin, la mise en place dun moyennage local permettra
de saffranchir des problmes dvanouissements rapides lis aux multi-trajets pour obtenir
une bonne estimation de la puissance moyenne.
En pratique, la taille du systme linaire 3.7 rend sa rsolution par inversion directe
non triviale. Une mthode itrative classique (Gauss-Seidel, ...) peut tre utilise. On peut
aussi remarquer que lquation (3.7) se dcompose laide dune srie gomtrique :
X
F(s ) = k S(s ) (3.8)
0k
et exploiter cette structure pour une rsolution itrative. En terme de complexit, cette
rsolution est du mme ordre de grandeur que la mthode temporelle. En effet, pour une
espace de taille N N , la complexit des deux mthodes est en
(N 3 ), chaque itration
tant en
(N 2 ) oprations, et le nombre ditrations tant proportionnel N .
96
CHAPITRE 3. LA MTHODE MULTI-RSOLUTION FDPF ADAPTATIVE
FN FS
FW FE FE FW
FS FN
(a) (b)
Fig. 3.4 Bloc avec ses flux sortants (a) et ses flux entrants (b).
Pour chaque ct dun bloc, sont dfinis deux vecteurs de taille n contenant respective-
d
d
ment les flux entrants F ; d {E, W, S, N } et les flux sortants F ; d {E, W, S, N }. Une
matrice de diffusion de taille n n est associe chaque bloc. Elle agit comme la matrice
de diffusion dfinie dans la section prcdente, en sappliquant maintenant sur les quatre
vecteurs flux prsents de chaque ct du bloc. Les coefficients de la matrice de diffusion
classique sont remplacs par des sous-matrices de diffusion caractrisant le transfert dun
ct lautre du bloc et rfrences de la faon suivante :
EE EW ES EN
kl kl kl kl
W E W W W S W N
kl = SE
kl kl kl kl (3.9)
kl SW
kl SS
kl SN
kl
N
kl E N W N
kl S N
kl N
kl
Dans chaque bloc, les flux internes peuvent tre considrs comme des variables inter-
mdiaires pour le calcul dchange de flux entre les blocs voisins. La rsolution partielle du
systme linaire indpendamment dans chaque bloc conduit au calcul de la matrice de dif-
fusion associe et permet par la suite de rsoudre le problme en travaillant exclusivement
avec les flux dchange, situs linterface entre blocs [121] et lquation (3.8) ne sapplique
alors plus qu ces flux dchange. Le calcul de propagation un niveau de rsolution n est
le mme mais le temps de calcul diminue : en effet dune part il y a moins de variables et
dautre part la propagation avance de n pixels chaque itration. Notons que la matrice
de diffusion pour un bloc peut tre calcule directement partir des matrices associes aux
pixels inclus dans ce bloc (cf. [107]). Nous allons voir dans le paragraphe suivant quil est
possible de les calculer plus efficacement par une approche rcursive.
97
CHAPITRE 3. LA MTHODE MULTI-RSOLUTION FDPF ADAPTATIVE
Source Equivalente
C (flux sortants)
A B
A B Flux Internes
C A B
Fig. 3.5 (a) Si A est un MR-bloc source, C est aussi un MR-bloc source dordre plus
lev. (b) A partir des flux entrants dans C on peut calculer les flux entrants dans A et B.
Il faut pour cela calculer les flux linterface entre eux.
La question qui vient lesprit partir de la dfinition des blocs ci-dessus concerne
bien entendu la slection de leur taille optimale. Le but de lapproche multi-rsolution est
de contourner ce choix et de proposer une imbrication rcursive de blocs de plus en plus
gros, en construisant un arbre binaire. Ces blocs sont rfrencs dans la suite du document
par le terme MR-bloc (Multi-Resolution Node, ou bloc multi-rsolution). Nous allons voir
quune telle structure est trs efficace pour le calcul de la propagation.
Un MR-bloc, reprsent par Bl , est caractris gographiquement dans le plan par les
coordonnes de son coin suprieur gauche p = (px, py), et par sa largeur nx et sa hauteur
ny, regroups dans s = (nx, ny) (cf. figure 1.10), p.23. Etant donn deux MR-blocs voisins
A et B possdant leurs propres matrices de diffusion A et B , nous avons montr dans
[121, 108]quil est possible de calculer la matrice de diffusion dun nouveau MR-bloc C issu
du regroupement de A et B. Quand les MR-blocs sont regroups horizontalement comme
illustr la figure 3.5, C est donn par :
EE ES [0] W N
[0] A A A [0]
P1 =
W
B
W [0] [0] WB
S [0] W
B
N
1
W E
Id B
P2 =
EW
A Id
98
CHAPITRE 3. LA MTHODE MULTI-RSOLUTION FDPF ADAPTATIVE
EE
[0] B
W
A
W [0]
SW
A [0]
P3 =
[0] SE
B
N
A
W [0]
[0] NB
E
Remarquons que par rciprocit de la propagation des ondes il est facile de montrer que les
matrices P1 et P3 sont les transposes lune de lautre. Notons galement que seule la ma-
trice P2 ncessite un calcul matriciel lourd. Le mme processus peut tre ensuite reproduit
pour le MR-bloc C associ lun de ses voisins, et ce, jusqu ce quun unique MR-bloc
appel bloc pre, soit obtenu. Le regroupement des blocs peut seffectuer de faon rgu-
lire, en alternant les regroupements horizontaux ou verticaux, ou de toute autre faon.
Cet aspect est discut dans la section suivante mais considrons pour linstant le cas plus
simple dune construction rgulire de larbre binaire. Remarquons que le calcul des ma-
trices de diffusion ne ncessite pas de connaissance propre la source. Seule la connaissance
de lenvironnement (position et matriaux constitutifs des murs) est ncessaire. Il est donc
possible de raliser le calcul des matrices de diffusion pour tous les MR-blocs associs
larbre binaire, indpendamment de la source. Ce calcul est donc regroup dans une phase
de pr-traitement.
La phase de pr-traitement
Cette premire phase a pour objectif de calculer toutes les matrices de diffusion des
MR-blocs utiliss pendant la propagation. Le regroupement commence par fusionner deux
deux les pixels de taille 1 1 pour obtenir des MR-blocs de taille 2 1. Ils sont ainsi
eux-mmes regroups 2 2 pour obtenir des MR-blocs de taille 2 2. Ce processus est
ritr jusqu lobtention du MR-node pre. A chaque regroupement, il est ncessaire
de calculer la matrice P2 par une inversion matricielle de taille Ni , o Ni reprsente le
nombre de flux linterface des deux MR-blocs fusionns. Cette inversion correspond en
ralit au calcul du rgime permanent interne au MR-bloc. Le cot de cette inversion
est en
(Ni3 )), de mme que la multiplication entre elles des sous-matrices de P1 , P2 et
P3 . Le dernier tage de la pyramide est donc celui qui cote le plus cher en terme de
temps de calcul. On peut reprsenter formellement lensemble des MR-blocs ainsi dfinis
par une structure en arbre o chaque bloc possde deux fils et un parent (sauf pour les
MR-blocs qui se trouvent aux extrmits de larbre). Cette structure est rfrence sous le
terme de pyramide de propagation. Ltape de pr-traitement prsente donc globalement
une complexit en
(N 3 ), o N = min(NX , NY ) avec respectivement NX et NY le nombre
de lignes et de colonnes.
99
CHAPITRE 3. LA MTHODE MULTI-RSOLUTION FDPF ADAPTATIVE
Les flux sources situs linterface entre les blocs A et B se propagent dans le bloc C.
Le rgime permanent est calcul par :
" E #
FB
FIN T = P2 W (3.11)
FA
Une fois le rgime permanent interne calcul, il reste calculer les flux sortants additionnels,
donns par P3 FIN T . Les flux du MR-bloc source C sont alors donns par :
W S
N T
h E h S i h N ii
F C = F A , F B , F A, F B , F A , F B + P3 FIN T (3.12)
On appellera alors la matrice P3 , la matrice Uplink U et la matrice P2 la matrice Inner
In.
A chaque tape, ce calcul permet de monter dun niveau dans la pyramide de propaga-
tion (cf. fig.3.6). La phase de monte se termine quand on a form un MR-bloc unique qui
recouvre la totalit de lenvironnement 2D. La complexit de cette tape est en
(N 2 ).
Niveau (N+1)
Niveau N
Source
Recepteur
Dans ltape de descente, on propage les flux entrants dans un MR-bloc vers les flux
internes de faon calculer les flux entrants sur ses 2 blocs fils (cf. fig.3.5-(b)). Ce processus
est initialis par le sommet de la pyramide pour calculer les flux entrants dans ses MR-blocs
fils. Ce processus est ritr jusqu atteindre le niveau pixel, ou un niveau intermdiaire
voulu. Le passage dun niveau lautre seffectue en estimant les flux internes du bloc
C laide des flux entrants. La matrice ncessaire ce calcul est la matrce P1 , (appele
downlink, ou D) et est gale la transpose de la matrice uplink. Ltape de descente
prsente une complexit suprieure la monte car il faut effectuer le calcul dans tous les
MR-blocs. Pour une pyramide rgulire, on peut montrer que le cot associ la descente
dun tage est le mme quelque soit le niveau, pour un cot total qui est en
(N 2 log2 (N )).
La figure 3.6 illustre le calcul de champ en un point de rception uniquement. Pour obtenir
une carte de couverture complte, ltape de monte est identique, mais il faut rtro-
propager les flux dans ltape de descente, vers tous les blocs constitutifs de lenvironnement
la rsolution voulue.
Conformment Eq.3.1, la puissance reue au niveau 1 1 est donne par le carr du
module de la somme des flux :
X d
Resolution(1, 1) : = k F k2 (3.13)
dN,W,S,E
100
CHAPITRE 3. LA MTHODE MULTI-RSOLUTION FDPF ADAPTATIVE
Definition 9
Un bloc homogne Bhl est dfinit comme tant le MR-bloc le plus grand appartenant
une branche de larbre MR-FDPF constitu uniquement dair.
Il nexiste quun seul bloc homogne par branche de larbre. Il est donc possible de
dfinir un pavage irrgulier de lenvironnement laide des seuls blocs homognes. Il
semble ds lors intressant dessayer dadapter la structure de la pyramide lenvi-
ronnement de faon privilgier lobtention de gros blocs homognes. Un exemple
de carte de couverture cette rsolution est prsent un peu plus loin la figure
3.11-(a), p. 106.
101
CHAPITRE 3. LA MTHODE MULTI-RSOLUTION FDPF ADAPTATIVE
Algorithmes de dcoupage
Lalgorithme que nous proposons pour obtenir larbre MR-FDPF est bas sur une
approche descendante. Cette approche dmarre partir du MR-bloc pre qui contient
tout lenvironnement, et qui est dcompos en deux MR-bloc fils. Rcursivement, on re-
dcoupe chaque bloc en deux fils, jusqu ce quon atteigne la taille du pixel. Cette approche
permet de garantir que tout MR-bloc a 2 fils, tout en garantissant que tous les MR-blocs
sont rectangulaires. Ce qui nest pas possible par une approche montante. Le choix le
plus important est de dfinir la position laquelle on dcoupe un bloc. Ce choix a des
consquences sur les points suivant :
le nombre et la taille des blocs homognes de larbre MR-FDPF,
la taille de larbre MR-FDPF en mmoire,
le temps de cration de larbre dans la phase de pr-traitement.
Nous avons test 3 heuristiques dterministes de dcoupage et recherch leur impact
sur les points cits ci-avant.
... ...
(4) (4)
BH BH
(1)
(2) (2)
(3) (3)
... ...
Ce type de dcoupage cre des blocs homognes de taille relativement faible. Ainsi une
carte de couverture la rsolution des blocs homognes reste constitue dun nombre im-
portant de blocs. Plus le nombre de blocs homognes est lev, plus le temps de propagation
descendante est important pour obtenir une carte de couverture cette rsolution.
Par contre ce dcoupage est celui qui minimise le nombre de MR-blocs et leur taille
dans la structure pyramidale et minimise donc la place mmoire occupe. Il ne favorise
cependant pas la rutilisation spatiale des matrices de diffusion.
102
CHAPITRE 3. LA MTHODE MULTI-RSOLUTION FDPF ADAPTATIVE
(1a) (1b)
(2)
(2)
(4)
BH
BH (3)
(4)
BH (4)
BH
(3)
(3)
Dcoupage irrgulier. Ce dcoupage a pour objectif de crer les plus grands blocs
homognes possibles. On dcoupe toujours un bloc selon sa plus grande dimension. Pour
obtenir rapidement des blocs homognes, on dcoupe le bloc selon la plus grande disconti-
nuit, cest--dire le long de la ligne o il y a le plus de changements de matriau.
La figure 3.8 prsente le dcoupage vertical dans un bloc trs simple. Le dcoupage
est ralis selon la colonne prsentant le plus de changement de matriau avec la colonne
suivante. Pour cela, on calcule pour chaque colonne de dcoupe ci ; i [1, sx1] un nombre
de discontinuits D(i) qui compte le nombre de lignes o on a observ une variation de
matriau avec la ligne de dcoupe suivante. D(i) est dfini comme suit :
s
X
D(i) = y(i, j) (3.16)
j=1
avec (i, j) = (mat(j, i) = mat(j, i + 1) vaut 1 sil existe une diffrence de matriau entre
le pixel (j, i) et le pixel (j, i + 1). La plus forte discontinuit rencontre sur la figure 3.8
est la discontinuit (1a). Ce processus de dcoupage est ritr sur les blocs fils jusqu
lobtention des blocs homognes Bhl (en rouge). Pour atteindre le niveau pixel, ces blocs
homognes sont alors dcoups avec un dcoupage rgulier.
Le dcoupage irrgulier permet de maximiser la taille des blocs homognes. De ce fait,
le temps de calcul ncessaire la propagation au niveau des blocs homognes est plus court
que pour le dcoupage rgulier. On verra au chapitre 5, que ce dcoupage est galement
103
CHAPITRE 3. LA MTHODE MULTI-RSOLUTION FDPF ADAPTATIVE
intressant utiliser pour placer les AP candidats car il suit la gomtrie des pices. Par
contre ce dcoupage augmente le temps de pr-traitement car il augmente la taille des
blocs dans les tages suprieurs de la pyramide. Le calcul de la matrice de diffusion pour
ces blocs est long et de ce fait augmente la dure de la phase de pr-traitement.
Dcoupage hybride. Pour raliser un compromis entre les deux techniques, nous avons
dfini dans [122] une heuristique dterministe qui dcoupe les blocs selon des discontinuits
qui favorisent lapparition de blocs de mme taille. Lalgorithme utilis est le suivant :
0 si m < L
p= (3.18)
K si m L
Phase de pr-traitement
Pour mettre en oeuvre lalgorithme de dcoupage hybride, les valeurs optimales de K et
L ont t recherches de faon empirique pour garantir la fois un temps de pr-traitement
faible, une occupation mmoire de larbre MR-FDPF faible et la cration de grands blocs
homognes. Le tableau suivant compare pour lenvironnement de test, de taille 120 60
mtres les performances des trois heuristiques. Cet environnement est celui qui est utilis
au chapitre 5 et qui est reprsent figure 5.1 la page 148. La recherche dun temps de
pr-traitement faible a t privilgie. Les valeurs optimales (L = 32, K = 6) prsentent
une dure de pr-traitement trs faible pour cet environnement, infrieure au temps de
traitement dun dcoupage rgulier.
104
CHAPITRE 3. LA MTHODE MULTI-RSOLUTION FDPF ADAPTATIVE
Dans ce tableau, p20 reprsente le pourcentage de blocs homognes dont la plus grande
dimension est suprieure 20 pixels. Le nombre de blocs types est le nombre de blocs de
taille et de constitution diffrents que comprend la pyramide. Le passage dun temps de
pr-traitement de 17s. pour le dcoupage rgulier 32s. pour le dcoupage irrgulier est d
laugmentation de la taille des blocs des tages suprieurs de la pyramide. La mthode
hybride ne ncessite qu11s de pr-traitement car la redondance de blocs dans la pyramide
est importante (cf. le nombre de blocs types). On se rend compte que lapproche hybride
ralise plus quun compromis entre les 2 autres approches. La taille mmoire de larbre,
le temps de pr-traitement et la taille des blocs homognes sont satisfaisants. Cest cet
algorithme de dcoupage qui est choisi pour WILDE.
Phase de propagation
Trois cartes de couverture diffrentes rsolution sont prsentes dans la figure 3.11.
Pour obtenir ces cartes, la phase de descente de la pyramide a t arrte :
(a) au niveau des blocs homognes.
(b) au niveau des MR-blocs de taille 6 6 pixels.
(c) au niveau pixel.
Le tableau 3.1 prsente les temps de traitement ncessaires chaque phase de calcul.
Lenvironnement de test a une taille de 92.7 23.4 mtres et est calcul pour une frquence
de simulation de 480 MHz avec un pas de discrtisation R = 10 centimtres.
105
CHAPITRE 3. LA MTHODE MULTI-RSOLUTION FDPF ADAPTATIVE
Fig. 3.11 Carte de couverture (a) la rsolution des blocs homognes, (b) la rsolution
de 6 6 pixels et (c) la rsolution des pixels.
106
CHAPITRE 3. LA MTHODE MULTI-RSOLUTION FDPF ADAPTATIVE
Pour le dveloppement dun outil doptimisation exploitable par les ingnieurs rseaux,
il est fondamental de limiter le temps de calcul. En effet, lvaluation dune configuration
de rseau (position des AP) ncessite le calcul de la propagation pour chacun des AP. Si
lon veut pouvoir tester plusieurs configurations, le temps de calcul acceptable pour une
couverture est trs faible. Nous avons valu les temps de calcul acceptables quelques
minutes pour le pr-traitement et moins dune seconde pour la propagation dune source,
et ce pour des environnements pouvant aller jusqu 10000m2 .
Pour arriver aux temps de traitement prsents dans le tableau 3.1, p.105, il est nces-
saire de faire des hypothses simplificatrices qui engendrent des erreurs de prdiction.
Pour compenser ces erreurs de prdiction, nous avons choisi de mettre en place un
processus de calibration prsent dans la partie 3.2.4. Ce processus recherche un jeu de
paramtres optimal pour que lerreur quadratique moyenne entre les prdictions et les
mesures relles soit minimale. Cette calibration est value au chapitre 4.
3.2.1 Lapproximation 2D / 3D
2
P L(r, ) = (3.19)
(4..r 2 )
107
CHAPITRE 3. LA MTHODE MULTI-RSOLUTION FDPF ADAPTATIVE
Niveau de puissance pour les frequences de 480Mhz et 240Mhz a resolution constante (dr = 10cm) en espace libre.
35
480 MHz
240 MHz
40
45
Puissance (dBm)
50
55
60
65
70
0 1 2 3
10 10 10 10
Distance numerique (echelle logarithmique)
108
CHAPITRE 3. LA MTHODE MULTI-RSOLUTION FDPF ADAPTATIVE
Pour que cette simulation ait un sens, il faut pouvoir moyenner le champ sur des blocs
de taille Rcouv Rcouv . Enfin, pour que ce moyennage permette de saffranchir des petites
variations locales, il faut que le moyennage seffectue sur une distance suprieure ou gale
la longueur donde, soit Rcouv > s . Imposons donc la rsolution en fonction de la finesse
des rsultats voulue, et choisissons Rcouv = 1m. On en dduit que la longueur donde doit
tre infrieure 1m et que le pas de discrtisation doit tre infrieur 1/6m. On peut
alors fixer R = 10cm, et s = 2.4/5 = 480MHz. Dans ce cas, s = 62.5 centimtres.
La condition sur la puissance moyenne est respecte et la taille des pixels est donne par
R = 10cm. Pour obtenir une estimation de puissance moyenne une rsolution de 1m,
on pourra travailler sur des blocs de taille 10 10 pixels.
La figure 3.11, p.106, montre bien que les prdictions de couverture calcules pour une
rsolution de 60 60 centimtres en (b) sont plus exploitables que celles obtenues la
rsolution pixels en (a) car on lisse les variation dues au fading. Cest cette rsolution
que les prdictions du moteur WILDE seront values et calibres dans le chapitre suivant.
Les indices
Des valeurs de n ont t calcules pour quelques matriaux prsents dans des construc-
tions laide des valeurs de r et cites dans [123]. Elles sont prsentes dans le tableau
suivant. On peut noter que la plage de variation de n varie entre 1.9 et 2.6 quand le taux
deau prsent dans la brique varie de 0 30% dans la bande de frquences de 3 24 GHz.
Il est donc dlicat de choisir une valeur reprsentative et prcise de lindice du bton.
109
CHAPITRE 3. LA MTHODE MULTI-RSOLUTION FDPF ADAPTATIVE
dattnuation est calcul pour la distance unit (largeur du pixel). Ainsi, pour une dis-
tance unit R fixe, la valeur du facteur dattnuation est donne par = ea R . Par
exemple, le facteur dattnuation de la brique 1.7 GHz vaut = 0.993 pour R = 10cm.
Comme ces donnes le prsentent, le choix dune valeur thorique dindice et de coefficient
daffaiblissement nest pas ais. Ce choix est dautant plus dlicat quand on ne connait pas
compltement la composition et la nature des matriaux prsents dans lenvironnement de
test. Cest pourquoi nous proposons destimer la valeur de ces paramtres dans la phase de
calibration du moteur. Ainsi, nous dterminerons les indices optimaux pour la simulation,
permettant de limiter les erreurs de prdiction.
pred = s + (3.20)
Il est difficile de driver thoriquement ce facteur de mise lchelle car la mthode pr-
sente est en 2D et dterminer analytiquement la puissance numrique dans un espace 2D
quivalente la puissance dune antenne rayonnant dans un espace en 3D pour la mthode
de prdiction MR-FDPF na pas de sens. Nous avons prfr intgrer ce coefficient dans
les paramtres estimer durant le processus de calibration exprimental exploitant des
mesures relles. Le mode de calcul de loffset est prsent dans le paragraphe suivant.
Calcul de loffset
Un des objectifs du processus de calibration est de dterminer la valeur de pour mi-
nimiser lerreur quadratique moyenne de prdiction entre les puissances mesures mes (i), i
[1..m] et les puissances prdites pred(i) = s (i) + , i [1..m]. La puissance ainsi pr-
dite sexprime en dBm. La recherche de la valeur optimale de loffset pour un jeu
de mesures et de prdictions donn revient un problme de minimisation dune forme
quadratique dfinie positive :
m
1 X
= (mes (i) s (i)) (3.21)
m
i=0
Si on dfinit la fonction des erreurs de prdiction par e(i) = mes (i) s (i), nest
autre que lerreur moyenne calcule sur lensemble des m points de test.
110
CHAPITRE 3. LA MTHODE MULTI-RSOLUTION FDPF ADAPTATIVE
v v
u m u m
u1 X u1 X
f (s) = t 2
k mes (i) pred(i) k = t k mes (i) (s (i) + (s)) k2
m m
i=0 i=0
(3.22)
Connaissant la fonction des erreurs de prdiction e(i) = mes (i) s (i), le critre f
nest autre que lcart type de e calcul sur lensemble des m points de test puisque
reprsente la moyenne de e.
Le processus de calibration est un processus aux moindres carrs qui minimise lerreur
quadratique moyenne entre la puissance mesure et la puissance simule en un ensemble de
m points de test. Cest un problme doptimisation continue plusieurs variables bas sur
une unique fonction dvaluation dcrite par lquation 3.22. Pour chaque jeu de 2N + 1
paramtres de propagation test, on dtermine loffset de mise lchelle optimal avec
lquation 3.21.
Lalgorithme doptimisation a pour objectif de trouver un ensemble de paramtres s
et un offset de mise lchelle (s) optimaux. La solution obtenue dpend fortement
de la qualit du jeu de mesures utilis et de lenvironnement de test. Cest pourquoi la
solution s nest optimale que pour lenvironnement de test dans lequel les mesures ont t
faites. Lenvironnement de test est constitu du btiment et des points daccs utiliss au
moment de la mesure.
Il est possible de calculer une solution en utilisant des points de mesure issus de plu-
sieurs points daccs. Ceci ne change rien la dfinition du critre (3.22). Il sera juste
ncessaire deffectuer autant de calculs de couverture quil y a de points daccs diffrents
dans lenvironnement. Ainsi, pour une position physique, il peut y avoir plusieurs mesures
et donc plusieurs puissances simules.
La question qui se pose une fois que lon a dtermin une solution pour un jeu de
mesures donn est la validit de celle-ci. Pour cela, on se posera plusieurs questions :
Est-elle applicable des prditions effectues dans le mme btiment avec les mmes
points daccs placs des positions diffrentes ?
Est-elle applicable des prdictions effectues avec dautres points daccs dans le
mme btiment ?
Est-elle applicable dautres btiments comportant les mmes matriaux ?
Pour rpondre ces questions, il est ncessaire de tester la solution avec plusieurs jeux de
mesure. Pour valuer une solution, on calcule lerreur quadratique moyenne de prdiction
(EQM) pour chaque jeu de mesures. Il est possible dinterprter la qualit dune solution
111
CHAPITRE 3. LA MTHODE MULTI-RSOLUTION FDPF ADAPTATIVE
avec la moyenne des EQMs obtenues avec chaque jeu de test. Cette moyenne sexprime en
dB.
Lalgorithme doptimisation
La recherche exhaustive dun jeu de paramtres nest pas abordable au vu du nombre de
variables. En effet, dans un btiment standard, il y a au moins 3 matriaux prsents, ce qui
implique la prsence de 7 paramtres borns. Lvaluation dune seule solution du problme
de calibration ncessite un calcul complet de pr-traitement et un calcul de couverture par
point daccs prsent dans lenvironnement de test. Une telle opration dure au moins une
minute sur une machine actuelle (CPU 2.8GHz et 1Go de RAM). Cette dure nest pas
ngligeable et oriente le choix du processus doptimisation vers un algorithme qui limite le
nombre dvaluations de fonctions avant convergence.
Le critre ntant pas dfini par une fonction analytique des variables du problme, le
gradient de la fonction de cot ne peut tre estime directement et il nest pas possible
de connatre lavance le nombre doptimums prsents. Le problme de calibration est
donc a priori un problme doptimisation difficile. Lutilisation dun algorithme de descente
(mthode des gradients ou de quasi-newton) a donc t exclue dans un premier temps. Nous
proposons de travailler avec la mthode doptimisation globale dnomme DIRECT et
prsente dans la partie 2.2.2. Cette mthode alterne implicitement entre recherche globale
et recherche locale. Elle comprend des phases o elle explore et slectionne des sous-parties
de lespace de solution et des phases de recherche locale qui lui permettent de converger
vers un minimum. Si on laisse lalgorithme sexcuter en un temps infini, on tend vers une
recherche exhaustive.
112
CHAPITRE
Validation des prdictions
4
Ce chapitre a pour objectif dvaluer la validit des prdictions du modle MR-FDPF
pour les technologies wLAN.
La qualit des simulations dpend du jeu de paramtres prsent au chapitre prcdent,
section 3.2. Comme nous avons pu lobserver au cours de nos travaux, la fonction de cot
de calibration (cf. equation 3.22) nest pas convexe et trouver les paramtres optimaux
est un problme difficile. Il est impossible de tester tous les jeux de paramtres par une
recherche exhaustive, ce qui nous a men mettre en oeuvre une heuristique de recherche.
Pour montrer que cette heuristique de recherche fonctionne correctement, nous avons
choisi dans un premier temps danalyser linfluence des diffrents paramtres de propagation
du modle sur la qualit des prdictions. Pour cela, nous avons simplifi le problme en
rduisant le nombre de variables. Cette analyse nous a permis de mieux apprhender le
problme sur les points suivant :
les plages de variation significatives des paramtres,
la sensibilit des paramtres,
limpact des paramtres sur les prdictions.
Toute cette analyse est prsente dans la partie 4.1 qui traite des diffrents rglages du
simulateur.
La partie 4.2 a pour objectif de tester les performances de lalgorithme que nous avons
choisi pour dterminer les valeurs optimales des paramtres du moteur. Cet algorithme, d-
nomm DIRECT (cf. partie 2.2.2), converge dans la plus grande partie des scnarios tests.
Cependant, le temps de traitement augmente rapidement avec le nombre de variables.
La stabilit de ces rsultats est tudie dans la partie 4.3 partir dune nouvelle srie
de mesures.
113
CHAPITRE 4. VALIDATION DES PRDICTIONS
(1 seul AP et N = 6 AP) ont t utiliss. Les rsultats ont t obtenus par le calcul du
critre f sur une grille rgulire de points de test. Les simulations 1 et 2 matriaux sont
compares la fin de la section.
Notre laboratoire (figure 4.1) a servi denvironnement de test. 199 points de mesure
ont t raliss laide de six points daccs et dordinateurs portables quips dune carte
dextension 802.11b. La mesure de puissance en rception na donc pas t faite par un
analyseur de spectre, mais directement partir de linformation remonte par la carte
WiFi. Ce mode de mesure t choisi dune part pour sa facilit de mise en oeuvre et
dautre part car il a pour avantage dtre identique celui qui doit tre utilis par les
installateurs de matriel sans fil. Sur la figure 4.1, les points de mesure sont reprs par
des croix noires et les points daccs par des ronds rouges. Les points daccs utiliss sont
de marques diffrentes. Ainsi, la puissance dmission, la directivit et louverture de leur
antenne ne sont pas forcment identiques.
Afin de faciliter ultrieurement lanalyse des rsultats, les points de mesure ont t
numrots et localiss sur la figure laide dun quadrillage. Chaque point est donc rfrenc
en abscisse par un chiffre variant de 1 24 et en ordonne par une lettre variant de A
I. Labsence de mesures dans certaines pices est due limpossibilit dy pntrer. Le jeu
de test issu de ces mesures est dsign par lacronyme CITI1 dans la suite du document.
Pour chaque point de mesure, la puissance de signal reue en provenance de tous les
points daccs visibles a t enregistre, pendant environ une minute, ce qui correspond
environ 300 chantillons de mesure par couple AP-rcepteur. Pour saffranchir de la direc-
tivit du rcepteur mobile et des variations locales lies aux vanouissements, lorientation
et la position du rcepteur mobile taient lentement modifies pendant lacquisition, tout
en restant dans une zone denviron 1m2 . Nous avons ainsi obtenu un histogramme des
niveaux de puissance pour chaque couple AP-rcepteur, dont on peut dduire la puissance
moyenne. Seuls les points pour lesquels le nombre dchantillons tait suprieur 150 ont
t slectionns dans le processus de calibration. Ceci a permis de ne prendre en compte
que les points correctement couverts. En effet si le mobile est en limite de couverture, cer-
taines mesures sont perdues : la rpartition des niveaux de puissance observe nest plus
gaussienne (cf. fig. 4.2-(b)) et la puissance moyenne calcule est biaise (plus leve que la
puissance moyenne relle).
114
CHAPITRE 4. VALIDATION DES PRDICTIONS
Fig. 4.1 Reprsentation des points du jeu de mesures CITI1 au 2me tage du btiment
Lonard de Vinci.
115
CHAPITRE 4. VALIDATION DES PRDICTIONS
(a) (b)
90 50
80 45
40
70
35
60
30
50
25
40
20
30
15
20
10
10 5
0 0
80 75 70 65 60 55 95 90 85 80
Puissance (dBm) Puissance (dBm)
Fig. 4.2 (a) Histogramme dun point bien couvert . (b) Histogramme dun point en limite
de couverture.
Lensemble de ces histogrammes a t analys. A part pour les cas en limite de cou-
verture, la rpartition tait assez proche dune distribution normale. Lcart-type moyen
de ces distributions a t valu 3dB. Cette valeur donne une premire ide de la prci-
sion souhaite des prdictions, dont on tiendra compte dans la phase didentification des
paramtres.
Afin de valider les rsultats de calibration obtenus avec les donnes CITI1, un autre
environnement de test a t utilis. Ce second environnement de test, dnomm BuildingG,
comporte un seul point daccs. Il mesure 48 mtres de long par 30 mtres de large. Les
cloisons sont reprsente en jaune, le bton en gris et les vitres en bleu. Cet environnement,
o un rseau sans fil a t dploy, est reprsent la figure 4.3. Quinze points de mesure
reprsents par des croix ont t raliss.
116
CHAPITRE 4. VALIDATION DES PRDICTIONS
10
2
2 2.1 2.2 2.3 2.4 2.5 2.6 2.7 2.8 2.9 3
Indice
55
Moyenne (dB)
60
65
AVAYA1
70 AVAYA2
ALLIED
75
DLINK
80 HP
PROXIM
85
2 2.1 2.2 2.3 2.4 2.5 2.6 2.7 2.8 2.9 3
Indice
Etude de lindice n
Critre 1 point daccs Les valeurs de f ont t calcules sur une grille unidimen-
tionnelle un pas fixe pn = 0.05 pour n [1.0, 10.0]. Les coefficients daffaiblissement sont
fixs 1. Pour tudier la stabilit du critre en fonction de la position de lAP, le calcul
a t effectu indpendamment pour chaque jeu de mesures associ chacun des 6 AP.
La figure 4.4 prsente lcart type de lerreur de prdiction e aprs mise a lchelle des
simulations par loffset optimal pour chaque valeur de n. On cherche sur ces courbes
le minimum de lcart type e (cf. partie 3.2.4) et on slectionne la valeur doffset corres-
pondant lindice optimal trouv. Seuls les points dindice n [2, 3] sont prsents sur la
courbe pour des raisons de lisibilit des minima. En dehors de cet intervalle, les fonctions
taient monotones et ne prsentaient donc pas dautre mimimas locaux.
Les valeurs dindice minimisant f = e sont donnes dans le tableau 4.1. Ce tableau
donne galement pour chaque AP les valeurs de loffset et les valeurs de lcart type du
minimum observ. La meilleure valuation est obtenue avec lAP ALLIED avec f = 3.76dB
derreur quadratique moyenne pour un indice n = 2.45.
117
CHAPITRE 4. VALIDATION DES PRDICTIONS
Tab. 4.1 Minima obtenus avec les jeux de mesure de chaque point daccs.
Tous les indices optimaux appartiennent lintervalle [2, 3]. La majeure partie des
indices est proche de n = 2.4. Seul le jeu de test relatif lAP PROXIM prsente un indice
diffrent des autres. La valeur doffset obtenue pour chaque jeu de test varie entre -55 et
-64 dB. Notons que si lon excepte le jeu de test ALLIED, cest pour n = 2.4 que lcart
entre les valeurs doffset est le plus faible ( [61.5, 60]).
Sur les 6 sries, 2 jeux de test prsentent une solution diffrente des autres. Le jeu de
mesures AVAYA1 mne un optimum pour n = 2.65 diffrent de 2.4. Notons quil existe
cependant un autre minimum local autour de 2.4. Ce rsultat montre bien que ltude dun
seul AP rend la mthode relativement sensible lenvironnement proche de lAP. Dans la
suite de lanalyse, nous travaillons avec ce minimum local en 2.35 qui est plus intressant
pour AVAYA1 car il est plus proche des autres valeurs obtenues. Le jeu de mesures PROXIM
prsente un minimum trs diffrent des autres, que nous tenterons dexpliquer plus loin.
La sensibilit de n peut galement tre value. Pour cela, la variation de f = e a t
calcule autour des minimums obtenus pour chaque courbe. La variation de f a t calcule
pour n [nmin 0.05, nmin + 0.05] pour chaque jeu de mesures. La variation moyenne est
de 0.21dB. On peut conclure quil est suffisant de dterminer un indice 0.05.
Lefficacit de chaque solution a t teste sur les jeux de test issus des autres points
daccs. Cette efficacit est mesure en calculant lerreur quadratique moyenne EQM =
118
CHAPITRE 4. VALIDATION DES PRDICTIONS
sur les 6 jeux de test et la seconde la valeur moyenne sur les 5 jeux de tests diffrents du
jeu de test PROXIM.
La solution la plus efficace est la solution obtenue avec le jeu de mesures DLINK qui
garantit une erreur quadratique moyenne de 6.0 dB pour tous les jeux de test. On observe
que si lon ne tient pas compte des points de mesure propres au point daccs PROXIM,
lestimation est bien meilleure avec une EQM de 5.44 dB au lieu de 6.0 dB, et probablement
moins sans ALLIED.
Dautre part, tous les metteurs nmettent pas exactement la mme puissance. Ceci
permet dexpliquer galement la variation des offsets pour les diffrentes solutions obtenues,
notamment pour lAP ALLIED. On observe en effet pour cet AP que lerreur de prdiction
est principalement due une mauvaise valuation de loffset qui est trop faible pour un
indice de 2.45. On a pu vrifier par la suite que lAP ALLIED fonctionnait une puissance
dmission lgrement infrieure aux autres AP.
On peut observer que les donnes issues dun seul AP sont fortement dpendantes
de ces caractristiques physiques mais aussi probablement de son environnement proche
(prsence dobjets mtalliques en champ proche notamment). Ainsi, la recherche dindice
peut savrer plus robuste en prenant en compte dans le calcul de la fonction de cot des
mesures issues de plusieurs AP. Il est aussi prfrable de ne travailler quavec un seul type
dAP, pour saffranchir des variations lies au matriel, notamment en terme de puissance
rayonne quivalente.
Critre N points daccs Pour chaque valeur dindice, on calcule la moyenne moy
des cart types obtenus pour chaque jeu de mesures. Le graphe 4.5 prsente sur la courbe la
variation de lcart type moyen moy en fonction de lindice n. Lindice optimum est obtenu
quand f = moy est minimal. Cet optimum vaut ici min(f ) = 5.9 dB pour n= 2.4. Un
offset moyen de moy = 62 dB permet dannuler lerreur moyenne de prdiction.
Cette solution globale S1 = (n = 2.4, moy = 62) est la solution qui garantit une
erreur minimale pour lensemble des AP.
Les rsultats obtenus en appliquant cette solution sparment chacun des AP sont
prsents dans le tableau 4.3. La seconde ligne donne la valeur moyenne des cart-types de
la fonction erreur pour la solution S1 . Ce tableau rend compte de la qualit des estimations
de puissance pour chaque jeu de test.
119
CHAPITRE 4. VALIDATION DES PRDICTIONS
Tab. 4.3 EQM et e des 6 jeux de test avec la solution S1 (n = 2.4, moy = 62dB).
On retrouve dans ce tableau 4.3 que le jeu de mesures PROXIM est assez diffrent
des autres, et que le jeu ALLIED ncessiterait un offset diffrent cause de la puissance
dmission diffrente.
Fig. 4.6 Puissances mesure et simule pour chaque jeu de test aprs calibration pour la
solution S1 .
La figure 4.6 donne une comparaison des puissances mesures et prdites pour 4 jeux
120
CHAPITRE 4. VALIDATION DES PRDICTIONS
Conclusion partielle Pour conclure cette partie sur ltude du critre doptimisation en
fonction de lindice de lunique matriau prsent, on peut dire que la solution S1 = (n =
2.4, moy = 62 dB) permet destimer la couverture des points daccs avec une erreur
quadratique moyenne de 5.9 dB. Il est possible damliorer cette valeur en utilisant des
valeurs doffset spcifiques chaque AP (si cela est justifi par des diffrences de puissance
dmission). Dans ce cas, lerreur quadratique moyenne chute ici 5.6 dB. Cependant,
il faudrait vrifier que cette variation doffset nest pas lie sa position dans le plan.
Lensemble des offsets prconiss est donn par le tableau 4.4. Lerreur quadratique
moyenne ainsi obtenue est comparable aux rsultats obtenus dans la littrature relative au
lancer de rayons [61], [124].
Pour cette solution S1 on a observ que les points les plus errons se trouvent en limite
de couverture. Lerreur de prdiction obtenue peut incomber plusieurs facteurs : linad-
quation de la modlisation un seul matriau, la non prise en compte dun affaiblissement
3D, mais galement le biais des mesures en limite de couverture.
Tab. 4.4 Valeurs des offsets spcifiques chaque AP pour un indice n=2.4
.
Dans cette partie, nous considrons toujours que lenvironnement nest constitu que
dun seul matriau. On souhaite dterminer linfluence du coefficient daffaiblissement
du seul matriau prsent.
Compte tenu de ltude sur lindice des cloisons, nous avons choisi de fixer lindice du
matriau n = 2.4 et de ne faire varier que le coefficient pour observer son influence
sur le critre dvaluation. Des valeurs de f ont t calcules avec un pas logarithmique
p = 10x , x [1, 5] pour [0.9, 1.0]. Les valeurs dcart type et doffset sont
prsentes dans la figure 4.7. Les rsultats ont t prsent en fonction de la grandeur 1
sur une chelle logarithmique.
121
CHAPITRE 4. VALIDATION DES PRDICTIONS
Ecart type obtenu pour chaque points daccess en fonction du coefficient daffaiblissement du materiau
9
8
Ecart type (dB)
3
5 4 3 2 1
10 10 10 10 10
1Alpha (echelle Logarithmique)
Erreur moyenne obtenue pour chaque points daccess en fonction du coefficient daffaiblissement du materiau
45
AVAYA1
AVAYA2
50
Erreur moyenne (dB)
ALLIED
DLINK
55 HP
PROXIM
60
65
70
5 4 3 2 1
10 10 10 10 10
1Alpha (echelle Logarithmique)
On peut dduire des courbes de la figure 4.7 que la sensibilit du coefficient (1 ) est
de lordre de 1.102 , car en dea, on nobserve plus de variations. La valeur minimale de
est obtenue pour les donne dAVAYA1, AVAYA2, DLINK et HP quand tend vers 1, ce
qui correspond une absorption nulle et toute lnergie est transmise ou rflchie. Le mur
se comporte comme un seul dioptre. Ceci peut se comprendre au vu de la longueur donde
de simulation utilise (s = 62cm) qui est 3 fois suprieure lpaisseur dune cloison de
20 cm.
Les jeux de test ALLIED et PROXIM prsentent une valeur du coefficient diffrente
de 1.0. Un optimum est trouv pour lAP ALLIED quand vaut 0.98. On observe une
amlioration de 0.2 point de lcart type par rapport la valeur de pour = 1.0, ce
qui est faible. Pour les donnes PROXIM, on observe une relle amlioration quand vaut
0.9. Ceci permet probablement de compenser les erreurs de mesures dont nous avons parl
prcdemment.
Cette approche ne permet pas tout fait de conclure quand lintrt du coefficient
, car on a fix lindice du matriau sa valeur optimale lorsque = 1. Pour effectuer
une recherche plus globale, nous avons utilis lalgorithme DIRECT pour chercher une
meilleure solution avec les 2 variables n et . Les valeurs de n appartiennent lintervalle
[1.0, 3.0] et celles de [0.9, 1.0]. Les solutions trouves par lalgorithme sont prsentes
dans le tableau 4.5. En terme de comparaison, les solutions trouves quand seul lindice n
est variable ( fix 1) sont rappeles dans ce tableau.
122
CHAPITRE 4. VALIDATION DES PRDICTIONS
Tab. 4.5 Comparaison des valeurs obtenues aprs optimisation de n et avec les valeurs
obtenues pour = 1 fix.
Conclusion partielle. Les valeurs optimales trouves par lalgorithme sont sensiblement
les mmes que celles obtenues quand on fixe 1. On peut en conclure que le coefficient
daffaiblissement a trs peu dinfluence, en tout cas dans lenvironnement du CITI. En
ralit, ce rsultat se comprend, car ce coefficient intervient en ajoutant de labsorption
au cours de la propagation. Comme les murs sont relativement fins comparativement la
longueur donde de simulation, cette absorption reste ngligeable. Ce rsultat permet de
supprimer la moiti des variables de calibration.
Ecart type obtenu pour chaque point dacces en fonction du coefficient daffaiblissement de lair
140
AVAYA1
120 AVAYA2
ALLIED
100
Ecart type (dB)
DLINK
HP
80
PROXIM
60
40
20
0
6 5 4 3 2 1
10 10 10 10 10 10
1AlphaAir (echelle Logarithmique)
Erreur moyenne obtenue pour chaque point dacces en fonction du coefficient daffaiblissement de lair
200
AVAYA1
150 AVAYA2
Erreur moyenne (dB)
ALLIED
100 DLINK
HP
PROXIM
50
50
100
6 5 4 3 2 1
10 10 10 10 10 10
1AlphaAir (echelle Logarithmique)
Fig. 4.8 Ecart type et Offset obtenus en fonction de laffaiblissement de lair air .
123
CHAPITRE 4. VALIDATION DES PRDICTIONS
140
120
100
80
60
40
20
0
1
10
2
4
10 3.5
3
3 2.5
10
2
1.5
4
1AlphaAir (echelle logarithmique) 10 1
Indice
Le minimum obtenu sur la grille prsent dans la figure 4.9 est obtenu pour un in-
dice n=2.4 et toujours pour un coefficient daffaiblissement de lair qui vaut 1.0. On peut
conclure que les prdictions de WILDE qui suivent en espace libre un modle dattnuation
en 1r sont proches des mesures effectues dans le laboratoire CITI. En effet, le btiment
de test prsente plusieurs tages, rguliers, spars par des dalles en bton relativement
paisses. Il peut donc tre modlis par un milieu en couches. Grce aux rflexions au
sol et au plafond, laffaiblissement dans une des couches est finalement assez proche dun
124
CHAPITRE 4. VALIDATION DES PRDICTIONS
affaiblissement en 1r .
Pour vrifier cette affirmation, nous avons trac sur la figure 4.10 la courbe des puis-
sances mesures et simules dans le couloir du CITI partir du point daccs ALLIED. Ce
sont les points de mesure E18 E6 de la figure 4.1. La rgression linaire obtenue laide
des mesures relles est galement reprsente sur cette figure.
Fig. 4.10 Puissances mesures et simules le long du couloir pour lAP ALLIED.
Lattnuation suit en moyenne une pente de 14 dB par dcade au niveau des points de
mesure, ce qui est assez proche dun modle en r 1 . Dautre part, la cohrence mesure-
simulation est assez bonne. On observe une erreur plus importante la fin de la courbe,
quand le niveau de signal dALLIED est faible. Cette erreur provient au moins en partie
de la surestimation de la puissance moyenne des mesures car nous avons vrifi que les
histogrammes des points E8, E7 et E6 sont tronqus sur la gauche.
Conclusion partielle. Lattnuation prdite par le moteur WILDE au CITI est proche
de lattnuation observe dans un milieu en couches. Il est donc inutile dintroduire un co-
efficient daffaiblissement de lair dans le processus de calibration pour lenvironnement du
CITI. Ce rsultat nous permet de supprimer une des variables du processus de calibration
pour le CITI. Cependant, il serait intressant de tester limpact de ce coefficient dans un
espace ouvert qui prsenterait moins de murs et surtout de grandes hauteurs (hangar, hall,
...).
125
CHAPITRE 4. VALIDATION DES PRDICTIONS
que linfluence des indices, ce qui permet de garder un nombre restreint de variables et
deffectuer une recherche exhaustive.
Nous avons effectu une estimation de la fonction de cot en faisant varier les indices
des deux matriaux entre 1.0 et 4.0 avec un pas fixe pn = 0.1. Dans la premire partie,
nous tudions comme prcdemment lutilisation dun jeu de mesures provenant dun seul
AP et dans la seconde partie lutilisation dun jeu de mesures provenant des 6 AP prsents
lors de la mesure. La qualit des solutions obtenues est galement value laide dun
critre EQM moyenn sur les diffrents jeux de tests.
Les minima obtenus lors du calcul des grilles en deux dimensions pour chaque jeu
de mesures sont prsents dans le tableau 4.6. Les deux dernires colonnes du tableau
rappellent les valeurs dcart type et doffset obtenues avec un seul mattiau. La figure
4.11 donne la rpartition de lcart type e sur la grille des indices pour chaque jeu de
mesures.
8 8 8
indice Beton
indice Beton
indice Beton
2 2 2
3 6 3 6 3 6
4 4 4
1 2 3 1 2 3 1 2 3
indice Cloison indice Cloison indice Cloison
8 8 8
indice Beton
indice Beton
indice Beton
2 2 2
3 6 3 6 3 6
4 4 4
1 2 3 1 2 3 1 2 3
indice Cloison indice Cloison indice Cloison
Fig. 4.11 Ecarts types e obtenus en fonction des indices nb et ncl pour chaque jeu de
mesures.
Si lon compare ces rsultats avec les solutions obtenues avec un seul matriau on
observe une diminution de lerreur de 0.65 point en moyenne. De mme, une baisse de 4.75
points sur loffset est observe.
126
CHAPITRE 4. VALIDATION DES PRDICTIONS
Tab. 4.6 Minima pour les indices bton et cloison obtenus avec chaque jeu de mesures.
Cependant, trois valeurs distinctes dindice des cloisons ont t trouves : 1.2, 2.4 et
3.3. Pour lindice bton, on a quatre solutions centres autour de 2.5. Deux solutions sont
proches de 1.3. Si lon observe les figures reprsentant lerreur pour chaque jeu de mesures
(fig. 4.11), on observe que la dtermination de lindice des cloisons se fait aisment. En
effet, on observe une zone minimale relativement nette pour ncl proche de 2.4, mme si
elle nest pas forcment la zone contenant le minimum absolu. Pour lindice du bton, il
existe plusieurs zones avec des minima locaux. De plus, ces zones ne sont pas forcment les
mmes pour tous les jeux de mesures.
Dans lenvironnement du CITI, les murs en bton ne sont pas trs prsents. En effet, il
nexiste que 3 parois en bton. Deux parois se situent au niveau des faades Est et Ouest
et une paroi divise le btiment en deux dans le sens de la longueur (cf. figure 4.1). Ainsi,
linfluence de la variation de lindice du bton nest pas la mme pour chaque jeu de test : le
nombre de points de test influencs par une variation de lindice du bton varie en fonction
de la position des AP. Cest probablement pour cela quil est plus difficile destimer lindice
du bton et de trouver une valeur gnrique applicable tous les jeux de tests.
Finalement, en intgrant un deuxime matriau, on amliore les prdictions, mais le
modle obtenu pour chaque AP devient trs spcifique, et probablement li lemplacement
de lAP, ce qui nest pas souhaitable. La qualit des solutions obtenues avec chaque jeu de
mesures a t estime en les appliquant tous les jeux de test. Le tableau 4.7 prsente la
moyenne sur les 6 jeux de tests des erreurs quadratiques moyennes, des cart-types et de
lesprance de la fonction erreur de prdiction calculs avec les 6 solutions obtenues. Si lon
compare lefficacit de ces solutions aux rsultats obtenus avec 1 matriau (cf. tab. 4.2),
on observe une erreur en moyenne plus leve de 0.45dB.
Tab. 4.7 Moyenne sur les 6 jeux de test des erreurs quadratiques moyennes EQM, des
carts-types et des erreurs moyennes E pour les 6 solutions trouves.
127
CHAPITRE 4. VALIDATION DES PRDICTIONS
Ecart type moyen apres calibration observe pour les predictions relatives aux 6 points dacces
1
13
1.5
12
11
2
Indice Beton
10
2.5
9
3 8
7
3.5
Fig. 4.12 Ecarts types de la fonction erreur de prdiction calcule avec les 6 jeux de
mesures en fonction des indices nb et ncl .
La solution minimale obtenue avec les 6 jeux de mesures prsente un indice bton
nb = 3.9 et un indice cloison ncl = 2.4 (cart type minimum de 5.31 dB). Ce dernier est
identique lindice du matriau unique tudi prcdemment. On observe que lestimation
de lindice du matriau bton est moins prcise. Le critre est infrieur 6dB sur une zone
dindice bton variant de 2.9 3.5. Pour cette plage la variabilit est de 0.08 dB. Il est
donc difficile de trouver une valeur prcise pour le bton.
On peut en conclure que dans la phase de choix de la localisation des points de mesure,
il est ncessaire de rpartir les AP de faon bien couvrir lensemble des diffrents types
de matriaux prsents dans lenvironnement. Ce nest pas le cas ici. La meilleure solu-
tion obtenue avec le critre 6 points daccs est la solution S2 = (nb = 3.9, ncl = 2.4,
Offset=-65). La figure 4.13 prsente la puissance mesure et la puissance simule aux
points de mesure pour chaque jeu de mesures. Ce sont les points en limite de couverture
et en particulier pour PROXIM qui sont les moins bien estims, comme prcdemment.
Les points entachs de plus de 8 dB derreur sont les points qui se trouvent en limite de
couverture.
128
CHAPITRE 4. VALIDATION DES PRDICTIONS
Fig. 4.13 Puissance mesure et simule avec la solution S2 calcule pour deux materiaux.
129
CHAPITRE 4. VALIDATION DES PRDICTIONS
Tab. 4.8 Erreurs quadratiques moyennes sur les 6 jeux de tests avec les solutions S1 et
S2 obtenues pour 1 et 2 matriaux
Il est clair quune amlioration des rsultats de prdiction est observe quand on mo-
dlise le laboratoire du CITI avec 2 matriaux. On observe une baisse de lEQM de 0.3dB.
Si lon adapte loffset chaque jeu de test, on obtient une EQM de 5.3 dB. Notons aussi
la plus grande stabilit de loffset, avec cette modlisation. En effet, pour les deux AP
AVAYA, identiques, on obtient exactement le mme offset, ce qui ntait pas le cas avec la
modlisation 1 seul matriau.
Tab. 4.9 Valeurs des offsets spcifiques aux points daccs pour les indices nb = 3.9 et
ncl = 2.4
.
130
CHAPITRE 4. VALIDATION DES PRDICTIONS
4.1.4 Synthse
Dans cette partie, nous avons montr que le simulateur, une fois calibr, pouvait pr-
dire correctement la couverture dun AP 2,4GHz, malgr lutilisation dune frquence
de simulation infrieure, et lutilisation dun modle 2D. Nous avons nanmoins montr
limportance de bien rpartir les points de mesure et de travailler avec plusieurs AP de
mme type. Lutilisation de la mesure de puissance fournie par la carte WiFi est suffisante,
mais il faut faire trs attention aux mesures faites en limite de couverture, qui peuvent
prsenter facilement une valeur biaise.
Ltude relative lenvironnement du CITI modlis laide dun seul matriau a mon-
tr que les coefficients daffaiblissement des matriaux avaient trs peu dinfluence.
Ceci peut sexpliquer par la faible paisseur des murs par rapport la taille de la longueur
donde. Toute lnergie est soit transmise, soit rflchie au niveau des murs. Dans ce cas, le
comportement de lindice du matriau suffit modliser le faible affaiblissement cr par
le matriau. Nanmoins, il serait intressant dtudier linfluence de lpaisseur des murs
pour rellement statuer sur lutilit des coefficients daffaiblissement.
Pour le mme environnement, nous avons observ que lintroduction dun coefficient
daffaiblissement de lair infrieur 1.0 navait pas dinfluence sur la qualit de la pr-
diction. Ainsi le modle daffaiblissement 2D intrinsque au simulateur est appropri la
prdiction de couverture dans des btiments semblables lenvironnement de test. Nan-
moins, cette conclusion ne peut tre tendue aux environnement ouverts (halls, patios...)
qui prsentent une attnuation plus importante. De ce fait, il serait bon de mener le mme
type dtude dans un environnement de test ouvert.
En utilisant 2 matriaux pour modliser le CITI, nous avons obtenu une erreur lg-
rement suprieure 5dB, condition dadapter loffset pour tenir compte des puissances
dmission de chaque type dAP. Dans ce cas, lindice des cloisons vaut ncl = 2.4 et lindice
du bton vaut nb = 3.9.
131
CHAPITRE 4. VALIDATION DES PRDICTIONS
Jeu de test Sol. optim DIRECT Sol. Grille NBI NBE T (min)
n e n e
AVAYA1 2.68 5.74 -56 2.65 5.74 -55 4 20 20
AVAYA2 2.38 5.45 -62 2.35 5.45 -63 3 14 14
HP 2.43 5.05 -61 2.45 5.08 -60 4 20 20
DLINK 2.42 4.75 -60 2.40 4.72 -61.5 4 18 18
ALLIED 2.46 3.76 -64 2.45 3.76 -64 4 18 18
PROXIM 2.83 5.05 -63 2.85 5.05 -64 4 18 18
6 AP 2.42 5.94 -61.3 2.40 5.9 -62 4 20 20
Tab. 4.10 Tableau comparatif entre les valeurs obtenues avec DIRECT et les valeurs
optimales pour 1 matriau.
Les diffrences entre les valeurs obtenues sur la grille et les valeurs de lalgorithme sont
dune part dues larrondi du pas de la grille et dautre part lalgorithme DIRECT qui
dcoupe les cts des hypercubes en tiers pour tester les solutions.
On observe que lon converge en moyenne en 4 itrations vers la solution optimale pour
tous les jeux de test. Ces 4 itrations ncessitent environ 18 valuations de la fonction de
cot, ce qui est peu. Ainsi, si lon suppose que le temps ncessaire au calcul dune valuation
est de 1 minute (cf. 3.1, 105), le processus de calibration 1 matriau ne ncessite en
moyenne que 18 minutes de traitement pour un environnement de 80 18.4 mtres.
Cette convergence est particulirement rapide car le minimum se trouve en 2.4, ce
qui est trs proche du centre du premier intervalle test (cube 1 dimension). En effet,
lors du premier dcoupage de lintervalle de cot 9, on va calculer les solutions qui se
trouvent lindice 2.5, 5.5 et 8.5. Lintervalle contenant lvaluation de lindice 2.5 sera
132
CHAPITRE 4. VALIDATION DES PRDICTIONS
Jeu de test Sol. optim DIRECT Sol. Grille NBI NBE T (min)
nb ncl e nb ncl e
AVAYA1 2.26 3.26 4.6 -66 2.3 3.3 4.6 -66 11 100 100
AVAYA2 2.44 1.2 3.34 -69 2.5 1.2 3.4 -69 13 115 115
HP 1.6 3.3 4.4 -70 1.6 3.3 4.35 -70 25 315 315
DLINK 2.5 2.4 4.4 -61.5 2.5 2.4 4.4 -61.5 29 289 289
ALLIED 2.5 2.4 4.4 -61.5 2.7 2.4 3.76 -66 13 136 136
PROXIM 1.1 3.0 4.7 -71 1.1 3 5 -71 99 1440 1440
6 AP 3.99 2.4 5.57 -65 3.9 2.4 5.6 -65 9 80 80
Tab. 4.11 Tableau comparatif entre les valeurs obtenues avec DIRECT et les valeurs
optimales pour 2 matriaux.
On observe que lon arrive bien retrouver les valeurs optimales calcules laide de
la grille. La figure 4.14 reprsente lvolution du critre en fonction du nombre ditrations
133
CHAPITRE 4. VALIDATION DES PRDICTIONS
pour les instances issues des jeux de mesure 1 point daccs. Pour certains jeux de test, il
faut une centaine dvaluations de fonctions pour converger, ce qui est peu. Encore une fois,
la convergence est rapide car lindice optimal des cloisons se trouve au centre de lintervalle
[1.0, 4.0].
6.5
Proxim
Allied
Avaya1
6 Avaya2
HP
Dlink
5.5
5
e
4.5
3.5
3
0 1 2
10 10 10
Iterations
Fig. 4.14 Evolution du critre en fonction du nombre ditrations pour les 6 instances
1AP.
Par contre, pour le jeux de test PROXIM, il a fallu 1440 valuations cause de la
prsence dun autre optimum prsent aux indices nb = 2.4 et ncl = 3.3 vers lequel on
converge au bout de 12 itrations. Cet optimum est atteint rapidement car il est proche
des premires solutions testes par lalgorithme sur lintervalle [1, 4]. Il faut attendre que
lalgorithme slectionne un hyper-rectangle centr autour du minimum pour quil y ait une
seconde convergence vers celui-ci. Pour ce jeu de test, les performances sont mauvaises car
il a fallu raliser autant dvaluations que pour un calcul de grille sur lintervalle [1.0, 4.0]
avec un pas de 0.08.
Les indices obtenus avec le critre 6 AP sont trouvs aprs 80 valuations de fonctions.
Si une valuation dure une minute, ceci reprsente 1h20min de calcul. Le calcul effectu
avec ce critre converge plus rapidement. Si lon observe la fonction dvaluation calcule
sur la grille (cf. Fig. 4.12, p.128) , on observe que la zone comportant le minimum prsente
des valeurs dcart type nettement infrieures aux autres optimums locaux. Ceci nest pas
le cas pour les critres un point daccs. Comme la solution optimale est bien infrieure
aux autres, lalgorithme converge plus rapidement vers celle-ci. Ceci nous conforte dans
lide que le critre 6 AP est plus efficace que le critre un seul point daccs.
134
CHAPITRE 4. VALIDATION DES PRDICTIONS
On observe que pour le critre 6 AP la valeur de lindice du bton est plus proche de
4.0 que de 3.9. La recherche de loptimum sur la grille na pas test la valeur nb = 4.0. Si la
valeur de lindice du bton augmente, on observe une faible diminution de e . Par exemple,
pour nb = 10.0, on a e = 5.527, pour nb = 100 on a e = 5.51964 et pour nb = 1000,
e = 5.51957. Ce phnomne est prsent sur le graphe 4.15 qui montre lvolution du
critre en fonction de lindice du bton quand lindice des cloisons est fix 2.4.
7.5
7
Ecart type e
6.5
5.5
0 5 10 15
Indice Beton
Fig. 4.15 Ecarts types e obtenus en fonction de lindice du bton nb avec le critre 6
AP. ncl = 2.4
135
CHAPITRE 4. VALIDATION DES PRDICTIONS
les mmes que prcdement. Comme on ne connait pas lavance les solutions optimales,
nous avons stopp la rsolution au bout de 1000 itrations.
Les solutions obtenues sont prsentes dans le tableau 4.12.
Tab. 4.12 Tableau des solutions obtenues avec DIRECT pour 3 matriaux.
La moyenne des cart-types minimaux (e du tableau 4.12) que lon obtient en opti-
misant les indices avec des jeux de tests un point daccs est de 3.9. Quand on calcule la
mme moyenne avec les donnes 1 matriaux (e du tableau 4.1), on obtient une valeur
de 5.0 et pour les donnes 2 matriaux (e du tableau 4.6), on obtient une moyenne de
4.3. Si lon adapte les indices un seul point daccs, on arrive obtenir une meilleure
estimation de la puissance si lon augmente le nombre de matriaux.
6
Proxim
Allied
Avaya1
Avaya2
HP
Dlink
5.5
5
e
4.5
3.5
3
0 1 2 3
10 10 10 10
Iterations
Fig. 4.16 Evolution du critre en fonction du nombre ditrations pour les 6 instances
1AP.
Par contre, on observe quil faut bien plus ditrations pour converger vers une solution
intressante. Il faut en moyenne 1830 valuations de fonctions quand on estime 3 indices
tandis quil suffit de 18 valuations en moyenne pour estimer 1 seul indice.
136
CHAPITRE 4. VALIDATION DES PRDICTIONS
La figure 4.16 prsente lvolution du critre en fonction des itrations de calcul DI-
RECT pour les instances 1AP. La courbe dvolution du critre pour linstance 6 points
daccs est donn dans la figure 4.17.
Ds la premire itration de linstance six points daccs, on trouve une solution avec
un cart type de 5.8 dB. Ceci est d au choix des intervalles de dpart. En effet, lindice
qui influence le plus la valeur du critre est lindice des cloisons. Or, lhypercube de dpart
est centr autour de la solution (nb = 5.5, ncl = 2.5, ncv = 3). La convergence vers la valeur
dindice de cloison de 2.4 se fait en 4 itrations. Cest le choix des autres indices qui est
plus long. Il serait intressant dobserver sur quels points agissent les variations dindices
bton ou cloison vitre.
Fig. 4.17 Evolution du critre et des indices en fonction du nombre ditrations pour
linstance 6 AP.
La premire solution trouve par DIRECT avec le critre 6AP prsente un indice bton
nb = 7.16, un indice cloison ncl = 2.5 et un indice des cloisons vitres ncv = 3.0. Loffset
vaut alors -63.5 dB. La fonction dvaluation de cette solution est suprieure de 0.4 dB
par rapport la fonction minimale obtenue qui vaut 5.4 dB. La solution optimale prsente
un indice bton nb = 5.4, un indice cloison ncl = 2.4 et un indice des cloisons vitres
ncv = 1.3. Ces valeurs sont bien diffrentes de la premire solution. Si on calcule lefficacit
de cette solution pour les 6 jeux de tests en se basant sur la moyenne des EQM de chaque
instance, on obtient une performance de 5.9 dB derreur moyenne. La solution minimale
prsente une efficacit de 5.3 dB pour les 6 instances, ce qui est bien meilleur. Mme si les
premires solutions obtenues avec DIRECT sont intressantes, le gain en qualit au terme
du processus nest pas ngligeable. Mais il nest pas ncessaire dattendre 313 itrations
pour slectionner une solution. En effet, la figure 4.17 nous montre que le critre est proche
de 5.4 dB au bout de 47 itrations aprs avoir ralis 650 valuations de fonction.
Lalgorithme DIRECT a donc russi a trouver un minimum, au moins local, et proba-
blement global, si on compare aux rsultats de modlisation 1 ou 2 matriaux.
Il est intressant danalyser les solutions trouves avec ce modle normalement plus
raliste. Les solutions obtenues avec les jeux de tests utilisant un seul point daccs sont
137
CHAPITRE 4. VALIDATION DES PRDICTIONS
bien diffrentes lune de lautre. Lefficacit des solutions trouves est prsente dans le
tableau 4.13. Cette efficacit est encore value laide du calcul des EQM pour chaque
jeu de tests. Ces rsultats confirment les rsultats trouvs prcdemment : lutilisation dun
seul AP pour effectuer les mesures conduit des solutions spcifiques au placement de lAP.
Tab. 4.13 Moyenne sur les 6 jeux de tests des erreurs quadratiques moyennes pour les
solutions trouves avec 3 matriaux.
Cest donc bien entendu avec le critre 6 points daccs que lon obtient la meilleure
solution. Cette solution S3 = (nb = 5.4, ncl = 2.4, ncv = 1.4) prsente des valeurs dindice
ralistes. Lindice des cloisons est identique celui de la solution un matriau S1 = (n =
2.4). Lindice du bton est galement proche de lindice du bton obtenu pour 2 matriaux.
Les performances de toutes les solutions sont rappeles dans le tableau 4.14. Si lon
compare la performance de la solution S3 avec celle des solutions S1 et S2 , le critre est
lgrement amlior.
Condition darrt de lalgorithme. Comme on peut sen rendre compte sur les figures
4.17 et 4.16, dterminer une condition darrt est dlicat. En effet, la convergence locale de
DIRECT est lente. Pour palier cela, il est possible soit de borner le nombre ditrations,
soit de stopper lalgorithme si lamlioration du critre nest pas suffisante au bout dun
temps T fix ou encore terminer la recherche en utilisant un algorithme de descente.
La dernire proposition ncessite la cration dun algorithme de recherche qui utilise
le mme processus de slection des hyper-rectangles potentiellement optimaux et de d-
coupage, mais qui, partir dune taille dhyper-rectangle L fixe, lance un algorithme de
recherche locale partir du centre de ces hyper-rectangles. Les hyper-rectangles qui nau-
ront pas men une solution meilleure au sens du critre ne seront plus slectionns par la
suite. On considre alors que cette partie de lespace de recherche sera totalement explore.
Lefficacit de lalgorithme dpendra de la taille L. Plus L est faible, plus il faudra dit-
rations de DIRECT pour converger, mais plus on aura de chances de trouver loptimum
global. Plus L est grand, plus le nombre ditrations de DIRECT sera faible. La taille de L
doit tre choisie en fonction de la rugosit du critre doptimisation. Si la fonction dva-
138
CHAPITRE 4. VALIDATION DES PRDICTIONS
luation est trs "cahotique", L devra tre choisi trs petit. Par contre, plus la fonction se
rapproche dune fonction lisse variations lentes, plus L pourra tre grand.
Quand on observe les fonctions dvaluation du problme de calibration, on se rend
compte quelles sont relativement lisses. Lalgorithme doptimisation prsent ci-avant de-
vrait permettre de converger plus rapidement vers une bonne solution. Le critre darrt
sera plus restrictif puisque lon supprime des hyper-rectangles au fur et mesure.
4.2.4 Conclusion
La premire remarque que lon peut effectuer traite de lefficacit de lalgorithme DI-
RECT : il converge vers une bonne solution, cependant il met du temps converger si deux
optimums locaux sont proches et que le critre est peu discriminant.
Dautre part, la solution la plus stable obtenue pour chaque environnement test est
bien celle calcule laide du critre 6 points daccs. Celui-ci est moins influenc par les
proprits intrinsques des antennes (gain, directivit ...).
En analysant les rsultats en terme defficacit, on peut conclure que si lon modlise
plus fidlement lenvironnement de test en augmentant le nombre de matriaux prsents,
on amliore les rsultats destimation. Cependant, on augmente galement le nombre de
variables ce qui allonge considrablement le temps ncessaire la calibration du moteur.
Dans sa version actuelle, la modlisation un matriau ne ncessite que 20 minutes de
traitement, tandis que la modlisation 3 matriaux dure au moins 650 minutes (soit
11 heures) pour le critre 6 points daccs. Il est cependant possible damliorer les
performances de lalgorithme DIRECT en diminuant la taille des intervalles de recherche
des indices et en optimisant le choix depsilon.
Le principal inconvnient de la mthode DIRECT est la lenteur de convergence locale.
Il serait intressant de crer une procdure doptimisation utilisant DIRECT mais qui,
partir dune certaine taille dhyper-rectangle, rajoute une recherche par descente pour
converger plus rapidement. Cependant le problme de temps est li au calcul du pr-
traitement complet, ncessaire chaque changement de valeur de paramtre. Il serait donc
souhaitable de rduire le temps de traitement en diminuant le temps mis pour valuer
une seule solution. Des travaux sont en cours pour acclrer le pr-traitement du calcul de
couverture.
Une autre possibilit pour acclrer la phase de calibration consisterait ne travailler
dans cette phase que sur une partie de lenvironnement, pour rduire la taille du problme.
Mais pour cela il est ncessaire de vrifier que la solution obtenue de cette manire donne
des rsultats corrects sur lensemble de lenvironnement.
Comme le cot de traitement dune seule valuation de fonction est important, il serait
intressant dimplanter une heuristique de recherche qui limite encore plus le nombre dva-
luations de f . Pour cela, nous pensons quil serait intressant dimplanter un algorithme de
recherche globale de type Response Surface Modelling (RSM). Ces algorithmes, prsents
dans [125], utilisent les points dj tests de la fonction de cot pour obtenir une interpola-
tion de ladite fonction. Cest la forme de la fonction interpole de f qui guide la recherche.
A chaque itration, linterpolation est mise jour avec les nouvelles valuations de f . Ce
type dalgorithme permet, daprs D.R.Jones [125], de limiter le nombre dvaluations.
139
CHAPITRE 4. VALIDATION DES PRDICTIONS
Fig. 4.18 Rpartition des points de mesure au 2me tage du btiment Lonard de Vinci
- 2e campagne de mesures.
Lors des mesures, seuls trois points daccs sont prsents : AVAYA1, AVAYA2 et AL-
LIED. Les deux premiers nont pas chang de position tandis quALLIED a t plac dans
une autre pice. Les mesures relatives aux deux premiers points daccs vont permettre de
statuer quant la stabilit temporelle des solutions. Les mesures relatives ALLIED vont
permettre de tester la stabilit des solutions dans un mme environnement.
Pour tester la portabilit des solutions, celles-ci ont t utilises pour prdire la puis-
sance reue aux points de mesure du jeu de mesures BuildingG (cf. 4.3, p. 116).
Tests raliss
Le tableau 4.15 regroupe les rsultats obtenus lors de la seconde campagne de mesure
du CITI. Sur chaque ligne, on rsume les rsultats dune solution en terme dcart type
140
CHAPITRE 4. VALIDATION DES PRDICTIONS
Tab. 4.15 Ecart type, Moyenne et EQM des erreurs de prdiction avec S1 , S2 et S3 pour
le second jeu de tests du CITI.
Le tableau 4.16 prsente les rsultats obtenus avec le second environnement de tests
BuildingG (Fig.4.3, 116). Pour chaque solution, on a calcul la moyenne Me , lcart type
e et lEQM des erreurs de prdiction. Dans cet environnement, un seul point daccs de
type 802.11b est prsent.
Solution e Me EQM
S1 4.0 dB -3 dB 6.1 dB
S2 4.9 dB -2 dB 4.5 dB
S3 4.3 dB -2 dB 5.0 dB
Tab. 4.16 Ecart type,Moyenne et EQM des erreurs de prdiction avec S1 , S2 et S3 pour
le jeu de tests de BuildingG.
4.3.2 Analyse
La stabilit dans le temps
Pour cette analyse, nous nous intressons aux rsultats relatifs aux points daccs
AVAYA1 et AVAYA2 du second jeu de tests du CITI. Leurs positions sont les mmes
dans les deux jeux de test relatifs au CITI. Il est important de noter que les positions des
points de mesure dans le nouveau jeu de tests sont diffrentes des positions du jeu de test
de calibration.
Pour observer la stabilit dans le temps des diffrentes solutions, il faut comparer les
EQM obtenues avec le jeu de tests de calibration et les EQM du nouveau jeu de test pour
chaque solution. Le tableau 4.17 prsente pour chaque ligne les EQM pour AVAYA1 et
AVAYA2 relatives aux deux jeux de tests. Les termes calibration et jeu2 font rfrence
respectivement au jeu de tests utilis pendant la calibration et au nouveau jeu de tests.
Tab. 4.17 Comparaison des EQM issues des solutions S1 , S2 et S3 pour les jeux de tests
relatifs aux points daccs AVAYA1 et AVAYA2.
Le second jeu de tests prsente des erreurs quadratiques moyennes proches de celles
141
CHAPITRE 4. VALIDATION DES PRDICTIONS
observes avec le jeu de tests de calibration pour toutes les solutions. Seule lvaluation
de S1 avec le nouveau jeu de tests AVAYA2 est plus mauvaise que lvaluation du jeu de
tests de calibration. On peut conclure que les trois solutions obtenues permettent destimer
la couverture pour un mme point daccs des moments diffrents avec la mme EQM.
Ces solutions peuvent tre considres pour lenvironnement du CITI comme tant stables
dans le temps.
Tab. 4.18 Comparaison de e , Me et EQM issus des solutions S1 , S2 et S3 pour les deux
jeux de tests ALLIED.
142
CHAPITRE 4. VALIDATION DES PRDICTIONS
4.3.3 Conclusions
Le but de ce chapitre tait de dfinir un processus de calibration de WILDE et dtudier
la qualit de ses prdictions.
Aprs avoir prsent les campagnes de mesures effectues, un travail danalyse de la
fonction dvaluation utilise a t men avant le lancement proprement parler de la ca-
libration. Cette analyse a permis de conclure sur le peu dinfluence des coefficients daffai-
blissement des matriaux. Nous avons donc supprim ces variables du problme. De mme,
laffaiblissement fictif de lair pour compenser le modle 2D ne sest pas avr ncessaire.
Nous avons cependant choisi de garder cette possibilit, afin de tester des environnements
plus ouverts dans lavenir.
Concernant les AP, 3 recommandations ont pu tre tablies. Tout dabord, le fait de
travailler avec des AP identiques facilitera le travail de calibration. En effet, du fait de la
directivit verticale des antennes, et des diffrents rglages possibles, tous les quipements
nont pas la mme puissance de rayonnement quivalente dans le plan. Il est cependant pos-
sible de fixer un offset propre chaque type dAP. La deuxime recommandation concerne
la phase de mesures. Nous avons montr quil tait important de positionner plusieurs AP
pour permettre une calibration robuste du moteur. Enfin, la troisime recommandation
concerne le systme de mesure. Sil est possible dutiliser lquipement WiFi standard pour
faire les mesures, il faut pralablement bien tudier le seuil rel de mesure, garantissant
des mesures de puissance moyenne non biaises. On en a vu les consquences avec lAP
PROXIM
Concernant la modlisation, nous avons pu voir que laugmentation du nombre de
matriaux diffrents permet bien damliorer la qualit des prdictions mais au dtriment
dun temps de calibration plus important et au risque dobtenir un rglage spcifique la
configuration tudie.
Finalement, nous avons mis en oeuvre un algorithme de recherche directe, pour effectuer
la calibration. Cet algorithme fonctionne correctement, mais prsente un temps de calcul
relativement long ds que lon veut travailler avec plusieurs paramtres. Ce temps de calcul
est li la phase de pr-traitement qui est longue. Nous avons propos quelques pistes
pour rduire ce temps de calcul, mais sans les implanter. En dfinitive, les mesures que
nous avons faites ont montr que lon pouvait fixer les indices des matriaux partir de
nos mesures, et effectuer une calibration en jouant uniquement sur loffset. Dans ce cas
la calibration est trs rapide. La calibration fine des indices est donc faire dans le cas
o on se trouve dans un environnement constitu de matriaux inhabituels, ou avec des
quipements non tests. Pour le reste du temps, la calibration des mesures avec loffset
est suffisante. Il est dailleurs possible de lvaluer. On propose lapproche suivante lors du
dploiement sur site. Linstallateur pourra commencer par faire une premire calibration
rapide avec loffset uniquement, en conservant les paramtres que nous avons estim. Sil
arrive un critre rsiduel infrieur 6dB, il pourra considrer que sa modlisation est
correcte. Au contraire, si lerreur reste suprieure, il pourra alors mettre en oeuvre une
calibration fine pour essayer damliorer les rsultats de prdiction.
143
Partie III : Stratgies de planification
wLAN
144
Introduction
146
CHAPITRE
Modlisation du problme
5 wLP
5.1 Variables et contraintes
Nous avons choisi de dfinir un ensemble discret des positions candidates pour les
raisons suivantes :
Pour que ce choix soit pertinent, il faut quune position candidate soit reprsentative
des positions candidates proches delle. Comme nous lavons dj prsent dans la partie
I (p.8), la section 1.2 et plus particulirement laide de la figure 1.8 (p.20), deux
metteurs placs dans la mme pice prsentent des cartes de couverture similaires. Les
seules diffrences que lon peut observer se trouvent la priphrie de leurs zones de service.
De ce fait, nous allons chercher slectionner au moins une position candidate par pice.
Pour cela, nous exploitons le dcoupage multi-rsolution inhrent la mthode de
prdiction de couverture MR-FDPF prsente au chapitre 3. Nous dcrivons les choix
raliss pour, la fois, placer les AP candidats et calculer les cartes de couverture dans le
processus de planification.
Nous avons choisi dexploiter le dcoupage en blocs homognes la fois pour calculer
les cartes de couverture des AP candidats et pour les positionner dans le plan. Ainsi, nous
positionnons les M points daccs candidats du processus de planification au centre des
blocs homognes dfinis dans la pyramide MR-FDPF.
La figure 5.1, dnomm Foch, dcrit la rpartition des positions candidates des AP
placs au centre de tous les blocs homognes de la pyramide MR-FDPF. Lenvironnement
reprsent est de taille 119 60 mtres et constitu de 2336 blocs homognes dair.
147
CHAPITRE 5. MODLISATION DU PROBLME WLP
Fig. 5.1 Rpartition des positions candidates au centre des blocs homognes de lenvi-
ronnement Foch.
Borne minimale On observe sur la figure 5.1 quil existe des portions du plan o la
rpartition des AP candidats est bien trop dense. Dans ce cas, lalgorithme de dcoupage
de lenvironnement MR-FDPF a cr beaucoup de blocs homognes de petite surface
cause de la prsence dobstacles plus frquente. Pour viter la redondance dAP candidats
similaires, il faut borner la taille des blocs homognes slectionns pour placer un AP par
une surface minimale Amin .
Borne maximale On observe sur la figure 5.1 quil y a peu dAP placs dans les zones
extrieures au btiment. En ces zones, il y a peu dobstacles et lalgorithme de construction
de la pyramide MR-FDPF cre de trs grands blocs homognes. Ces AP ne sont pas
reprsentatifs du comportement dun point daccs prsent dans le mme bloc homogne
que lui. Pour que cette hypothse soit vrifie, il est ncessaire de borner la taille des blocs
homognes slectionns par une surface maximale Amax .
Liste des blocs candidats Dans la suite du document, nous dsignons lensemble des
blocs homognes slectionns pour contenir un AP candidat par : la liste des blocs candi-
dats. Cette liste est dtermine par un parcours rcursif de larbre de MR-blocs. Les blocs
homognes de surface suprieure Amin et de surface infrieure Amax sont rajouts dans
la liste :
Lors de la recherche, si un bloc homogne Bhl prsente une surface suprieure
Amax , la recherche est poursuivie dans larbre pour slectionner les plus grands blocs
issus de Bhl qui prsentent une surface infrieure Amax .
Si sur une branche de larbre on trouve des blocs homognes ayant une surface in-
frieure Amin , on recherche parmi ses fils le plus grand bloc homogne et on le
rajoute la liste. Cette condition permet de toujours trouver un candidat dans une
zone de surface Amin .
148
CHAPITRE 5. MODLISATION DU PROBLME WLP
Fig. 5.2 Rpartition des positions candidates avec prise en compte de Amin et Amax .
Nous avons propos un placement des AP candidats sur tout le plan. Pour avoir un
ensemble de positions candidates ralisables, il faut permettre de slectionner des zones
o lon pourra rellement installer des AP. Par exemple, on peut supposer quil nest pas
possible dinstaller un AP lextrieur du btiment prsent sur la figure 5.2.
Ainsi, connaissant la liste des blocs candidats, on ne slectionnera que les blocs appar-
tenant une liste de zones de placement des AP. Dans la figure 5.3, nous avons slectionn
267 positions candidates pour placer les AP lintrieur du btiment. Cest lenvironne-
ment de cette figure qui sera utilis pour prsenter les rsultats de planification du chapitre
6.
149
CHAPITRE 5. MODLISATION DU PROBLME WLP
Fig. 5.3 Rpartition des positions candidates avec prise en compte dAmin et Amax
lintrieur du btiment.
Puissances dmission. Un ensemble discret des puissances dmission est dfini par
rapport une puissance de rfrence Pref en dBm et un cart absolu dP cette puissance.
Typiquement, on peut choisir la valeur de P k dans un ensemble de puissance compris
dans lintervalle [Pref dP, . . . , Pref + dP ]. Les cartes de couvertures sont calcules avec
la puissance de rfrence Pref .
Pour prendre en compte un changement P de puissance dmission sur la couverture
dun AP, il suffit dajouter le mme changement P aux prdictions calcules avec la
puissance Pref .
Azimut Lespace discret des azimuts possibles est dfini partir du nombre de directions
ND :
2d
{ ND , d N, d ND 1 }
Pour chaque azimut, il est ncessaire de calculer une carte de couverture. Ainsi, si lon
a M AP candidats, il est ncessaire de calculer ND M cartes de couvertures.
150
CHAPITRE 5. MODLISATION DU PROBLME WLP
Pour cela, nous avons dfini des zones de QoS dlimitant les aires de service. Ainsi, le
calcul des critres de planification ne se fait que sur ces zones de QoS. Avec la mthode MR-
FDPF, on estime la couverture des AP candidats que pour lensemble des blocs homognes
appartenant ces zones de QoS.
On dsigne par la liste des blocs couvrir lensemble des blocs homognes prsents
dans les zones de QoS. Ces blocs homognes sont slectionns par le mme processus que
ceux de la liste des blocs candidats. Pour cela, une taille minimale et maximale des blocs
couvrir est fixe. Le nombre de blocs de la liste est dsign ici par la valeur Nc .
Pour lenvironnement prsent dans la figure 5.3, le temps de traitement pour obtenir
une carte de couverture la rsolution des blocs homognes sur tout lenvironnement est
de 1,1 seconde. En rduisant la zone de service au seul btiment et en limitant la surface
des blocs homognes entre Amin = 600 pixels2 et Amax = 8000 pixels2 , on rduit le temps
de calcul dune carte de couverture 700 millisecondes. On observe un gain de 35 % sur le
temps de calcul des cartes de couverture.
~c = (s1 , . . . , si , . . . , sM )
S (5.2)
~c
0 si APi 6 S
si = (5.3)
(P, ) sinon
151
CHAPITRE 5. MODLISATION DU PROBLME WLP
Bl fmesl (5.4)
Les fonctions de mesure dfinies ci-aprs quantifient lerreur entre une grandeur qui ca-
ractrise le bloc (puissance, dbit, etc ...) et une valeur objectif. Les critres de planification
dfinis partir de fmes ont la forme suivante :
s X
f= l .fmes2l (5.5)
Bl ,l[1..Nc ]
152
CHAPITRE 5. MODLISATION DU PROBLME WLP
des puissances reues. Seuls les points qui prsentent un cart ngatif la valeur moyenne
des niveaux de puissance sont pris en compte dans le calcul de fmes. De ce fait, les blocs
proches dun AP, qui prsentent forcment un cart de puissance important par rapport
la moyenne, ne sont pas pris en compte dans le critre.
Le critre fhom , dfinit laide de la fonction de mesure de lquation 5.6, est valable
puissance dmission P k fixe. En effet, si on cherche minimiser ce critre avec P k
variable, la solution optimale obtenue revient choisir P k = 0.
SOK dBm
-40
-80
SNOK dBm
-40
-80
Fig. 5.4 Prsentation dune bonne et dune mauvaise solution au sens du critre fhom .
Pour SOK , fhom = 3.1 et pour SN OK , fhom = 13.8
La figure 5.5 reprsente la distribution des niveaux de puissance best serveur FlBS pour
les deux solutions SOK et SN OK . On observe bien que le critre fhom privilgie les solutions
qui prsentent un histogramme o la majeure partie des chantillons est proche de la valeur
moyenne, et ce plus particulirement pour les valeurs infrieures la moyenne.
153
CHAPITRE 5. MODLISATION DU PROBLME WLP
SOK
SNOK
100
140
90
120
80
70 100
60
80
50
40 60
30
40
20
20
10
0
100 90 80 70 60 50 40 30 0
100 90 80 70 60 50 40 30
Puissance (dBm) Puissance (dBm)
fhom F BS PF 80dBm
SOK 3.1 -51 dBm 19 dB 100 %
SN OK 13.8 -64 dBm 5 dB 65 %
Tab. 5.1 Performances des solutions SOK et SN OK obtenues avec le critre homogne.
Le critre dhomognit favorise naturellement une solution avec une puissance moyenne
leve. Ceci rsulte en une meilleure rpartition de la puissance mise par les AP. De ce
fait, avec une mme puissance dmission et un mme nombre de points daccs que SN OK ,
la solution SOK assure une couverture complte de lenvironnement -80 dBm.
Il nest pas possible dutiliser ce critre pour dterminer le nombre optimal de points
daccs car plus il y a dAP prsents dans la solution, plus le critre fhom est petit. Pour
pouvoir utiliser ce critre avec un nombre dAP variable, il est ncessaire de lutiliser
conjointement avec un critre qui minimise le nombre de points daccs.
Plusieurs objectifs de couverture radio ont t traits dans la littrature (cf. 1.3.2,
p.24). Dans cet ensemble de critres, ce sont les critres seuil de puissance qui sont le
plus souvent proposs. La forme la plus simple de ces critres est prsente dans lquation
1.8.
Nous avons propos un formalisme gnral de ce type de critres dans la partie 1.3.2. La
figure 1.11 de la page 27 prsente plusieurs fonctions de mesure possible. Nous avons choisi
de travailler avec la fonction reprsente 1.11-(c) car, sans tre aussi brutale quun seuil,
elle permet de borner la pnalisation dun bloc. Cette fonction est de la forme suivante :
154
CHAPITRE 5. MODLISATION DU PROBLME WLP
si FlBS SM ,
0
fmesl = | SM Fl | si Sm FlBS SM ,
BS (5.7)
| SM Sm | si FlBS Sm ,
Les seuils SM et Sm sont deux seuils de puissance haut et bas. Si la puissance FlBS est
infrieure Sm , la pnalisation maximale est applique. Au-dessus de SM , le bloc Bl nest
pas pnalisant pour f . Toutes les valeurs du critre sont ainsi bornes entre 0 et SM Sm .
Entre ces deux valeurs, une pnalisation linaire est utilise, ce qui permet de discriminer
la qualit de deux solutions similaires.
Nous avons choisi dutiliser les seuils de puissance qui permettent avec un rseau 802.11
de changer de rapidit de modulation. Dans ce cas, le niveau de puissance ncessaire la
transmission 1 Mbits/sest affect Sm et le niveau de puissance ncessaire la transmis-
sion 11 Mbits/sest affect SM . Ainsi, les blocs qui ne permettent pas de transmettre
1 Mbits/ssont les plus pnalisants. Les blocs qui permettent la meilleure transmission
possible 11 Mbits/sont une fonction de mesure nulle. Une valeur de fmes intermdiaire
est obtenue pour tous les blocs qui prsentent un niveau de puissance intermdiaire. Pour
un point daccs Proxim ORINOCO AP 4000, on utilise les valeurs de Sm = 90 dBm
et SM = 83 dBm.
SOK dBm
-40
-80
SNOK dBm
-40
-80
Fig. 5.6 Carte de couverture des solutions SOK et SN OK avec le critre seuil progressif.
Pour appliquer ce type de critre la planification dun rseau 802.11g, il faut choisir
une valeur seuil maximale plus importante : la puissance de rception de SM = 68 dBm
permet une transmission 54 Mbits/s.
Nous dsignons dans la suite du document le critre seuil progressif qui exploite la
fonction de mesure de lquation 5.7 par fslope .
155
CHAPITRE 5. MODLISATION DU PROBLME WLP
fslope fhom PF Sm PF SM
SOK 0.0 4.2 100 % 100 %
SN OK 16.5 12.9 86 % 55 %
Tab. 5.2 Performances des solutions SOK et SN OK obtenues avec le critre seuil pro-
gressif.
On observe dans ce tableau que la solution trouve avec le critre seuil progressif
couvre tout lenvironnement et que la valeur du critre dhomognit est assez basse. La
solution SN OK prsente des trous de couverture notables et seule la moiti de la zone est
couverte avec une puissance suprieure SM = 68 dBm.
Comme tous les critres de couverture, le critre seuil progressif ne peut tre appliqu
un problme de planification nombre dAP variable. La minimisation de ce critre tend
trouver des solutions avec un nombre dAP trop important. Pour lenvironnement du
CITI, si lon cherche une solution avec un nombre N , N > 2, dAP fix suprieur 2,
on trouve trs rapidement une solution vrifiant fslope = 0. Ceci est d au fait quil existe
plusieurs solutions.
Le critre seuil progressif est particulirement utile quand on lagrge dautres
critres de qualit de service. Dans ce cas, on peut linterprter comme une contrainte qui
favorise les solutions sans trou de couverture. Le choix entre les solutions qui remplissent
la contrainte de couverture se fait alors laide des autres critres de la fonction de cot
globale. Si les autres critres ont pour effet de diminuer le nombre de points daccs, il est
possible de rechercher le nombre dAP optimal pour un environnement donn.
Le critre dhomognit dfini dans la partie prcdente a pour avantage de toujours
proposer des solutions avec une rpartition homogne des zones de service. Ainsi, si lon
considre une rpartition uniforme des utilisateurs, le trafic gnr par toutes les commu-
nications est rparti quitablement entre les bornes. Le critre de couverture homogne se
suffit lui-mme pour proposer des solutions nombre de points daccs et puissance fixe.
En rsum, le critre de couverture homogne est prfrable lorsquil est utilis seul pour
la recherche nombre dAP fix.
156
CHAPITRE 5. MODLISATION DU PROBLME WLP
Le critre de recouvrement
Le recouvrement de canaux est utile pour assurer la continuit du service sil y a mobilit
du terminal. Dans ce cas, il faut un recouvrement suffisant de deux canaux pour raliser un
changement de cellule (handover) avec succs. Comme prsent dans [18] et [127], il est
possible de rpartir les interfrents dune cellule de rseau mobile en 2 classes de signaux :
les signaux utiles et les signaux interfrents.
Son critre utilise la notion de cellule Ck qui est dfinie par lensemble des pixels bl
servis par la mme station de base et dont la puissance reue est suprieure au seuil de
sensibilit des terminaux Sm (cf. dfinition 1.3 p. 24). On peut rpartir les signaux reus
sur un bloc bl de la cellule Ck du plus puissant au plus faible :
kh+1
Flk Flk1 . . . Flkh Fl . . . Sm . . . (5.8)
Lensemble I k peut comptabiliser plusieurs fois le mme signal interfrent sil est prsent
en plusieurs pixels bl . Le critre de recouvrement peut sexprimer sous la forme dun critre
qui pnalise les solutions o il existe des signaux appartenant I k suprieurs au seuil de
sensibilit Sm :
N X
X
f= max(Fq Sm , 0) (5.10)
k=1 Fq I k
157
CHAPITRE 5. MODLISATION DU PROBLME WLP
s X
finterf = l . max(Flh+1 Sm , 0)2 (5.11)
Bl Nc
si F h+1 P n ,
0
h+1
fmesl = | SM Fl | si P n F h+1 SM , (5.13)
| SM P n | si F h+1 SM ,
Comme pour les critres de couverture, nous illustrons le critre de recouvrement avec
deux solutions SOK et SN OK qui prsentent une bonne et une mauvaise valuation du
critre finterf . Ces deux solutions ont t analyses aprs avoir ralis une assignation des
canaux laide dun algorithme FAP classique prsent ci-aprs. Connaissant la rpartition
des canaux, on peut alors calculer la carte des interfrences en prenant en compte ou non
une rpartition des utilisateurs.
158
CHAPITRE 5. MODLISATION DU PROBLME WLP
SOK dBm
-40
-80
SNOK dBm
-40
-80
Fig. 5.7 Carte de couverture des solutions SOK et SN OK avec le critre de recouvrement
pour h = 2 et N = 7.
La figure 5.7 donne les cartes de couverture des solutions SOK et SN OK pour lenvi-
ronnement Foch avec un nombre dAP N = 7. La recherche de la solution optimale a t
ralise en agrgeant au critre de recouvrement un critre de couverture seuil. Le critre
de recouvrement a t calcul pour un nombre de signaux utiles h = 2.
Lallocation des frquences (FAP) Pour valider les rsultats de planification, nous
avons implant un algorithme classique dallocation des frquences. Il est bas sur une
heuristique tabou o le graphe dinterfrences prsente un arc si et seulement deux AP
se recouvrent mutuellement. Les sommets du graphe reprsentent les AP prsents dans
lenvironnement. Lheuristique tabou cherche minimiser le nombre darcs du graphe.
159
CHAPITRE 5. MODLISATION DU PROBLME WLP
La figure 5.8 prsente la rpartition optimale des canaux ralise pour les deux solutions.
La zone de service de chaque AP est reprsente avec la couleur du canal quil occupe. Les
parties blanches reprsentent les blocs o des interfrences apparaissent.
SOK
SNOK
Pour la solution SOK , on observe qu lintrieur des btiments, il nexiste plus din-
terfrences aprs assignation des canaux. Pour une assignation basique des canaux, il est
donc possible de garantir un rapport signal sur bruit correct dans le btiment.
Par contre, pour la solution SN OK , il nest pas possible de trouver une allocation des
canaux avec notre simple heuristique FAP qui garantisse un recouvrement optimal. En effet,
si lon observe le centre du btiment, cette solution prsente une zone de recouvrement o 5
AP sont visibles. Il est donc trs difficile, avec le nombre de canaux disponibles en 802.11b,
160
CHAPITRE 5. MODLISATION DU PROBLME WLP
Tab. 5.3 Performances des solutions SOK et SN OK obtenues avec le critre de recouvre-
ment.
Le critre de Dbit
Connaissant la position des AP et la rpartition des noeuds mobiles, il est possible de
calculer le dbit utile du point daccs pour chacune des zones de couverture 11 Mbits/s,
5.5 Mbits/s, 2 Mbits/set 1 Mbits/s laide du modle dvaluation de performances prsent
dans la partie 1.3.6 la page 33 et dtaill dans lannexe 1. Ce modle doit connatre le
nombre dutilisateurs qui communique 11 Mbits/s, 5.5 Mbits/s, 2 Mbits/s, 1 Mbits/set
0 Mbits/spour chaque AP.
Dans ce modle, on suppose que les utilisateurs travaillent en rgime satur, ce qui
signifie quun noeud a toujours un paquet mettre sur le rseau. Dans la suite de cette
partie, le terme de noeud dsignera un utilisateur qui communique en rgime satur. Un
noeud du modle draine donc bien plus de trafic quun utilisateur conventionnel du rseau.
De ce fait, il est ncessaire, de faon empirique, de rechercher pour chaque type dapplica-
tion (exploration Internet, mail, transfert de fichier, VoIP, etc...) une correspondance entre
le nombre dutilisateurs rels et le nombre dutilisateurs rgime satur.
Connaissant le nombre de noeuds rgime satur prsents dans le btiment, nous avons
choisi de les rpartir sur les blocs couvrir avec une densit Dn uniforme. Il est bien entendu
possible de rpartir les utilisateurs en modifiant localement les densits mais nous navons
pas implant cette caractristique.
161
CHAPITRE 5. MODLISATION DU PROBLME WLP
Chaque zone de service dun AP est dfinie par lensemble des points o la puissance
R , P R , R (1, 2, 5.5, 11) pour lequel la couche physique
reue appartient un intervalle Pm M
transmet avec la rapidit de modulation de R Mbits/s. Ces seuils dpendent de la nature
de lquipement de transmission utilis. Connaissant la densit des utilisateurs et la surface
des zones de service de lAP AR , R (1, 2, 5.5, 11), nous calculons le nombre de noeuds
prsents dans chaque zone de service : nR = AR . Dn , R (1, 2, 5.5, 11).
Sachant le nombre de noeuds nR , R (1, 2, 5.5, 11), le modle dvaluation de dbit
dtermine le dbit total fournit par un AP dans chacune de ses zones de service R
Mbits/s, R (1, 2, 5.5, 11). Le dbit par utilisateur dul disponible au bloc Bl appartenant
la zone de service R est :
dR
dul = (5.14)
nR
Une contrainte de dbit minimal par utilisateur ds est dfinie en chaque bloc. Si dul > ds
pour tous les blocs Bl , on peut considrer que le rseau est bien dimensionn. Pour valuer
cette proprit du rseau, on propose une fonction de mesure qui pnalise les blocs o le
dbit requis ds nest pas obtenu :
La valeur minimale de dul vaut 0. Les valeur de dbit sont exprimes ici en bits par
seconde.
Nous avons choisi dexprimer lcart entre le dbit seuil et le dbit estim en dcibels
car de cette faon, lordre de grandeur du critre est plus proche de celui des critres
de couverture et dinterfrences. Pour pouvoir utiliser les dcibels quand le bloc nest pas
couvert, ce qui implique un dbit minimal nul, nous avons choisi de mettre le dbit minimal
estim 1 bit/s, ce qui revient une valeur nulle en dcibels. Ainsi, la pnalisation maximale
dun bloc sera donne pas (ds)dB . Par exemple, si la valeur seuil ds vaut 256 Kbits/s, la
pnalisation maximale dun bloc Bl vaut 10.log10 (256.103 ) = 54 dB.
Le critre de dbit dfini par lquation 5.15 permet de discriminer des solutions qui
prsentent un dbit par utilisateur suprieur aux seuils de dbit fixs. Pour pouvoir obtenir
une solution intressante en terme de dbit, nous avons agrg le critre de QoS aux critres
de recouvrement finterf et de couverture seuil progressif fslope . Il est ncessaire de prendre
en compte le critre dinterfrences pour pouvoir assigner aisment les canaux aux AP.
162
CHAPITRE 5. MODLISATION DU PROBLME WLP
SOK
SNOK
Une bonne solution SOK et une mauvaise solution SN OK au sens du critre de QoS
sont prsentes dans la figure 5.9. Ces solutions ont t recherches pour lenvironnement
Foch avec un dbit par utilisateur limite de 256 Kbits/sen chaque bloc. 100 noeuds ont t
rpartis uniformment sur le plan. La figure 5.9 donne les zones de service et les canaux
allous aprs lallocation des canaux frquentiels pour les solutions SOK et SN OK .
On observe pour la solution SOK que les zones de service sont rparties de faon homo-
gne sur le plan. Le nombre de points daccs choisi est principalement issu dun compromis
entre les critres dinterfrences et de dbit. Les zones de service de la solution SOK ne
sont pas interfres lintrieur du btiment aprs attribution des canaux.
163
CHAPITRE 5. MODLISATION DU PROBLME WLP
Le tableau 5.4 compare les performances des deux solutions en prsentant la valeur des
critres fdebit , finterf , fslope et fhom . Le critre dinterfrence est calcul pour la valeur de
h = 2 et le critre seuils pour un rseau fonctionnant en 802.11g.
Ce tableau prsente galement les grandeurs suivantes :
d: le dbit moyen par utilisateur calcul pour les seuls utilisateurs couverts,
PS (du ds ) : le pourcentage de surface o le dbit offert est suprieur P n (ds ),
PS (I1 ) : le pourcentage de surface o le premier interfrent est suprieur P n (ds ),
PS (I2 ) : le pourcentage de surface o le second interfrent est suprieur P n (ds ).
Tab. 5.4 Performances des solutions SOK et SN OK obtenues avec le critre de QoS.
En observant ce tableau, on se rend compte que le critre de QoS est bien meilleur pour
SOK alors que quasiment le mme pourcentage de surface remplit la contrainte de dbit
minimal. Pour mieux interprter ce rsultat, une distribution des dbits est reprsente sur
la figure 5.10 pour les deux solutions.
Histogramme des debits pour S
Histogramme des debits pour S NOK
OK
70
40
35 60
30
50
Pourcentage de surface
Pourcentage de surface
25
40
20
30
15
20
10
10
5
0
0 0 200 400 600 800 1000 1200
0 200 400 600 800 1000 1200
Debits en Kbits/s Debits en Kbits/s
Les points couverts prsentent un dbit lev pour la solution SN OK , mais plus de
60 % de la surface nest pas couverte et leur dbit (nul) nest pas comptabilis. Pour la
solution SOK , la petite valeur du critre de QoS sexplique par le fait que plus de 64 % de
la surface prsente un dbit suprieur 200 Kbits/s. Le critre de QoS a bien diffrenci
une solution qui prsente une rpartition des dbits proche du dbit voulu dune rpartition
peu favorable.
164
CHAPITRE 5. MODLISATION DU PROBLME WLP
Pour pouvoir dfinir un tel critre, la premire partie de cette section prsente les
principes de base des algorithmes standards de localisation RF. La partie suivante prsente
les deux critres dfinis. Une prsentation des performances des solutions obtenues aprs
planification est donne ensuite.
S~M = (FM
1 l
, . . . , FM N
, . . . , FM ).
FMl est la puissance provenant du point daccs l. Si le signal F l nest pas mesur, on a
M
l = si on raisonne en dcibels, soit F l = 0 si on raisonne en milliwatts.
soit FM M
165
CHAPITRE 5. MODLISATION DU PROBLME WLP
Ces algorithmes de localisation chouent quand il existe des vecteurs puissance S ~l si-
milaires dans la mme base de donnes Db. Dans ce cas, il nexiste plus de bijection entre
lespace des signaux et lespace des positions, ce qui cr une indtermination dans la re-
cherche. Ce phnomne est dautant plus important que le canal est bruit. Pour que la
localisation soit ralisable, il faut que les signaux enregistrs dans la base soient les plus
distincts possibles. Ces algorithmes ont t implants et analyss par Mlle Thanh-H Le
dans le cadre de son DEA [46].
~ B)
dk (A, ~ =k A ~ B ~ kk reprsente ici le calcul de la norme k.
La fonction de pnalisation prend la fois en compte une mesure de la distance relle
entre les position l et m mais galement une mesure de distance entre les vecteurs signaux.
f(x) g(x)
xlim xlim
Les deux fonctions f (.) et g(.) sont continues, dfinies sur lintervalle [0, +[ et res-
pectivement croissante et dcroissante. La figure 5.11 donne deux exemples pour chaque
fonction. La pnalisation ainsi dfinie est dautant plus importante que la distance entre
les deux points proche dans lespace des signaux est grande dans lespace physique.
166
CHAPITRE 5. MODLISATION DU PROBLME WLP
Lutilisation de ces deux fonctions doit limiter les grandes erreurs de localisation. Les
erreurs de localisation les plus importantes surviennent quand les points qui sont proches
dans lespace signal sont gographiquement loigns.
~l , S
~m ] = dk [(il , jl ), (im , jm )] 1
f dk [(il , jl ), (im , jm )] g dk [S (5.18)
~
dk [S ~
l , Sm ]
0.9
0.8 Fmes S
NOK
Fmes SOK
0.7
Distribution cumule
0.6
0.5
0.4
0.3
0.2
0.1
0
0.5 1 1.5 2 2.5 3
Rapport D reelle / Dsignal
Fig. 5.12 Distribution cumule de la fonction de pnalisation de lquation 5.18 pour les
solutions SOK et SN OK .
167
CHAPITRE 5. MODLISATION DU PROBLME WLP
On observe que pour la solution SOK la plus grande partie des pnalisations est inf-
rieure 1 et comporte moins de valeurs leves. La valeur maximale du rapport de distance
pour la solution SOK vaut 114 tandis que la valeur maximale de SN OK vaut 27.103 . On peut
en conclure quavec la solution optimise, le rapport des distances relles et des distances
dans lespace signal est born.
Pour sen rendre compte, on peut observer la figure 5.13 qui reprsente la distance
signal et la distance gomtrique entre deux blocs couvrir. On observe quil ny a pas
de point dans la partie infrieure droite de la figure. Ceci signifie que tous les points
une distance gomtrique donne prsentent une distance signal suprieure une distance
limite. Plus cette limite est importante, plus les erreurs de localisation sont faibles. Pour
la solution SN OK , cette limite est plus basse que pour la solution SOK .
Fig. 5.13 Distance dans lespace des signaux en fonction de la distance gomtrique pour
chaque bloc Bl pour les solutions SOK et SN OK .
La couverture obtenue avec les 8 AP de la solution SOK est donne dans la figure
suivante :
dBm
-40
-80
168
CHAPITRE 5. MODLISATION DU PROBLME WLP
Cette solution prsente galement un bon critre de dbit : fdebit = 2.3 avec un dbit
moyen de 235 Kbits/s pour un dbit seuil de ds = 256Kbits/s. Pour vrifier que les erreurs
de localisation sont plus faibles pour SOK que pour SN OK , il faudrait implanter une heu-
ristique de localisation (RADAR, HORUS) et comparer ses performances avec ces deux
solutions de planification. Ce travail est en cours de ralisation.
i=Nf
X
fagr = i fi (5.19)
i=1
La premire fonction de cot tudie dans ces travaux est la fonction qui agrge les
critres de couverture fslope et de recouvrement finterf :
1 1
fCI = fslope + finterf (5.20)
2 2
1 1
fQI = fdebit + finterf (5.21)
2 2
169
CHAPITRE 5. MODLISATION DU PROBLME WLP
1 1
fLI = floc + finterf (5.22)
2 2
Comme les deux fonctions fQI et fLI ne garantissent pas la couverture, nous avons
introduit la contrainte suivante :
max
fslope fslope (5.23)
170
CHAPITRE
Heuristiques de planifica-
6 tion
Trois algorithmes sont prsents dans ce chapitre. Le premier se base sur un travail
dj effectu en DEA (cf. [132], [32], [126]) qui met en oeuvre une heuristique dterministe
alliant recherche combinatoire et continue. Il est prsent dans la partie 6.1. Cet algorithme
permet doptimiser la couverture radio, avec un nombre dAP fixe, laide du critre de
couverture homogne.
Pour prendre en compte plus de critres de planification, un second algorithme est
prsent dans la partie 6.1.2. Cest un algorithme de recherche tabou qui optimise une
unique fonction de cot qui agrge les critres doptimisation choisis. Cet algorithme ne
recherche quune seule solution au problme.
Pour proposer plusieurs solutions Pareto-optimales, une troisime heuristique multicri-
tre est propose dans la partie 6.2. Cette heuristique est drive de lheuristique tabou
mono-objectif.
Lheuristique prsente dans cette section est divise en deux tapes de recherche :
une recherche combinatoire,
une recherche continue locale.
Cette heuristique recherche un nombre N fix lavance de points daccs.
La recherche combinatoire
Elle exploite un nombre fini de positions candidates de points daccs dont la distribu-
tion a t prsente au chapitre 5 (page 149). Nous rappelons que le positionnement dun
AP candidat est reprsentatif des autres AP prsents dans une zone proche dont la surface
varie entre Amin et Amax . Cette zone proche est dfinie par le MR-bloc de la pyramide
auquel il appartient. Le nombre de points daccs positionner, N , est fix lavance.
Une carte de couverture est calcule pour chaque point daccs candidat et les K meilleures
solutions au sens du critre de planification sont slectionnes.
La recherche de ces solutions est exhaustive. Lespace des solutions est de taille CM N.
Ainsi, pour que la recherche soit ralisable en un temps de traitement raliste, il faut limiter
la taille M de lensemble des positions candidates. Pour rduire la taille de lensemble des
solutions il suffit daugmenter les valeurs de Amin et Amax . Dans ce cas, certains AP
candidats peuvent se trouver dans des blocs de taille importante. Ils ne sont alors plus
reprsentatifs de toutes les positions candidates de leur bloc homogne. Pour y palier, une
recherche locale est mene pour optimiser plus finement le placement des AP lintrieur
de leur bloc homogne. La recherche locale prsente ci-aprs est applique aux K solutions
de la recherche combinatoire pour les faire converger vers des configurations stables.
171
CHAPITRE 6. HEURISTIQUES DE PLANIFICATION
La recherche locale
Dans cet algorithme, les notations suivantes sont utilises :
~c :
S La solution courante.
Pworst : ~c .
La position du plan la moins bien couverte par S
APtest : LAP de test positionn en Pworst .
APmove : LAP dplacer.
Pnew : La nouvelle position de APmove .
Une des solutions issues de la recherche combinatoire est optimise en dplaant ses AP
lintrieur de leur bloc homogne. Le choix du dplacement est compltement dterministe
car il est conditionn par la prsence de trous de couverture. Le point daccs qui permet
de couvrir le mieux le trou de couverture le plus important est dplac selon le macro-
algorithme suivant :
Cette heuristique est base sur le principe de rciprocit de la propagation des ondes
radio. La figure 6.2 illustre ce principe. La puissance reue de AP1 la position de AP2
est la mme que la puissance reue de AP2 au niveau de AP1 . Elle vaut dans cet exemple
-64 dBm. Lide de lheuristique dterministe est de quantifier lamlioration apporte par
le dplacement dun AP pour compenser un trou de couverture. En plaant un AP de test
dans le trou de couverture, on peut dterminer quel AP augmente le plus la puissance reue
au niveau du trou de couverture et par quel dplacement il est possible de raliser cela.
Le calcul de la carte de couverture complte de la solution courante S ~c se fait la
rsolution des blocs homognes. La recherche de la position Pworst se dcompose en deux
tapes : la recherche du bloc homogne le moins bien couvert et la recherche fine de la
position Pworst dans ce bloc. La recherche fine ncessite de poursuivre le calcul de couverture
en descendant dans la pyramide jusquau niveau 1 1 pixel. De mme, au moment de la
recherche de la position Pnew , la carte de couverture dAPtest est calcule la rsolution
1 1 au niveau du bloc homogne contenant APmove . Ceci permet de dterminer finement
la nouvelle position de APmove .
Cet algorithme de recherche locale peut rapidement osciller entre deux solutions. En
effet, quand le dplacement dun lAP cre un autre trou de couverture important aprs
dplacement, litration suivante il y a de fortes chances que le mme AP soit dplac
pour combler ce nouveau trou de couverture. Pour viter cela, une petite mmoire de
taille unit a t implante qui empche le dplacement du mme AP pour deux itrations
conscutives.
172
CHAPITRE 6. HEURISTIQUES DE PLANIFICATION
AP 1
AP1
AP 2
AP2
Quelques rsultats
Les principaux rsultats sont prsents dans mon mmoire de DEA [132] et dans larticle
[32]. Un exemple de rsolution pour linstance de problme suivante est donn dans ce
manuscrit :
Instance du problme :
Environnement de Test : CITI, 73 20 mtres. (cf. fig. 6.3)
Nombre M de sites candidats : 56
Nombre de blocs couvrir : 56
Variables : Position
Nombre N dAP : 3
Nombre Nf de critres : 1
Critre : Couverture Homogne fhom
Heuristique : Heuristique dterministe N fixe
173
CHAPITRE 6. HEURISTIQUES DE PLANIFICATION
Fig. 6.3 Rpartition des AP candidats et des blocs couvrir pour lheuristique dtermi-
niste.
Ces six solutions prsentent un critre trs proche car pour chaque solution, deux AP
parmi trois sont identiques. A titre de comparaison, la valeur du critre fhom la plus leve
de la recherche exhaustive vaut 20.0. La figure 6.4-(a) prsente la carte de couverture de
la meilleure solution de la recherche combinatoire.
Une recherche locale a t mene pour les 6 solutions obtenues. La premire, la seconde
et la cinquime solution ont pu tre amliores par la recherche locale. Nanmoins, cest
la premire solution qui a vu son critre diminuer le plus en passant de fhom = 0.289
fhom = 0.229. Sa carte de couverture est reprsente sur la partie (b) de la figure suivante.
Seul lAP le plus droite a t dplac.
(a)
-20
-40
(b)
-60
174
CHAPITRE 6. HEURISTIQUES DE PLANIFICATION
avons choisi de concentrer nos efforts sur la mise en oeuvre dune heuristique de recherche
combinatoire plus performante.
~ :
S ~ = (s1 , . . . , sM )
Une solution S
si : Variable binaire dfinie comme suit :
~c
0 si APi 6 S
si = (6.1)
(Pi , di ) sinon
Dfinition du voisinage
La taille du voisinage que nous avons dfini volue en fonction de la taille de lespace des
solutions et des paramtres pris en compte dans la recherche. Lespace des solutions le plus
simple est celui qui ne prend en compte que le paramtre de la position des AP. Lajout
dune puissance dmission, de la direction et du nombre dAP variables se rpercute sur
la taille et la nature de cet espace. Les paragraphes suivant prsentent les rgles dfinies
pour crer le voisinage de S~c pour les paramtres de position, de puissance dmission, de
directivit et quand le nombre dAP est variable.
175
CHAPITRE 6. HEURISTIQUES DE PLANIFICATION
Pour i = 1 M
Si(si est slectionn) alors
Pour j = 1 M
si(sj nest pas slectionn) alors
~vois = Echanger (si , sj ) ;
S
~c ),S
Ajout(V (S ~vois )
fin
fin
fin
fin
Le voisinage relatif la puissance des AP est compos de toutes les solutions qui
~c uniquement par la valeur de la puissance dmission P dun seul
diffrent de la solution S
des AP slectionn. Lalgorithme de construction des solutions voisines de S ~c par rapport
la variable discrte Pi est donn la figure 6.6.
Pour i = 1 M
Si(si est slectionn) alors
Pour k = 1 NP
si(pk <> Pi ) alors
Svois = MiseAJour(si , pk ) ;
~c ),Svois )
Ajout(V (S
fin
fin
fin
fin
Par exemple, si P = {14, 15, 16}, les solutions voisines de S ~c = (0, (15, 0), 0) sont
~ ~
S1 = (0, (14, 0), 0) et S2 = (0, (16, 0), 0). Pour chaque AP slectionn, (NP 1) solutions
sont cres en plus des solutions issues du voisinage de position, soit N (NP 1) voisines
de puissance au total.
176
CHAPITRE 6. HEURISTIQUES DE PLANIFICATION
Le voisinage complet dpend du nombre et de la nature des variables que lon sou-
haite prendre en compte dans la recherche. Le voisinage ainsi cr permet datteindre
tout lespace des solutions. La voisinage de taille minimale est constitu du voisinage
relatif la position des AP, de cardinal N (M N ) et correspond au problme
nombre dAP, puissance et direction fixe. Le voisinage de taille maximale est constitu
de N . ((M N ) + (ND 1) + (NP 1)) + M solutions.
~c
Heuristique de choix de S
Il est maintenant possible dvaluer les solutions du voisinage avec le critre choisi et
slectionner la meilleure solution de cet ensemble de solutions. Loptimum local devient
alors la solution courante S~c exploite litration suivante. Si cette nouvelle solution
courante est meilleure que la solution optimale S~opt , cette dernire est mise jour.
Liste tabou
La principale caractristique dun algorithme tabou est de mmoriser le trajet ou des
caractristiques du trajet parcouru par la recherche pour limiter lapparition de boucles.
Cette mmoire, la liste Tabou, est une liste de type FIFO (First In First Out) qui stocke
des solutions compltes ou des parties des solutions parcourues. La taille de cette liste est
importante car en fonction des problmes, elle permet dviter les boucles et de converger
plus ou moins rapidement vers loptimum.
Nous avons choisi de crer une liste tabou dynamique qui stocke les AP candidats qui ont
t modifis. Ainsi, si une des caractristiques de lAP candidat i a t modifie (position,
puissance ou direction), il est stock dans la liste tabou. Si une solution du voisinage modifie
un AP de la liste, la solution est tabou. Pour quune solution soit tabou, il faut quun des
AP slectionns ait exactement les mme caractristiques (position, puissance, direction)
quun AP de la liste tabou.
Si le nombre dAP est une variable du problme, la liste tabou va soit empcher lajout
dun AP aprs une suppression dAP, soit empcher la suppression aprs un ajout. Pour
cela, deux AP particuliers sont crs qui prsentent respectivement les caractristiques
dun AP supprim et dun AP ajout. Ces deux AP ne comportent pas dinformation de
position. LAP qui caractrise un AP ajout est stock dans la liste sil y a eu suppression
dAP et lAP qui caractrise un AP supprim est stock sil y a eu ajout.
Pour tester si une solution est tabou ou non au moment de lajout (resp. de suppression)
dun AP, il suffit de regarder sil existe un AP dajout (resp. de suppression) dans la liste
tabou.
La liste tabou utilise prsente une dure variable. A chaque itration, sa dure est
tire alatoirement dans un intervalle [Tmin , Tmax ]. Nous avons choisi les valeurs de cet
177
CHAPITRE 6. HEURISTIQUES DE PLANIFICATION
intervalle de faon empirique, aprs plusieurs tests comme le prconisent Collette et Siarry
dans [103]. Tmin est fix (M/5) et Tmax (M/2), avec M le nombre dAP candidats.
Critre daspiration
Dans un premier temps, nous avons implant un critre daspiration qui supprime le
caractre tabou dune solution du voisinage courant si son valuation est meilleure que
loptimum actuel. Lors de nos premiers tests, laspiration dune solution tabou nest jamais
survenue pendant la recherche.
Or, pour pouvoir mettre en oeuvre ce critre daspiration, il est ncessaire dvaluer
toutes les solutions du voisinage, ce qui cote cher. Pour pouvoir diminuer le nombre dva-
luations chaque itration, nous avons donc choisi de ne plus utiliser ce critre daspiration
et de nvaluer que les solutions non-tabou.
Conditions darrt
Trois conditions darrt ont t dfinies :
fagr = 0 : un optimum global a t trouv, puisque nos critres sont dfinis positifs.
N I = N Imax : le nombre maximal ditrations est atteint,
N SA = N SAmax :le nombre maximal ditrations sans amlioration de la
fonction de cot est atteint.
Solution initiale
Les positions des N AP de la solution initiale sont tires alatoirement. Une mme
position ne peut tre attribue deux AP de la solution initiale.
178
CHAPITRE 6. HEURISTIQUES DE PLANIFICATION
Instance du problme :
Environnement de Test : Foch (cf. p. 149)
Nombre M de sites candidats : 258
Nombre de blocs couvrir : 503
Variables : Position, nombre dAP N
Nombre N dAP initial : 6
Nombre Nf de critres : 2
Critres : Couverture seuil progressif fslope pour 802.11g
Interfrences finterf avec h = 1
Pondration : slope = interf = 1/2
Heuristique : Heuristique tabou N variable
Intervalle tabou : [40, 140]
La recherche est ici ralise avec un nombre dAP variables car les deux critres ont
un comportement antagoniste : le critre de couverture tend augmenter N tandis que le
critre de recouvrement tend le diminuer.
La valeur du critre de couverture optimal qui vaut 2.9 nest pas imputer la prsence
de trous de couverture car quasiment 100 % de la surface est couverte avec une puissance
suprieure -80 dBm. Comme le critre est calcul pour des seuils de sensibilit relatifs
la norme 802.11g, la valeur du critre est imputer aux 26 % de la surface couverte entre
-80 dBm et -69 dBm.
Cest le critre de recouvrement qui prime dans le choix de la solution optimale. Les
variations de finterf par rapport aux variations des paramtres de position et de nombre
dAP sont plus fortes que celle de fslope . De ce fait, la rechercher privilgie la slection de
solutions avec un faible critre dinterfrences, mme si les critres sont quipondrs.
179
CHAPITRE 6. HEURISTIQUES DE PLANIFICATION
9
Itration 0
6
finterf avec h=1
X: 2.915
0 Y: 0.4369
2 3 4 5 6 7 8
fslope
Fig. 6.7 Evolution de fslope et finterf pour toutes les solutions courantes dans lespace
des fonction.
Ce phnomne est bien visible sur la figure 6.7 qui reprsente les valuations successives
des solutions courantes S ~c dans lespace des fonctions. Chaque point reprsente la solution
choisie la fin de litration courante. Ces points sont relis dans lordre des itrations o
ils ont t slectionns.
La solution optimale est aussi reprsente sur le graphe de la figure 6.7. Elle se trouve sur
le front de Pareto de lensemble des solutions reprsentes. La figure 6.8 prsente lvolution
de fslope , finterf , fagr et du nombre dAP N en fonction du nombre ditrations.
180
CHAPITRE 6. HEURISTIQUES DE PLANIFICATION
f
slope
8 f
interf
f
agr
Nb APs N
5
Critre / Nb APs
0
0 20 40 60 80 100 120
Nombre ditrations
On observe sur ces courbes une diminution nette du nombre dAP. Cest au passage
4 AP que le critre dinterfrences diminue rellement. Puisque le nombre de signaux utiles
h est fix 1, cela signifie que cest partir du 3e signal le plus lev du bloc que finterf
est pnalise.
Le critre de couverture seuil est considr comme une contrainte dure du problme.
Pour quune solution soit teste par la fonction de cot, il faut que le fslope soit infrieure
max = 3dB (cf. quation 5.23). Le dbit par utilisateur minimal est fix 256 Kbits/s.
fslope
Avec cette instance de problme, nous allons rechercher un jeu de coefficients de pond-
ration debit et interf qui nous permette dobtenir des solutions qui prsentent des critres
finterf et fdebit du mme ordre de grandeur. Cette recherche nous permet de nous pla-
181
CHAPITRE 6. HEURISTIQUES DE PLANIFICATION
cer dans la mme situation quun installateur de rseau qui recherche une configuration
particulire des AP.
Le calcul des 258 cartes de couverture a dur 250 secondes. En moyenne, il faut 1.5
secondes de traitement par itration de recherche. Le temps de traitement par itration
est plus important que pour linstance prcdente (1 s.) car il faut calculer les valeurs de 3
critres pour chaque valuation.
Nb Noeuds N
fagr
fdebit
finterf
fslope d(Kbits/s) P (F kh+1 > P n ) NI T (s.)
50 5 0 0 0 2.8 527 0% 7 12.5
100 5 0.46 0.64 0.3 2.8 255 2.3% 527 654
150 5 1.4 2.5 0.3 2.8 162 2.3% 504 655
200 6 2.0 3.5 0.5 2.4 145 7.3% 1384 1900
250 6 2.5 4.5 0.5 2.4 113 7.3% 143 189
300 6 3.0 5.7 0.3 2.7 92 3.4% 370 481
Tab. 6.2 Performances des solutions en fonction du nombre de noeuds prsents pour
(interf = 1/2, debit = 1/2).
182
CHAPITRE 6. HEURISTIQUES DE PLANIFICATION
Nb Noeuds N
fagr
fdebit
finterf
fslope d(Kbits/s) P (F kh+1 > P n ) NI T (s.)
50 5 0 0 0 2.7 516 0% 395 236
100 7 0.26 0 2.6 2.8 374 25% 557 878
150 8 0.73 0.01 7.15 2.8 273 53% 1248 3219
200 10 1.5 0.01 15 2.2 283 89% 741 6942
250 16 1.9 0.01 19 2.8 312 93% 1031 12942
300 17 2.3 0.01 23 2.1 292 99% 1374 30440
Tab. 6.3 Performance des solutions en fonction du nombre de noeuds pour (interf =
1/10; debit = 9/10).
Nb Noeuds N
fagr
fdebit
finterf
fslope d(Kbits/s) P (F kh+1 > P n ) NI T (s.)
50 5 0 0 0 2.7 480 0% 402 306
100 6 0.6 0.4 1.2 3.0 311 17% 808 1057
150 7 1.5 1.15 2.6 2.8 237 29% 648 1305
200 8 2.3 2.15 2.9 2.3 199 25% 14 24
250 8 3.0 3.0 2.9 2.3 156 26% 914 2264
300 8 3.6 3.8 2.9 2.3 127 25% 1307 3696
Tab. 6.4 Performances des solutions en fonction du nombre de noeuds pour (interf =
1/4, debit = 3/4).
Les solutions prsentes dans le tableau 6.4 prsentent bien un quilibre entre les valeurs
des deux critres. Les trois jeux de coefficients ralisent trois compromis diffrents au cours
de la recherche. Ce phnomne est illustr dans la figure 6.9. Pour 200 noeuds, cette figure
reprsente la rpartition dans lespace des fonctions des solutions courantes pour chaque
jeu de coefficients test.
183
CHAPITRE 6. HEURISTIQUES DE PLANIFICATION
6
= 1/2 = 1/2
debit interf
= 3/4 = 1/4
debit interf
5 debit = 9/10 interf = 1/10
4
debit
3
f
0
0 2 4 6 8 10 12 14 16 18 20
finterf
Fig. 6.9 Rpartition des critres finterf et fdebit dans lespace des fonctions pour les trois
jeux de coefficients de pondration.
Validation des rsultats. Pour finaliser ces travaux, il faudrait mettre en oeuvre un des
scnarios de test prsent et vrifier que les dbit prdits sont proches des dbits rels. Nous
envisageons pour cela la mise en place dune solution de planification dans un btiment en
plaant les AP et les noeuds selon le scnario choisi. Lors de ces tests, les noeuds mettront
en saturant le canal pour se mettre dans la mme configuration.
Dautres tests seront ncessaires pour trouver une quivalence entre le nombre de noeuds
du modle et la densit dutilisateurs relle. En effet, comme les noeuds mobiles du modle
dvaluation de performances saturent la bande passante, il nest pas facile de trouver une
correspondance entre le nombre de noeuds du modle et un nombre raliste dutilisateurs.
Pour cela, il faudra dfinir des classes de trafic qui dpendent des applications utilises.
Pour chaque classe de trafic, le dbit reu par utilisateur sera mesur en fonction du nombre
dutilisateurs rpartis sur un AP. Il sera alors possible de trouver, en fonction de lappli-
cation envisage, un ordre de grandeur pour la correspondance entre le nombre de noeuds
du modle et le nombre dutilisateurs prsents dans le btiment.
184
CHAPITRE 6. HEURISTIQUES DE PLANIFICATION
Instance du problme :
Environnement de Test : Foch (cf. p. 149)
Nombre M de sites candidats : 258
Nombre de blocs couvrir : 503
Variables : Position, nombre dAP N , puissance dmission
Nombre N dAP initial : 6
Nombre Nf de critres : 2
Critres : Interfrences finterf avec h = 2
Trafic fD , ds = 256 Kbits/set nombre de noeuds = 200
Contrainte max = 3dB
Couverture seuil progressif fslope avec fslope
Pondration : interf = debit = 1/2
Heuristique : Heuristique tabou N variable
Intervalle tabou : [40, 140]
(a)
(b)
Fig. 6.10 Zones de service avec (a) Pe fixe et (b) Pe variable pour 200 noeuds et ds =
256Kbits/s.
La puissance dmission peut varier dans lensemble {15, 16, 17, 18, 19}. Pour les simu-
lations prcdentes, la puissance dmission tait fixe 15 dBm. Le tableau 6.5 compare
les rsultats obtenus puissance fixe et variable. On peut observer une amlioration du
critre de dbit alors que le dbit moyen est identique. Nous rappelons que le critre admet
185
CHAPITRE 6. HEURISTIQUES DE PLANIFICATION
une forme quadratique qui minimise conjointement lerreur moyenne et lcart-type (cf. p.
152).
N
fagr
fdebit
finterf
fslope d(Kbits/s) P (F kh+1 > P n ) NI
Pe Fix 8 2.3 2.15 2.9 2.3 199 25% 14
Pe Variable 8 2.12 1.25 4.7 2.9 199 39% 2368
Tab. 6.5 Performances des solutions en fonction du nombre de noeuds pour (interf =
1/4, debit = 3/4).
La figure 6.10 reprsente les deux solutions obtenues lune puissance fixe (a) et lautre
puissance variable (b). Il ny a que 2 AP qui prsentent une puissance diffrente de
15 dBm. Les critres obtenus pour les deux solutions sont bien diffrents. A puissance
variable, la solution obtenue favorise le dbit au dtriment des interfrences. Nanmoins,
on observe un morcellement des zones de service des AP centraux. Dans ce cas, certains
quipements peuvent changer frquemment de cellule et ainsi rduire la bande passante
du rseau. Lintroduction du critre de connexit formul par Adel Jedidi [18] permettrait
dhomogniser la rpartition des zones de service et limiter ce phnomne.
Instance du problme :
Environnement de Test : Foch (cf. p. 149)
Nombre M de sites candidats : 258
Nombre de blocs couvrir : 503
Variables : Position, nombre dAP N
Nombre N dAP initial : 4
Nombre Nf de critres : 2
Critres : Interfrences finterf avec h = 3
Localisation floc
Contrainte max = 3dB
Couverture seuil progressif fslope avec fslope
Pondration : interf = loc = 1/2
Heuristique : Heuristique tabou N variable
Intervalle tabou : [40, 140]
Le critre dinterfrence tolre 3 signaux en plus du signal Best Serveur car plus il y a
de signaux prsents en un mme bloc, plus la localisation est aise.
186
CHAPITRE 6. HEURISTIQUES DE PLANIFICATION
Lordre de grandeur des deux critres est proche comme on peut le voir sur la figure
6.11. De ce fait, les coefficients de pondration nont pas tre adapts pour obtenir une
solution o linfluence des deux critres est quitablement rpartie dans la recherche.
Evolution des Critres f et f
interf loc
1
0.8
0.6
Critres
f
interf
0.4 floc
0.2
0
0 20 40 60 80 100 120 140 160
Itrations
8
Nombre dAPs
4
0 20 40 60 80 100 120 140 160
Itrations
Fig. 6.11 Evolution des critres finterf et floc (Haut) et du nombre dAP (Bas).
La figure 6.11 montre que cest partir de 9 AP que le critre dinterfrences prend
une valeur non ngligeable. Cest galement partir de l que le critre de localisation est
le plus faible.
187
CHAPITRE 6. HEURISTIQUES DE PLANIFICATION
Br = B0 \ r1
i=0 Fi
Macro-algorithme.
Au lieu de travailler avec une seule solution courante, lalgorithme considre un ensemble
de K solutions courantes quil fait voluer. Cest le front de recherche courant Fc . Ces K
solutions voluent indpendamment les unes des autres. Chaque solution possde sa propre
liste tabou. La solution k du front de recherche litration (i + 1), S ~ k (i + 1), est issue
c
du voisinage de la solutions k de litration i, S ~ k (i). On peut interprter ces solutions
c
comme K recherches tabou parallles. Un front de Pareto pratique stocke chaque itration
188
CHAPITRE 6. HEURISTIQUES DE PLANIFICATION
les solutions non-domines obtenues par toutes les k recherches tabou. Voici le macro-
algorithme qui prsente une itration de recherche de lheuristique implante :
A litration i :
1- Pour chaque solution S ~ k du front courant Fc (i) :
c
a Calcul du voisinage de position de la solution V (S ~ck ) ;
b Slection de lensemble PR (V (S ~c ) ) des solutions non-domines
k
Le voisinage de chacune des K solutions du front courant est dtermin comme dans
lalgorithme tabou mono-objectif (cf. algorithme de construction dun voisinage de position
p.176). Pour chaque construction du voisinage dune solution S ~ck , lensemble PR (V (S
~c )k )
des solutions non-domines de rang infrieur ou gal R est extrait. PR (V (Sc ) ) peut ~ k
sassimiler une bande de Pareto qui contient toutes les solutions de rang intrieur R.
Les ensembles PR (V (S~c )k ), k [1..K] issus des K solutions sont utiliss pour constituer le
nouveau front de recherche courant Fc (i+1). Fc (i+1) est construit en ajoutant une solution
de chaque ensemble PR (V (S ~c )k ), k [1..K]. Ces solutions sont slectionnes alatoirement
selon une loi de probabilit uniformment rpartie.
Il est possible, dans une volution de lheuristique, dintroduire dautres critres de
choix. On pourrait par exemple guider la recherche de chaque solution vers un compromis
fix lavance. Par exemple, choisir une solution qui sapproche le plus dune direction
fixe au lancement de lalgorithme. Cette approche revient une agrgation des critres
mais elle a lavantage de dfinir la direction optimale sans avoir choisir des coefficients
de pondration qui sont biaiss par la recherche.
Le front optimal est obtenu aprs avoir uni tous les ensembles PR (V (S ~c )k ), k [1..K]
issus des voisinages des solutions courantes au front optimal de litration prcdente :
~c )k ), k [1..K]
FP P (i + 1) = FP P (i) PR (V (S
Comme lunion de ces ensembles prsente des solution domines, il faut supprimer ces
solutions la fin de litration pour ne garder que les solution non-domines de rang 0. La
taille de cet ensemble nest pas borne.
189
CHAPITRE 6. HEURISTIQUES DE PLANIFICATION
La mmoire tabou.
Une liste tabou par solution du front de recherche est cre, soit K listes tabou. Quand
une nouvelle solution S~ k (i + 1) du front de recherche est slectionne, la liste tabou numro
c
k stocke lAP qui a vu ses caractristiques modifies. Cest exactement la mme liste tabou
que celle utilise dans lalgorithme tabou mono-objectif prsent en page 177.
Pour connatre tout moment lorigine dune solution, on stocke dans chaque solution
~ du voisinage V (Fc (i)) lindice k de la solution du front de recherche qui la gnre. De
S
ce fait, au moment de la construction du voisinage dune solution courante S ~ k , seules les
c
solutions qui ne prsentent pas dAP appartenant la liste tabou k sont stockes. La taille
de chaque liste tabou est dynamique et rvalue chaque itration.
Loriginalit de cet algorithme rside dans la construction dun front de recherche qui
slectionne des solutions qui ne sont pas forcment optimales, mais qui ne sont pas mau-
vaises non plus. De plus, lajout dune mmoire tabou par solution permet de mieux explorer
lespace des solutions et de prendre lhistorique de la recherche en compte.
La taille du front de Pareto obtenu la fin de la recherche est bien plus importante que
le nombre de solutions que lon souhaite obtenir pour un choix a posteriori. De plus, un
certain nombre de solutions du front sont trs proches les unes des autres. Il est ncessaire
de faire ressortir une solution dun groupe de solutions semblables. Pour cela, nous avons
utilis une fonctions de calcul des niches (sharing) qui permet de privilgier le choix dune
solution qui prsente une densit de voisins leve.
Cette fonction de calcul des niches , m(i), est applique chaque solution i. Elle a
t dfinie dans la partie 2.2.4 par lquation 2.18, page 84. Elle est communment utilise
dans les algorithmes multicritres gnriques pour pondrer lvaluation dune population et
ainsi privilgier le choix de solutions espaces dans lespace des fonctions. Les solutions qui
prsentent des valeurs leves de m(i) peuvent tre slectionner pour reprsenter lensemble
des solutions prsentent dans une boule de rayon share .
La rayon de niche share est spcifi par la formule de Deb dans [137] comme suit :
0.5
share =
n q
(6.2)
Calcul de la distance entre les solutions. Le critre de niche se base sur la dis-
~i et une solution S
tance dans lespace des fonctions entre une solution S ~j . Cette distance
~ ~
normalise d(Si , Sj ) admet lexpression suivante :
190
CHAPITRE 6. HEURISTIQUES DE PLANIFICATION
v
u n
uX 2
~ ~ fq (i) fq (j)
d(Si , Sj ) = t (6.3)
max(fq ) min(fq )
q=1
Comme les distances sont normalises, lensemble des valuations des solutions du front
est contenu dans une boule de rayon 1.
n
X
ei
i=1
E= (6.4)
n
avec :
n : le nombre dlments dans lensemble des solutions FP P .
ei : une variable boolenne qui vaut 0 si la solution i appartient la surface de
compromis, 1 sinon.
Plus cette mtrique est proche de 1, moins lensemble des solutions a converg vers la
surface de compromis.
n
!1/p
dpi
X
i=1
G= (6.5)
n
191
CHAPITRE 6. HEURISTIQUES DE PLANIFICATION
3
La figure suivante reprsente toutes les C129 = 428536 solutions du problme dans
lespace des fonctions de cot. Les points rouges sont les solutions qui appartiennent la
surface de compromis. Ils sont au nombre de 18.
Fig. 6.13 Evaluation des solutions et reprsentation des solutions du front de Pareto
thorique FP T .
192
CHAPITRE 6. HEURISTIQUES DE PLANIFICATION
22
Itration 0
Itration 2
Itration 10
20 Front Thorique
18
16
interf
f
14
12
10
8
0 0.5 1 1.5 2 2.5 3 3.5 4 4.5
f
slope
Instance du problme :
Environnement de Test : Foch (cf. p. 149)
Nombre M de sites candidats : 258
Nombre de blocs couvrir : 503
Variables : Position, nombre dAPs N
Nombre N dAPs initial : 6
Nombre Nf de critres : 2
193
CHAPITRE 6. HEURISTIQUES DE PLANIFICATION
Tab. 6.6 Rpartition des solutions en fonction du nombre dAPs. Valeurs moyennes f et
cart-type f des critres pour ces groupes de solutions.
Ce tableau montre que pour chaque taille de rseau, le compromis entre les 3 critres est
diffrent. On peut observer quelle est linfluence de la variable de position dans la recherche
en fonction du nombre dAP sur les 3 critres. Pour cela, on analyse lcart-type relatif la
valeur moyenne. Ainsi, pour finterf , quand le nombre N augmente, on observe une baisse
importante de interf par rapport la valeur moyenne f interf . On peut en dduire que la
variable de position a de moins en moins dimportance sur la valeur de finterf . Au bout
dun nombre donn dAP, quelque soit leur position, il nest pas possible de rejeter les
signaux interfrents en de du niveau de bruit.
194
CHAPITRE 6. HEURISTIQUES DE PLANIFICATION
NbAP = 4
6 NbAP = 5
5 NbAP = 6
NbAP = 7
4
NbAP = 8
3 NbAP = 9
fDbit
NbAP = 10
2
NbAP = 11
1
NbAP = 12
0 NbAP = 13
NbAP = 14
9
NbAP = 15
NbAP = 16
8
NbAP = 17
0
2
5
10
1 15
20
fslope 0 25
30
finterf
NbAP = 4
6
NbAP = 5
NbAP = 6
NbAP = 7
NbAP = 8
5
NbAP = 9
NbAP = 10
NbAP = 11
4 NbAP = 12
NbAP = 13
NbAP = 14
NbAP = 15
fDbit
3 NbAP = 16
NbAP = 17
0 0
1
5 2
10 3
15 4
5
20 6
25 7
8
9
30
f
slope
Fig. 6.15 Front de Pareto pratiques FP P pour loptimisation de fslope, finterf et fdebit
pour lenvironnement Foch.
195
CHAPITRE 6. HEURISTIQUES DE PLANIFICATION
De mme, pour le critre de dbit, la valeur de debit par rapport a la valeur moyenne di-
minue avec laugmentation de N . On peut en conclure quune fois un nombre suffisant dAP
atteint, il nest pas possible de modifier tant que cela le dbit obtenu avec un changement
de position puisque le dbit requis est atteint.
Influence des K trajets tabous sur le front optimal Chaque solution du front opti-
male est issue du voisinage dune des solutions du front de recherche. Pour chacune solution,
un historique de sa filiation est stocke. On sait de quelle chemin tabou elle provient. Il
existe K familles de solutions issues des K solutions du front de recherche initiale. On peut
se demander si toutes les solutions S ~ck ont produit des solutions du front optimal. Pour
rpondre cette question, on peut observer lhistogramme de la figure suivante :
18
16
Proportion de solutions du front par chemin
14
12
10
0
0 1 2 3 4 5 6 7 8 9 10 11 12 13 14
Numro du chemin de filiation
On observe que le parcours des solutions initiales 8 et 14 a fourni plus du tiers des
solutions optimales alors que les solutions 3,4 et 9 ont fournit moins de 3% des solutions
du front optimal. Toutes les solutions nont pas le mme comportement. La figure 6.17
reprsente FP P en rpartissant les solutions en fonction de leur filiation.
196
CHAPITRE 6. HEURISTIQUES DE PLANIFICATION
Filiation Solution 1
Filiation Solution 2
6 Filiation Solution 3
Filiation Solution 4
Filiation Solution 5
Filiation Solution 6
5 Filiation Solution 7
Filiation Solution 8
Filiation Solution 9
Filiation Solution 10
4 Filiation Solution 11
Filiation Solution 12
Filiation Solution 13
Filiation Solution 14
fdebit
3 Filiation Solution 0
0
0
0 1
5 2
10 3
4
15 5
20 6
25 7
8
30
9
fslope
4
x 10
1400 4.6
4.4
1200
4.2
Taille du front optimal pratique
1000 4
Taille du voisinage
3.8
800
3.6
600
3.4
400 3.2
3
200
2.8
0 2.6
0 50 100 150 200 250 300 350 400 450 500 0 50 100 150 200 250 300 350 400 450 500
Nombre ditrations Nombre ditrations
197
CHAPITRE 6. HEURISTIQUES DE PLANIFICATION
4
fdbit
0 0
0 2
5 4
10
15 6
20 8
25
10
30
f
slope
finterf
Fig. 6.19 Rpartition des 10 solutions slectionnes par la fonction de niche sur le front
de Pareto.
La figure suivante prsente les cartes de couverture des solutions 5, 7 et 10. La solution
5 comporte 15 AP et de ce fait des critres de couverture et de dbit trs faibles et un
critre dinterfrences lev. Cette solution aurait pu tre obtenue en noptimisant que
198
CHAPITRE 6. HEURISTIQUES DE PLANIFICATION
la couverture et le dbit, sans tenir compte des interfrences. La solution 7 possde des
fonctions du mme ordre de grandeur. Les AP y sont regroups par deux ou trois pour
minimiser le critre dinterfrences qui autorise deux interfrents. La solution 10 fournit un
dbit lev, mais il existe des portions du plan moins bien couvertes. Notons que les seuils
pris en compte dans le critre de couverture sont Sm = 90dBm et SM = 64dBm.
fslope = 0.06
finterf = 22.11
fdebit = 0.16
fslope = 2.53
finterf = 3.75
fdebit = 3.03
fslope = 5.67
finterf = 5.67
fdebit = 1.13
-80
199
CHAPITRE 6. HEURISTIQUES DE PLANIFICATION
Parmi les trois solutions prsentes, seule la solution 7 semble rellement intressante
pour un dploiement radio. Les deux autres configurations prsentent des compromis dif-
frents mais ne conviendront srement pas un installateur. Pour proposer un jeu de
solutions exploitables, il faut appliquer le critre de niche sur une plus petite partie de la
surface de compromis en slectionnant par exemple les solutions qui prsentent des valua-
tions meilleures quun seuil donn pour chaque critre.
Parmi les dix solutions slectionnes, il est possible de choisir la solution dployer
en fonction de critres et contraintes supplmentaires que linstallateur veut prendre en
compte. Il peut par exemple choisir une solution car elle lui permet de gagner en dbit
dans une pice particulire ou parce quelle diminue la longueur de cblage du rseau LAN.
La flexibilit dune telle approche nous parat importante pour la planification wLAN.
6.3 Conclusions
Dans ce chapitre, nous avons propos un ensemble de critres de planification et trois
heuristiques doptimisation.
Les critres doptimisation Les critres que nous proposons sont tous des critres
quadratiques permettant de minimiser simultanment la moyenne et la variance de chaque
critre. Ceci nous permet dtre plus discriminant dans le choix des solutions car nous ne
minimisons pas quune erreur moyenne, mais une erreur quadratique moyenne des valeurs
dune fonction de mesure calcule pour tous les blocs couvrir.
Nous avons vrifi par simulation que linfluence de chaque critre sur les rsultats
est bien conforme nos attentes. Le critre de couverture homogne peut tre aisment
utilis indpendamment des autres critres car il garantit la fois une couverture radio et
une rpartition homogne de la puissance. Dans ce cas, le nombre dAP doit tre fix
lavance. Les critres dinterfrences et de couverture seuil progressif sont complmentaires
et permettent de dterminer un nombre optimal dAP. Le seul paramtre choisir est le
nombre de signaux interfrents autoriss sur le plan. Plus celui-ci est faible, plus le critre
dinterfrences prsente une pente importante et devient prpondrant dans le choix dune
solution optimale.
Nous avons dfini deux critres de qualit de service : lun garantit un dbit par utilisa-
teur minimal et lautre favorise la localisation de stations mobiles. Aprs avoir valid leur
performances par simulation, il faudra les valider exprimentalement. Pour cela, on pourra
envisager de mettre en oeuvre une plate-forme de tests pour mesurer les dbits et localiser
des noeuds mobiles. Des solutions optimales et non optimales devront tre dployes.
Les heuristiques doptimisation Les trois algorithmes que nous avons prsents ont
t tests sur des environnements rels. Ils exploitent tous les trois un ensemble de positions
candidates rparties laide du dcoupage de lenvironnement issu du modle de prdiction
de couverture MR-FDPF. Nous avons montr que ce dcoupage slectionne un ensemble
reprsentatif des placements possibles des AP. Les rsultats relatifs au premier algorithme
dterministe nous ont confort dans le choix dune formulation combinatoire du problme.
En effet, la recherche locale de cette heuristique namliore pas de faon significative les
rsultats de la recherche combinatoire.
Lheuristique tabou optimise une fonctionnelle unique qui agrge les critres de pla-
nification choisis. Le rsultat obtenu reflte un compromis qui est dtermin par le choix
des coefficients de pondration. Nous avons mis en vidence dans nos tests que le choix de
ces coefficients nest pas trivial. En effet, la recherche nest pas seulement guide par les
200
CHAPITRE 6. HEURISTIQUES DE PLANIFICATION
coefficients, mais galement par la forme des critres impartis. Plus un critre prsente une
pente importante, plus il va influer sur la recherche. Il est donc difficile de rgler directe-
ment le compromis par le seul choix des coefficients si lon ne connat pas le comportement
des critres.
Cette analyse met en vidence lintrt des techniques doptimisation multicritre qui
transposent le choix du compromis la fin de la recherche. Lalgorithme multiobjectif
prsent a permis de slectionner dix solutions qui refltent dix compromis diffrents entre
les critres de couverture, dinterfrences et de dbit. Cette approche fournit linstallateur
un degr de libert dans le choix de la solution qui correspond le mieux ses attentes.
Lheuristique tabou multicritre mrite dtre analyse plus en avant. Nous envisageons
de la tester sur un ensemble de problmes types et de la confronter dautres heuristiques
multicritres. Pour linstant, les recherches tabou sont indpendantes. Nous aimerions in-
troduire une dpendance plus forte entre elles en modifiant la slection des solutions du
front de recherche. Au lieu de slectionner une nouvelle solution dans son voisinage, elle se-
rait slectionne dans le front de Pareto courant, tout en gardant une trace du parcours. La
structure de la mmoire tabou devra alors tre modifie. Cette approche devrait acclrer
la convergence vers la surface de compromis optimale.
201
CHAPITRE
Conclusions
7
Cette thse avait pour objet de proposer une stratgie de planification semi-automatique
des rseaux wLAN. Il sagissait de dfinir une ou plusieurs configurations des points daccs
(AP) garantissant une qualit de service fixe. Cet objectif devait sadapter diffrents
services dun rseau wLAN allant de la simple garantie de couverture radio la mise en
place dun rseau favorisant la localisation de stations mobiles.
La premire partie de ce manuscrit analyse en dtails la problmatique de lingnierie
des rseaux locaux sans-fil. Aprs une prsentation du contexte applicatif et une descrip-
tion des techniques actuelles de dploiement wLAN, nous avons rpertori et analys les
diffrentes solutions de planification rencontres dans la littrature. Ceci nous a permis de
dresser un tat de lart de toutes les caractristiques du problme de planification wLAN
par lanalyse des variables, des critres de planification, des formulations, des modles de
prdiction de couverture radio et des heuristiques de rsolution prsentes. Cette analyse
nous a permis de dgager les trois axes de recherche suivants :
1. lamlioration des prdictions de couverture radio,
2. la dfinition de critres de planification adquats,
3. la mise en oeuvre dheuristiques capables dexploiter le caractre multicritre du
problme wLP.
Il va sans dire que pour obtenir une planification de qualit, il est ncessaire de modliser
de faon raliste le comportement de lenvironnement radio. Cette modlisation passe par
lutilisation de mthodes de prdiction de couverture radio qui, partir de la connaissance
de la gomtrie du btiment et de la position des AP, estiment la puissance reue en chaque
point du plan. La seconde partie de ce manuscrit a t consacre la prsentation, la mise
en oeuvre et la validation des prdictions de couverture radio du modle Adaptative
Multi-Resolution Frequency Domain ParFlow (MR-FDPF).
Le chapitre 3 prsente cette mthode originale. Elle se dcompose en deux tapes de
calcul :
(i) Une phase de prtraitement o lenvironnement est discrtis et o des matrices
de propagation sont calcules partir de la nature et de la gomtrie des lieux. Ces matrices
sont stockes dans une structure multi-rsolution : la pyramide.
(ii) Une phase de propagation o la puissance mise par une antenne est transmise au
reste de lenvironnement laide des matrices de propagation de la pyramide. La structure
de cette pyramide permet de calculer des cartes de couverture diffrentes rsolutions.
La structure pyramidale est dfinie par un dcoupage rcursif du plan. Les performances
de diffrents algorithmes de dcoupage ont t compares pour la fois rduire la dure
du prtraitement et dcomposer lenvironnement de test en blocs homognes suffisamment
grands.
La mise en oeuvre dun tel modle de prdiction de couverture radio dans un simu-
lateur exploitable par des ingnieurs radio nous a men introduire un certain nombre
dhypothses simplificatrices prsentes dans le chapitre 3. Pour dune part limiter les ar-
tefacts inhrents ces simplifications et dautre part adapter les prdictions diffrents
202
CHAPITRE 7. CONCLUSIONS
203
CHAPITRE 7. CONCLUSIONS
recherche locale. Nous avons observ que les rsultats de la recherche combinatoire sont
suffisants et que la recherche locale napporte que peu de modifications.
Pour pouvoir prendre en compte le caractre multicritre du problme wLP, deux autres
algorithmes ont t dveloppes. Un premier algorithme bas sur lheuristique doptimisa-
tion Tabou a t implant. Cette heuristique permet dobtenir une solution unique. Lva-
luation dune solution est ralise laide dune fonction de cot qui agrge les critres de
planification choisis. La solution obtenue par cette technique reflte un unique compromis
entre les critres fixs par le choix de coefficients de pondration. Les rsultats obtenus
avec lheuristique tabou montrent quil est dlicat de trouver le compromis voulu par un
installateur sans avoir effectu plusieurs tests au pralable. Nanmoins, une fois que les
coefficients de pondration des critres sont fixs, une bonne solution est obtenue en un
temps born.
Nous envisageons damliorer les performances de cette heuristique tabou en modifiant
lheuristique de choix de la solution courante pour amliorer sa vitesse de convergence.
Lheuristique actuelle slectionne la meilleure solution du voisinage. Cette heuristique ne
prvient pas de lapparition de boucles sur plusieurs itrations de recherche. Pour viter
ce phnomne, nous pourrions mmoriser un historique des solutions testes et choisir une
solution courante aprs analyse de cet historique. On pourra par exemple forcer le choix
parmi un nombre de positions candidates rarement testes par lheuristique pour explorer
dautres parties de lespace des solutions et limiter lapparition de boucles dans la recherche.
Le troisime algorithme prsent au chapitre 6 est une heuristique tabou multicritre.
Plusieurs recherches tabou sont effectues en parallle et chaque itration, les solutions
non-domines au sens de Pareto sont stockes dans un front de Pareto optimal. Chaque so-
lution du front reprsente un compromis diffrent entre les critres du problme rsoudre.
Nous avons montr que cet algorithme converge bien vers le front de Pareto thorique pour
un problme optimisant les critres de couverture et dinterfrences.
Une fois la surface de compromis dfinie, il faut choisir un ensemble de solutions qui
reprsente des compromis suffisamment diffrents. Ce choix est une tape dlicate de lal-
gorithme. Il est mis en oeuvre laide dune fonction de niche qui slectionne les solutions
en fonction de la densit des solutions de leur voisinage. Cette slection est ralise dans
lespace des fonctions. Elle a t teste pour les trois critres de couverture, dinterfrences
et de qualit de services. Pour que les solutions ainsi tries puissent tre prsentes un
installateur de rseau wLAN, il est souhaitable que toutes ces solutions prsentent des
compromis intressants pour lui. De ce fait, il faut appliquer la procdure de slection aux
parties de la surface de compromis les plus intressantes. Dautre part, lutilisateur pour-
rait intgrer dans le choix final des contraintes de dploiement additionnelles non prises
en compte dans le processus doptimisation (emplacement des prises de courant, gomtrie
des lieux, etc. ...).
Ce travail pourra tre poursuivi autour des axes suivants. Parmi les trois heuristiques de
planification proposes, lheuristique multicritre est la plus prometteuse. Il est ncessaire
de la tester plus en avant et de comparer ses performances avec dautres heuristiques
multicritres. Si ces tests sont concluants, cette heuristique pourra servir rsoudre dautres
problmes doptimisation.
Actuellement, les constructeurs intgrent des services de tlphonie sur IP (Voix sur
IP) leurs quipements wLAN. Ces technologies sont particulirement handicapes par
les changements de cellule car le processus de handover est long. De plus, leur bon fonc-
tionnement ncessite une qualit de signal trs rgulire. Il serait bon de dfinir un ou
plusieurs critres de planification adapts ce service de tlphonie. Nous pensons pour
204
CHAPITRE 7. CONCLUSIONS
cela quil faut dfinir une contrainte de connexit pour que les zones de service ne soient
pas morceles sur le plan. Ainsi, il est possible de limiter les changements de cellule dans
un rseau. Un tel critre doit tre bien entendu coupl avec des critres de couverture et
dinterfrences. Cette dmarche a dj t applique avec succs pour la planification de
rseaux cellulaires ([18]).
Un nombre important de rseaux wLAN est dploy sur plusieurs tages dun btiment.
Il nest pas ais de dployer un tel rseau car les interfrences proviennent de plusieurs
directions. Pour aborder cet autre dimension du problme, il est ncessaire de prdire la
couverture radio dans les trois dimensions. La prdiction de couverture en 3D est le sujet de
recherche actuellement trait par M. De La Roche dans le cadre de sa thse. Ses premiers
travaux ont permis dobtenir des cartes de couverture pour chaque tage dun btiment.
Il faudra tester nos critres et heuristiques de planification sur ces donnes et observer la
structure des rseaux obtenus.
205
Annexes
206
ANNEXE
1. Modle pour lestimation de
bande passante
Connaissant la position des points daccs et la rpartition des noeuds mobiles, le modle
dvaluation de performances prsent ici permet de calculer le dbit utile dun point daccs
pour chacune des zones de couverture 11 Mbits/s, 5.5 Mbits/s, 2 Mbits/set 1 Mbits/s.
Le modle analytique exploite le nombre de noeuds qui travaillent dans les cinq zones de
services dbit de transmission diffrent : 11Mbits/s, 5.5Mbits/s, 2Mbits/s, 1Mbits/set
sans couverture.
Modle de dbit
Le modle de dbit est inspir des travaux de Bianchi [45] qui modlisent laide dune
chaine de Markov les tats du backoff du protocole daccs au rseau DCF de 802.11 (cf.
1.1.3). A la diffrence des travaux de Bianchi, les travaux de Lu et Valois prennent en
compte un paramtre supplmentaite sous la forme dune probabilit de retransmission pr .
Cette probabilit de retransmission est compose de la probabilit de collision pc et de la
probabilit derreur pe .
Le tableau 1 prsente les notations employes pour dcrire le modle. Ce modle exploite
les variables standard du protocole daccs Direct Sequence Spread Spectrum(DSSS) PHY
de 802.11. Les valeurs qui ne sont pas dfinies explicitement dans le tableau le seront dans
la suite du document.
Soit s(t) le processus stochastique qui reprsente lindice du slot de temps de backoff
pour une station donne et b(t) le processus stochastique qui reprsente ltat du ba-
ckoff dune station au temps t. Chaque tat de la chane reprsente un tat du processus
{s(t), b(t)} en deux dimensions.
208
ANNEXE . 1. MODLE POUR LESTIMATION DE BANDE PASSANTE
2i W0 i m
Wi = (1)
2m W0 i m
209
ANNEXE . 1. MODLE POUR LESTIMATION DE BANDE PASSANTE
Les seules probabilits de transition non-nulles sont donnes par les quations 2. Ces
probabilits de transition reprsentent 4 vnements : i) la dcrmentation du timer de
backoff ; ii) la remise 0 du backoff si la transmission est russie ; iii) le changement dtat
du backoff sil y a retransmission ; iv) la remise 0 du backoff dans ltat maximal de
backoff, que la transmission soit russie ou non.
P {i, k|i, k + 1} = 1 k [0, Wi 2]i [0, m]
P {0, k|i, 0} = (1 pr )/W0 k [0, W0 1]i [0, m 1]
(2)
P {i, k|i 1, 0} = pr /Wi k [0, Wi 1]i [1, m]
P {0, k|m, 0} = 1/W0 k [0, W0 1]
Soit bi,k = limn P {s(t), b(t)}, i [0, m]k [0, Wi 1] la distribution stationnaire
de la chaine de Markov. La relation entre bi,0 et b0,0 devient :
Comme la chane est rgulire, pour chaque k [0, Wi 1], nous avons :
(1 pr ) m1
Wi k
P
bi,k = j=0 bj,0 + bm,0 , i=0
(4)
Wi pr bi1,0 , 0<im
210
ANNEXE . 1. MODLE POUR LESTIMATION DE BANDE PASSANTE
1 pm+1
r
= b0,0 (7)
1 pr
Comme il a t dj t dfini, une retransmission rsulte soit dune collision soit de la
rception dun paquet erron, comme le prsente lquation suivante :
pr = pc + pe (8)
Une collision peut survenir quand au moins deux stations mettent dans un mme
intervalle de temps (slot). Ainsi, pc est dfini par :
pc = 1 (1 )n1 (9)
pe = 1 (1 BER)LP (10)
( m+1
= 1p
1pr b0,0
r
(11)
pr = 1 (1 )n1 + 1 (1 BER)LP
Soit Ptr la probabilit davoir au moins eu un accs au canal dans un slot de temps
pour le rseau wLAN complet. Soit Ps la probabilit quune transmission soit russie,
connaissant la probabilit Ptr . Ces deux grandeurs peuvent tre dtermines partir de
et n comme suit :
Ptr = 1 (1 )n (12)
n (1 )n1 (1pe )
Ps = Ptr
n (1 )n1 (1pe ) (13)
= 1(1 )n
PtrR est dfini comme la probabilit quune station mette au dbit R dans le slot de
temps donn. PsR est dfini comme la probabilit quune transmission au dbit R soit
russsie, sachant PtrR (R {11, 5.5, 2, 1M bps}).
R
PtrR = 1 (1 )n (14)
nR . (1 )n1 (1pe )
PsR = (15)
1(1 )nR
211
ANNEXE . 1. MODLE POUR LESTIMATION DE BANDE PASSANTE
Il est galement possible de calculer le taux doccupation du canal pour chaque type
de noeud :
PsR PtrR TR
SR = R {11, 5.5, 2, 1M bits/s} (16)
PsR PtrR TsR + (1 PsR )PtrR TrR
P P
(1 Ptr )Tslot +
Ici, TsR (resp. TrR ) reprsente la dure doccupation du canal par une transmission russie
(resp. la dure dune transmission choue). T R est la dure de transmission des donnes
(Payload) au dbit R :
R
T = P S/R
bas
TsR = TDIF S + TH + TR +
R {11, 5.5, 2, 1M bits/s} (17)
+TSIF S + TACK +
bas
TrR = TDIF S + TH + TR +
La mention bas stipule que les dures sont calcules pour un mode daccs standard,
sans RTS/CTS.
Pour obtenir le dbit moyen fournit par lAP en Mbits/s, il suffit dutiliser lquation
suivante :
(18)
P
S = SR R, R {11, 5.5, 2, 1M bits/s}
212
ANNEXE
2. Publications
213
Bibliographie
214
Bibliographie
[1] G. Pujolle. Les rseaux, dition 2005. Editions Eyrolles, Paris, France, 2004, 1094 p.
[2] ETSI. HIgh PErformance Radio Local Area Network (HIPERLAN) type 1. Techni-
cal report, Broadband Radio Access Network BRAN, Disponinble sur : http ://por-
tal.etsi.org/bran/kta/Hiperlan/hiperlan1.asp (08.08.2005), 1998.
[3] ETSI. HIPERLAN Type 2 ; physical (PHY) layer. Technical report,
Broadband Radio Access Network BRAN, Disponible sur : http ://por-
tal.etsi.org/bran/kta/Hiperlan/hiperlan2.asp (08.08.2005), 2001.
[4] P. Mhlethaler. 802.11 et les rseaux sans-fil. Editions Eyrolles, Paris, France, 2002,
304 p.
[5] Claude Chaudet. Autour de la rservation de bande passante dans les rseaux ad hoc.
PhD thesis, Informatique. Lyon : INSA de Lyon, 2004, 145 p.
[6] R. Mathar and M. Schmeink. Integrated optimal cell site selection and frequency
allocation for cellular radio networks. Telecommunications Systems, 21(2-4) :339
347, 2002.
[7] E. Amaldi, A. Capone, and F. Malucelli. Planning UMTS base station location :
Optimization models with power control and algorithms. IEEE Transactions on
Wireless Communications, 2(5) :939952, 2002.
[8] E. Amaldi, A. Capone, F. Malucelli, and F. Signori. Optimization models and algo-
rithms for downlink UMTS radio planning. In Proceedings of IEEE Wireless Com-
munications and Networking Conference (WCNC03), New Orleans, LA, USA, 2003.
[9] A. Jedidi, A. Caminada, and G. Finke. 2-objective optimization of cells overlap
and geometry with evolutionary algorithms. In EvoWorkshops 2004, LCNS, pages
130139, Portugal, April 5-7 2004.
[10] IEEE. Wireless LAN medium access control (MAC) and physical layer (PHY) spe-
cifications. Technical report, IEEE Std 802.11-1997, Disponible sur : http ://stan-
dards.ieee.org/getieee802/802.11.html (09.08.2005), 1997, 528 p.
[11] IEEE. Wireless LAN medium access control (MAC) and physical layer
(PHY) specifications : Higher-speed physical layer extension in the 2.4 GHz
band. Technical report, IEEE Std 802.11b-1999, Disponible sur : http ://stan-
dards.ieee.org/getieee802/802.11.html (09.08.2005), 2000, 96 p.
[12] IEEE. Wireless LAN medium access control (MAC) and physical layer (PHY) spe-
cifications : High speed physical layer in the 5GHz band. Technical report, IEEE
Standard 802.11a, Disponible sur : http ://standards.ieee.org/getieee802/802.11.html
(09.08.2005), 1999, 91 p.
[13] IEEE. Wireless LAN medium access control (MAC) and physical layer (PHY) spe-
cifications. Technical report, IEEE Std 802.11g-2003, Disponible sur : http ://stan-
dards.ieee.org/getieee802/802.11.html (09.08.2005), 2003, 78 p.
215
BIBLIOGRAPHIE
[14] J. Riihijrvi, P. Mhnen, and M. Petrova. Automatic channel allocation for small
wireless local area networks using graph colouring algorithm approach. Proceedings
of the IEEE Conference on Personal, Indoor, and Mobile Radio Communications
(PIMRC), pages 536539, September 2004.
[15] D. Dhoutaut. Etude du standard IEEE 802.11 dans le cadre des rseaux ad hoc : de
la simulation lexprimentation. PhD thesis, Informatique. Lyon : INSA de Lyon,
2003, 153 p.
[16] N.R. Prasad A.R. Prasad, A. Kamerman, H. Moelard, and A. Eikelenboom. In-
door wireless LANs deployment. In Proceedings of the IEEE Vehicular Technology
Conference Spring, pages 15621566, Tokyo, Japan, May 2000.
[17] A. Hills. Large scale wireless LAN design. IEEE Communications Magazine,
40(11) :98104, November 2001.
[18] A. Jedidi. Modlisation et optimisation de la topologie des rseaux mobiles GSM.
PhD thesis, Grenoble 1 : Universit Joseph Fourier, Laboratoire Leibnitz, Institut
National Polytechnique de Grenoble, May 2004, 211p.
[19] Patrice Calgari, Frdric Guidec, Pierre Kuonen, and Frank Nielsen. Combinatorial
optimization algorithms for radio network planning. Theoretical Computer Science,
263 :235345, 2001.
[20] B. Chamaret, S. Josselin, P. Kuonen, M. Pizarosso, B. Salas-Manzanedo, S. Ubeda,
and D. Wagner. Radio network optimization with maximum independent set search.
In Proceedings of the IEEE Vehicular Technology Conference, pages 770774, Phoe-
nix, USA, May 1997.
[21] M. Vasquez and J.-K. Hao. A heuristic approach for antenna positioning in cellular
networks. Journal of Heuristics, 7(5) :443472, 2001.
[22] S. Hurley. Planning effective cellular mobile radio networks. IEEE Transactions on
Vehicular Technology, 51(2) :243253, 2002.
[23] J.S. Fortune, D.M. Gray, O. Landron, R.A. Valenzuela, and M. Wright. WISE de-
sign of indoor wireless systems : Practical computation and optimization. IEEE
Computational Science and Engineering, 2 :5868, March 1995.
[24] D. Stamatelos and A. Ephremides. Spectral efficiency and optimal base placement
for indoor wireless networks. IEEE Journal on Selected Areas in Communications,
14(4) :651661, May 1996.
[25] H.D. Sherali, M. Pendyala, and T. Rappaport. Optimal location of transmitters for
micro-cellular radio communication system design. IEEE Journal on Selected Areas
in Communications, 14(4) :662673, May 1996.
[26] K.W. Cheung and R.D. Murch. Optimizing indoor base-station locations in coverage-
and interference-limited indoor environments. In IEE Proceedings in Communica-
tions, volume 6, pages 445450, December 1998.
[27] M. Unbehaun and M. Kamenetky. On the deployment of picocellular wireless infra-
structure. Wireless Communications, IEEE, 10(6) :7080, December 2003.
[28] J. He, A. Verstack, L.T. Watson, C.A. Stinson, N. Ramakrishnan, C.A. Shaffer, T.S.
Rappaport, and C.R. Anderson. Globally optimal transmitter placement for indoor
wireless communication systems. IEEE Transactions on wireless communications,
2002.
[29] G.R. Mateus, A.A.F. Loureiro, and R.C. Rodrigues. Optimal network design for
wireless local area network. Annals of Operations Research, 106 :331145, 2001.
216
BIBLIOGRAPHIE
217
BIBLIOGRAPHIE
[45] G.Bianchi. Performance Analysis of the IEEE 802.11 DCF. IEEE Journal on selected
areas in communications, 18(3) :535547, 2000.
[46] T.-H. Le. Localisation de stations mobiles dans les rseaux sans-fil : rapport de stage
de DEA. In DEA Images et Systmes, Lyon : INSA de Lyon, CREATIS-CITI, 60
p., 2004.
[47] A. Heindl and R. German. Performance modeling of IEEE 802.11 wireless LANs
with stochastic petri nets. Performance Evaluation 44 :139-164, 2001.
[48] J.-L. Lu and F. Valois. Stochastic model of radio network. Technical report, INRIA
Research Technical, RR-5518, February 2005.
[49] J. Kabara, P. Krishnamurphy, and D. Tipper. Capacity based network planning for
wireless data networks. In Proceedings of Information Society Technologies (IST)
Mobile Summit, Barcelona, Spain, September 2001.
[50] T. Rappaport. Wireless Communications : Principles and Practice, chapter 3. Pren-
tice Hall, Englewood Cliffs, New Jersey, USA, 1996, 736p.
[51] J.W. McKnown and R.L. Hamilton. Ray tracing as design tool for radio networks.
IEEE Network Magazine, 5 :2730, November 1991.
[52] S.Y. Seidel and T.S. Rappaport. 914 mhz path loss prediction models for indoor
wireless communications in multifloored buildings. IEEE transactions on Antennas
and Propagation, 40(2) :207217, 1992.
[53] W. Honcharenko, H.L. Bertoni, .L. Dailing, J. Qian, and H.D. Yee. Mechanisms go-
verning uhf propagation on single floors in modern office buildings. IEEE transactions
on Antennas and Propagation, 41(6) :787790, 1993.
[54] S. Y. Seidel, K. R. Schaubach, T.T. Tran, and T.S. Rappaport. Research in site-
specific propagation modeling for PCS system design. In Proceedings of the 43rd
IEEE Vehicular Technology Conference, pages 261264, Secaucus, NJ, USA, May
1993.
[55] R.A. Valenzuela. A ray tracing approach to predicting indoor wireless transmission.
In Proceedings of the 43rd IEEE Vehicular Technology Conference, pages 214218,
May 1993.
[56] S.Y. Seidel and T.S. Rappaport. Site specific propagation prediction for wireless
in-building personal communication system design. IEEE transactions on Vehicular
Technology, 43(4) :879891, 1994.
[57] K. Pahlavah and A. H. Lavesque. Wireless information networks, pages 195196.
Wiley Series in Telecommunications and Signal Processing. Wiley, New York, USA,
1995.
[58] A. Rajkumar, B.F. Naylor, F. Feisullin, and L. Rogers. Predicting RF coverage in
large environments using ray-beam tracing and partitioning tree represented geome-
try. Technical report, Technical Memorendum, AT&T Bell Laboratories, 1995.
[59] M. A. Panjwani, A. L. Abbott, and T. S. Rappaport. Interactive computation of
coverage regions for wireless communication in multifloored indoor environments.
IEEE Journal on Selected Areas in Communications, 14(3) :420430, April 1996.
[60] S. Fortune. A beam tracing algorithm for prediction of indoor radio propagation.
Technical report, AT& T Bell Laboratories report, February 1996.
[61] COST Program, editor. Digital Mobile Radio towards Future Generation Systems,
COST 231 Final Report, chapter Chap 4 : Propagation Prediction Models, pages
115208. European Union, Brussels, 1996.
218
BIBLIOGRAPHIE
219
BIBLIOGRAPHIE
220
BIBLIOGRAPHIE
[95] J.A. Nelder and R. Mead. A simplex method for function minimisation. Computer
Journal, 7 :308313, 1965.
[96] K.I.M. McKinnon. Convergence of the nelder-mead simplex method to a nonstatio-
nary point. SIAM Journal of Optimisation, 9 :148158, 1998.
[97] D.R. Jones, C.D. Perttunen, and B.E. Stuckman. Lipschitzian optimization without
the lipschitz constant. Journal of Optimization Theory and Applications, 79(1) :157
181, October 1993.
[98] J. Pintr. Global Optimization in Action : Continuous and Lipschitz Optimization :
Algorithms, Implementations and Applications. Kluwer, Dordrecht, 1996, 508 p.
[99] J.M. Gablonsky. Modifications of the DIRECT algorithm. PhD thesis, Raleigh, USA :
North Carolina State University, 2001.
[100] G. Ausiello, P. Crescenzi, G.Gambosi, V. Kann, A. Marchetti-Spaccamela, and
M. Protasi. Complexity and Approximation. Springer, New-York, 1999, 524p.
[101] F. Glover. Future paths for integer programming and links to artificial intelligence.
Computers and Operations Research, 5 :533549, 1986.
[102] F. Glover and M. Laguna. Tabu Search. Kluwer Academic Publisher, Boston, 1997,
408p.
[103] Y. Collette and P. Siarry. Multiobjective optimization. Springer Edition, August
2003, 315p.
[104] P. Engrand. Approche doptimisation multiobjectif base sur ladoucissement simul,
et son application la gestion des combustibles nuclaires. In Icone 5 : Int. Conf.
on Nuclear Engineering, volume 10, pages 18, Nice, France, 1997.
[105] E.L. Ulungu, J. Teghem, Ph. Fortemps, and K. Van Nieuwenhuyze. Perfomance of
the MOSA method for the bicriteria assignment problem. Journal of Heuristics,
6(3) :295310, 1994.
[106] C.A. Coello and A.D. Christiansen. Two new ga-based methods for multiobjective
optimization. Civil Engineering Systems, 15(3) :207243, 1998.
[107] J-M. Gorce and S. Ubeda. Propagation simulation with the parflow method : fast
computation using a multi-resolution scheme. In IEEE 54th Vehicular Technology
Conference, Atlantic City, October 2001.
[108] J-M. Gorce, E. Jullo, and K. Runser. An adaptative multi-resolution algorithm for
2D simulations of indoor propagation. In Proceedings of the 12th IEE International
Conference on Antennas and Propagation, pages 216219, Exeter, UK, April 2003.
IEE.
[109] W. Hoschek. The COLT Distribution : Open source libraries for high performance
scientific and technical computing in java. Technical report, CERN, Disponible sur :
http ://hoschek.home.cern.ch/hoschek/colt/ (23.08.2005), 2002.
[110] L. S. Blackford, J. Demmel, J. Dongarra, I. Duff, S. Hammarling, G. Henry, M. He-
roux, L. Kaufman, A. Lumsdaine, A. Petitet, R. Pozo, K. Remington, and R. C.
Whaley. An Updated Set of Basic Linear Algebra Subprograms (BLAS). ACM
Transactions for Mathematical Software, 2(28) :135151, 2002.
[111] K. Runser and J.-M. Gorce. Assessment of a new indoor propagation prediction
model based on a multi-resolution algorithm. In Proceedings of the IEEE Vehicular
Technology Conference Spring 2005, pages 3538, Stockholm, Sweden, May 2005.
221
BIBLIOGRAPHIE
[112] G. De La Roche K. Runser and J.-M. Gorce. The adaptive multi-resolution frequency-
domain parflow (MR-FDPF) method for indoor radio wave propagation simulations.
Part II : Application to indoor propagation prediction. Technical report, INRIA,
France, 2005.
[113] B. Chopard, P.O. Luthi, and J.F. Wagen. A lattice boltzmann method for wave
propagation in urban microcells. In IEEE Proceedings H - Microwaves, Antennas
and Propagation, volume 144, pages 251255, 1997.
[114] P.O. Luthi. Lattice Wave Automata : from radio wave to fracture propagation. PhD
thesis, Geneva, Switzerland : Computer Science Dpt., University of Geneva, 1998.
[115] W.J.R. Hoefer. The transmission line matrix method - theory and applications. IEEE
Transactions on Microwaves Theory Technique., 33(4) :882893, 1985.
[116] J. Rebel. On the foundation of the transmission Line Matrix Method. PhD thesis,
Munchen, Deutchland : Universitat Munchen, dec 1999.
[117] PB. Johns. A symmetrical condensed node for the TLM method. IEEE trans. on
Microwave theory Techniques, 35 :370377, April 1987.
[118] J. Hesselbarth and R. Vahldieck. Accuracy of the frequency-domain tlm method and
its application to microwave circuits. International journal of numerical modelling :
electronic networks, devices and fields, 15 :371383, may 2002.
[119] H. Jin and R. Vahldieck. The frequency-domain transmission line matrix method :
as new concept. IEEE Trans. Microwave Theory Techniques, 40 :22072218, 1992.
[120] Gerard Wlfle, Ren Wahl, Pascal Wildbolz, and Philipp Wertz. Dominant path
prediction model for indoor and urban scenarios. In 11th COST 273, Germany,
September 2004.
[121] J.-M. Gorce, K. Runser, and G. de la Roche. The adaptive multi-resolution frequency-
domain parflow (MR-FDPF) method for indoor radio wave propagation simulations.
Part I : theory and algorithms. Technical report, RR-5740, INRIA, France, 2005.
[122] G. De La Roche, R. Rebeyrotte, K. Runser, and J.-M. Gorce. A new strategy for
indoor propagation fast computation with MR-FDPF algorithm. In Proceedings of
the IASTED International Conference on Antennas, Radar and Wave Propagation
(ARP), Banff, Canada, July 2005.
[123] S. Stavrou and S.R. Saunders. Review of constitutive parameters of building mate-
rials. In Proceedings of the 12th International Conference on Antennas and Propa-
gation, pages 211215, Exeter, UK, April 2003.
[124] P. Wertz, G. Wlfle, R. Hoppe, and F.M. Landstorfer. Deterministic propagation
models flor radio transmission into buildings and enclosed spaces. In European Mi-
crowave Week 2003, Munich, 2003.
[125] D. R. Jones. A taxonomy of global optimization methods based on response surfaces.
Journal of Global Optimization, 21 :345383, 2001.
[126] K. Runser, S. Ubeda, and J-M. Gorce. 0ptimisation de rseaux locaux sans fils. In 5e
congrs de la Socit Franaise de Recherche Oprationnelle et dAide la Dcision,
pages 250251, Avignon, France, February 2003.
[127] P. Reininger and A. Caminada. Multicriteria design model for cellular network.
Annals of Operation Research, 107(1-4) :251265, 2001.
[128] J. Hightower and G. Borriello. Location systems for ubiquitous computing. IEEE
Computer, 8(34) :5766, August 2001.
222
BIBLIOGRAPHIE
223
FOLIO ADMINISTRATIF
RESUME :
Lobjectif du travail prsent dans cette thse est de proposer une stratgie de planification automatique des rseaux locaux sans-fil
de type WiFi en environnement Indoor. Il sagit de rechercher une ou plusieurs configurations des points daccs (AP) au rseau
garantissant une certaine qualit de service (QoS). La qualit dune telle stratgie dpend en grande partie du modle de prdic-
tion de couverture radio utilis. La premire partie de ces travaux a donc t consacre au dveloppement et la validation des pr-
dictions de couverture radio du modle Multi-Resolution Fourier Domain ParFlow (MR-FDPF). Une tape de calibration du modle
nous a permis de dfinir un paramtrage adquat du modle MR-FDPF pour des btiments standard, garantissant une erreur qua-
dratique de moins de 5 dB. La seconde partie se concentre sur le problme de planification wLAN. Des critres de couverture radio,
de minimisation des interfrences, doptimisation de la bande passante et damlioration des services de localisation ont t proposs.
Deux heuristiques de recherche bases sur une approche Tabou ont t dveloppes : une heuristique mono-objectif et une heuristi-
que multiobjectif. Ces travaux ont mis en vidence les avantages dune recherche multiobjectif car elle permet dobtenir plusieurs so-
lutions appartenant au front de Pareto de lespace des fonctions associes au problme trait. Chaque solution reprsente alors un
compromis diffrent entre les critres du problme rsoudre. Le choix de la solution dployer se fait posteriori dans lensem-
ble limit des bonnes solutions.
ABSTRACT :
This PhD study was undertaken in the field of wireless local area networks. The objective is to propose an automatic planning
strategy which seeks one or more configurations of the access points (APs) to guarantee a given quality of service. The quality of
such a strategy depends mainly on the propagation prediction model used. The first part of this work was thus devoted to the deve-
lopment and validation of an original propagation prediction model : the adaptive Multi-Resolution Fourier Domain ParFlow (MR-
FDPF) model. The definition of a calibration stage enabled us to define adequate parameter settings of the model for standard
buildings, guaranteeing a mean squared error of less than 5 dB. The second part of this work concentrates on the wLAN planning
problem. Criteria of radio coverage, interference minimization, bandwidth optimization and improvement of localization services
were proposed. Two optimization heuristics based on a Tabu algorithm were developed : a mono-objective and a multiobjective one.
This work highlighted the advantages of the multiobjective approach because it makes it possible to obtain several solutions each
one representing a different trade-off between the optimized criteria. In fact, the mono-objective heuristic gives only one choice
to the deployment engineer and if this solution doesnt suits him, the whole research has to be run again with other criteria weigh-
tings. With the multiobjective approach, the choice of the solution to be deployed is done a-posteriori in a set of good solutions.
MOTS-CLES : Rseaux sans-fil, planification, Modle MR-FDPF, ParFlow, Propagation Indoor, Mtaheuristique,
Tabou, Optimisation Multiobjectif,