Traitement du signal lidar€¦ · A est une caractéristique du Convertisseur...

38
Traitement du signal lidar A. Dabas

Transcript of Traitement du signal lidar€¦ · A est une caractéristique du Convertisseur...

Page 1: Traitement du signal lidar€¦ · A est une caractéristique du Convertisseur Analogique/Numérique (fixe ou réglable), on adapte la dynamique du signal en conséquence. Ce faisant,

Traitement du signal lidarA. Dabas

Page 2: Traitement du signal lidar€¦ · A est une caractéristique du Convertisseur Analogique/Numérique (fixe ou réglable), on adapte la dynamique du signal en conséquence. Ce faisant,

Plan1. Quelques brefs rappels sur le traitement numérique du signal

◦ Numérisation des signaux.◦ Transformation de Fourier des signaux numériques.◦ Démodulation complexe

2. Quelques généralités sur les estimateurs.◦ Estimateur au maximum de vraisemblance.◦ Borne de Cramer Rao

3. Lidar en détection directe◦ Équation lidar (rappel) et propriétés statistiques des signaux.◦ Estimation du coefficient d’atténuation.◦ Estimation d’une épaisseur optique.

4. Lidar en détection hétérodyne◦ Modèle « feuilleté », propriétés statistiques des signaux et modèle de Zrnic.◦ Estimation de la puissance du signal◦ SNR et CNR◦ Estimation Doppler.

2

Ecol

e d'

été

lidar

-23

juin

au

2 ju

illet 2

010

Page 3: Traitement du signal lidar€¦ · A est une caractéristique du Convertisseur Analogique/Numérique (fixe ou réglable), on adapte la dynamique du signal en conséquence. Ce faisant,

TRAITEMENT DU SIGNAL

Ecol

e d'

été

lidar

-23

juin

au

2 ju

illet 2

010

3

Page 4: Traitement du signal lidar€¦ · A est une caractéristique du Convertisseur Analogique/Numérique (fixe ou réglable), on adapte la dynamique du signal en conséquence. Ce faisant,

Numérisation des signaux Deux opérations

◦ Échantillonnage: la valeur du signal est prélevée à intervalles de temps réguliers.

◦ Quantification: la valeur du signal est « codée » informatiquement, généralement en un entier.

L’échantillonnage◦ Caractérisé par la période de temps Ts entre deux échantillons, ou son inverse Fs = 1/Ts appelée

fréquence d’échantillonnage.

La quantification◦ La plage de numérisation [-A/2,A/2] est divisée en 2b intervalles de largeur 2-bA numéroté de 0 à

2b-1. A chaque valeur du signal, on associe l’indice de l’intervalle dans lequel il se trouve:

◦ A est une caractéristique du Convertisseur Analogique/Numérique (fixe ou réglable), on adapte la dynamique du signal en conséquence.

◦ Ce faisant, on introduit une erreur d’arrondi qui peut prendre la valeur maximale 2-bA:

◦ Le paramètre b est le nombre de bits de quantification. C’est une autre caractéristique du CAN. Plus il est élevé, moins grandes sont les erreurs d’arrondi, mais plus il faut de mémoire pour stocker les signaux.

Ecol

e d'

été

lidar

-23

juin

au

2 ju

illet 2

010

4

+=

A2

2A

xfloorxb

ananum

bnumana 2Axx ≤−

Page 5: Traitement du signal lidar€¦ · A est une caractéristique du Convertisseur Analogique/Numérique (fixe ou réglable), on adapte la dynamique du signal en conséquence. Ce faisant,

Transformation de Fourier analogique Définition

C’est une opération linéaire transformant une fonction du temps t (s) à valeurs réelles ou complexes en fonction de la fréquence f (en Hz) à valeurs complexes.

Transformation inverse

Cette formule montre qu’il y a autant d’information dans la TF d’une fonction que dans la fonction elle-même. Avec la TF, on voit le même objet mathématique, mais avec un point de vue différent.

Intérêt de la TFLa TF permet de repérer des périodicités dans un signal. Elles apparaissent par des pics.

Incertitude temps-fréquenceComme le montre l’exemple ci-dessus, la largeur d’une TF est inversement proportionnelle à la durée du signal. On peut montrer de manière très générale

Ceci aura des conséquences importantes pour les lidars Doppler : la précision avec laquelle on saura estimer la fréquence du signal est inversement proportionnelle à la durée d’observation…Ec

ole

d'ét

é lid

ar -

23 ju

in a

u 2

juille

t 201

0

5

( ) ( ) ( ) 1j où dtftj2exptxfX 2 −=π−= ∫+∞

∞−

( ) ( ) ( )∫+∞

∞−

π+= dtftj2expfXtx

( ) ( ) [ ] ( ) ( )( )( )

( )( )( )0

0

0

0TF0

ffTffsin

21

ffTffsin

21

fXsinon0

2T,2Ttsitf2costx :Exemple

+π+π

+−π−π

=→← −∈π

=

( )( )

( )( )∫

∫∫∫ =∆=∆

π≥∆∆

dffx

dffXtfet

dttx

dttxttoù

41

tf2

2

2

2

Page 6: Traitement du signal lidar€¦ · A est une caractéristique du Convertisseur Analogique/Numérique (fixe ou réglable), on adapte la dynamique du signal en conséquence. Ce faisant,

Transformation de Fourier analogiqueEc

ole

d'ét

é lid

ar -

23 ju

in a

u 2

juille

t 201

0

6

f0-5/T f0-4/T f0-3/T f0-2/T f0-1/T f0 f0+1/T f0+2/T f0+3/T f0+4/T f0+5/T

0

T/2

Fréquence

X(f)

( )( )( ) ( )( ) ( ) ( )

xxsin

xsincoùTffsinc2T

ffTffsin

21

00

0

ππ

=−π=−π−π

