L'objectif de ce cours est de fournir les bases de la synthèse d'image, autant au niveau des fondements mathématiques que de leur application informatique. Les cours théoriques sont appuyés par des séances de travaux pratiques sur l'utilisation d'OpenGL.
Expérience du responsable dans le domaine de l’UE
Enseignant-chercheur au Laboratoire d'Electronique et d'Informatique de l'ENSTA. Son domaine de recherche concerne principalement l'algorithmique de traitement d'images pour les architectures parallèles et les systèmes embarqués, ainsi que la géométrie discrète. Il enseigne le traitement d'images à l'ENSTA et à l'Université Paris 6 (Master IAD) depuis plusieurs années. Son activité, autant en recherche (contrats de transfert industriel), qu'en enseignement (prospection, gestion et suivi des stages, organisation de visites) est caractérisée par une implication forte dans les relations entre étudiants, laboratoires et industriels.
Réalisations du responsable dans le domaine de l’UE
Acronyme : tsm
Spécialité : SAR
3 ECTS
Niveau : 500
Semestre : S3
Titre : Traitement du signal musical
Responsable : Bertrand David
Répartition hebdomadaire ou semestrielle
(30h/7 semaines)
Contenu
Les enseignements de cette UE traitent de l'analyse, de la transformation et de la synthèse des sons musicaux. Ils abordent les systèmes de bases qui permettent d'analyser les sons, d'appliquer des effets (réverbération, chorus, flanger), d'effectuer des transformations (modification de hauteur, distorsion temporelle, modification de timbre) ou encore de générer des sons utilisables par la suite dans des contextes musicaux.
Expérience du responsable dans le domaine de l’UE
Maître de conférence à Télécom Paris (ENST), au sein du département Traitement du Signal et des Images, je travaille sur des problématiques liées à la représentation, la modélisation et la description automatique des signaux audio-fréquence et particulièrement musicaux. J'y encadrerai bientot mon 6eme doctorant. Membre du comité d’organisation du GRETSI 2003 (la conférence nationale de traitement du signal), membre du bureau du groupe spécialisé d'acoustique musicale de la SFA (organisateur d'une journée d'étude sur la description automatique et la perception de la musique), j'enseigne le traitement du signal au sein de l'équipe ATIAM depuis 2001. Depuis 2001, j'ai participé à 30 publications de niveau international dont 7 articles de revue (IEEE transactions majoritairement),
Réalisations du responsable dans le domaine de l’UE
Acteur du projet Européen K-SPACE (Knowledge Space of semantic inference for automatic annotation and retrieval of multimedia content)/ et de l’ACI MusicDiscover (LTCI en partenariat avec l’IRCAM, Paris et le LIRIS, Lyon, sur une problématique d’indexation audio).
Membre du bureau du groupe spécialisé d'acoustique musicale de la SFA (organisateur d'une journée d'étude sur la description automatique et la perception de la musique (webmaster).
Inclusion des méthodes sous-espace pour l’analyse des sons pour la facture instrumentale (projet music maker tools en collaboration avec ITEMM, LAUM, 01dB et IRCAM), en cours.
Fast Approximated Power Iteration Subspace Tracking, Roland Badeau, Bertrand David et Gaël Richard, IEEE Transactions on Signal Processing, vol. 53, no. 8, pp. 2931-2941, août 2005
Sliding window adaptive SVD algorithms, Roland Badeau, Gaël Richard et Bertrand David, IEEE Transactions on Signal Processing, vol. 52, no. 1, pp. 1-10, janvier 2004.
Acronyme : tspf
Spécialité : ACSI
3 ECTS
Niveau : 500
Semestre : S3
Titre : Techniques de simulation et de preuve formelle (Simulation techniques and formal methods)
Responsable : Emmanuelle ENCRENAZ
Répartition hebdomadaire ou semestrielle
(30h/7 semaines)
Contenu
Ce module fondamental présente différentes approches pour la vérification des systèmes matériels.
Expérience du responsable dans le domaine de l’UE
Enseignant-chercheur depuis 10 ans dans le domaine de la vérification fonctionnelle des systèmes intégrés sur puce. Mes recherches se focalisent sur les techniques de vérification par model-checking, qui sont le prolongement des notions de base enseignées dans le cours TSPF.
Réalisations du responsable dans le domaine de l’UE
développement d'une méthode de conception incrémentale facilitant la vérification des systèmes
article : "CTL-property transformations along an incremental design process", accepté à la revue internationale STTT, 2005
utilisation de structure de données de type DAG capturant la hiérarchie pour la vérification de systèmes décrits en Promela
article : "utilisation des diagrammes de decision de données pour la vérification fonctionnelle de systèmes matériels", actes de MAJESTIC 2004
Acronyme : vimu
Spécialité : IMA
ECTS 3
Niveau : M2
Semestre : S3
Titre : Vidéo et multimédia
Responsable : Ewa Kijak
Maître de conférences à l'UPMC
Répartition hebdomadaire ou semestrielle
(CM: 3h00)(TD/TME:1h00)
Contenu
Compression images fixes. Format des images vidéo. Codage vidéo. Indexation images et vidéo. Applications industrielles. TP.
Expérience du responsable dans le domaine de l’UE
Maître de conférences à Paris 6 depuis septembre 2004, j'ai reçu une formation en traitement du signal. Mes thèmes de recherche sont articulés autour de l'indexation vidéo et en particulier de la fusion d'informations audio-visuelles.
Réalisations du responsable dans le domaine de l’UE
E. Kijak, L. Oisel, P. Gros. Hierarchical structure analysis of sport videos using HMMS, IEEE International Conference on Image Processing (ICIP), vol. 2, pp 1025-1028, Barcelona, Sept. 2003
E. Kijak, G. Gravier, L. Oisel, P. Gros. Audiovisual integration for sport broadcast structuring, à paraître dans Multimedia Tools and Applications.
Acronyme : vfsr
Spécialité : SAR
3 ECTS
Niveau : 500
Semestre : S3
Titre : Vérification formelle de systèmes répartis
Responsable : Isabelle VERNIER-MOUNIER
Répartition hebdomadaire ou semestrielle
(CM: 3h00)(TD/TME: 1h00)
Contenu
Le but de cette UE est de présenter trois techniques complémentaires de vérification formelle de systèmes répartis : la vérification structurelle, le model-checking et le test. Chacune de ces techniques sera étudiée et ses avantages et inconvénients seront présentés.
Expérience du responsable dans le domaine de l’UE
Recherches sur la vérification de systèmes répartis (réseaux de Petri, model-checking) depuis 1991. Enseignements dans le domaine depuis 1996 en DEA puis en Master.
Réalisations du responsable dans le domaine de l’UE
F. Bréant, J.-M. Couvreur, F. Gilliers, F. Kordon, I. Mounier, E. Paviot-Adet, D. Poitrenaud, D. Regep, G. Sutre : "Modeling and Verifying Behavioral Aspects", in Formal Methods for Embedded Distributed Systems - How to master the complexity, F. Kordon, M. Lemoine, Eds.: Kluwer Academic Publishers, pp. 171-211.
C. Dutheillet, J.-M. Ilié, D. Poitrenaud, I. Vernier-Mounier : "State-Space-Based Methods and Model Checking", in Petri nets for Systems Engineering : A Guide to Modeling, Verification, and Applications, C. Girault, R. Valk, Eds.: Springer-Verlag, pp. 201-275.
Y. Thierry-Mieg, C. Dutheillet, I. Mounier : "Automatic Symmetry Detection in Well-Formed Nets", 28th International Conference on Theory and Application of Petri Nets.
I. Vernier, E. Paviot-Adet : "Modélisation et vérification de l'interopérabilité de services de télécommunication", in Vérification et mise en oeuvre de réseaux de Petri, M. Diaz, Ed. Paris: Hermès Science, pp. 233-252.
M. Doche, I. Vernier-Mounier, F. Kordon : "Modular approach to specify and validate an Electrical Fligh Control System", Formal Method Europe (FME'2001), pp. 590-610.
L'objectif de cet enseignement est de maîtriser les concepts liés à la validation des calculs numériques sur ordinateur comme l'arithmétique à virgule flottante ainsi que les erreurs d'arrondi et leur conséquence. Il s'agit également d'apprendre à effectuer une analyse globale de qualité numérique pour tout code de simulation numérique en maîtrisant les outils informatiques appropriés.
Expérience du responsable dans le domaine de l’UE
J.-M. Chesneaux travail sur la validation des logiciels numériques depuis 1986. Il y a consacré son doctorat d'université et son habilitation à diriger des recherches. Il a développé le logiciel CADNA qui fait l'objet d'un copyright international, dirigé quatre thèses et une habilitation sur ce sujet, publié seize articles dans des revues internationales et vingt communications dans des congrès internationaux. J.-M. Chesneaux dirige une équipe de sept enseignants-chercheurs sur cette thématique.
Réalisations du responsable dans le domaine de l’UE
Acronyme : vlsi
Spécialité : ACSI
6 ECTS
Niveau : 400
Semestre : S1
Titre : Conception des circuits intégrés VLSI
Responsable : Anne DERIEUX
Répartition hebdomadaire ou semestrielle
(CM: 2h00)(TD: 2h00)(TME: 2h00)
Contenu
Introduction à la conception des circuits intégrés numériques VLSI (Very Large Scale Intégration). Ce module très pratique est conçu pour des étudiants n'ayant aucune connaissance en électronique.
Expérience du responsable dans le domaine de l’UE
En 1982 A Derieux a suivi une reconversion de la Physique vers l'Informatique et a rejoint l'équipe matériel de l'UFR d'Informatique. Elle a participé à la conception et à la réalisation de plusieurs circuits VLSI en étant responsable des stages des étudiants sur la conception de différents microprocesseurs.
Réalisations du responsable dans le domaine de l’UE
Acronyme : zdef
Spécialité : ACSI
3 ECTS
Niveau : 500
Semestre : S3
Titre : Circuiterie CMOS zéro défaut (Zero defect CMOS design)
Responsable : Alain GREINER
Répartition hebdomadaire ou semestrielle
(30h/7 semaines)
Contenu
Cette U.E. analyse les causes de dysfonctionnement des circuits intégrés numériques, liées aux procédés de fabrication submicronique, et présente les techniques de conception permettant d'éviter ces dysfonctionnements. Cette U.E Présente également les techniques de circuiterie utilisées pour la réalisation des mémoires.
Expérience du responsable dans le domaine de l’UE
Alain Greiner est directeur du département "Systèmes Embarqués sur Puce" du laboratoire LIP6. Il est L'architecte et le responsable de la chaîne de CAO/VLSI ALLIANCE, développée par le LIP6. ALLIANCE est distribuée sous licence GPL, et utilisée dans plus de 200 Universités, dont l'Université des Nations-Unies, pour l'enseignement ou la recherche.
Réalisations du responsable dans le domaine de l’UE
http://www-asim.lip6.fr/recherche/alliance/
1CMS : Content-management system, ou système de gestion de contenu. Nous mettons actuellement en place le logiciel libre français SPIP pour gérer le site annuel de la mention.
2Compte tenu des 375 étudiants qui ont suivi le M1 cette année, et du fait qu'ils doivent suivre 5 UE, cela donne une « pression » d'environ 100 étudiants par UE au premier semestre. Au second semestre, les UE d'anglais et de projet étant suivies par tous les étudiants, la « pression » sur les autres UE est d'environ 45 étudiants par UE.
3 Les UE apparaissant en couleur ne sont pas sous la responsabilité de la spécialité RES
4 Ce cursus étant reconnu internationalement depuis dix ans sous cette dénomination (seule l’Université de San Diego en Californie offre une formation similaire), il lui serait préjudicable de changer de nom.
5 Nous n’indiquons dans cette table que les membres interviennent de manière significative dans les enseignements ou qui sont responsables d’unités d’enseignements dans la spécialité.
