RENSEIGNEMENTS INDIVIDUELS. Abdelhamid ZAIDI CURSUS UNIVERSITAIRE EXPERIENCE PROFESSIONNELLE

Transcription

1 Curriculum vitae

2 RENSEIGNEMENTS INDIVIDUELS Abdelhamid ZAIDI Né le 20 septembre 1972 Nationalité Tunisienne Célibataire Adresse professionnelle LabSAD bureau 211 BSHM, 1251 avenue centrale, B.P Grenoble Cedex 09 Tél Fax Web Adresse personnelle 391, rue des universités Saint Martin d'hères Tél (répondeur) CURSUS UNIVERSITAIRE Doctorat en Mathématiques Appliquées de l'université Joseph Fourier de Grenoble ; mention très honorable Diplôme d'études Approfondies en Mathématiques Appliquées de l'université Joseph Fourier de Grenoble ; option Statistique et Modélisation Stochastique ; mention assez bien Diplôme d'ingénieur de l'école Nationale Supérieure d'informatique et de Mathématiques Appliquées de Grenoble ; option Mathématiques de la Décision ; mention assez bien Classes Préparatoires spéciale M' ; lycée Chaptal de Paris Baccalauréat ; série C ; lycée 15 Novembre de Sfax ; mention bien. EXPERIENCE PROFESSIONNELLE ATER à temps complet à l'université Pierre Mendes France de Grenoble Post-doctorant de 15 mois au Commissariat à l'energie Atomique de Grenoble, Laboratoire de Modélisation Diphasique et des Simulateurs Allocataire de recherche à l'université Joseph Fourier de Grenoble.

3 THÈSE Thème Séparation de sources. Titre Séparation aveugle d'un mélange instantané de sources autorégressives gaussiennes par la méthode du maximum de vraisemblance exact. Laboratoire d'accueuil Laboratoire de Modélisation et Calcul de l'imag. Date et lieu de soutenance 20 Décembre 2000 à la Maison Jean Kuntzmann de Grenoble. Jury Christian JUTTEN président Professeur à l'ujf Grenoble Jean-François CARDOSO rapporteur Chargé de recherche au CNRS Paris Bernard GAREL rapporteur Professeur à l'enseeih Toulouse Dinh-Tuan PHAM examinateur Directeur de recherche au CNRS Grenoble Serge DÉGERINE directeur Professeur à l'ujf Grenoble Résumé Nous considérons dans cette thèse le problème de la séparation aveugle d'un mélange instantané de sources colorées gaussiennes, sans bruit additif, par des techniques du second ordre. De plus, nous supposons dans ce modèle, que le nombre de sources est égale au nombre de capteurs. La méthode du Quasi-Maximum de Vraisemblance, introduite par Pham et Garat, montre que la maximisation d'une vraisemblance approchée équivaut à la recherche de sources dont des versions ltrées soient décorrélées entre elles. Les ltres optimaux sont liés à la structure temporelle des sources. Celle-ci étant inconnue, ils sont remplacés par des ltres choisis a priori. Par ailleurs Burg a montré que le principe du maximum d'entropie conduit à retenir la modélisation autorégressive dans ce type de situation. Nous proposons donc de considérer la vraisemblance exacte associée à un mélange instantané de sources autorégressives gaussiennes. La maximisation de la vraisemblance est décomposée, par relaxation, en deux sous-problèmes d'optimisation, également traités par des techniques de relaxation. Le premier consiste en l'estimation de la matrice de séparation à structure autorégressive des sources xée. Le second est d'estimer cette structure lorsque la matrice de séparation est xée. Le premier problème est équivalent à la maximisation du déterminant de la matrice de séparation sous contraintes non linéaires. Ce problème n'entre pas dans le cadre de l'optimisation convexe classique. Nous donnons un algorithme de calcul de la solution de ce problème pour lequel nous précisons les conditions de convergence. Nous montrons l'existence de l'estimateur du maximum de vraisemblance dont nous prouvons la consistance. Nous déterminons également la matrice d'information de Fisher relative au paramètre global et nous proposons un indice pour mesurer les performances des méthodes de séparation. Puis nous analysons, par simulation, les performances de l'estimateur ainsi déni et nous montrons l'amélioration qu'il apporte à la procédure de quasi-maximum de vraisemblance ainsi qu'aux autres méthodes du second ordre. Enn, nous donnons également la peuve de certaines propriétés théoriques concernant la convergence des méthodes de séparation issues du principe de la diagonalisation conjointe, par une matrice unitaire, de plusieurs matrices.