Page 7: Traitement du signal lidar€¦ · A est une caractéristique du Convertisseur Analogique/Numérique (fixe ou réglable), on adapte la dynamique du signal en conséquence. Ce faisant,

Transformation de Fourier numérique Définition

Comme la TF analogique, elle transforme un signal à valeurs réelles ou complexes en un signal à valeurs complexes.

Transformation inverse

Conclusion: il y a autant d’information dans la TF du signal numérique que dans le signal numérique lui-même.

Relation entre TF numérique et TF analogique

Condition de Shannon et filtre anti-repliementD’après la formule précédente, si X(f)=0 pour f≥Fs/2 et f≤Fs/2, alors on a

Autrement dit, si la condition précédente est réunie (condition de Shannon), on a autant d’information dans le signal numérisé que dans le signal analogique!Pour le signal périodique exp(2jπf0t), la condition de Shannon est vérifiée dès lors qu’il y a au moins 2 points d’échantillonnage par période du signal.En pratique, on filtre le signal avant échantillonnage pour supprimer les fréquences supérieures à Fs/2.

Ecol

e d'

été

lidar

-23

juin

au

2 ju

illet 2

010

7

( ) ( ) ( )∑+∞

−∞=

π−=k

ss fkTj2expkTxfX

( ) ( ) ( )∫+

π+=2F

2Fs

ss

s

s

dffkTj2expfXF1

kTx

( ) ( )∑+∞

−∞=

−=k

skFfXfX

( ) ( ) [ ]2F,2FfpourfXfX ss−∈=

Page 8: Traitement du signal lidar€¦ · A est une caractéristique du Convertisseur Analogique/Numérique (fixe ou réglable), on adapte la dynamique du signal en conséquence. Ce faisant,

Repliement de spectreEc

ole

d'ét

é lid

ar -

23 ju

in a

u 2

juille

t 201

0

8

0 0.1 0.2 0.3 0.4 0.5 0.6 0.7 0.8 0.9 1-1

-0.8

-0.6

-0.4

-0.2

0

0.2

0.4

0.6

0.8

1

Temps (s)

Sig

nal

Illustration du phénomène de repliement quand la condition de Shannon n’est pas vérifiée…

Bleu : y(t) = cos(2π*11*t) (fréquence 11Hz)Vert: y(t) = cos(2πt) (fréquence 1Hz)

Échantillonnés à la fréquence Fs=10Hz, les 2 sinusoïdes donnent les mêmes échantillons…

Page 9: Traitement du signal lidar€¦ · A est une caractéristique du Convertisseur Analogique/Numérique (fixe ou réglable), on adapte la dynamique du signal en conséquence. Ce faisant,

Transformation de Fourier numérique TF et produit de convolution

Autrement dit, la TF transforme un produit en produit de convolution et inversement.

TF et filtrage numériqueToute opération de filtrage numérique d’un signal x(kTs) peut s’exprimer de la manière suivant:

Compte tenu des propriétés ci-dessus, on a alors la relation

Densité spectrale d’énergie◦ Définition

Cette fonction de la fréquence s’appelle la densité spectrale d’énergie en vertu de la propriété suivante

Ecol

e d'

été

lidar

-23

juin

au

2 ju

illet 2

010

9

( ) ( ) 2

x fXf =Γ

( ) ( )∑∫+∞

−∞=−

=Γk

2

ss

2F

2Fx kTxFdff

s

s

( ) ( )( ) ( ) ( )( ) ( ) ( ) ( )

( ) ( ) ( ) ( ) ( )( ) ( ) ( )∫∑

−=∗=→←=

=→←−=∗=

dfufYuXfYXfZkTykTxkTz

fYfXfZTmkymTxkTyxkTz

TFsss

TFm

ssss

( ) ( )( ) ( )( ) ( ) ( )( ) ( )( )sqs1s0sps1s0 TqkxbT1kxbkTxbTpkyaT1kyakTya −++−+=−++−+

Sortie Entréé

( ) ( ) ( ) ( )fYfBfXfA =

Page 10: Traitement du signal lidar€¦ · A est une caractéristique du Convertisseur Analogique/Numérique (fixe ou réglable), on adapte la dynamique du signal en conséquence. Ce faisant,

Transformation de Fourier Rapide

En pratique, un signal est numérisé sur une période d’observation finie. On a donc un nombre fini M d’échantillons. Dans ce cas, on définit la Transformation Rapide de Fourier et son inverse par les équations suivantes:

Les algorithmes de TFR établit une correspondance entre la valeur la TF pour les fréquences fk=kFs/M avec k=0 à M-1 et la valeur de M échantillons de signal x(mTs) pour m=0 à M-1.

La résolution spectrale de la TFR est égale à FS/M où M est le nombre d’échantillons temporels.

La TFR est optimisée en temps de calcul si M est une puissance de 2.

Ecol

e d'

été

lidar

-23

juin

au

2 ju

illet 2

010

10

( ) ( ) ∑∑−

=

=

π+

=

π−=

1M

0k

ss

1M

0ms

s

Mkm

j2expMkF

XmTxMkm

j2expmTxMkF

X

( )( )

( )( )

( )( )

( )( )

→←

− MF1MX

MFX

0X

T1Mx

Tx

0x

s

sTFR

s

s

Page 11: Traitement du signal lidar€¦ · A est une caractéristique du Convertisseur Analogique/Numérique (fixe ou réglable), on adapte la dynamique du signal en conséquence. Ce faisant,

Démodulation complexe Objectif:

La démodulation complexe a pour but de décaler un signal « réel » (tel que le signal brut numérisé en sortie de détecteur) en un signal « imaginaire » (composé de 2 voies en quadrature) dont le contenu spectral est identique mais décalé en fréquence.

Dans un lidar hétérodyne, cette opération permet de supprimer le décalage fe – fOL de sorte que la fréquence nulle corresponde à un Doppler nul.

Exemple: Sin(kT1) = cos(2jπfkT1)…

Ecol

