10.07.2015 Views

Modèles de Markov triplets en restauration des signaux

Modèles de Markov triplets en restauration des signaux

Modèles de Markov triplets en restauration des signaux

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

CHAPITRE V. CHAÎNES CONDITIONNELLEMENT LINÉAIRES À SAUTSMARKOVIENSDéfinition V.6 Une CMC-BG est dite « chaîne <strong>de</strong> <strong>Markov</strong> cachée par du bruitgaussi<strong>en</strong> à mémoire longue » (CMC-GML) si les K lois gaussi<strong>en</strong>nes, correspondantaux K classes, du vecteur Y 1∶N sont à mémoire longue.Les <strong>de</strong>ux modèles sont <strong>de</strong>s « chaînes <strong>de</strong> <strong>Markov</strong> cachées » car l’hypothèse 1.implique immédiatem<strong>en</strong>t la markovianité du processus caché X.Ainsi dans le modèle CMC-BG nous pouvons calculer les quantitésp(z n+1 ∣z n ,y 1∶n−1 )nécessaires pour faire <strong>de</strong> la <strong>restauration</strong> <strong>de</strong>s données manquantes. Notons que cestransitions se prés<strong>en</strong>t<strong>en</strong>t sous forme simplifiée :p(z n+1 ∣z n ,y 1∶n−1 )=p(x n+1 ∣x n )p(y n+1 ∣x n+1 ,y 1∶n )(V.15)Dans certains cas où les corrélations sont paramétrisées, il est possible d’appliquerune version ét<strong>en</strong>due <strong>de</strong> l’ICE pour estimer les paramètres. Cep<strong>en</strong>dant, cetteadaptation n’est pas immédiate [65,73]. Nous revi<strong>en</strong>drons à cette question dans la<strong>de</strong>rnière section <strong>de</strong> ce chapitre, où l’ICE sera utilisée pour proposer <strong>de</strong>s métho<strong>de</strong>s"semi-supervisées" <strong>de</strong> filtrage.Notons que le modèle CMC-BG prés<strong>en</strong>te un certain nombre <strong>de</strong> propriétés inhabituelles;<strong>en</strong> particulier, la loi <strong>de</strong> Y n conditionnelle à X 1 ,...,X n dép<strong>en</strong>d <strong>de</strong> tous lesX 1 ,...,X n .V.3 Modèle conditionnellem<strong>en</strong>t linéaire à sauts markovi<strong>en</strong>sDans cette section, nous proposons <strong>de</strong>s nouveaux modèles aléatoires <strong>triplets</strong>,qui permett<strong>en</strong>t <strong>de</strong> faire un calcul exact avec une complexité linéaire <strong>en</strong> nombred’observations <strong>de</strong> E[X n ∣y 1∶n ] et E[X n ∣y 1∶N ] <strong>en</strong> prés<strong>en</strong>ce <strong>de</strong> sauts aléatoires. La nouveautéconsiste dans la prise <strong>en</strong> compte, au sein <strong>de</strong> ces modèles <strong>triplets</strong>, <strong>de</strong>s modèlesCMC-BG brièvem<strong>en</strong>t rappelés dans la sous-section précé<strong>de</strong>nte. En particulier, nouspourrons donc utiliser les CMC-GML.Soi<strong>en</strong>t X =(X n ) 1∶N et Y =(Y n ) 1∶N <strong>de</strong>ux processus aléatoires. Pour tout 1≤n≤N, X n et Y n sont à valeurs dans l’<strong>en</strong>semble <strong>de</strong>s réels R. Soit R=(R n ) 1∶N unprocessus discret dont les composantes R n pr<strong>en</strong>n<strong>en</strong>t leurs valeurs dans un espacefini Ω={ω 1 ,...,ω K }. Nous supposons que Y 1∶N sont observées et que X 1∶N et R 1∶Nne le sont pas. Le problème est alors d’estimer les réalisations <strong>de</strong>s X 1∶N et R 1∶N àpartir <strong>de</strong>s réalisations <strong>de</strong> Y 1∶N .Dans la première sous-section ci-après nous rappelons le modèle classique etprécisons les difficultés du calcul exact <strong>de</strong>s quantités E[X n ∣y 1∶n ] et E[X n ∣y 1∶N ]. La<strong>de</strong>uxième sous-section est consacrée aux modèles réc<strong>en</strong>ts, par chaînes <strong>de</strong> <strong>Markov</strong><strong>triplets</strong>, permettant ce calcul avec une complexité raisonnable. Notre modèle estprés<strong>en</strong>té dans la troisième sous-section.V.3.1 Modèle ClassiqueLe modèle classique consiste à considérer que le processus <strong>de</strong>s sauts est markovi<strong>en</strong>,et conditionnellem<strong>en</strong>t aux sauts le couple(X,Y) est un système linéaire. Afin105

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!