Méthodes de programmation en nombres mixtes pour l'optimisation parcimonieuse en traitement du signal

L approximation parcimonieuse consiste à ajuster un modèle de données linéaire au sens des moindres carrés avec un faible nombre de composantes non nulles (la norme L0). En raison de sa complexité combinatoire, ce problème d optimisation est souvent abordé par des méthodes sous-optimales. Il a cepen...

Description complète

Enregistré dans:
Détails bibliographiques
Auteurs principaux : Ben mhenni Ramzi (Auteur), Bourguignon Sébastien (Directeur de thèse, Membre du jury), Ninin Jordan (Directeur de thèse, Membre du jury), Jutten Christian (Président du jury de soutenance, Membre du jury), Cafieri Sonia (Rapporteur de la thèse, Membre du jury), Kowalski Matthieu (Rapporteur de la thèse, Membre du jury), Honeine Paul (Membre du jury), Ralaivola Liva (Membre du jury)
Collectivités auteurs : Centrale Nantes 1991-.... (Organisme de soutenance), École doctorale Mathématiques et sciences et technologies de l'information et de la communication Rennes (Ecole doctorale associée à la thèse), Laboratoire des Sciences du Numérique de Nantes (Laboratoire associé à la thèse)
Format : Thèse ou mémoire
Langue : français
Titre complet : Méthodes de programmation en nombres mixtes pour l'optimisation parcimonieuse en traitement du signal / Ramzi Ben mhenni; sous la direction de Sébastien Bourguignon et de Jordan Ninin
Publié : 2020
Accès en ligne : Accès Nantes Université
Note sur l'URL : Accès au texte intégral
Note de thèse : Thèse de doctorat : Signal, Image, Vision : Ecole centrale de Nantes : 2020
Sujets :
LEADER 06763clm a2200721 4500
001 PPN255604580
003 http://www.sudoc.fr/255604580
005 20240523055400.0
029 |a FR  |b 2020ECDN0008 
033 |a http://www.theses.fr/2020ECDN0008 
035 |a (OCoLC)1252781668 
035 |a STAR150271 
100 |a 20210526d2020 k y0frey0103 ba 
101 0 |a fre  |d fre  |d eng  |2 639-2 
102 |a FR 
105 |a ||||ma 00|yy 
135 |a dr||||||||||| 
181 |6 z01  |c txt  |2 rdacontent 
181 1 |6 z01  |a i#  |b xxxe## 
182 |6 z01  |c c  |2 rdamedia 
182 1 |6 z01  |a b 
183 |6 z01  |a ceb  |2 RDAfrCarrier 
200 1 |a Méthodes de programmation en nombres mixtes pour l'optimisation parcimonieuse en traitement du signal  |f Ramzi Ben mhenni  |g sous la direction de Sébastien Bourguignon et de Jordan Ninin 
214 1 |d 2020 
230 |a Données textuelles 
304 |a Titre provenant de l'écran-titre 
314 |a Ecole(s) Doctorale(s) : École doctorale Mathématiques et sciences et technologies de l'information et de la communication (Rennes) 
314 |a Partenaire(s) de recherche : Laboratoire des Sciences du Numérique de Nantes (Laboratoire) 
314 |a Autre(s) contribution(s) : Christian Jutten (Président du jury) ; Sébastien Bourguignon, Jordan Ninin, Christian Jutten, Sonia Cafieri, Matthieu Kowalski, Paul Honeine, Liva Ralaivola (Membre(s) du jury) ; Sonia Cafieri, Matthieu Kowalski (Rapporteur(s)) 
328 0 |b Thèse de doctorat  |c Signal, Image, Vision  |e Ecole centrale de Nantes  |d 2020 
330 |a L approximation parcimonieuse consiste à ajuster un modèle de données linéaire au sens des moindres carrés avec un faible nombre de composantes non nulles (la norme L0). En raison de sa complexité combinatoire, ce problème d optimisation est souvent abordé par des méthodes sous-optimales. Il a cependant récemment été montré que sa résolution exacte était envisageable au moyen d une reformulation en programme en nombres mixtes(MIP),couplée à un solveur MIP générique, mettant en œuvre des stratégies de type branch-and-bound. Cette thèse aborde le problème d approximation parcimonieuse en norme L0 par la construction d algorithmes branch-and-bound dédiés, exploitant les structures mathématiques du problème. D une part, nous interprétons l évaluation de chaque nœud comme l optimisation d un critère en norme L1, pour lequel nous proposons des méthodes dédiées. D autre part, nous construisons une stratégie d exploration ef cace exploitant la parcimonie de la solution, privilégiant l activation de variables non nulles dans le parcours de l arbre de décision. La méthode proposée dépasse largement les performances du solveur CPLEX, réduisant le temps de calcul et permettant d aborder des problèmes de plus grande taille. Dans un deuxième volet de la thèse, nous proposons et étudions des reformulations MIP du problème de démélange spectral sous contrainte de parcimonie en norme L0 et sous des contraintes plus complexes de parcimonie structurée, généralement abordées de manière relâchée dans la littérature.Nous montrons que, pour des problèmes de complexité limitée, la prise en compte de manière exacte de ces contraintes est possible et permet d améliorer l estimation par rapport aux approches existantes. 
330 |a Sparse approximation aims to t a linear model in a least-squares sense, with a small number of non-zero components (the L0 norm ). Due to its combinatorial nature, it is often addressed by suboptimal methods. It was recently shown, however, that exact resolution could be performed through a mixed integer program(MIP) reformulation solved by a generic solver, implementing branch-and-bound techniques. This thesis addresses the L0-norm sparse approximation problem with tailored branch-andbound resolution methods, exploiting the mathematical structures of the problem. First, we show that each node evaluation amounts to solving an L1-norm problem, for which we propose dedicated methods. Then, we build an ef cient exploration strategy exploiting the sparsity of the solution, by activating rst the non-zero variables in the tree search. The proposed method outperforms the CPLEX solver, reducing the computation time and making it possible to address larger problems. In a second part of the thesis, we propose and study the MIP reformulations of the spectral unmixing problem with L0-norm sparsity more advanced structured sparsity constraints, which are usually addressed through relaxations in the literature. We show that, for problems with limited complexity (highly sparse solutions, good signal-to-noise ratio), such constraints can be accounted for exactly and improve the estimation quality over standard approaches. 
337 |a Configuration requise : un logiciel capable de lire un fichier au format : PDF 
541 | |a Mixed-integer programming methods for sparse optimization in signal processing  |z eng 
606 |3 PPN027253287  |a Traitement du signal  |2 rameau 
606 |3 PPN035571314  |a Algorithmes parallèles  |2 rameau 
606 |3 PPN14231935X  |a Représentation parcimonieuse  |2 rameau 
608 |3 PPN027253139  |a Thèses et écrits académiques  |2 rameau 
610 0 |a Recherche opérationnelle 
610 0 |a Parcimonie 
610 0 |a Optimisation en norme l0 
610 0 |a Programmation en nombres mixtes 
610 0 |a Algorithmes branch-and-bound 
610 0 |a Démélange spectral 
686 |a 620  |2 TEF 
700 1 |3 PPN254106641  |a Ben mhenni  |b Ramzi  |f 1992-....  |4 070 
701 1 |3 PPN103222421  |a Bourguignon  |b Sébastien  |f 1977-....  |4 727  |4 555 
701 1 |3 PPN15133787X  |a Ninin  |b Jordan  |f 1983-....  |4 727  |4 555 
701 1 |3 PPN032689896  |a Jutten  |b Christian  |f 1954-....  |4 956  |4 555 
701 1 |3 PPN194903184  |a Cafieri  |b Sonia  |f 19..-....  |4 958  |4 555 
701 1 |3 PPN147702380  |a Kowalski  |b Matthieu  |f 1981-....  |4 958  |4 555 
701 1 |3 PPN13564609X  |a Honeine  |b Paul  |f 1977-....  |c enseignant-chercheur en informatique  |4 555 
701 1 |3 PPN089319060  |a Ralaivola  |b Liva  |f 19..-....  |4 555 
711 0 2 |3 PPN03063525X  |a Centrale Nantes  |c 1991-....  |4 295 
711 0 2 |3 PPN204770424  |a École doctorale Mathématiques et sciences et technologies de l'information et de la communication  |c Rennes  |4 996 
711 0 2 |3 PPN203637585  |a Laboratoire des Sciences du Numérique de Nantes  |4 981 
801 3 |a FR  |b Abes  |c 20230323  |g AFNOR 
856 4 |q PDF  |s 98525532  |u http://www.theses.fr/2020ECDN0008/document  |z Accès au texte intégral 
856 4 |u http://www.theses.fr/2020ECDN0008/abes 
856 4 |u https://tel.archives-ouvertes.fr/tel-03237601 
930 |5 441092306:781292069  |b 441092306  |j g 
991 |5 441092306:781292069  |a exemplaire créé automatiquement par STAR 
998 |a 896059