e d'

été

lidar

-23

juin

au

2 ju

illet 2

010

11

Sin(kT1)

-sin(2πδft)

cos(2πδft)

Décimation

Décimation

RE[Sout (kT2)]

Im[Sout(kT2)]

Page 12: Traitement du signal lidar€¦ · A est une caractéristique du Convertisseur Analogique/Numérique (fixe ou réglable), on adapte la dynamique du signal en conséquence. Ce faisant,

ESTIMATEURS

Ecol

e d'

été

lidar

-23

juin

au

2 ju

illet 2

010

12

Page 13: Traitement du signal lidar€¦ · A est une caractéristique du Convertisseur Analogique/Numérique (fixe ou réglable), on adapte la dynamique du signal en conséquence. Ce faisant,

Maximum de vraisemblance Vraisemblance

Soit x1, x2,…,xn, n observations d’un système physique x réglé par un paramètre (ou un ensemble de paramètres) θ. La fonction de vraisemblance des n observations est définie par

Autrement dit, la vraisemblance est la fonction qui exprime la probabilité d’observer effectivement x1, x2,…,xnselon la valeur du paramètre θ.

Estimation au maximum de vraisemblanceL’estimation au maximum de vraisemblance du paramètre θ est la valeur de ce paramètre pour lequel la probabilité d’observer x2,…,xn est maximale. On part du principe que si x2,…,xn ont effectivement été observés, c’est qu’ils avaient une bonne chance de l’être…

Assez souvent, on optimise Λ(θ)=log(L(θ)) plutôt que L(θ), les calculs sont plus simples…

Borne de Cramer RaoOn peut montrer que pour n’importe quel estimateur non biaisé de θ, on a

Où F est la matrice carrée (matrice de Fisher) définie par

Cette inégalité définit la Borne de Cramer Rao, limite ultime de la précision (en terme de variance) de tout estimateur la BCR est une référence. Si un estimateur a une variance proche de la BCR, pas la peine de casser la tête à essayer de faire mieux.Un estimateur non biaisé dont la variance est égale à la BCR est dit efficace.S’il existe un estimateur efficace, l’estimateur ML l’est.

Ecol

e d'

été

lidar

-23

juin

au

2 ju

illet 2

010

13

( ) ( )θ=θ n1 x,...,xPL

( )( )[ ]θ=θ LmaxargˆML

( )[ ] 12Fˆ −≥θ−θΕ

( )

θ∂θ∂θΛ∂

−=ji

2

j,i EF

Page 14: Traitement du signal lidar€¦ · A est une caractéristique du Convertisseur Analogique/Numérique (fixe ou réglable), on adapte la dynamique du signal en conséquence. Ce faisant,

Maximum de vraisemblance Exemple

On cherche à trouver l’amplitude (complexe) et la fréquence du signal bruité suivant

où e(kTs) est un bruit blanc numérique complexe de statistique gaussienne, c’est-à-dire

On peut alors facilement montrer que

Autrement dit, l’estimation au maximum de vraisemblance de la fréquence du signal est la fréquence qui maximise la densité spectrale du signal, et la valeur de la TF à cette fréquence donne directement (à un facteur multiplicatif près) l’amplitude du signal.

Ecol

e d'

été

lidar

-23

juin

au

2 ju

illet 2

010

14

( ) ( ) ( ) M,,1kaveckTekTj2expkTx ss21s =+πθθ=

( ) ( ) ( ) ( ) ( )( ) ( )

σ

−σπ

=−δσ== 2e

2s

esess

*s

kTeexp

1kTepkmmTekTe0kTe

( ){ } ( )ML2

ML1

2ML2

ˆXM1ˆetfXmaxargˆ θ=θ

Page 15: Traitement du signal lidar€¦ · A est une caractéristique du Convertisseur Analogique/Numérique (fixe ou réglable), on adapte la dynamique du signal en conséquence. Ce faisant,

DÉTECTION DIRECTE

15

Ecol

e d'

été

lidar

-23

juin

au

2 ju

illet 2

010

Page 16: Traitement du signal lidar€¦ · A est une caractéristique du Convertisseur Analogique/Numérique (fixe ou réglable), on adapte la dynamique du signal en conséquence. Ce faisant,

Équation lidar Équation lidar

L’équation peut s’écrire de la manière suivante:

Où Imp(t) décrit l’impulsion laser, K est une constante multiplicative, β(z) est le coefficient de rétrodiffusion, e(t) du bruit (Gaussien) et T2(z) l’atténuation:

Il est courant de simplifier l’équation lidar ci-dessus en considérant que le rapport β(z)T2(z)/z2 ne varie pas de manière significative sur la longueur de l’impulsion. On a alors

Ecol

e d'

été

lidar

-23

juin

au

2 ju

illet 2

010

16

( ) ( ) ( ) ( )tedzz

zTzcz2

tpImKtS0

2

2

−= ∫

+∞

( ) ( )

α−= ∫

z

0

2 dxx2expzT

( ) ( ) ( ) ( ) 2/ctzaveczez

zTzKEzS 2

2

0 =+β

Page 17: Traitement du signal lidar€¦ · A est une caractéristique du Convertisseur Analogique/Numérique (fixe ou réglable), on adapte la dynamique du signal en conséquence. Ce faisant,

Estimation de l’atténuationOn se place ici dans le cas où on peut considérer que β(z) et α(z) est quasi constant sur la porte de mesure, et on cherche à estimer le coefficient α Pour cela, on prend

et on cherche à approcher la courbe par une droite dont la pente fournit une estimation de α. En absence de bruit, on a en effet:

Soient U(zk) les échantillons du signal dont on dispose, on a

Problème: Si e(t) est un bruit gaussien que l’on peut supposer centré (en ayant préalablement corrigé le signal de sa moyenne), il n’est est plus de même pour U(z). A l’ordre 2, on a en effet

Ecol

e d'

été

lidar

-23

