![Page 1: Localisation d’une source émettrice par un réseau d’antennes](https://reader034.vdocuments.net/reader034/viewer/2022052601/5594a7791a28ab41348b469b/html5/thumbnails/1.jpg)
Localisation d’une source Localisation d’une source émettrice par un réseau émettrice par un réseau
d’antennes :d’antennes :Point de vue de Point de vue de
l’optimisationl’optimisation
Auteurs Ahmed Rebai, Doctorant Subatech
Tarek Salhi, Ingénieur des Mines
![Page 2: Localisation d’une source émettrice par un réseau d’antennes](https://reader034.vdocuments.net/reader034/viewer/2022052601/5594a7791a28ab41348b469b/html5/thumbnails/2.jpg)
Plan de la présentationPlan de la présentation
Introduction et contexte de l’étude
Formulation du problème mathématique d’optimisation
Etude de la localisation de la source
Simulations et résultats
Conclusion et perspectives
![Page 3: Localisation d’une source émettrice par un réseau d’antennes](https://reader034.vdocuments.net/reader034/viewer/2022052601/5594a7791a28ab41348b469b/html5/thumbnails/3.jpg)
Le recours à des techniques d’optimisation n’est pas nouveau pour répondre à des problématiques de la physique
Beaucoup de lois et problèmes physiques ont une formulation variationnelle i.e. sous forme de problème d’optimisation : Equations d’Euler-Lagrange (mécanique), équations HJB, thermodynamique, optique
Origine géométrique de la physique (géométrie différentielle)
Domaine à l’interface de la physique, de l’analyse, de l’analyse numérique et de la géométrie
Exemple : Seismic Reflection Tomography
![Page 4: Localisation d’une source émettrice par un réseau d’antennes](https://reader034.vdocuments.net/reader034/viewer/2022052601/5594a7791a28ab41348b469b/html5/thumbnails/4.jpg)
Seismic Reflection TomographySeismic Reflection Tomography
Problème formulé par Gauss 1809
Solutions optique géométrique (onde plane) pour la propagation de l’onde dans le milieu : trajectoire rectiligne
Onde se propage entre une source émettrice et un récepteur avec une réflexion sur un milieu de position et forme inconnue
Célérité (connue) et constante dans le milieu
![Page 5: Localisation d’une source émettrice par un réseau d’antennes](https://reader034.vdocuments.net/reader034/viewer/2022052601/5594a7791a28ab41348b469b/html5/thumbnails/5.jpg)
Formulation du problème à l’aide Formulation du problème à l’aide d’une fonctionnelle d’une fonctionnelle moindre carrésmoindre carrés
Le problème régularisé peut être formulé de la façon suivante
où et est fonction de la géométrie de la surface à déterminer (courbure)
est un paramètre à déterminer en fonction du problème
![Page 6: Localisation d’une source émettrice par un réseau d’antennes](https://reader034.vdocuments.net/reader034/viewer/2022052601/5594a7791a28ab41348b469b/html5/thumbnails/6.jpg)
Similitudes avec les techniques Similitudes avec les techniques d’ajustement (fit)d’ajustement (fit)
La fonctionnelle à optimiser est classique (quadratique)
Similaire aux ajustement par méthodes de moindres carrés linéaires
2
2)(
2
1minarg mod obs
iia
tatn
−ℜ∈
2
1
02
2
2
mod
)min()(
2
1minarg ∑
=ℜ∈
⋅+⋅+−==− N
i i
iiobsi
i
iobsi
a
cVyUx
ttattn σ
χσ
![Page 7: Localisation d’une source émettrice par un réseau d’antennes](https://reader034.vdocuments.net/reader034/viewer/2022052601/5594a7791a28ab41348b469b/html5/thumbnails/7.jpg)
Comparaison de notre problème et Comparaison de notre problème et le Seismic Reflection Tomographyle Seismic Reflection Tomography
Localisation de la source à l’aide d’un réseau d’antennes
Seismic Reflection Tomography
Célérité de la lumière dans le vide
Célérité d’une onde acoustique dans le milieu inférieure à 3000 m/s
Fonctionnelle non standard (puissance quatrième)
Fonctionnelle quadratique à minimiser
Localisation d’une source en mouvement
Répétabilité statistique possible, source statique
Topologie du champs d’antennes à optimiser
Symétrie du réseau se retrouve dans la forme de l’interface
![Page 8: Localisation d’une source émettrice par un réseau d’antennes](https://reader034.vdocuments.net/reader034/viewer/2022052601/5594a7791a28ab41348b469b/html5/thumbnails/8.jpg)
Formulation du problème Formulation du problème mathématique d’optimisationmathématique d’optimisation
Localiser la position et le temps d’émission d’une onde à partir d’une source avec un réseau d’antennes
![Page 9: Localisation d’une source émettrice par un réseau d’antennes](https://reader034.vdocuments.net/reader034/viewer/2022052601/5594a7791a28ab41348b469b/html5/thumbnails/9.jpg)
Formulation du problème Formulation du problème d’optimisation sans contraintesd’optimisation sans contraintes
Le problème non régularisé et sans contraintes est le suivant
où désigne la position de la source, l’instant d’émission de l’onde (supposée sphérique).
![Page 10: Localisation d’une source émettrice par un réseau d’antennes](https://reader034.vdocuments.net/reader034/viewer/2022052601/5594a7791a28ab41348b469b/html5/thumbnails/10.jpg)
Propriétés de la fonctionnelle à Propriétés de la fonctionnelle à optimiseroptimiser
Fonction différentiable Algorithmes d’optimisation différentiables
Algorithmes possibles : Levenberg-Marquardt (méthodes quasi-newtoniennes), algorithme du Simplexe, Méthodes de Gauss-Newton, méthodes de gradient (pas fixe et pas optimal)
Fonction coercive (infinie à l’infini) et non-convexe existence certaine de minima locaux
Caractérisation de l’ensemble des points critiques de la fonctionnelle
![Page 11: Localisation d’une source émettrice par un réseau d’antennes](https://reader034.vdocuments.net/reader034/viewer/2022052601/5594a7791a28ab41348b469b/html5/thumbnails/11.jpg)
Importance de la notion de convexité Importance de la notion de convexité dans les problèmes d’optimisationdans les problèmes d’optimisation
Conditionne la convergence des algorithmes
Propriété topologique locale de la fonction
Regarder la différentielle première (plan tangent) et seconde (forme quadratique)
![Page 12: Localisation d’une source émettrice par un réseau d’antennes](https://reader034.vdocuments.net/reader034/viewer/2022052601/5594a7791a28ab41348b469b/html5/thumbnails/12.jpg)
Pourquoi la convexité est Pourquoi la convexité est importante ?importante ?
Les algorithmes d’optimisation sont basés sur l’idée de la méthode de Newton : Chercher les directions de Descente pour atteindre le minimum (local ou global)
Si la fonction est convexe alors minimum local = minimum global
Comme pour une bille qui dévale une pente, si la condition initiale n’est pas bien placée algorithme coincé dans un minimum local
![Page 13: Localisation d’une source émettrice par un réseau d’antennes](https://reader034.vdocuments.net/reader034/viewer/2022052601/5594a7791a28ab41348b469b/html5/thumbnails/13.jpg)
Preuve de la non-convexitéPreuve de la non-convexité
Calcul de la différentielle première et seconde de la fonctionnelle
Version en dimension supérieure
Le différentielle première est un vecteur (tenseur d’ordre 1) et la différentielle seconde une matrice (tenseur d’ordre 2)
Condition nécessaire et suffisante de convexité : La matrice hessienne est définie positive
![Page 14: Localisation d’une source émettrice par un réseau d’antennes](https://reader034.vdocuments.net/reader034/viewer/2022052601/5594a7791a28ab41348b469b/html5/thumbnails/14.jpg)
Calcul des différentielles Calcul des différentielles premières et secondespremières et secondes
Notons la matrice de Minkowski (métrique de Minkowski)
La matrice Hessienne
La fonctionnelle est convexe si et seulement si la matrice Hessienne est définie positive.
![Page 15: Localisation d’une source émettrice par un réseau d’antennes](https://reader034.vdocuments.net/reader034/viewer/2022052601/5594a7791a28ab41348b469b/html5/thumbnails/15.jpg)
Non-convexité de l’estimateurNon-convexité de l’estimateur
Calcul explicite du premier coefficient de la matrice Hessienne
Terme conditionne la « définie-positivité » de la matrice Hessienne et donc la convexité
![Page 16: Localisation d’une source émettrice par un réseau d’antennes](https://reader034.vdocuments.net/reader034/viewer/2022052601/5594a7791a28ab41348b469b/html5/thumbnails/16.jpg)
Localisation de la sourceLocalisation de la source
Lors de l’étude des propriétés des points critiques de la fonctionnelle, l’ensemble des points critiques est paramétré de la façon suivante
La formule « ressemble » à un barycentre la direction du barycentre joue un rôle privilégié dans notre problème
ii
jj
i Xf
fX ⋅=∑∑
![Page 17: Localisation d’une source émettrice par un réseau d’antennes](https://reader034.vdocuments.net/reader034/viewer/2022052601/5594a7791a28ab41348b469b/html5/thumbnails/17.jpg)
Le problème monodimensionnelLe problème monodimensionnel
Réseau de N antennes placées sur une droite à des positions connues
Source de position et instant d’émission inconnu
iX
![Page 18: Localisation d’une source émettrice par un réseau d’antennes](https://reader034.vdocuments.net/reader034/viewer/2022052601/5594a7791a28ab41348b469b/html5/thumbnails/18.jpg)
Formulation du problème Formulation du problème d’optimisationd’optimisation
Minimiser la fonctionnelle
sous les contraintes
![Page 19: Localisation d’une source émettrice par un réseau d’antennes](https://reader034.vdocuments.net/reader034/viewer/2022052601/5594a7791a28ab41348b469b/html5/thumbnails/19.jpg)
Ensemble des contraintesEnsemble des contraintes
![Page 20: Localisation d’une source émettrice par un réseau d’antennes](https://reader034.vdocuments.net/reader034/viewer/2022052601/5594a7791a28ab41348b469b/html5/thumbnails/20.jpg)
Droite de dégénérescenceDroite de dégénérescence
Si un couple est un point critique alors il vérifie les deux équations
Condition sur pour que soit aussi un point critique
Le point critique est à l’intérieur du réseau
( )*, ss tx
L ( )LtLx ss −− *,
![Page 21: Localisation d’une source émettrice par un réseau d’antennes](https://reader034.vdocuments.net/reader034/viewer/2022052601/5594a7791a28ab41348b469b/html5/thumbnails/21.jpg)
Généralisation au cas de Généralisation au cas de dimensions supérieuresdimensions supérieures
L’ensemble des points critiques contient une demi-droite
L’idée se généralise (bien que plus difficile à formuler) au cas de dimensions supérieures
![Page 22: Localisation d’une source émettrice par un réseau d’antennes](https://reader034.vdocuments.net/reader034/viewer/2022052601/5594a7791a28ab41348b469b/html5/thumbnails/22.jpg)
Enveloppe convexeEnveloppe convexe
![Page 23: Localisation d’une source émettrice par un réseau d’antennes](https://reader034.vdocuments.net/reader034/viewer/2022052601/5594a7791a28ab41348b469b/html5/thumbnails/23.jpg)
Simulation dans le cas d’un réseau Simulation dans le cas d’un réseau linéiquelinéique
Deux scénarios envisagés
La source se trouve dans l’intervalle des antennes réceptrices
La source se trouve à l’extérieur des antennes réceptrices
![Page 24: Localisation d’une source émettrice par un réseau d’antennes](https://reader034.vdocuments.net/reader034/viewer/2022052601/5594a7791a28ab41348b469b/html5/thumbnails/24.jpg)
La source est à l’extérieur du réseau La source est à l’extérieur du réseau linéiquelinéique
Confirmation de la présence de minima locaux même dans le cas où
Dans ce cas, les valeurs du sont très faibles
Dans le cas , les valeurs du sont élevées
0=tσ
2χ
0>tσ2χ
![Page 25: Localisation d’une source émettrice par un réseau d’antennes](https://reader034.vdocuments.net/reader034/viewer/2022052601/5594a7791a28ab41348b469b/html5/thumbnails/25.jpg)
La source est à l’intérieur du réseau La source est à l’intérieur du réseau linéiquelinéique
Existence d’un minimum global prononcé
La reconstruction de la position de la source est possible
Même remarques pour les valeurs du en fonction des
2χ
tσ
![Page 26: Localisation d’une source émettrice par un réseau d’antennes](https://reader034.vdocuments.net/reader034/viewer/2022052601/5594a7791a28ab41348b469b/html5/thumbnails/26.jpg)
Cas d’un réseau surfaciqueCas d’un réseau surfaciqueRéseau autonome
CODALEMA dans le cas de la reconstruction du bruit de fond anthropique
Réseau AERA à AUGER
Deux scénarios : La source se trouve à l’intérieur ou à l’extérieur du réseau
![Page 27: Localisation d’une source émettrice par un réseau d’antennes](https://reader034.vdocuments.net/reader034/viewer/2022052601/5594a7791a28ab41348b469b/html5/thumbnails/27.jpg)
Source hors de l’enveloppe convexe du Source hors de l’enveloppe convexe du réseauréseau
![Page 28: Localisation d’une source émettrice par un réseau d’antennes](https://reader034.vdocuments.net/reader034/viewer/2022052601/5594a7791a28ab41348b469b/html5/thumbnails/28.jpg)
Source dans l’enveloppe convexe du Source dans l’enveloppe convexe du réseau d’antennesréseau d’antennes
![Page 29: Localisation d’une source émettrice par un réseau d’antennes](https://reader034.vdocuments.net/reader034/viewer/2022052601/5594a7791a28ab41348b469b/html5/thumbnails/29.jpg)
Configuration spatiale du réseau plus Configuration spatiale du réseau plus exotiqueexotique
![Page 30: Localisation d’une source émettrice par un réseau d’antennes](https://reader034.vdocuments.net/reader034/viewer/2022052601/5594a7791a28ab41348b469b/html5/thumbnails/30.jpg)
Démonstration de la dégénérescence Démonstration de la dégénérescence sur des données expérimentalessur des données expérimentales
![Page 31: Localisation d’une source émettrice par un réseau d’antennes](https://reader034.vdocuments.net/reader034/viewer/2022052601/5594a7791a28ab41348b469b/html5/thumbnails/31.jpg)
Conclusion et perspectivesConclusion et perspectives L’estimateur introduit peut être
amélioré
Deux voies se présentent : ajouter de l’information au
Anthropique proportionnel à
Signal UHECR proportionnel à
Attaquer le problème d’un point de vue statistique : théorie des M-estimateurs
Faire une hypothèse différente sur le front d’onde
2χ222tempsamplitudeLDFglobal χχχ += −
r
1
0rr
e−