4 POST-DOCTORAT Thème Modèles non-linéaires à eet mixte pour des données non-répétées. Titre Détermination des incertitudes des paramètres associés aux lois de fermeture du code CATHARE dans le cadre non-linéaire. Laboratoire d'accueuil Laboratoire de Modélisation Diphasique et des Simulateurs (CEA de Grenoble). Durée 15 mois. Responsable Agnès de CRECY. Résumé Ce travail consiste à étudier une nouvelle méthode d'analyse d'incertitudes de CATHARE (le code de sûreté nucléaire Français) tenant compte de la non-linéarité des résultats du code par rapport à ses lois physiques. Ce travail vient compléter une première étude réalisée sur ce sujet qui avait abouti à un outil de calcul d'incertitudes appelé CIRCE. Ce dernier repose sur une hypothèse, assez restrictive, de linéarité. À l'instar de la méthode CIRCE, CIRCE GENERALISÉ consiste à estimer les paramètres du modèle statistique à travers l'approche du maximum de vraisemblance. La maximisation de la fonction de vraisemblance est réalisée à l'aide de l'algorithme EM. L'hypothèse de linéarité permettait de calculer explicitement certaines espérances de vecteurs aléatoires. En l'absence de cette hypothèse, le calcul exact de ces espérances devient impossible. On propose alors de remplacer le calcul analytique par un calcul approché. Diverses méthodes de calcul approché ont été étudiées an d'améliorer la qualité des estimations. La seule qui tienne compte de certaines dicultés de calcul d'intégrales rencontrées dès lors que l'écart type de l'erreur expérimentale est assez faible, est la méthode de Monte Carlo avec échantillonnage d'importance. La détermination d'une loi d'échantillonnage appropriée, selon laquelle les tirs de Monte Carlo seront générés, a constitué une bonne partie de mon activité de recherche. La simulation a été une autre partie importante de mon travail. En eet, outre la mise en uvre de l'algorithme, j'ai dû programmer une maquette expérimentale qui permet de tester les deux méthodes dans diverses types de situations. Ensuite, j'ai mené une analyse par simulation des performances des deux méthodes. CIRCE GENERALISÉ résout les problèmes de non-linéarité auxquels se heurtait CIRCE standard. Cependant, la méthode présente deux inconvénients majeurs. Le premier est son coût de calcul prohibitif si on l'applique à CATHARE. En eet, dans la pratique elle n'est pas envisageable sans recours à des techniques de réduction du temps de calcul. Le second est qu'elle présente des dicultés de convergence d'autant plus importantes que l'écart type de l'erreur expérimentale est faible, voire n'est plus du tout applicable si, en l'absence de données sur les incertitudes expérimentales, on choisit de les considérer comme nulles. Pour cette raison, les partenaires (EDF, FRAMATOME et IPSN) du CEA au projet CATHARE, nous ont demandé de compléter ce travail par une étude bibliographique sur les méthodes statistiques existantes an qu'ils disposent d'un outils complet d'analyse d'incertitudes.

5 PUBLICATIONS Articles soumis 1. Dégerine, S. and A. Zaidi (2002). Determinant maximization of a non symmetric matrix with quadratic constraints. Submitted to SIAM J. Matrix Anal. Appl. 2. Dégerine, S. and A. Zaidi (2002). Separation of an instantenous mixture of Gaussian autoregressive sources by the exact maximum likelihood method. Submitted to IEEE Trans. Signal Processing. Articles en préparation 1. Zaidi, A (2002). A new performance index and its lower band. Rapports de recherche et thèse 1. Zaidi, A (2002). Détermination des incertitudes des corrélations de CATHARE dans le cadre non-linéaire. RR condentiel, DTP/SMTH/LMDS/ Zaidi, A (2002). Méthodes statistiques pour la détermination des incertitudes des corrélations de CATHARE dans le cadre non-linéaire. RR condentiel, DTP/SMTH/LMDS/ Dégerine, S. et A. Zaidi (2000). Maximum de vraisemblance exact pour la séparation aveugle d'un mélange instantané de sources autorégressives gaussiennes. RR, LMC-IMAG 1033 M. 4. Zaidi, A (2000). Séparation aveugle d'un mélange instantané de sources autorégressives gaussiennes par la méthode du maximum de vraisemblance exact. Thèse de doctorat, Université. J.Fourier, Grenoble. Articles dans les actes de congrès avec comité de lecture ou ouvrages collectifs 1. Dégerine, S et A. Zaidi (2002). Méthodes à l'ordre 2 pour les mélanges instantanés de sources colorées. Chapitre d'un ouvrage collectif sur la séparation de sources et l'analyse en composantes indépendantes pour la collection IC2 de chez Hermès, en attente de coordination. 2. Zaidi, A (2001). Un nouvel indice de performance et sa borne inférieure. In Proc. XVIII Colloque GRETSI, Toulouse, France. 3. Dégerine, S. et A. Zaidi (1999). Maximum de vraisemblance exact pour la séparation aveugle d'un mélange instantané de sources autorégressives gaussiennes. In Proc. XVII Colloque GRETSI, Vannes, France, pp Conférences 1. Zaidi, A (2000). Séparation aveugle de sources colorées ; propriétés asymptotiques de l'estimateur MVE. XXXII Journées de Statistique, Fez, Maroc, pp Dégerine, S. et A. Zaidi (1999). Maximum de vraisemblance exact pour la séparation aveugle d'un mélange instantané de sources autorégressives gaussiennes. XXXI Journées de Statistique, Grenoble, France, pp