juin

au

2 ju

illet 2

010

17

( ) ( )( )zSzlogzU 2=

( ) z2UzU 0 α−=

( ) ( ) ( ) ( )

( ) ( ) ( )∑∑∑

∑∑∑−

=

=

=

=

=

=

−=α 1M

0k

1M

0k

1M

0k

2

1M

0k

1M

0k

1M

0k

kUkUkUM

kUkzkUkzMˆ

( )( ) ( )( ) ( )( )

( ) ( )( )

( )( )

( ) ( )( )zSNR2

1zUzUoùd'

zSze

21

zSze

zUzSze

1logzSzlogzSzlog 2

222 −=−+≈

++=

Page 18: Traitement du signal lidar€¦ · A est une caractéristique du Convertisseur Analogique/Numérique (fixe ou réglable), on adapte la dynamique du signal en conséquence. Ce faisant,

Estimation de l’épaisseur optiqueElle consiste à réaliser l’opération précédente avant et après la couche atmosphérique dont on veut connaître l’épaisseur optique, puis à faire la différence entre les droites de régression. En effet, si on note

Les droites avant et après la couche, on a

Mais là encore, attention, on a un problème de biais dû à la non-linéarité du log appliqué au bruit. On a en effet d’après la page précédente:

Ceci conduit à une surestimation de l’épaisseur optique…

Ecol

e d'

été

lidar

-23

juin

au

2 ju

illet 2

010

18

( ) ( ) z2UzUetz2UzU 222111 α−≈α−≈

2UUˆ 21 −

−+δ=δ

12 SNR1

SNR1

41ˆ

Page 19: Traitement du signal lidar€¦ · A est une caractéristique du Convertisseur Analogique/Numérique (fixe ou réglable), on adapte la dynamique du signal en conséquence. Ce faisant,

DÉTECTION HÉTÉRODYNE

19

Ecol

e d'

été

lidar

-23

juin

au

2 ju

illet 2

010

Page 20: Traitement du signal lidar€¦ · A est une caractéristique du Convertisseur Analogique/Numérique (fixe ou réglable), on adapte la dynamique du signal en conséquence. Ce faisant,

Rappel du principe de fonctionnement

L’onde em rétrodiffusée est superposée physiquement au faisceau d’un laser continu (Oscillateur Local). Le détecteur produit un courant électrique mesurant l’interférence entre les deux:

( ) ( ) ( ) ( ) ( )

( ) ( ) ( )( ) ( ) ( )

( ) ( ) ( )( )φ+ν−νπγ++=

ν−νπ++=

πν+πν=

∫∫∫

jt2cositi2iti

xdxEt,xEtj2expReK2xdxEKxdt,xEK

xdtj2expxEtj2expt,xEKti

olrolrolr

D

*olrolr

D

2

olD

2

r

D

2

ololrr

Signal hétérodyne(fréquence intermédiaire)

Signal direct (basse fréquence)

γ = rendement hétérodyne

20

Ecol

e d'

été

lidar

-23

juin

au

2 ju

illet 2

010

Page 21: Traitement du signal lidar€¦ · A est une caractéristique du Convertisseur Analogique/Numérique (fixe ou réglable), on adapte la dynamique du signal en conséquence. Ce faisant,

Modèle feuilleté (1/3)Salamitou et al., Applied Optics , 34, 499-506

21

• Onde émise

( ) ( ) ( ) ( )tj2exp0,xetg0,t,xE eeee πν=

• Onde émise propagée à la distance z

Enveloppe temporelle Profil spatial transverse (normalisé)

( ) ( ) ( )( ) ( ) ( )∫−πν−=S

eeee xdt,p,xG0,xecztj2expcztgz,t,pE

Propagateur(fonction de Green)

Enveloppe retardée du temps de propagation.

• Onde diffusée par les diffuseurs du « feuillet » [z,z+dz]Chaque particule du feuillet « renvoit » l’onde qu’elle reçoit…

( ) ( ) ( )( ) ( ) ( )∑ ∫−πν−α=idiffuseurs S

ieieieir xdt,p,xG0,xecztj2expcztgz,t,pE

αi caractérise la capacité de la cible i à diffuser l’onde em.

Ecol

e d'

été

lidar

-23

juin

au

2 ju

illet 2

010

x

p

Porteuse déphasée à cause du temps de propagation.

Page 22: Traitement du signal lidar€¦ · A est une caractéristique du Convertisseur Analogique/Numérique (fixe ou réglable), on adapte la dynamique du signal en conséquence. Ce faisant,

Modèle feuilleté (2/3)

22

• Onde diffusée propagée jusqu’au plan de détection( ) ( ) ( )( ) ( ) ( ) ( )

( ) ( ) ( ) ( ) ( ) ( )∑ ∫

∑ ∫−−απν−≈

−−πν−α=

idiffuseurs Sii

*iieiiee

idiffuseurs Sii

*iieieieir

xdz,y,pGz,p,xG0,xejkz2exptj2expcz2tg

xdz,y,pGz,p,xG0,xecz2tj2expcz2tg0,t,yE

• Mélange optique

( ) ( ) ( ) ( )( ) ( ) ( ) ( ) ( ) ( )∑ ∫∫∫ −−α

−ν−νπ≈=

idiffuseurs S

iiii*oleii

*oleole

S

*r ydxdz,y,pGz,p,xG0,ye0,xejkz2expg

cz2

tgtj2expydt,yE0,t,yEtx2

ol

k = 2π/λ

( )t,zκ

Réponse impulsionelle de la couche élémentaire [z,z+dz]

• Intégration dans la profondeur

( ) ( )( ) ( ) ( )∫+∞

κ−ν−νπ=0

e*olole dzt,zcz2tggtj2exptx

Produit de convolution

Ecol

ed'

été

lidar

-23

juin

au

2 ju

illet 2

010

( ) ( ) ( )0,xetfj2expgt,xE olololol

π=

Page 23: Traitement du signal lidar€¦ · A est une caractéristique du Convertisseur Analogique/Numérique (fixe ou réglable), on adapte la dynamique du signal en conséquence. Ce faisant,

Modèle feuilleté (3/3) Décalage Doppler

La fonction κ(t,z) dépend de t à travers la position zi des particules. Pendant le temps que la particule voit l’impulsion laser (de l’ordre de la microseconde), la trajectoire de la particule peut être approchée au premier ordre:

On a alors

Back-Propagated Local OscillatorDans l’équation ci-dessus, la double intégrale représente un mélange optique entre l’onde émise propagée jusqu’à la position de la cible i

et l’onde issue de l’oscillateur local « rétro-propagée » jusqu’à la même position

On peut en effet écrire

Le BPLO permet d’exprimer le mélange optique dans le plan de la cible plutôt que celui du récepteur (et accessoirement de limiter le nombre d’intégrales dans les équations…). Ec

ole

d'ét

é lid

ar -

23 ju

in a

u 2

juille

t 201

0

23

( ) ( ) ( ) ( ) ( ) ( ) ( )∑ ∫∫ −−−α=κi S

iiii*ole

ir

0ii

2

ydxdz,y,pGz,p,xGyexetjkv2expjkz2expt,z

( ) tvztz ir

0ii +=

λ−=ν∆ iri v2 Doppler Décalage

( ) ( ) ( )∫=S

iieiie xdz,p,xG0,xez,pe

( ) ( ) ( )∫=S

ii*

oliibplo ydz,p,yG0,yez,pe

( ) ( ) ( ) ( ) ( )∑ −−α=κi

ii*bpoliie

ir

0ii z,pez,petjkv2expjkz2expt,z

Page 24: Traitement du signal lidar€¦ · A est une caractéristique du Convertisseur Analogique/Numérique (fixe ou réglable), on adapte la dynamique du signal en conséquence. Ce faisant,

Statistique de la réponse impulsionnelle

◦ κ(t,z) est la somme sur un grand nombre de diffuseurs d’une quantité aléatoire: les diffuseurs étant en effet répartis aléatoirement dans le feuillet [z,z+dz] avec dz>>λ/2, le terme de phase exp(-2jkzi) est lui-même aléatoire.

◦ κ(t,z) représente une marche aléatoire dans le plan complexe. Chaque pas va dans n’importe quelle direction. La marche est constituée d’un grand nombre de pas.

κ(t,z) suit une loi normale dans le plan complexe.Sa moyenne est nulle: <κ(z,t)> = 0

Les statistiques associées à deux feuillets sont indépendantes <κ*(z,t) κ(z’,t)> = 0

◦ On peut par ailleurs montrer la relation suivante

Où γ(z) est le rendement hétérodyne. Ci-dessus, l’approximation fait l’hypothèse qu’il n’y a pas de corrélation entre les propriétés optiques et dynamiques de l’air. Ce n’est pas toujours le cas (combinaison d’un gradient optique et d’un gradient dynamique).

Ecol

e d'

été

lidar

-23

juin

au

2 ju

illet 2

010

24

( ) ( ) ( ) ( ) ( )∑ −−α=κi

ii*bploiie

ir

0ii z,pez,petjkv2expjkz2expt,z

( ) ( ) ( ) ( ) ( ) ( ) ( ) ( )( )t'tjkv2expz

zTzAzz,pez,pe't,zt,z i

r2

2

i

2

iibplo

2

iie

2

i* −−

βγ≈α=κκ ∑

Obtenu par identification avec équation lidar

Page 25: Traitement du signal lidar€¦ · A est une caractéristique du Convertisseur Analogique/Numérique (fixe ou réglable), on adapte la dynamique du signal en conséquence. Ce faisant,

Chatoiement Valeur instantannée

◦ Le signal x(t) étant proportionnel à une somme de variables aléatoires Gaussiennes complexes, elle est elle-même une variable aléatoire Gaussienne complexe.

◦ Si on pose

on a

Autrement dit, la valeur instantannée du signal possède une phase aléatoire uniformément répartie entre 0 et 2π, et une puissance qui obéit à une loi exponentielle négative.

Transformée de FourierComme la TF est une combinaison linéaire de variables aléatoires complexes Gaussiennes, c’est aussi une variable aléatoire complexe Gaussienne. On a donc

On retiendra ici que les composantes de la densité spectrales suivent toutes une loi exponentielle négative.

Ecol

e d'

été

lidar

-23

juin

au

2 ju

illet 2

010

25

( ) ( )( ) ( ) ( )∫+∞

κ−ν−νπ=0

e*olole dzt,zcz2tggtj2exptx

( ) ( ) ( )( )tjexpttx φρ=

( )( ) ( )( ) ( )( )

( )( )

( )( )( )

( )( )

ρρ

−ρ

ρρ

−ρρ

=ρπ2

=φt

texp

t

1tp

t

texp

t

t2tp

1tp

2

2

22

2

2

2

( )( )( ) ( )( )

( )

( )

−=

π=

2

2

2

2

fX

fXexp

fX

1fXp

21

fXargp

( ) ( ) ( )∑−

=

π−=1M

0kss fkTj2expkTxfX

Page 26: Traitement du signal lidar€¦ · A est une caractéristique du Convertisseur Analogique/Numérique (fixe ou réglable), on adapte la dynamique du signal en conséquence. Ce faisant,

ChatoiementEc

ole

d'ét

é lid

ar -

23 ju

in a

u 2

juille

t 201

0

26

A noter que tous ces résultats demeurent si on rajoute un bruit Gaussien au signal lidar (ce qui est le cas en pratique), car ce bruit n’en modifie pas la nature statistique: on a toujours à faire avec une variable aléatoire Gaussienne complexe. Seule les auto-corrélation et les puissances changent (il faut rajouter celles du bruit).