6 ENSEIGNEMENTS 1. IUT2-STID niveau 2 / UPMF Grenoble II Matières : algèbre linéaire Contenu : espaces vectoriels, applications linéaires, systèmes linéaires, déterminant, produits scalaires, diagonalisation de matrices Nature : cours et travaux dirigés Statut / Année / Volume horaire : ATER / 2002 / 52 heures 2. IUT2-STID niveau 1 / UPMF Grenoble II Matières : probabilité et statistique Contenu : variables aléatoires, lois (discrètes, continues et absolument continues), variables gaussiennes, couple de variables ; ajustement linéaire, introduction aux séries chronologiqies Nature : cours et travaux dirigés Statut / Année / Volume horaire : ATER / 2002 / 77 heures 3. IUT2-STID niveau 2 et année spéciale / UPMF Grenoble II Matières : logiciels SAS et Minitab Contenu : modules : Base et Stat Nature : travaux pratiques Statut / Année / Volume horaire : ATER / 2002 / 61 heures 4. DEUG-MASS niveau 2 / UPMF Grenoble II Matières : algèbre linéaire Contenu : espaces vectoriels, applications linéaires, systèmes linéaires, déterminant, produits scalaires, diagonalisation de matrices, formes bilinéaires Nature : travaux dirigés Statut / Année / Volume horaire : vacataire / 2002 / 48 heures 5. Psychologie niveau 4 / UPMF Grenoble II Matières : logiciel SPSS Contenu : module Stat Nature : travaux pratiques Statut / Année / Volume horaire : vacataire / 2000 / 24 heures Pour tout ces enseignements, j'ai participé à l'élaboration des sujets d'examen et à la correction des copies. De plus, j'étais chargé de préparer le cours d'algèbre linéaire pour les étudiants de deuxième année STID et celui de probabilité et statistique pour les étudiants de première année STID. En ce qui concerne le logiciel SAS, j'utilise le support de cours rédigé par le responsable de cette matière. Cependant, j'ai commencé à rédiger un complément de ce support dans lequel je tiens compte des diérentes remarques et lacunes des étudiants pour permettre aux plus grand nombre d'entre eux d'acquérir un minimum de savoir faire. Vous trouverez, ci-joint, un copie provisoire de ce support.

7 STAGES ET PROJETS 1. Stages 1997 Stage de DEA au sein du LMC : séparation aveugle de sources colorées Stage de 3 mois à l'institut Régional des Sciences Informatiques et Télécommunications (IRSIT-Tunisie) : conception et implémentation d'une méthode pour la gestion de l'emploi du temps de la circulation et de la maintenance des locomotives de la Société de Métro Léger de la ville de Tunis. 2. Projets 1999 Réalisation d'un interface graphique de simulation sous Matlab Programmation d'un compilateur du langage mini-pascal en ADA Estimation des paramètres d'un modèle linéaire mixte : les composantes de la variance Programmation d'un interpréteur du langage Scheme en C. CONNAISSANCES INFORMATIQUES 1. Systèmes d'exploitation Unix, Windows, DOS. 2. Langages de programmation C/C++, Ada, Pascal, Assembleur 68000, Lisp, Shell, Perl, HTML, JAVA, JavaScript, SQL. 3. Logiciels SAS, SPSS, Minitab, S+, Matlab, Gauss, Maple, Latex, Word, Excel, Ppt. LANGUES Anglais lu, écrit et parlé. Arabe langue maternelle. RÉFÉRENCES Serge DÉGERINE Professeur à l'université Joseph Fourier, Grenoble I. Tél Serge.Degerine@imag.fr Jean-Louis SOLER Professeur à l'institut National Polytechnique de Grenoble. Tél jlsoler@imag.fr Gérard GRÉGOIRE Professeur à l'université Pierre Mendès France, Grenoble II. Tél Gerard.Gregoire@imag.fr Agnès de CRÉCY Chercheur au Commissariat à l'energie Atomique, Grenoble. Tél agnes@gargas.alpes.cea.fr