Page 27: Traitement du signal lidar€¦ · A est une caractéristique du Convertisseur Analogique/Numérique (fixe ou réglable), on adapte la dynamique du signal en conséquence. Ce faisant,

Auto-corrélation et spectre Auto-corrélation

D’après le modèle « feuilleté »:

Si l’on fait l’hypothèse 1./ que les propriétés optiques de l’air varient peu sur une longueur d’impulsion et 2./ que la dispersion de vitesse est également négligeable, on a

Autrement dit, l’autocorrélation du signal est fixée par celle de l’impulsion laser.Lorsque les hypothèse précédentes ne sont pas vérifiées – notamment au regard de la dispersion des vitesses radiales, l’autocorrélation du signal diminue.

SpectreDans le cas où le signal est stationnaire, on peut facilement montrer que

D’où, si on applique l’équation ci-dessus

Et si enfin on suppose que la durée d’observation MTs et grande devant la durée d’impulsion

A la base, le spectre du signal est fixé par le spectre de l’impulsion. Le spectre est ensuite élargi par le fenêtrage (durée de la porte de mesure) et les hétérogénéïtes à l’intérieur du volume de mesure.

Ecol

e d'

été

lidar

-23

juin

au

2 ju

illet 2

010

27

( ) ( ) ( ) ( ) ( ) ( )( )∫+∞

−−

βγ=

0

ire

*e2

2* dzt'tjkv2exp

cz2

'tgcz2

tgz

zTzzA'txtx

( ) ( )

impulsionl' de ationautocorrél

0e

*e

* dzcz2

'tgcz2

tg'txtx ∫+∞

−∝

( ) ( ) ( ) ( ) ( ) ( ) ( )s*

sX

1M

M1kssx

2kTtxtxkToùfkTj2expkTkMfX +=γπ−γ−= ∑

−=

( ) ( ) ( )∑−

−=

γ−∝1M

M1ksg

2kTkMfX

( ) ( ) 2

e

2fGfX ∝

Page 28: Traitement du signal lidar€¦ · A est une caractéristique du Convertisseur Analogique/Numérique (fixe ou réglable), on adapte la dynamique du signal en conséquence. Ce faisant,

Modèle de ZrnicEc

ole

d'ét

é lid

ar -

23 ju

in a

u 2

juille

t 201

0

28

Dans le cas où l’atmosphère est homogène à l’échelle de l’impulsion et où la dispersion des vitesses radiales à cette échelle est faible, nous avons démontré que

Par ailleurs, nous avons vu que

Enfin, nous n’avons pas démontré, mais nous admettrons que si la porte de mesure est grande devant l’impulsion, et si l’homogénéité des propriétés atmosphériques est toujours vérifiée à l’échelle de la porte, alors les fluctuations aléatoires de deux composantes spectrales sont indépendantes.

Le modèle de Zrnic combine ces considérations et propose une manière très simple de simuler un signal lidar ayant les bonnes propriétés statistiques

Où les ζ(k) sont des variables aléatoires de loi exponentielle négative (de moyenne 1) et les φ(k) une phase aléatoire uniformément répartie entre 0 et 2π.

( ) ( ) 2

e

2fGfX ∝

( )( )( ) ( )( )

( )

( )

−=

π=

2

2

2

2

fX

fXexp

fX

1fXp

21

fXargp

( ) ( ) ( )

( ) ( )

( ) ( )

( )( )

( )

→←

φ

−ξ

φ

ξ

φξ

1Mx

1x

0x

jexpFM

MMG1M

jexpFM1

G1

jexp0G0

1TFR

1M

2

se

1

2

se

0

2

e

Page 29: Traitement du signal lidar€¦ · A est une caractéristique du Convertisseur Analogique/Numérique (fixe ou réglable), on adapte la dynamique du signal en conséquence. Ce faisant,

Estimation de la puissance Estimateur

Le signal détecté est numérisé est noté s(t) = x(t) + n(t) où x(t) est le signal utile et n(t) est le bruit de détection.En détection hétérodyne, la source dominante de bruit est le bruit de grenaille (shot noise) qui a la particularité d’être blanc, c’est-à-dire que

Ce dernier résultat justifiant le terme de bruit blanc.L’estimateur usuel de la puissance du signal sur M échantillons successifs du signal est défini par:

Biais et varianceOn peut facilement montrer:

C’est-à-dire que l’estimateur est non biaisé. Pour le moment d’ordre 2 on a:

d’où

avec

Ecol

e d'

été

lidar

-23

juin

au

2 ju

illet 2

010

29

( ) ( ) ( ) ( ) ( ) ( ) n

21M

0kss

2

nss* NPfkTj2expkTnfNoùd'lkPlTnkTn =π−=−δ= ∑

=

( )∑−

=

=1M

0k

2

ss kTsM1

P

nxss PPPP +==

( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( )∑∑∑∑−

=

===

=

=

++==

1M

0k

1M

0l

**

00

****2

1M

0k

1M

0l

**2

2s kslslskslskslskslslsksks

M1

lslsksksM1

P

[ ] ( ) ( ) ( )MP

l,kMP

lsksM1

PVar2

n1M

0k

1M

0l

2

x2

2x

1M

0k

1M

0l

2*

2s +γ== ∑∑∑∑−

=

=

=

=

( ) ( ) ( )lxkxP1

l,k *

Xx =γ

Page 30: Traitement du signal lidar€¦ · A est une caractéristique du Convertisseur Analogique/Numérique (fixe ou réglable), on adapte la dynamique du signal en conséquence. Ce faisant,

Estimation de la puissance Nombre de tavelures

Le nombre M de tavelures temporelles du signal lidar à l’intérieur de la porte de mesure est défini par la relation

On a

Donc M est le nombre d’échantillons indépendants à l’intérieur de la porte de mesure, où bien encore le nombre der réalisations indépendantes du phénomène de chatoiement à l’intérieur de cette porte.

Cas où l’estimation est faite sur un nombre N de signauxDans ce cas l’estimation devient

Et sa variance vaut

Ecol

e d'

été

lidar

-23

juin

au

2 ju

illet 2

010

30

( )∑∑−

=

=

γ= 1M

0k

1M

0l

2

x

2

l,k

MM

[ ]MPP

PVar2

n2x

s +=M

( )∑∑=

=

=N

1n

1M

0k

2s ks

M1

N1

P

[ ]NMP

NP

PVar2

n2x

s +=M

Page 31: Traitement du signal lidar€¦ · A est une caractéristique du Convertisseur Analogique/Numérique (fixe ou réglable), on adapte la dynamique du signal en conséquence. Ce faisant,

Estimation de puissance Loi de probabilité

En fait, si l’on revient à l’expression de l’estimateur et à la statistique de la valeur instantanée du signal, on s’aperçoit que l’estimation de la puissance est une somme de de variables aléatoires Gaussiennes complexes. On sait qu’une telle somme suit une loi du khi2 à m degrés de libertés

Est la fonction Gamma (pour n entier, Γ(n+1)=n!) et m est défini par le rapport

D’après les résultats précédents, on a donc:

Où le CNR (Carrier to Noise Ratio) est défini par le rapport

Ecol

e d'

été

lidar

-23

juin

au

2 ju

illet 2

010

31

( )( )

Γ=

s

sms

1ms

m

s PP

mexpP

Pm

mPp

( ) ∫+∞

−−=Γ0

t1z dtetz

[ ]s

2s

PVarP

m =

22

CNR11

NM1

CNR1CNR

N1

m1

++

+=

M

n

x

PP

CNR =

Page 32: Traitement du signal lidar€¦ · A est une caractéristique du Convertisseur Analogique/Numérique (fixe ou réglable), on adapte la dynamique du signal en conséquence. Ce faisant,

CNR vs. SNR Définition du SNR et relation avec le CNR

En lidar hétérodyne, on distingue le CNR et le SNRLe CNR (définit dans le transparent précédent) est rapport de la puissance de la porteuse du signal Doppler (le signal hétérodyne) sur la puissance moyenne du bruit de détection. C’est le paramètre de bruit pertinent pour estimer la précision des mesures de vitesse.Le SNR est le rapport de la puissance moyenne du bruit (au carré) sur la variance de celle-ci. C’est le paramètre pertinent quand on s’intéresse aux estimations de puissance de signal.On a la relation suivante entre les 2:

Estimation du CNRElle consiste à estimer Ps sur une porte de mesure, puis à estimer la puissance du bruit Pn sur une portion de signal sur laquelle on est sûr qu’il n’y a que du bruit (distance très éloigné du lidar par exemple). On fait alors le rapport entre les deux:

On peut alors montrer que la variable

Suit une loi de Fisher à m = NSNR-1 et NMn degrés de libertés (NMn est le nombre d’échantillons de bruit sur lesquels on a estimé la puissance du bruit).Ec

ole

d'ét

é lid

ar -

23 ju

in a

u 2

juille

t 201

0

32

22

CNR11

NM1

CNR1CNR

N1

SNR1

++

+=

M

1PP

RNCn

s −=

CNR1RNC1

z++

=

Page 33: Traitement du signal lidar€¦ · A est une caractéristique du Convertisseur Analogique/Numérique (fixe ou réglable), on adapte la dynamique du signal en conséquence. Ce faisant,

Estimation Doppler Maximum de vraisemblance

Dans le cas où le modèle de Zrnic s’applique, on sait que le spectre du signal a la forme moyenne

Où .

Comme on connait la statistique des composantes spectrales du signal (composantes indépendantes entre elles et chacune de loi exponentielle négative, on peut écrire un estimateur au maximum de vraisemblance. La log-vraisemblance prend en effet la forme suivante

En pratique, cet estimateur est peu pratique car il faut maximiser une fonction dépendant de 3 paramètres indépendants, ce qui est toujours coûteux en temps de calcul.

En revanche, il apparaît que l’estimateur au maximum de vraisemblance consiste à essayer de trouver les caractéristiques d’un filtre dont la réponse spectrale est Γs

-1 qui produit en sortie un minimum de puissance (pour maximiser la log-vraisemblance). Bref, il s’agit de trouver le filtre adapté au signal…

BCRToujours dans le cas des conditions de Zrnic, on peut développer une formule pour la BCR de l’estimation de fréquence

Où Covss désigne la matrice de variance covariance du signal (Covss(k,l) = γs(k,l)).

Ecol

e d'

été

lidar

-23

juin

au

2 ju

illet 2

010

33

( ) ( )0exsn0nxs ffPTPf,P,Pf −Γ+=Γ

( ) ( ) 2

s fSfˆ =Γ

( ) ( ) 2

es fGfˆ =Γ

( ) ( )( )∑

= ΓΓ

−Λ=Λ1M

0k 0nxs

ss00nx f,P,Pf

N/kFˆf,P,P

( ) ( ) ( )2/11M

0k

1M

0l

1sss

22s

2 l,kCovl,kCovlkNT2BCR−−

=

=

−π−= ∑∑

Page 34: Traitement du signal lidar€¦ · A est une caractéristique du Convertisseur Analogique/Numérique (fixe ou réglable), on adapte la dynamique du signal en conséquence. Ce faisant,

Estimation Doppler Filtrage adapté

Tous les estimateurs de fréquence utilisés en lidar Doppler hétérodyne sont de type « filtrage adapté », c’est-à-dire qu’on fait passer le signal par un filtre dont on optimise les paramètres jusqu’à obtenir une puissance en sortie de signal maximale ou minimale. La fréquence du signal est ensuite reliée aux paramètres optimisés.

Illustration: (A): exemple de spectre de signal lidar réel. (B): filtre que l’on cherche à adapter au signal (de type encoche, il supprime le contenu du signal dans une bande finie, ici centrée autour de 0). L’adaptation porte ici uniquement sur la position centrale du filtre. (C): le filtre est positionnée hors de l’écho Doppler. Le spectre après filtrage est représenté part l’aire verte qui se différencie peu du spectre initiale car seule une fraction de bruit est supprimée. (D): cette fois-ci, le filtre est positionné sur l’écho Doppler, le spectre du signal filtré n’est quasiment plus que du bruit, une partie importante de la puissance a été filtrée. Ec

ole

d'ét

é lid

ar -

23 ju

in a

u 2

juille

t 201

0

34

Page 35: Traitement du signal lidar€¦ · A est une caractéristique du Convertisseur Analogique/Numérique (fixe ou réglable), on adapte la dynamique du signal en conséquence. Ce faisant,

Filtrage adapté Définition du filtre

En général, on part d’un filtre que l’on définit par sa fonction de réponse spectrale. Exemple:

Puis on « adapte » ce fil en jouant le plus souvent uniquement sur sa fréquence centrale (on considère que les éventuels autres paramètres sont de moindre importance). L’adaptation consiste alors à minimiser la fonction

AdaptationL’optimisation de la fonction J(f) est plus efficace si on calcule sa valeur de la manière suivante

Avec

Et

Ecol

e d'

été

lidar

-23

juin

au

2 ju

illet 2

010

35

( )

σ

−σπ

+=ψ

2

20

2f

exp2S

1

1f

( ) ( ) ( ) ( ) ( ) ( )MkF

fetfmTj2expmTsN1

fˆoùfffˆM1

fJ sk

1N

0n

21M

0mssn

1M

0kkk =π−=ΦΨ+Φ= ∑ ∑∑

=

=

=

( ) ( )

π−+−= ∑−

=

1M

0msm0 mTfj2expdRe2dfJ

( ) ( )( )∑ ∑−

=

−−

=′

′+′=1N

0n

1mM

0mss

*n

mm TmmsTms

ND

d

( )∑−

=

π−Ψ=

1M

0kkm M

kmj2expf

M1

D

Auto-corrélation fenêtrée

Ne dépend que du filtre

Se calcule pour de nombreuses valeurs

de f avec une TF

Page 36: Traitement du signal lidar€¦ · A est une caractéristique du Convertisseur Analogique/Numérique (fixe ou réglable), on adapte la dynamique du signal en conséquence. Ce faisant,

Quelques exemples de filtre adaptable Pulse-Pair

Filtre « large », donc pas forcément bien adapté au signal lidar, généralement « étroit », mais d’une très grande simplicité de mise en œuvre et très rapide, car Dm=0.5δ(0) – 0.5δ(1) – 0.5δ(-1), et donc

D’où

Levin

Notch

Filtre autorégressif

Peut être optimisé par des techniques de poursuite de fréquence utilisées en automatisme.

Ecol

e d'

été

lidar

-23

juin

au

2 ju

illet 2

010

36

( ) ( )( )sPP fT2cos121

f π−=Ψ

( ) ( ){ }s10PP Tfj2expdRe2dfJ π−+−=

( ) ( ) ( )( )

+

π=

π= ∑∑

=

=

1N

0n

2M

0kss

*n

s1

sPP T1kskTs

N1

argT2

1darg

T21

f

Estimation de l’auto-corrélation

( )

σ

−σπ

+=ψ

2

20

LEV

2f

exp2S

1

1f

( ) ( )( )s

2s

notch fT2cosr2r1fT2cos22

fπ−+

π−=Ψ

( ) ( ) ( ) ( )1kxkx1kryky −−=−−

Page 37: Traitement du signal lidar€¦ · A est une caractéristique du Convertisseur Analogique/Numérique (fixe ou réglable), on adapte la dynamique du signal en conséquence. Ce faisant,

Précision de la mesure Distribution des erreurs

La distribution des erreurs combinent un « pic » de bonnesestimations de largeur g sur une distribution uniformes demesures « aberrantes » (l’estimateur a pris un pic spectral de bruit pour le signal).

Ecol

e d'

été

lidar

-23

juin

au

2 ju

illet 2

010

37

Paramètre b

CNR

Par

amèt

re g A fort CNR, la fiabilité

est de 100% et la précision de dépend pratiquement plus du

CNR

CNR intermédiaire:

b=100%, mais la précision se

dégrade

A faible CNR, la fiabilité chute

Page 38: Traitement du signal lidar€¦ · A est une caractéristique du Convertisseur Analogique/Numérique (fixe ou réglable), on adapte la dynamique du signal en conséquence. Ce faisant,

Précision de la mesure Ecart-type g

Ce paramètre de varie quasiment plus à fort CNR. Aussi, quand on veut augmenter la précision d’une mesure à fort CNR, il ne sert à rien d’augmenter l’énergie des impulsions émises (le CNR augmentera bien mais ça n’aura pratiquement pas d’impact sur la précision), il vaut mieux augmenter le nombre de signaux lidars « accumulés » (donc privilégier la cadence du laser pour avoir un plus grand nombre de tirs dans une durée de temps fixée).

FiabilitéLa fiabilité se dégrade rapidement dès qu’on passe en-dessous d’un seuil. Celui-ci peut-être très bas (exemple: -22dB pour le lidar Léosphere…).

Il existe un modèle permettant d’anticiper le taux de fiabilité en fonction des caractéristiques de la mesure:

A. Dabas. Semi-empirical model for the realibity of a matched filter frequency estimator for Doppler lidar. Journal of Atmospheric and Oceanic Technology, 16 :19–28, 1999.

Voir aussi les études publiées dansG. Frehich and M. J. Yadlowsky: Perfornance of Mean-Frequency Estimators for Doppler Radar and Lidar. Journal of Atmospheric and Oceanic Technology, 11 :1217, 1994.

Ecol

e d'

été

lidar

-23

juin

au

2 ju

illet 2

010

38