Vous êtes sur la page 1sur 43

MASTER SCIENCES, TECHNOLOGIES, SANT, MENTION INFORMATIQUE, SPCIALIT RSEAUX,

SYSTMES ET MOBILIT
CARTE D'IDENTIT DE LA FORMATION :
Niveau : Master
Dure : 4 semestres
Crdits : 120 crdits ECTS
Disciplines : Informatique
Organisation de la formation :
Langue d'enseignement et examen :
Franais.
Organisation des tudes :
Les semestres S1, S2, S4 sont communs toutes les spcialits du master, avec des UEs obligatoires et des options. Le semestre S3 dpend du parcours choisi.
Les UEs de semestre 1 obligatoires pour la spcialit sont :
Systme d'exploitation (SE)
Rseaux (Res)
Les UEs de semestre 2 obligatoire pour la spcialit sont :
Administration Rseaux
Les UEs de la spcialit Rseaux, Systmes et Mobilit sont:
Matriels Mobiles et Systmes Associs (MMSA)
Infrastructures Pour les Rseaux et la Mobilit (IPRM)
Rseaux et Technologies Avancs (RTA)
Algorithmique Parallle et Optimisation (APO, UE Enseirb)
Systmes et Supports d'Excution (SSE)
Scurit des Rseaux (SR)
Programmation Parallle Distribue et Application (PPDA)
S3 : 2 parcours types sont proposs
Parcours Rseau et Systmes Mobiles
Parcours Calcul Haute-Performance
Les UEs de S3 de la spcialit Rseaux, Systmes et Mobilit sont :
Matriels Mobiles et Systmes Associs (MMSA)
Infrastructures Pour les Rseaux et la Mobilit (IPRM)
Rseaux et Technologies Avancs (RTA)
Algorithmique Parallle et Optimisation (APO, UE Enseirb)
Systmes et Supports d'Excution (SSE)
Scurit des Rseaux (SR)
Programmation Parallle Distribue et Application (PPDA)
Le semestre S4 est commun toutes les spcialits du master.
Parcours de formation :
2 parcours diffrencis partir du master 2:
Calcul haute performance
Rseaux, systme et mobilit
Public concern : Formation initiale, Formation continue
Site de formation : Bordeaux et agglomration
Responsable :
David BROMBERG
Philippe DUCHON :contactez.
Serge CHAUMETTE
OBJECTIFS ET DBOUCHS :
Objectifs :
Le diplm possde des comptences transversales, acquises dans un contexte gnral de formation universitaire et des comptences scientifiques spcifiques, acquises au
Page 1 / 43 - 05/02/2014
cours de sa format ion en Informatique.
Comptences acquises :
Trois niveaux de mise en oeuvre sont prciss ci-dessous : I = avec encadrement ; II = en autonomie ; III = avec capacit t ransmettre, voire innover.
Comptences transversales : organisationnelles et relationnelles
Raliser une tude, scientifique ou non, en vue d'une valuation, d'un dveloppement , d'une conception, d'une application, en vue de tester ou d'laborer une
modlisation (III) : poser une problmatique en tenant compte du contexte et des objectifs, construire et dvelopper une argumentation, raliser l'action, interprter
les rsultats, laborer une synthse, valuer l'action et proposer des prolongements.
Raliser un cahier des charges en tenant compte des besoins du client et des contraintes temporelles, humaines et conomiques (II).
Communiquer (II) : rdiger clairement , prparer des supports de communication en utilisant diverses techniques (rapport , diaporama, note de synthse, poster,...),
et les commenter pour un public, averti ou non, en franais voire en anglais (comprhension et ex pression crites et orales).
Raliser et produire des donnes, des tudes, des logiciels, en quipe (II).
Respecter l'thique scientifique en toutes circonstances, sur la base des principes dontologiques dvelopps traditionnellement dans le cadre universitaire (II).
Capacit d'intgration dans une entreprise ou un laboratoire (stage de 4 6 mois effectu lors du dernier semestre de la formation) (II).
Comptences scientifiques : gnrales et spcifiques
Matrise des outils d'valuat ion et de dbuggage (dbuggueurs, profileurs, mtriques) (II).
Matrise des outils de dveloppement logiciel en quipe (cvs, svn,...) (II).
Connaissance approfondie des concepts de programmation (programmation imprative, fonctionnelle, logique, oriente objet , distribue et parallle) (II).
Connaissances spcifiques dans le domaine des rseaux , des systmes d'exploitations, des systmes rpartis (III).
Connaissances spcifiques dans le domaine des quipements mobiles et des systmes embarqus (dveloppement spcifique, scurit) (III).
Connaissances spcifiques dans le domaine de la modlisation et de la validation des architectures rseau, des systmes rpartis et mobiles.
Activits - Mtiers :
Le diplm en Master Sciences, Technologies, Sant, mention Informatique, spcialit Rseaux, Systmes et Mobilit, peut prtendre des emplois diversifis dans lesquels
seront mises en oeuvre les activits suivantes :
analyse et conception dalgorithmes et de logiciels,
conception, mise en oeuvre et valuation darchitecture rseaux,
conception, mise en oeuvre et valuation darchitecture systmes,
conception, mise en oeuvre et valuation darchitecture rparties,
tude et dploiement de plate-formes,
tude et mise en oeuvre de la scurit de plate-formes logicielles et matrielles,
dveloppement logiciel pour des systmes embarqus.
Les diplms exercent par exemple leur activit dans le cadre d'entreprises des secteurs suivants :
Informatique, Tlcommunications, Aronautique, Technologie, Automatique, Ingnierie, Biotechnologies, Recherche,
Enseignement
Les diplms exercent leur activit dans des types d'emplois tels que :
Informaticien expert/informaticienne experte
Informaticien/informaticienne d'tude
Cadre technique d'tudes scientifiques et de recherche fondamentale
Cadre technique d'tudes-recherche-dveloppement de l'industrie
Professionnel/professionnelle de l'image
Professionnel/professionnelle du son
Informaticien/informaticienne d'exploitation
Organisateur informaticien/organisatrice informaticienne
Expert rseau
Gestionnaire rseau
Ingnieur rseau
Architecte rseau
Ingnieur systme
Architecte systme
Codes des fiches ROME (Rpertoire oprationnel des mtiers) les plus proches :M1802, M1806
Secteurs d'activit :
Informatique, Tlcommunications, Aronautique, Technologie, Automatique, Ingnierie, Biotechnologies, Recherche, Enseignement
Poursuite d'tudes :
Poursuite d'tudes possible en Doctorat
MODALITS D'ACCS :
Niveau de recrutement :
Diplme requis l'entre : BAC+3
Conditions d'accs :
Accs en 1er semestre : tre titulaire d'une Licence Sciences, Technologies, Sant de mention en cohrence avec la mention de Master choisie. Admission sur dossier pour
tout autre diplme. Accs aux autres semestres : admission sur dossier.
Page 2 / 43 - 05/02/2014
PARTENARIAT ET INTERNATIONAL :
Partenariat :
Institut Polytechnique de Bordeaux (IPB)
changes internationaux :
Erasmus
Crepuq
Pour en savoir plus :
Etudes l'tranger
Etudes Bordeaux
CONTENU DE LA FORMATION :
Rglement d'examen :
Les UE font l'objet d'examens crits et ventuellement d'un contrle continu ainsi que d'une session de rattrapage (2me session) crite ou orale. Les UE comportant un stage
donnent lieu l'valuation d'un rapport crit et d'une soutenance orale. Chaque UE est note de 0/20 (note minimum) 20/20 (note maximum). L'UE est acquise ds lors que
l'tudiant y a obtenu une note au moins gale 10/20.
Le diplme de Master est dlivr tout tudiant dont la moyenne de 1re anne, la moyenne de premier semestre, de second semestre et de stage de 2me anne, sont au
moins gales 10/20.
Le bnfice des composantes acquises peut tre gard sans limite sous rserve de conformit avec la base lgale du diplme.
En savoir plus :
Semestres :
Stages optionnels
Semestre 7
Semestre 8
Semestre 9
Rseaux systmes et mobilit parcours Calcul haute performance (A partir de la rentre 2012)
RSM parcours rseaux, systmes et mobilit
Semestre 10
Rseaux, systmes et mobilit parcours Calcul haute performance - Finalit professionnelle
Rseaux, systmes et mobilit parcours Calcul haute performance - Finalit recherche
Rseaux, systmes et mobilit parcours Rseaux, systmes et mobilit - Finalit professionnelle
Rseaux, systmes et mobilit parcours Rseaux, systmes et mobilit - Finalit recherche
Semestre 9 ENSEIRB
DESCRIPTIF DES SEMESTRES :
DESCRIPTIF DES UE :
PROGRAMMATION PARALLLE DISTRIBUE ET APPLICATIONS (J1IN9512)
Semestre d'automne (M2) : 6 ECTS
Objectifs :
L'objectif de ce cours est de comprendre comment programmer efficacement les grappes de calcul contemporaine
Prrequis recommands :
Architecture de l'ordinateur, programmation multicoeur et GPU
Programme :
Page 3 / 43 - 05/02/2014
Communication par envoi de messages
Communications point point : modes de communication, asynchronisme, non dterminisme
Communications collectives: barrire de synchronisation, mouvements de donnes, calculs globaux
Optimisations des communications (agrgation, placement)
Exploitation de rseaux haut dbit (Infiniband, Myrinet)
Programmation Hybride: modles et implmentation
ApprochesMPI+Threads, MPI+OpenMP, etc.
Approches mmoire globale partitionne (PGAS, UPC, XcalableMP)
Programmation par composants
Comptences acquises
Combiner de manire adquate diffrents modles de programmation pour exploiter les machines parallles contemporaines.
Volume des enseignements
Heures en prsentiel
Cours Magistraux 24
Travaux Dirigs 0
Travaux Pratiques 0
Cours intgrs 0
TD sur machine 24
Accompagnement 0
Mode d'valuation :
Epreuves 1re session
Type d'valuation Dtails ventuels Dures Coefficients
Projet semi-encadr 0.2
Devoir Surveill (DS) 1h30 0.2
Examen crit 1h30 0.6
Epreuves 2nde session
Type d'valuation Dtails ventuels Dures Coefficients
Examen crit ou oral (selon l'effectif) 1h30 0.6
Contrle Continu (CC) report session 1 (Projet+DS)/2 0.4
Formation initiale, Formation continue
Forme d'enseignement :
Enseignement prsentiel
Lieu d'enseignement :
Universit Bordeaux 1 (Talence)
Langue d'enseignement
Franais
Responsable(s)
Raymond NAMYST
SYSTMES ET SUPPORTS D'EXCUTION (J1IN9513)
Semestre d'automne (M2) : 6 ECTS
Objectifs :
Le calcul parallle et distribu connat un dveloppement sans prcdent et est maintenant utilis couramment en production. Ce cours s'intresse non pas aux applications
parallles et distribues mais aux supports excutif qui oeuvrent "en coulisses" et aident ces applications concilier efficacit, portabilit, scurit et facilit d'utilisation.
Prrequis recommands :
Programmation des Architectures Parallles
Programme :
Introduction aux supports d'excution.
Exploitation de machines multi-processeurs.
Rappels architecturaux (SMT, multi-core, SMP, NUMA)
tude du fonctionnement d'un ordonnanceur de threads
Paradigmes de programmation en mmoire partage
Rseaux haute-performance
Point de vue architectural
Comparaison avec les rseaux classiques
Page 4 / 43 - 05/02/2014
Technologies de rseaux rapides
Programmation depuis l'espace utilisateur
tude thorique des protocoles
Optimisations
Architecture logicielle des intergiciels et supports d'excution
Les modles d'abstraction
Composants logiciels dans les intergiciels
Virtualisation
Supports d'excution pour grappes, systmes image unique
Systmes trs grande chelle
Problmatiques de la grande chelle: scurit, connectivit, fiabilit, htrognit
Grilles de calcul, cloud
Systmes pair--pair
Comptences acquises
Du fait de leur complexit croissante, la programmation des systmes parallles actuels dpend en grande partie d'une bonne comprhension des mcanismes sous-jacents
pour obtenir de bonnes performances. La comptence que les tudiants retirent de ce cours est une comprhension du fonctionnement des systmes parallles contemporains
pour une programmation efficace.
Volume des enseignements
Heures en prsentiel
Cours Magistraux 24
Travaux Dirigs 0
Travaux Pratiques 0
Cours intgrs 0
TD sur machine 24
Accompagnement 0
Mode d'valuation :
Epreuves 1re session
Type d'valuation Dtails ventuels Dures Coefficients
Examen crit 1h30 0.5
Contrle Continu (CC) OBLIGATOIRE 0.5
Epreuves 2nde session
Type d'valuation Dtails ventuels Dures Coefficients
Examen crit ou oral (selon l'effectif) 1h30 0.5
Contrle Continu (CC) report session 1 0.5
Formation initiale, Formation continue
Forme d'enseignement :
Enseignement prsentiel
Lieu d'enseignement :
Universit Bordeaux 1 (Talence)
Langue d'enseignement
Franais
Responsable(s)
Samuel THIBAULT
STAGE OPTIONNEL LONG (J0IN8M01)
Semestre de printemps (M1) : 12 ECTS
Objectifs :
Validation de l'orientation professionnelle par un stage de longue dure.
Inscription rserve des tudiants en situation particulire: tudiants en contrat de professionnalisation ou en apprentissage (le stage remplace alors le Projet de
Programmation), redoublants ayant dj valid le semestre de printemps (dans ce dernier cas, l'valuation n'entre pas dans le cadre du master).
Prrequis recommands :
aucun
Programme :
Stage temps plein au deuxime semestre de master, en entreprise ou en laboratoire. Le sujet doit avoir t valid par l'quipe pdagogique, qui dsigne un encadrant pour
suivre personnellement l'tudiant stagiaire. Le stage donne lieu un rapport et une soutenance publique.
Page 5 / 43 - 05/02/2014
Comptences acquises
Exprience professionnelle dans le domaine vis.
Volume des enseignements
Heures en prsentiel
Cours Magistraux 0
Travaux Dirigs 0
Travaux Pratiques 0
Cours intgrs 0
TD sur machine 0
Accompagnement 8
Mode d'valuation :
Epreuves 1re session
Type d'valuation Dtails ventuels Dures Coefficients
Rapport Evalu par un relecteur 00h00 0.4
Soutenance Evalue par un jury 01h00 0.4
Encadrement et valuation par le matre de stage 00h00 0.2
Formation initiale, Formation continue
Forme d'enseignement :
Enseignement distance
Lieu d'enseignement :
Autres
Langue d'enseignement
Franais
Responsable(s)
Anne DICKY
STAGE OPTIONNEL COURT (J0IN8M02)
Semestre de printemps (M1) : 6 ECTS
Objectifs :
Validation de l'orientation professionnelle et pdagogique; prparation au stage de fin d'tudes.
Prrequis recommands :
aucun
Programme :
Stage d'ouverture temps partiel au deuxime semestre, en entreprise ou en laboratoire. Le travail ne peut excder l'quivalent de deux jours par semaine durant le semestre.
Le sujet doit avoir t valid par l'quipe pdagogique, qui dsigne un encadrant pour suivre personnellement l'tudiant stagiaire. Le stage donne lieu un rapport et une
soutenance publique.
Comptences acquises
Connaissance de l'entreprise, premire exprience professionnelle dans le domaine vis.
Volume des enseignements
Heures en prsentiel
Cours Magistraux 0
Travaux Dirigs 0
Travaux Pratiques 0
Cours intgrs 0
TD sur machine 0
Accompagnement 3
Mode d'valuation :
Page 6 / 43 - 05/02/2014
Epreuves 1re session
Type d'valuation Dtails ventuels Dures Coefficients
Rapport Evalu par un relecteur 00h00 0.4
Soutenance Evalue par un jury 00h30 0.4
Encadrement et valuation par le matre de stage 00h00 0.2
Formation initiale, Formation continue
Forme d'enseignement :
Enseignement distance
Lieu d'enseignement :
Autres
Langue d'enseignement
Franais
Responsable(s)
Anne DICKY
STAGE OPTIONNEL D'OUVERTURE (J0IN8M03)
Semestre de printemps (M1) : 3 ECTS
Objectifs :
Affiner une orientation professionnelle et pdagogique.
Prrequis recommands :
aucun
Programme :
Stage temps partiel ou temps plein durant les vacances d't (minimum: quivalent de 4 semaines temps plein), en entreprise ou en laboratoire. Le sujet doit avoir t
valid par l'quipe pdagogique, qui dsigne un encadrant pour suivre personnellement l'tudiant stagiaire. Le stage donne lieu un rapport et une soutenance publique.
Comptences acquises
Connaissance de l'entreprise; exprience professionnelle dans le domaine vis.
Volume des enseignements
Heures en prsentiel
Cours Magistraux 0
Travaux Dirigs 0
Travaux Pratiques 0
Cours intgrs 0
TD sur machine 0
Accompagnement 3
Mode d'valuation :
Epreuves 1re session
Type d'valuation Dtails ventuels Dures Coefficients
Rapport Evalu par un relecteur 00h00 0.4
Soutenance Evalue par un jury 00h30 0.4
Encadrement et valuation par le matre de stage 00h00 0.2
Formation initiale, Formation continue
Forme d'enseignement :
Enseignement distance
Lieu d'enseignement :
Autres
Langue d'enseignement
Page 7 / 43 - 05/02/2014
Franais
Responsable(s)
Anne DICKY
TRAITEMENT D'IMAGE (J1IN8M11)
Semestre de printemps (M1) : 6 ECTS
Objectifs :
Cet enseignement prsente diffrents modles lis l'acquisition, la reprsentation, et la transformation des images numriques 2D, et montre comment les appliquer aux
principales problmatiques du traitement d'image, que ce soit pour amliorer une image existante pour en corriger les dfauts, ou pour effectuer des prtraitement pour
l'analyse, la synthse, ou le codage d'images.
Programme :
La premire partie de cet enseignement prsente les principaux modles permettant de dcrire les images numriques 2D et leurs processus d'acquisition et de restitution. Elle
est organise autour de trois thmes :
-La reprsentation, l'acquisition et la reconstruction des images : de la lumire aux images, du phnomne au calcul, reprsentation spatiale, frquentielle et statistique des
images, discrtisation et reconstruction du signal continu, rchantillonnage, etc.
-La modlisation, la reprsentation et la reproduction des couleurs : le phnomne de la couleur, modlisation de la vision humaine des couleurs, colorimtrie, systmes de
couleur, calibrage des priphriques, etc.
-Les transformations d'images : transformation d'images multibandes, transformations ponctuelles, convolutions, filtres d'ordre, transformations morphologiques,
caractrisation frquentielle d'un filtre, transformations frquentielles, transformations gomtriques
La seconde partie de cet enseignement est consacre l'tude de problmes concrets de traitement d'image. Elle est organise autour de trois thmes :
-Les traitements qualitatifs pour l'amlioration d'image : transformations basiques, traitement de la luminosit et du contraste, traitement chromatique, lissage, accentuation
des dtails, effets spciaux, etc.
La restauration des images pour la correction des dfauts : dfauts d'illumination, bruit priodique et apriodique, distorsions gomtrique, modlisation des
distorsions et filtrage inverse, etc.
L'extraction des contours : mthodes drivatives, oprateur drivatifs du premier ordre et du second ordre, seuillage, gradients morphologiques, etc.
Comptences acquises
-Identifier et caractriser les dfauts d'une image
-Comprendre et traduire sous forme algorithmique la spcification mathmatique d'une mthode de traitement d'image
-Choisir le modle et/ou la mthode adapte un type de traitement
-Construire ou adapter une chane de traitements spcifique la rsolution d'un problme particulier
-Implmenter et mettre en oeuvre les principales mthodes de traitement d'image
Volume des enseignements
Heures en prsentiel
Cours Magistraux 24
Travaux Dirigs 24
Travaux Pratiques 0
Cours intgrs 0
TD sur machine 0
Accompagnement 0
Bibliographie :
* R.C. Gonzalez and P. Woods, Digital Image Processing, Third edition. Prentice-Hall, 2008.
* J.C. Russ, The Image Processing Handbook, Fourth edition. CRC Press 2002.
* P. Soile, Morphological Image Analysis - principles and application, Second edition, Springer, 2003.
* A. Trmeau, C. Fernandez-Maloigne et P. Bonton, Image numrique couleur, Dunod, 2004.
* J.-P. Cocquerez et S.Philips, Analyse d'images : filtrage et segmentation, Masson, 1995.
Mode d'valuation :
Epreuves 1re session
Type d'valuation Dtails ventuels Dures Coefficients
Page 8 / 43 - 05/02/2014
Examen crit terminal 01h30 0.5
Contrle Continu (CC) OBLIGATOIRE 00h00 0.5
Epreuves 2me session
Type d'valuation Dtails ventuels Dures Coefficients
Examen crit ou oral (selon l'effectif) 01h30 0.5
Contrle Continu (CC) report session 1 00h00 0.5
en session 2 la note finale est : coeffEx2*noteEx2+coeffCC*max(noteCC,note Ex2)Formation initiale, Formation continue
Forme d'enseignement :
Enseignement prsentiel
Lieu d'enseignement :
Universit Bordeaux 1 (Talence)
Langue d'enseignement
Franais
Responsable(s)
Achille BRAQUELAIRE
PROGRAMMATION 3D HAUTE PERFORMANCE (J1IN8M12)
Semestre de printemps (M1) : 6 ECTS
Objectifs :
Ce cours, destin aussi bien au futur ingnieur en technologies 3D gnraliste qu'au chercheur en imagerie, vision, robotique, aborde la programmation 3D pour la
visualisation de donnes complexes et le calcul haute performance.
Prrequis recommands :
(OPTIONNEL) : IMAGE ET SON L3
Programme :
Notions thoriques de la synthse 2D/3D l: couleur, camra, gomtrie,clairage, visibilit
Pipeline graphique programmable : Vertex, Fragment, geometry Shaders
Outils mathmatiques : algbre linaire pour la visualisation graphique, quatenions
Architecture des cartes graphiques, SIMD
Notions de modlisation gomtrique et initiation aux outils
Traitement d'image sur GPU
Structures de donnes pour la visualisaiton haute performance : Primitives 2D, 3D, Textures, Maillages, Structures de recherche
Porgrammation graphique avance l: rendus spcialiss, multi-passe optimisation de code et des transferts optimisation numrique sur GPU profilage et debogage
Programmation gnraliste sur GPU, principes et applications (GPGPU)
Intgration et inerfaces
Comptences acquises
Pipeline graphique programmable
Connaissances de base pour la synthse d'image temps-rel : maillages,
textures, matriaux et clairage
Structures de partitionnement et de recherche spatiale
Programmation GPU pour le traitement du signal
Architecture des GPUs
Volume des enseignements
Heures en prsentiel
Cours Magistraux 24
Travaux Dirigs 0
Travaux Pratiques 0
Cours intgrs 0
TD sur machine 24
Accompagnement 0
Bibliographie :
Real-Time Rendering, Third Edition. Tomas Akenine-Moller, Eric Haines and
Naty Hoffman (Jul 31, 2008)
Geometric Tools for Computer Graphics (The Morgan Kaufmann Series in
Computer Graphics). Philip Schneider and David H. Eberly (Oct 10, 2002)
OpenGL SuperBible: Comprehensive Tutorial and Reference (5th Edition). Richard S. Wright, Nicholas S Haemel, Graham Sellers and Benjamin Lipchak (Aug
Page 9 / 43 - 05/02/2014
2, 2010)
Programming Massively Parallel Processors: A Hands-on Approach (Applications
of GPU Computing Series). David B. Kirk and Wen-mei W. Hwu (Feb 5, 2010)
Informatique graphique et rendu. Bernard Proche, Dominique Bechmann et
Collectif (9 fvrier 2007)
Mode d'valuation :
Epreuves 1re session
Type d'valuation Dtails ventuels Dures Coefficients
Examen crit terminal 01h30 2/3
Contrle Continu (CC) 00h00 1/3
Epreuves 2me session
Type d'valuation Dtails ventuels Dures Coefficients
Examen crit ou oral (selon l'effectif) 01h30 2/3
Contrle Continu (CC) report session 1 00h00 1/3
Formation initiale, Formation continue
Forme d'enseignement :
Enseignement prsentiel
Lieu d'enseignement :
Universit Bordeaux 1 (Talence)
Langue d'enseignement
Franais
Responsable(s)
Gal GUENNEBAUD
WEB SMANTIQUE, LANGUE ET RAISONNEMENT (J1IN8M13)
Semestre de printemps (M1) : 6 ECTS
Objectifs :
L'objectif est de matriser les systmes d'information en liaison avec Internet Cela inclut des comptences sur le traitement automatique du langage naturel, le raisonnement
partir des donnes extraites et le Web smantique qui a t conu pour faciliter la classification, l'extraction d'information,le raisonnement sur ces donnes d'origine textuelles.
Prrequis recommands :
Logique, grammaires formelles
Programme :
Linguistique informatique: analyse automatique des mots (morphologie) et des phrases (syntaxe).
Analyse automatique du sens I: mthodes logiques.
Analyse automatique du sens II: mthodes quantitatives (vecteurs de mots). .
Web smantique, ontologies et lexique. Classification.
Bases de donnes dductives, systmes-experts, avec une initiation la programmation logique.
Comptences acquises
Matrise des systmes d'information comportant des informations en langue naturel.Analyse automatique des textes en langue naturelle pour les applications sur Internet
(Extraction d'information, Recherche d'information,Requtes en langage naturel, Indexation, etc).Notions sur les ontologie et le web smantique.Mthodes et langages de
programmation appliques au raisonnement logique sur les donnes extraites (bases de donnes dductives, systmes experts).
Volume des enseignements
Heures en prsentiel
Cours Magistraux 24
Travaux Dirigs 0
Travaux Pratiques 0
Cours intgrs 0
TD sur machine 24
Accompagnement 0
Bibliographie :
Ivan BRATKO Programmation en PROLOG pour l'intelligence artificielle InterEditions, 1988.
Patrick BLACKBURN, Jahan BOS, Kristina STRIEGNITZ Prolog, tout de suite! Kings College Publication 2007.
Ruslan MITKOV (editor), The Oxford Handbook of Computational Linguistics , Oxford University Press 2003
Anders MLLER and Michael SCHWARTZBACH An Introduction to WML and Web Technologies, Pearson Education Limited, Addison Wesley, 2006.
Page 10 / 43 - 05/02/2014
Fernando PEREIRA et Stuart SHIEBER, Prolog and Natural Language Analysis, CSLI, Chicago University Press, 1987.
RDF Schema: http://www.w3.org/TR/rdf-schema/
OWL: http://www.w3.org/TR/owl-features/
W3C Semantic Web Activity : http://www.w3.org/2001/sw/
Mode d'valuation :
Epreuves 1re session
Type d'valuation Dtails ventuels Dures Coefficients
Examen crit terminal 03h00 0.5
Soutenance 00h00 0.5
Epreuves 2me session
Type d'valuation Dtails ventuels Dures Coefficients
Examen crit ou oral (selon l'effectif) 03h00 0.5
Soutenance report session 1 00h00 0.5
Formation initiale, Formation continue
Forme d'enseignement :
Enseignement prsentiel
Lieu d'enseignement :
Universit Bordeaux 1 (Talence)
Langue d'enseignement
Franais
Responsable(s)
Lionel CLEMENT
PARCOURS ENSEIRB (J9IN9531)
Semestre d'automne (M2) : 24 ECTS
Programme :

Volume des enseignements


Heures en prsentiel
Cours Magistraux 0
Travaux Dirigs 0
Travaux Pratiques 0
Cours intgrs 0
TD sur machine 0
Accompagnement 0
Formation initiale, Formation continue
Forme d'enseignement :
Enseignement distance
Lieu d'enseignement :
IPB
Langue d'enseignement
Franais
ALGORITHMIQUE PARALLLE ET ORDONNANCEMENT (J1IN9511)
Semestre d'automne (M2) : 6 ECTS
Objectifs :
-Algorithmique parallle:tudier les concepts fondamentaux de l'algorithmique parallle,illustrs par des tudes de cas algorithmiques
-Equilibrage,rgulation de charge:apporter les connaissances la conception d'algorithmes parallles performants,s'interesser aux aspects de placement,
d'ordonnancement.Utiliser les applications d'algbre linaire densepour illustrer les techniques mises
Prrequis recommands :
Page 11 / 43 - 05/02/2014
Algorithmique, Complexit
Programme :
Algorithmique Parallle:
Modles du calcul parallle, modles en mmoire partage et en mmoire distribue.
Analyse et complexit des algorithmes parallles : acclration, cot, efficacit, iso-efficacit, granularit.
Etude d'algorithmes parallles fondamentaux : fusion, tri, slection, recherche, calcul matriciel, rsolution d'quations, FFT, algorithmes de graphes.
Equilibrage et Rgulation de Charge :
Structure des architectures et placement des calculs et des donnes.
Conception des algorithmes parallles, problme du ratio calcul/communication.
Placement statique, partitionnement de graphes.
Paralllisation automatique: placement et alignement de donnes pour des problmes rguliers.
Ordonnancement et placement sur architectures htrognes, prise en compte de l'irrgularit des problmes.
Comptences acquises
Conception d'algorithmes performants sur calculateur parallle
Algbre linaire parallle
Ordonnancement statique
Volume des enseignements
Heures en prsentiel
Cours Magistraux 40
Travaux Dirigs 0
Travaux Pratiques 0
Cours intgrs 0
TD sur machine 0
Accompagnement 0
Bibliographie :
1.Introduction to Parallel Computing A. Grama, A. Gupta, G. Karypis et V. Kumar Addison-Wesley, Deuxime dition, 2003, ISBN 0 201 64865 2.
2.Algorithmique parallle A. Legrand et Y. Robert Dunod, 2003, ISBN 2 10 006531 9.
Mode d'valuation :
Epreuves 1re session
Type d'valuation Dtails ventuels Dures Coefficients
Examen crit terminal Partie 1 2h00 0.33
Examen crit terminal Partie 2 2h00 0.33
Contrle Continu (CC) 00h00 0.33
Epreuves 2me session
Type d'valuation Dtails ventuels Dures Coefficients
Examen crit terminal Partie 1 2h00 1/3
Examen crit terminal Partie 2 2h00 1/3
Contrle Continu (CC) report session 1 00h00 1/3
UE Enseirb-Matmeca, CC obligatoireFormation initiale, Formation distance
Forme d'enseignement :
Enseignement prsentiel
Lieu d'enseignement :
IPB
Langue d'enseignement
Franais
Responsable(s)
Jean ROMAN
Page 12 / 43 - 05/02/2014
COMMUNICATION ET INSERTION PROFESSIONNELLE (E1IN8W17)
Semestre de printemps (M1) : 3 ECTS
Objectifs :
optimisation de la mthodologie de recherche de stage et d'emploi
communication d'entreprise
rdaction scientifique et professionnelle
culture gnrale et connaissance de l'actualit
Programme :
1/ Techniques de recherche de stage et d'emploi
utilisation des sources d'information sur les entreprises, les mtiers, les missions
veille informationnelle
ralisation d'un dossier de candidature (planning, objectifs de stage, fiches entreprises, cv et e-cv, lettre de motivation, guide d'appel, prparation entretiens, auto-valuation)
simulation d'entretien en autoscopie
2/ Communication scientifique et professionnelle
utilisation de la documentation, droit d'auteur, citation, bibliographie
argumentation et structuration de l'article, de la synthse et du rapport
le rle de l'illustration
l'annotation et l'criture collaborative
3/ communication d'entreprise
technologies de l'information communication et communication externe
outils du travail collaboratif et communication interne
conduite de runion
4/ culture gnrale
Etude de notions lies au domaine partir d'articles de revue
Approche de l'interculturel
restitution sous forme de synthse crite et d'expos
Comptences acquises
prsenter son projet professionnel l'crit et l'oral
argumenter en tenant compte des attentes de ses destinataires et des diffrents modes de candidature
-prsenter et faire comprendre son travail des publics varis
utiliser bon escient un diaporama
organiser une prsentation synthtique des ides et concepts principaux
dvelopper la comprhension des enjeux en s'appuyant sur une documentation de qualit
rdiger de manire structure, argument
citer les sources et respecter le droit d'auteur
prendre la parole en public et organiser la confrontation
Volume des enseignements
Heures en prsentiel
Cours Magistraux 0
Travaux Dirigs 0
Travaux Pratiques 0
Cours intgrs 18
TD sur machine 0
Accompagnement 0
Mode d'valuation :
Epreuves 1re session
Type d'valuation Dtails ventuels Dures Coefficients
Contrle Continu (CC) Dossier rechreche stage et simulation 00h00 0.4
Devoir Surveill (DS) Synthse crite 1h05 0.4
Autres Expos 00h00 0.2
Pas de session 2 (controle continu)Formation initiale, Formation continue
Forme d'enseignement :
Enseignement prsentiel
Lieu d'enseignement :
Universit Bordeaux 1 (Talence)
Langue d'enseignement
Page 13 / 43 - 05/02/2014
Franais
Responsable(s)
Isabelle ESCOLIN-CONTENSOU
PROJETS DE PROGRAMMATION (J1IN8W12)
Semestre de printemps (M1) : 12 ECTS
Objectifs :
Mise en pratique des principes et des techniques tudis dans toutes les units d'enseignement prcdemment suivis, et ce dans le cadre du dveloppement/extension d'une
application logicielle de taille relativement importante. Acquisition d'une premiere exprience de gnie logiciel. Initiation une pratique scientifique de dveloppement et
d'appropriation d'un sujet, avec rdaction de docume
Prrequis recommands :
Programmation imprative, Programmation fonctionnelle et symbolique, Programmation par objets, UE avec projets informatiques associs
Programme :
* Gnie logiciel de base : lments de spcification, analyse des besoins, laboration d'un cahier des charges, conception d'architecture, tests, travail en equipe, organisation
des tches, utilisation de gestionnaires de versions.
* Elments de dveloppement de programmes et d'applications :
-Qualit du code : standards, lisibilit, abstraction modulaire, rutilisation, rutilisabilit, substitutivit, gestion des erreurs/exceptions, etc.
-Conception, implmentation d'IHM.
-Outils de dveloppement : introduction a l'usage d'IDEs, d'outils de tests, de builders, outils et tactiques de recherche des erreurs, etc.
* Pratique scientifique : recherche et analyse de l'existant, justifications, critiques du travail ralis, assimilation et mise en application rigoureuse de nouveaux concepts,
rdaction de mmoire et d'une documentation associe.
Comptences acquises
Dveloppement d'applications logicielles, et matrise de certains outils de dveloppement.
Travail au sein d'une quipe de dveloppement.
Rdaction, mise en forme, description de rsultats et de connaissances
Volume des enseignements
Heures en prsentiel
Cours Magistraux 24
Travaux Dirigs 9
Travaux Pratiques 0
Cours intgrs 0
TD sur machine 0
Accompagnement 5
Bibliographie :
Software Engineering. Sommerville. Addison-Wesley, 2006.
Clean Code. Martin. Prentice-Hall. 2009.
Agile Software Development. Martin. Prentice-Hall. 2003.
Code Reading. Spinellis. Addison-Wesley. 2003.
Code Quality. Spinellis. Addison-Wesley. 2006.
Practical Development Environments. Doar. O'Reilly. 2005.
Object-Oriented Analysis And Design: Understanding System Development With UML 2.0. O'Docherty. Wiley. 2005.
UML Distilled : A Brief Guide to the Standard Object Modeling Language. Fowler. Addison-Wesley, 2004.
Design Patterns. Gamma, Helm, Johnson, Vlissides. Addison-Wesley. 1995.
AntiPatterns. Brown et al. Wiley. 1998.
Why Programs Fail : A Guide to Systematic Debugging. Zeller. Morgan Kaufmann, 2005.
Mode d'valuation :
Epreuves 1re session
Type d'valuation Dtails ventuels Dures Coefficients
Mmoire 00h00 1
Pas de session 2
Heures d'accompagnement: heures clientFormation initiale, Formation continue
Forme d'enseignement :
Enseignement prsentiel
Lieu d'enseignement :
Universit Bordeaux 1 (Talence)
Page 14 / 43 - 05/02/2014
Langue d'enseignement
Franais
Responsable(s)
Philippe NARBEL
GRAPHES ET RECHERCHE OPRATIONNELLE (J1IN8W15)
Semestre de printemps (M1) : 6 ECTS
Objectifs :
Montrer comment il est possible d'aborder d'un point de vue thorique un problme NP-difficile sur les graphes pour obtenir des rsultats utilisables.
Montrer comment il est possible en pratique d'utiliser des algorithmes probabilistes pour obtenir des solutions, ventuellement non optimales, un problme difficile.
Prrequis recommands :
Bases de thorie de graphes, algbre, complexit
Programme :
Classification des graphes (graphes parfaits, graphes trianguls, graphes de comparabilit, graphes d'intervalle, graphes planaires, ...), intersection de graphes, dcomposition
en sous-graphes : dfinition, caractrisation, et algorithmes de reconnaissance.
Clique de cardinalit maximum, ensemble stable, et nombre chromatique : caractrisation combinatoire et formulation par la programmation mathmatique.
Introduction aux hypergraphes.
Optimisation dans un espace discret : heuristiques constructives (glouton) et heuristiques d'change.
Recherche d'un optimum global : Mta-Heuristiques (recuit simul, recherche tabou, algorithmes gntiques, recherche diversifie, recherche locale guide, algorithmes des
fourmis, mthodes mmoire associative).
Applications : problmes de tournes, problmes de partitionnement de graphes, ...
Comptences acquises
Utiliser le modle de graphes, et ses invariants classiques, en particulier le nombre chromatique, le cardinal maximum d'une clique ou d'un stable.
Rsoudre un problme d'optimisation NP-difficile l'aide d'algorithmes stochastiques.
Volume des enseignements
Heures en prsentiel
Cours Magistraux 24
Travaux Dirigs 0
Travaux Pratiques 0
Cours intgrs 0
TD sur machine 24
Accompagnement 0
Bibliographie :
M.C. Golumbic, Algorithmic Graph Therory and Perfect Graphs, 2nd edition, Anals of Discrete Mathematics 57, Elsevier B.V., 2004
I. Charon, A. Germa, O. Hudry Mthodes d'optimisation combinatoire, Masson, collection pdagogique de tlcommunication, Paris, 1996
J. Dro, A. Ptrowski, P. Siarry, E. Taillard, Mtaheuristiques pour l'optimisation difficile,
Eyrolles, collection algorithmes, Paris, 2003
Mode d'valuation :
Epreuves 1re session
Type d'valuation Dtails ventuels Dures Coefficients
Examen crit terminal 01h30 0.5
Contrle Continu (CC) Projet 00h00 0.25
Contrle Continu (CC) DS 01h30 0.25
Epreuves 2me session
Type d'valuation Dtails ventuels Dures Coefficients
Examen crit ou oral (selon l'effectif) 01h30 0.75
Contrle Continu (CC) report projet 00h00 0.25
Examen crit ou oral (selon l'effectif) 00h00
Formation initiale, Formation continue
Forme d'enseignement :
Enseignement prsentiel
Lieu d'enseignement :
Page 15 / 43 - 05/02/2014
Universit Bordeaux 1 (Talence)
Langue d'enseignement
Franais
Responsable(s)
Olivier BAUDON
PROJET D'ETUDE ET DE DVELOPPEMENT (J1IN0W11)
Semestre de printemps (M2) : 6 ECTS
Objectifs :
Le but de ce projet est l'acquisition d'une exprience de gnie logiciel et de gestion de projet. Il permettra galement la mise en oeuvre de pratiques scientifiques tudies au
semestre 3 en fonction du parcours de l'tudiant.
Programme :
Le but de ce projet est l'acquisition d'une exprience de gnie logiciel et de gestion de projet. Il permettra galement la mise en oeuvre de pratiques scientifiques tudies au
semestre 3 en fonction du parcours de l'tudiant.
Comptences acquises
Le but de ce projet est l'acquisition d'une exprience de gnie logiciel et de gestion de projet. Il permettra galement la mise en oeuvre de pratiques scientifiques tudies au
semestre 3 en fonction du parcours de l'tudiant.
Volume des enseignements
Heures en prsentiel
Cours Magistraux 24
Travaux Dirigs 6
Travaux Pratiques 0
Cours intgrs 0
TD sur machine 0
Accompagnement 0
Mode d'valuation :
Epreuves 1re session
Type d'valuation Dtails ventuels Dures Coefficients
Projet 00h00 0.33
Rapport 00h00 0.33
Soutenance 00h00 0.33
Pas de session 2Formation initiale, Formation continue
Forme d'enseignement :
Enseignement prsentiel
Lieu d'enseignement :
Universit Bordeaux 1 (Talence)
Langue d'enseignement
Franais
Responsable(s)
Pascale DESBARATS
Serge CHAUMETTE
Xavier Blanc
GESTION DES PROJETS INFORMATIQUES (J1IN0W12)
Semestre de printemps (M2) : 3 ECTS
Objectifs :
cette UE est une introduction au mode gestion de projets en entreprise, avec une orientation pratique vers les projets multimdia et les projets informatiques industriels. Une
attention particulire est porte l'analyse et la gestion des risques.
Programme :
Cette UE prsente les pratiques de la gestion des projets en entreprise, multimdia ou informatique en milieu industriel.
Un projet pour fournir un module logiciel, une nouvelle auto, un vol spatial, un jeu vido,...
Un projet pour s'organiser pour fournir le produit, le service, ou la prestation dans le dlai et dans le budget dfinis. Le fonctionnement en mode projet dans une entreprise :
Page 16 / 43 - 05/02/2014
une affaire de culture : engagement sur rsultats et non engagement de moyens..
Gestion de projet : objectifs, dlais, budgets, ressources matrielles, dcomposition en taches, affectation de ressources, planning ...
diffrentes phases d'un projet
WBS, Gantt, Pert, ...
laboration d'un budget
Tests, processus de mise en production
Normes qualit : ISO 9001, CMMI
Gestion des risques dans les projets informatiques
Comptences acquises
les tudiants doivent avoir acquis les lments de base pour pouvoir intgrer une quipe projet et comprendre la terminologie de base et l'organisation en mode projet. ils
sauront utiliser les techniques de base leur permettant d'organiser un projet (PERT, GANTT, WBS, contrle budgtaire, suivi des risques)
Volume des enseignements
Heures en prsentiel
Cours Magistraux 24
Travaux Dirigs 24
Travaux Pratiques 0
Cours intgrs 0
TD sur machine 0
Accompagnement 0
Bibliographie :
Guide du corpus des connaissances en management de projet, (guide PMBOK) PMI 4me dition.
Human Factors in Flight, de Frank H Hawkins chez Ashgate
Pratiques de la conduite du changement de David Autissier chez Dunod
De la Performance l'Excellence, de Jim Collins. Publi le 19/06/2009 aux ditions Pearson Village Mondial.
CMMI: Guidelines for Process Integration and Product Improvement, 2nd edition
(November 2006) CMMI for Development (CMMI-DEV), Version 1.2. Software Engeneering Institute
Mode d'valuation :
Epreuves 1re session
Type d'valuation Dtails ventuels Dures Coefficients
Rapport 00h00 1
PAS DE SESSION 2Formation initiale, Formation continue
Forme d'enseignement :
Enseignement prsentiel
Lieu d'enseignement :
Universit Bordeaux 1 (Talence)
Langue d'enseignement
Franais
Responsable(s)
Philippe Duchon
STAGE INDUSTRIEL (J1IN0W14)
Semestre de printemps (M2) : 18 ECTS
Objectifs :
Acqurir une exprience professionnelle de 4 mois minimum dans une entreprise industrielle.
Raliser un rapport d'activit et une communication scientifique.
Programme :
Pendant au moins 4 mois, l'tudiant ralise une activit professionnelle en lien avec sa spcialit dans une entreprise qui l'accueille et l'encadre.
L'tudiant devra rendre compte un enseignant rfrant de l'avancement de son stage. Une visite sur le lieu du stage de cet enseignant permettra d'apprcier l'intgration de
l'tudiant et son adquation avec le milieu professionnel choisi.
Avant la fin du stage, l'tudiant doit produire un rapport de stage et une soutenance.
Le stage doit tre en rapport avec la spcialit prpare et le sujet est valid par l'quipe pdagogique. Le stage est effectu en priorit en entreprise et doit, dans tous les cas,
concerner une activit de type ingnieur.
Page 17 / 43 - 05/02/2014
Comptences acquises
Le stagiaire confronte ses comptences acadmiques au monde de la production industrielle.
Il ralise un rapport de stage et une soutenance.
Volume des enseignements
Heures en prsentiel
Cours Magistraux 0
Travaux Dirigs 0
Travaux Pratiques 0
Cours intgrs 0
TD sur machine 0
Accompagnement 8
Mode d'valuation :
Epreuves 1re session
Type d'valuation Dtails ventuels Dures Coefficients
Rapport 00h00 0.33
Soutenance 00h00 0.33
Encadrement et valuation par le matre de stage 00h00 0.33
Pas de session 2Formation initiale, Formation continue
Forme d'enseignement :
Enseignement distance
Lieu d'enseignement :
Autres
Langue d'enseignement
Franais
Responsable(s)
Lionel CLEMENT
ECONOMIE DES ENTREPRISES (J1IN0W15)
Semestre de printemps (M2) : 3 ECTS
Objectifs :
Sensibiliser les tudiants aux problmes de gestion et au langage comptable et financier. Ils sont confronts des tats financiers (bilan, compte de rsultat, tableaux de
trsorerie) et doivent en tirer des prvisions budgtaires. Le jeu les sensibilise aussi la ncessit d'apprhender un environnement concurrentiel
Programme :
session de jeu en quipe avec rendu de prvisions financires par demi journe. Les rsultats sont sous forme de documents comptables exploiter.
Le jeu simule avec ralisme les aspects comptables, fiscaux et financiers d'une entreprise virtuelle.
Il simule de manire simplifie mais suffisante les principes de gestion stratgique et commerciale.
Le jeu est accompagn de sances de TD approfondissant certains thmes financiers
Comptences acquises
Lecture des bilans et comptes de rsultat.
Dmarche budgtaire de base
Seuil de rentabilit.
Volume des enseignements
Heures en prsentiel
Cours Magistraux 12
Travaux Dirigs 8
Travaux Pratiques 0
Cours intgrs 0
TD sur machine 0
Accompagnement 0
Page 18 / 43 - 05/02/2014
Mode d'valuation :
Epreuves 1re session
Type d'valuation Dtails ventuels Dures Coefficients
Contrle Continu (CC) 01h00 1
Pas de session 2Formation initiale, Formation continue
Forme d'enseignement :
Enseignement prsentiel
Lieu d'enseignement :
Universit Bordeaux 1 (Talence)
Langue d'enseignement
Franais
Responsable(s)
Frdric POURTIER
SCURIT RSEAU (J1MA9W03)
Semestre d'automne (M2) : 6 ECTS
Objectifs :
Introduire les principales fonctions de scurit dans les rseaux de tlcommunications.
Prrequis recommands :
avoir suivi l'UE Administration Rseaux
Programme :
Protocoles d'authentification : principes et vulnrabilits (attaque de l'homme du
milieu, etc)
IP scuris, rseaux virtuels : protocoles IPSec, IKE Internet Key Exchange) et
TLS/SSL
Infrastructure de gestion de clefs (PKI), certificats
Contrle d'accs aux rseaux locaux IEE 802, avec ou sans fil (standard 802.1x)
Identification et chiffrement sur les rseaux de tlphonie sans fil
KDC (Key Distribution Center) : protocole Kerberos
AAA (authentication, authorization and accounting), serveurs RADIUS
Comptences acquises
la connaissance des problmatiques de scurit dans le contexte des rseaux
Volume des enseignements
Heures en prsentiel
Cours Magistraux 20
Travaux Dirigs 30
Travaux Pratiques 0
Cours intgrs 0
TD sur machine 0
Accompagnement 0
Mode d'valuation :
Epreuves 1re session
Type d'valuation Dtails ventuels Dures Coefficients
Contrle Continu (CC) 0.5
Examen crit terminal 1h30 0.5
PAS DE SESSION 2Formation initiale
Forme d'enseignement :
Enseignement prsentiel
Page 19 / 43 - 05/02/2014
Lieu d'enseignement :
Universit Bordeaux 1 (Talence)
Langue d'enseignement
Franais
Responsable(s)
Abdou GUEMOUCHE
INFRASTRUCTURES POUR LES RSEAUX ET LA MOBILIT (J1IN9M21)
Semestre d'automne (M2) : 6 ECTS
Programme :
Volume des enseignements
Heures en prsentiel
Cours Magistraux 24
Travaux Dirigs 0
Travaux Pratiques 0
Cours intgrs 0
TD sur machine 24
Accompagnement 0
Formation initiale, Formation continue
Forme d'enseignement :
Enseignement prsentiel
Lieu d'enseignement :
Universit Bordeaux 1 (Talence)
Langue d'enseignement
Franais
Responsable(s)
Serge CHAUMETTE
MATRIELS MOBILES ET SYSTMES ASSOCIS (J1IN9521)
Semestre d'automne (M2) : 6 ECTS
Objectifs :
cette UE permet de familiariser les tudiants avec :
(1) les objets communicants du quotidien (grande varit d'quipements connects, stations aux cartes puce en passant par les PDAs)
(2) les technologies de communication sans fil associes
(3) les capteurs d'interaction avec l'environnement dont sont quips ces quipements
(4) les systmes et langages de dveloppement permettant de les
Prrequis recommands :
UEs Rseaux, Administration Rseaux et Systmes d'exploitation de M1
Programme :
Le programme comprend en particulier les points suivants:
Terminaux et objets mobiles communicants
Technologies de communication
Informatique diffuse
Intergiciels, systmes et langages de dveloppement
Comptences acquises
Les comptences acquises sont les suivantes :
connaissance du domaine en perptuelle volution des systmes mobiles communicants
capacit comprendre, choisir et utiliser les technologies de communication associes
maitrise des technologies embarques (capteurs divers, etc.)
capacit dvelopper des applications pour ces matriels
Page 20 / 43 - 05/02/2014
Volume des enseignements
Heures en prsentiel
Cours Magistraux 24
Travaux Dirigs 0
Travaux Pratiques 0
Cours intgrs 0
TD sur machine 24
Accompagnement 0
Mode d'valuation :
Epreuves 1re session
Type d'valuation Dtails ventuels Dures Coefficients
Examen crit terminal 01h30 0.67
Contrle Continu (CC) 00h00 0.33
Epreuves 2me session
Type d'valuation Dtails ventuels Dures Coefficients
Examen crit ou oral (selon l'effectif) 01h30 0.67
Contrle Continu (CC) report session 1 00h00 0.33
Formation initiale, Formation continue
Forme d'enseignement :
Enseignement prsentiel
Lieu d'enseignement :
Universit Bordeaux 1 (Talence)
Langue d'enseignement
Franais
Responsable(s)
David BROMBERG
SYSTEMES AUTONOMES (J1IN9523)
Semestre d'automne (M2) : 6 ECTS
Objectifs :
L'objectif de cette UE qui se positionne au sein de la spcialit Rseaux et Systme Mobiles du Master Informatique est d'aborder les problmatiques spcifiques de ces
systmes autonomes. Cet enseignement, vou voluer en permanence, permettra aux tudiants d'tre oprationnels sur les technologies les plus en pointe de ce domaine et
d'tre capables de rpondre aux demandes d'innovations associes.
Prrequis recommands :
UEs Rseaux, Administration Rseaux et Systmes d'exploitation de M1
Programme :
Le programme comprend en particulier les points suivants:
Configurations et plates-formes :
Les systmes actuels les plus pertinents seront tudis:
1. drones ariens
2. robots terrestres
3. capteurs
4. drones sous-marins
L'accent sera mis en particulier sur l'autonomie et les environnements systmes et logiciels associs, indispensables la ralisation d'une mission l'envergure. En effet, le
contrle temps rel par un oprateur extrieur n'tant pas toujours possible, un certain nombre de dcisions doivent donc tre prises de manire autonome par le systme
embarqu. Nanmoins, de par la rglementation et pour des raisons oprationnelles, des informations doivent tre ramenes vers un environnement logiciel de contrle, qui
lui, est la disposition d'un oprateur, auquel il prsente un certain nombre d'informations (signes vitaux - position, altitude, etc. - par exemple -). Cette chaine logicielle est
une clef de voute de ces systmes complexes qu'il est important de matriser.
Ecosystme :
Les domaines d'application sont nombreux et cette filire s'est structure localement et nationalement, avec des interactions internationales fortes. Mais ce potentiel fort ne
doit pas laisser croire que 'tout est permis', et il est donc crucial d'avoir une bonne connaissance des rglementations en cours.
5. domaines d'applications et cas concrets
6. structuration du domaine, rgionale/nationale/internationale
7. rglementation
Problmatiques de recherche :
Ces systmes offrent de nouvelles voies de dveloppement mais soulvent un certain nombre de problmes thorique ou plus applicatifs qui relvent d'activits de recherche.
Par exemple :
8. la structuration en essaims (swarming) ou flotte d'appareils
9. la mobilit, les graphes de communication sous-jacents, la dynamique du systme, les modles associs
Page 21 / 43 - 05/02/2014
10. les techniques de type sense and avoid, la localisation en in-door et out-door
11. les technologies associes, les problmatiques applicatives tracking video, traitement d'images, radio, etc.
Mise en oeuvre
Enfin, il est important que les tudiants qui choisissent cette UE puissent tre oprationnels immdiatement. C'est pourquoi, ils seront forms aux bases de l'aronautique et
suivront une formation d'oprateur drone, indispensable aujourd'hui pour pouvoir faire voler un tel appareil.
12. Bases d'aronautique
13. Formation oprateur (pour l'essentiel an auto-apprentissage) + examen final
Comptences acquises
La comptence essentielle acquise au travers de cette UE est une forte capacit s'adapter
un domaine en constante volution:
capacit apprhender les nouvelles technologies
comprhension des problmatiques mergentes
rflexion et recul sur l'volution du domaine
obtention d'un diplme d'oprateur assurant une oprationnalit immdiate
Volume des enseignements
Heures en prsentiel
Cours Magistraux 24
Travaux Dirigs 24
Travaux Pratiques 0
Cours intgrs 0
TD sur machine 0
Accompagnement 0
Mode d'valuation :
Epreuves 1re session
Type d'valuation Dtails ventuels Dures Coefficients
Examen crit terminal 1h30 0.67
Contrle Continu (CC) (+ part du diplme d'oprateur) 00h00 0.33
Epreuves 2me session
Type d'valuation Dtails ventuels Dures Coefficients
Examen crit ou oral (selon l'effectif) 1h30 0.67
Contrle Continu (CC) report session 1 00h00 0.33
Formation initiale, Formation continue
Forme d'enseignement :
Enseignement prsentiel
Lieu d'enseignement :
Universit Bordeaux 1 (Talence)
Langue d'enseignement
Franais
Responsable(s)
Serge CHAUMETTE
ANGLAIS (B1IN8W11)
Semestre de printemps (M1) : 3 ECTS
Objectifs :
La formation s'articule autour d'enseignements en prsentiel (comprhension, mises en situation de prise de parole varies (prsentations, analyses/commentaires, dbats,
simulations)
Prrequis recommands :
niveau B2 selon le Cadre Europen des Langues (utilisateur indpendant).
Programme :
La formation s'articule autour d'enseignements en prsentiel (comprhension, mises en situation de prise de parole varies (prsentations, analyses/commentaires, dbats,
simulations)
Comptences acquises
aisance accrue dans la prise de parole et l'interaction orale dans une perspective professionnelle. Meilleure capacit de rflexion et d'autonomie cognitive. Meilleure capacit
comprendre un document oral.
Page 22 / 43 - 05/02/2014
Volume des enseignements
Heures en prsentiel
Cours Magistraux 0
Travaux Dirigs 24
Travaux Pratiques 0
Cours intgrs 0
TD sur machine 0
Accompagnement 0
Bibliographie :
L'Anglais de A Z, Hatier
Minimum Competence in Scientific English, PUG
Mode d'valuation :
Epreuves 1re session
Type d'valuation Dtails ventuels Dures Coefficients
Contrle Continu (CC) 00h00 0.5
Examen crit terminal 01h20 0.5
Epreuves 2me session
Type d'valuation Dtails ventuels Dures Coefficients
Oral 0.5
Contrle Continu (CC) report session 1 0.5
Formation initiale, Formation continue
Forme d'enseignement :
Enseignement prsentiel
Lieu d'enseignement :
Universit Bordeaux 1 (Talence)
Langue d'enseignement
Anglais
Responsable(s)
Jean-Jacques BERNAULTE
CRYPTOLOGIE (M1MA8W01)
Semestre de printemps (M1) : 6 ECTS
Objectifs :
Prsenter les principales Prsenter les principales composantes de la cryptologie moderne.
Prrequis recommands :
L3 math ou info
Programme :
* La contribution de Shannon en cryptographie, chiffrement parfait , le one-time pad , distance d'unicit, thorie de l'authenticit inconditionnelle.
* Chiffrement par flot, gnrateurs pseudo-alatoires et LFSR, notion de complexit linaire.
* Systmes de chiffrement par blocs, DES, AES.
* Fonctions sens unique, algorithmes et protocoles fonds sur l'exponentiation. Diffie-Hellman, systmes d'El Gamal, chiffrement et signature, DSA.
* La fonction carr modulaire: chiffrement et signature de Rabin.
* Fonctions de hachage, thorie et pratique.
* Chiffrement et signature RSA, problmes de primalit et de factorisation: les failles classiques de protocoles fonds sur RSA.
* Signatures aveugles, applications la monnaie lectronique.
* Cryptologie combinatoire, partage de secret, schmas de rvocation.
Comptences acquises
Les principales Prsenter les principales composantes de la cryptologie moderne.
Volume des enseignements
Heures en prsentiel
Cours Magistraux 24
Travaux Dirigs 24
Page 23 / 43 - 05/02/2014
Travaux Pratiques 0
Cours intgrs 0
TD sur machine 0
Accompagnement 0
Bibliographie :
Cours de cryptographie, G. Zmor, Cassini, 2000.
http://www.math.u-bordeaux.fr/CSI/index.php?page=bibliographie
Mode d'valuation :
Epreuves 1re session
Type d'valuation Dtails ventuels Dures Coefficients
Devoir Surveill (DS) 1h30 1/3
Examen crit terminal 3h00 2/3
Epreuves 2me session
Type d'valuation Dtails ventuels Dures Coefficients
Examen crit ou oral (selon l'effectif) 00h00 1
Formation initiale
Forme d'enseignement :
Enseignement prsentiel
Lieu d'enseignement :
Universit Bordeaux 1 (Talence)
Langue d'enseignement
Franais
Responsable(s)
Gilles ZEMOR
ADMINISTRATION RSEAUX (J1IN8W13)
Semestre de printemps (M1) : 6 ECTS
Objectifs :
Approfondir les notions suivantes : protocoles, rseaux multi-plateforme, administration de passerelles et routeurs, stratgie rseau, gestion des utilisateurs et configuration de
services ainsi que quelques notions de scurit des rseaux.
Prrequis recommands :
Rseau (SI)
Programme :
Rappel TCP/IP.
Approfondissement routage.
NAT & Firewall.
Gestion des utilisateurs: LDAP & NIS.
Partage de donnes dans un rseau: NFS & CIFS.
Rsolution de noms: DNS (principes et configuration).
Configuration automatique(DHCP).
Configuration de serveurs/clients SMTP.
Vu que les cours et TD sont principalement centrs sur Linux, des TD sont prvus pour montrer l'quivalent pour windows.
Comptences acquises
tre capable de mettre en place un rseau et de le rendre parfaitement utilisable par des novices. Les comptences acquises dans cette UE sont principalement lies soit des
aspects techniques (pour la configuration d'un rseau) ou des aspects mthodologiques (lorsqu'un diagnostic est ncessaire).
Volume des enseignements
Heures en prsentiel
Cours Magistraux 24
Travaux Dirigs 0
Travaux Pratiques 0
Cours intgrs 0
TD sur machine 24
Page 24 / 43 - 05/02/2014
Accompagnement 0
Mode d'valuation :
Epreuves 1re session
Type d'valuation Dtails ventuels Dures Coefficients
Devoir Surveill (DS) 02h00 0.5
Examen crit terminal 01h30 0.5
Epreuves 2me session
Type d'valuation Dtails ventuels Dures Coefficients
Examen crit ou oral (selon l'effectif) selon le nbre d'inscrits 01h30 0.5
Contrle Continu (CC) report session 1 00h00 0.5
en session 2 la note finale est : coeffEx2*noteEx2 + coeffCC*max(noteCC,noteEx2)Formation initiale, Formation continue
Forme d'enseignement :
Enseignement prsentiel
Lieu d'enseignement :
Universit Bordeaux 1 (Talence)
Langue d'enseignement
Franais
Responsable(s)
Abdou GUERMOUCHE
CONCEPTIONS FORMELLES (J1IN8W14)
Semestre de printemps (M1) : 6 ECTS
Objectifs :
La conception de systmes et de logiciels peut etre rendue beaucoup plus fiable par l'utilisation de mthodes formelles. Le cours est une approche pragmatique de la
conception formelle partir d'tudes de cas, et de deux techniques prouves: le raffinement et la vrification de modles.
Programme :
Du cahier des charges l'architecture du systme :
AltaRica : un langage formel de description de systmes.
La vrification de proprits fonctionnelles par "model checking".
Des tudes de cas.
D'un modle abstrait vers l'implmentation :
Le raffinement de modles.
L'utilisation d'un prouveur de thorme (B, PVS, Coq . . .).
Des tudes de cas.
Comptences acquises
Capacit d'abstractions comportementales de systmes (matriels et logiciel) des fins de vrification de proprits fonctionnelles et/ou dysfonctionnelles.
Capacit d'abstraction et de raisonnement logiques sur des donnes, sur des instructions et des suite d'instructions des fins de preuves de programmes.
Volume des enseignements
Heures en prsentiel
Cours Magistraux 24
Travaux Dirigs 0
Travaux Pratiques 0
Cours intgrs 0
TD sur machine 24
Accompagnement 0
Bibliographie :
http ://altarica.labri.fr/
http://www.event-b.org/
Modeling in Event-B: System and Software Engineering, Jean-Raymonf Abrial, Cambridge University Press, 2010.
E.M. Clarke, O. Grumberg, and D. Peled. Model Checking.MIT Press, 2000.
Ph. Schnoebelen (coord.) Verification de logiciels. Vuibert, 1999.
Mode d'valuation :
Page 25 / 43 - 05/02/2014
Epreuves 1re session
Type d'valuation Dtails ventuels Dures Coefficients
Examen crit terminal 03h00 2/3
Contrle Continu (CC) 00h00 1/3
Epreuves 2me session
Type d'valuation Dtails ventuels Dures Coefficients
Examen crit ou oral (selon l'effectif) 03h00 2/3
Contrle Continu (CC) report session 1 00h00 1/3
Formation initiale, Formation continue
Forme d'enseignement :
Enseignement prsentiel
Lieu d'enseignement :
Universit Bordeaux 1 (Talence)
Langue d'enseignement
Franais
Responsable(s)
Alain GRIFFAULT
Pierre CASTERAN
PROGRAMMATION MULTI-COEUR ET GPU (J1IN8W16)
Semestre de printemps (M1) : 6 ECTS
Objectifs :
Comment tirer partie de la puissance de calcul des PC et des serveurs contemporains?L'objectif de ce cours est de faire un tour d'ensemble des techniques
algorithmiques,logicielles et matrielles du paralllisme. On travaillera sous l'angle de l'analyse des performances:il s'agit de concevoir des algorithmes parallles,de les mettre
en oeuvre sur des calculateurs et d'en comprendre finement les performan
Prrequis recommands :
Programmation C, notions de base en Architecture des Ordinateurs
Programme :
Les points abords dans ce cours sont :
intrts et limites intrinsques du paralllisme, notion de granularit et d'quilibrage de charge ;
techniques algorithmiques gnrales de paralllisation ;
langages et bibliothques incontournables de la programmation des architectures multicoeur;
impacts de l'architecture et de la compilation sur la programmation : vers la portabilit des performances ;
programmation des machines htrognes quipes de processeurs specialiss (e.g. GPU).
Comptences acquises
Savoir faire en matire de programmation parallle et d'analyse des performances.
Volume des enseignements
Heures en prsentiel
Cours Magistraux 24
Travaux Dirigs 0
Travaux Pratiques 0
Cours intgrs 0
TD sur machine 24
Accompagnement 4
Bibliographie :
The Art of Multiprocessor Programming - Maurice Herlihy et Nir Shavit - Editons Morgan Kaufmann - ISBN-13: 978-0123705914
Computer Architecture: A Quantitative Approach, Editions Morgan Kaufmann - ISBN-13: 978-1558605961
OpenMP Application Program Interface, http://www.openmp.org/mp-documents/spec30.pdf
Mode d'valuation :
Epreuves 1re session
Type d'valuation Dtails ventuels Dures Coefficients
Examen crit terminal 01h30 0.75
Contrle Continu (CC) 00h00 0.25
Page 26 / 43 - 05/02/2014
Epreuves 2me session
Type d'valuation Dtails ventuels Dures Coefficients
Examen crit ou oral (selon l'effectif) 01h30 0.75
Contrle Continu (CC) report session 1 00h00 0.25
Formation initiale, Formation continue
Forme d'enseignement :
Enseignement prsentiel
Lieu d'enseignement :
Universit Bordeaux 1 (Talence)
Langue d'enseignement
Franais
Responsable(s)
Pierre-Andr WACRENIER
MODLES DE CALCUL (J1IN7M14)
Semestre d'automne (M1) : 6 ECTS
Objectifs :
Dfinir, indpendamment de la technologie, ce qui est calculable et ce qui ne l'est pas (thorie de la calculabilit) ; ce qui est calculable efficacement et ce qui ne l'est pas
(thorie de la complexit).
Prrequis recommands :
Langage et automates, algorithmique des graphes, logique propositionnelle
Programme :
Modles universels de calcul : machines de Turing, systmes de Thue, fonctions rcursives, lambda calcul. Thse de Church.
Thorie de la calculabilit : dcidabilit et semi-dcidabilit, machine universelle et diagonalisation, rductions, problme de l'arrt, thorme de Rice, thorme de
Gdel, complexit de Kolmogorov.
Thorie de la complexit : temps/espace de calcul, classes P et NP, rductions polynomiales, exemples de problmes NP-complets, thorme de Cook, classe
PSPACE
Comptences acquises
Capacit de raisonnement abstrait, en particulier autour des notions "problme", "solution algorithmique(calcul)", "rduction algorithmique", etc.
Capacit de discernement concernant la puissance de calcul de modles varis.
Connaissance de problmes "classiques" de degr de complexit vari.
Volume des enseignements
Heures en prsentiel
Cours Magistraux 24
Travaux Dirigs 24
Travaux Pratiques 0
Cours intgrs 0
TD sur machine 0
Accompagnement 0
Bibliographie :
J.E. Hopcroft, R. Motwani, J. D. Ullman.
Introduction to Automata Theory, Languages & Computation.
Addison-Wesley, 2005.
M. Sipser.
Introduction to the Theory of Computation.
PWS publishing Company, 1997.
O. Carton.
Langages formels, Calculabilit et Complexit.
Vuibert, 2008.
J.M. Autebert.
Calculabilit et Dcidabilit.
Masson, 1992.
Page 27 / 43 - 05/02/2014
Mode d'valuation :
Epreuves 1re session
Type d'valuation Dtails ventuels Dures Coefficients
Examen crit terminal 03h00 2/3
Contrle Continu (CC) 00h00 1/3
Epreuves 2me session
Type d'valuation Dtails ventuels Dures Coefficients
Examen crit ou oral (selon l'effectif) selon le nbre d'inscrits 03h00 2/3
Contrle Continu (CC) report session 1 00h00 1/3
en session 2 la note finale est : coeffEx2*noteEx2+coeffCC*max(noteCC,noteEx2)Formation initiale, Formation continue
Forme d'enseignement :
Enseignement prsentiel
Lieu d'enseignement :
Universit Bordeaux 1 (Talence)
Langue d'enseignement
Franais
Responsable(s)
Anca MUSCHOLL
APPROCHE OBJET (J1INAW12)
Semestre d'automne (M1) : 6 ECTS
Objectifs :
Apporter un complment aux paradigmes objets dj enseigns en Licence, et montrer comment ces concepts participent la rutilisabilit et la maintenabilit des
applications, en particulier lors de la mise en oeuvre d'environnements d'excution modernes et complexes.
Prrequis recommands :
Connaissances de la programmation imprative (langage C). Connaissance et premire utilisation d'un langage de programmation objet (Java, C++, ...).
Programme :
Rappels de programmation objet
Concepts avancs : exceptions, clonage, classes gnriques, collections, itrations, classes internes ...
Utilisation de quelques modles de conception objets : Adaptateur, Dcorateur, Observable ...
Utilisation de la programmation objet dans certains types de dveloppements : IHM, Systme ...
Comptences acquises
Ralisation d'applications utilisant le paradigme objet, de taille moyenne (quelques milliers de lignes). Capacit valuer la qualit d'un logiciel existant et la possibilit de
l'adapter ses besoins. Utilisation de bibliothques objet pour manipuler des structures de donnes complexes, raliser des interfaces homme-machine, ou encore manipuler
des processus lgers.
Volume des enseignements
Heures en prsentiel
Cours Magistraux 24
Travaux Dirigs 0
Travaux Pratiques 0
Cours intgrs 0
TD sur machine 24
Accompagnement 0
Bibliographie :
Joshua Bloch, "Effective Java, Programming Language Guide", Addison-Wesely 2001
Maurice Naftalin et Philip Wadler, "Java Generics and Collections", O'Reilly 2006
E. Gamma, R. Helm, R. Johnson et J. Vlissides, "Design Patterns. Catalogue de modles de conception rutilisables", Vuibert, 1999
Mode d'valuation :
Epreuves 1re session
Type d'valuation Dtails ventuels Dures Coefficients
Contrle Continu (CC) OBLIGATOIRE 00h00 0.33
Page 28 / 43 - 05/02/2014
Examen crit terminal 03h00 0.66
Epreuves 2me session
Type d'valuation Dtails ventuels Dures Coefficients
Examen crit ou oral (selon l'effectif) 03h00 0.66
Contrle Continu (CC) report session 1 00h00 0.33
Projet donnant lieu un rapport (3-4 pages) et une prsentation du logiciel ralis.
Note session 2 = CoeffEx2 * Ex2 + coeffCC * max(Ex2,CC)Formation initiale, Formation continue
Forme d'enseignement :
Enseignement prsentiel
Lieu d'enseignement :
Universit Bordeaux 1 (Talence)
Autres
Langue d'enseignement
Franais
Responsable(s)
Xavier BLANC
IMAGE ET SON - FONDEMENTS (J1IN7M11)
Semestre d'automne (M1) : 6 ECTS
Objectifs :
Comprendre et mettre en oeuvre les outils thoriques pour l'image et le son numriques, en appliquant concrtement les concepts du cours lors de TD orients analyse /
traitement / synthse d'images, de sons et de vido.
Prrequis recommands :
Informatique: Algorithmique, Structures de Donnes et Programmation (niveau L3)
Programme :
Algbre linaire et applications : rotation dans le plan (complexes) et dans l'espace (matrice de rotation/quaternions) (image) ; rsonateur numrique (son).
Probabilits,statistiques et application : dtermination des composantes principales d'une image ; localisation des objets en mouvement sur une vido ; caractrisation /
synthse de sons bruits.
Calcul intgral / diffrentiel, analyse, et applications : rhaussement des contours d'une image (image), introduction l'estimation de la frquence (son).
Convolution et applications : introduction au filtrage (image et son), r
Comptences acquises
Notions d'algbre linaire pour la 3D : transformations, coordonnes homognes, quaternions
Notions d'Analyse Numrique : Complexit de calcul, instabilit numrique, descente de gradient
Utilisation de statistiques pour le traitement et l'analyse d'images : composantes principales, histogrammes, moments
Notions de convolution
Transformes (FT, DFT, FFT, DCT)
Volume des enseignements
Heures en prsentiel
Cours Magistraux 24
Travaux Dirigs 24
Travaux Pratiques 0
Cours intgrs 0
TD sur machine 0
Accompagnement 0
Mode d'valuation :
Epreuves 1re session
Type d'valuation Dtails ventuels Dures Coefficients
Examen crit terminal 03h00 2/3
Contrle Continu (CC) 00h00 1/3
Epreuves 2me session
Type d'valuation Dtails ventuels Dures Coefficients
Page 29 / 43 - 05/02/2014
Examen crit ou oral (selon l'effectif) selon le nbre d'inscrits 03h00 2/3
Contrle Continu (CC) report session 1 00h00 1/3
en session 2 la note finale est : coeffEx2*noteEx2+coeffCC*max(noteCC,noteEx2)Formation initiale, Formation distance
Forme d'enseignement :
Enseignement prsentiel
Lieu d'enseignement :
Universit Bordeaux 1 (Talence)
Langue d'enseignement
Franais
Responsable(s)
Pascal DESBARATS
COMPILATION (J1IN7M13)
Semestre d'automne (M1) : 6 ECTS
Objectifs :
Cette formation applique les connaissances thoriques acquises en licence un thme classique de l'informatique. Les applications s'tendent toutes les questions de
traduction d'un langage vers un autre et fournissent l'occasion d'approfondir la connaissance des concepts sur les langages de programmation.
Prrequis recommands :
Thorie des langages, Programmation
Programme :
Analyse lexicale et syntaxique : logiciel de la famille Lex/Yacc.
Production de code : systmes dirigs par la syntaxe, allocation de registres, invariants de boucles et optimisation du code, analyse statique, flots de donnes
Comptences acquises
Matrise d'un compilateur de compilateur.
Mise en oeuvre logicielle des diffrents aspects de la compilation.
Application des algorithmes classiques l'optimisation de code.
Volume des enseignements
Heures en prsentiel
Cours Magistraux 24
Travaux Dirigs 0
Travaux Pratiques 0
Cours intgrs 0
TD sur machine 24
Accompagnement 0
Mode d'valuation :
Epreuves 1re session
Type d'valuation Dtails ventuels Dures Coefficients
Examen crit terminal 01h30 2/3
Contrle Continu (CC) 00h00 1/3
Epreuves 2me session
Type d'valuation Dtails ventuels Dures Coefficients
Examen crit ou oral (selon l'effectif) 01h30 2/3
Contrle Continu (CC) report session 1 00h00 1/3
Formation initiale, Formation continue
Forme d'enseignement :
Enseignement prsentiel
Lieu d'enseignement :
Universit Bordeaux 1 (Talence)
Langue d'enseignement
Page 30 / 43 - 05/02/2014
Franais
Responsable(s)
Frdrique CARRERE
RSEAUX (J1IN7W13)
Semestre d'automne (M1) : 6 ECTS
Objectifs :
Prsenter les principaux concepts et protocoles des rseaux informatiques. Cette UE n'est pas oriente vers la mise en pratique de ces concepts, objet de l'UE Administration
des Rseaux.
Programme :
Couche physique : gammes d'ondes utilises pour le transfert d'informations, cbles (coaxiaux, paires torsades, fibres optiques), multiplexages frquentiel et temporel,
lments de thorie du signal (dcomposition de Fourier, formules de Nyquist et de Shannon pour la relation entre bande passante et dbit d'information), modems.
Application aux rseaux de tlphonie mobile.
Couche liaison : trames, protocole HDLC (exemple de protocole fentre coulissante), Ethernet (norme 802.3) et son protocole CSMA/CD, introduction aux codes dtecteurs
et correcteurs d'erreurs, spanning tree, VLANs, trunking.
Couche rseau : algorithmes de routage, structure d'un paquet IP et adressage IP, comparaison entre IPv4 et IPv6. Introduction aux rseaux MPLS (circuits virtuels) et au
routage ATM.
Couche transport : structure d'une TPDU (unit de transport) TCP, ports et sockets, algorithmes de retransmission des paquets perdus, de rgulation de flux et de prvention de
congestion.
DNS (RFC 1034 et 1035) : dfinition du service de noms de domaines, types d'enregistrements dans une base de donnes DNS, gestion dcentralise de l'annuaire via les
serveurs dlgues, requtes et rponses, dure de vie d'un enregistrement et mmoire cache.
Courrier lectronique : protocole SMTP (RFC 821 et 822), format MIME (RFC 2045 2049) pour les documents multimedia, codage en base 64.
Web : protocole HTTP, URL, types de requtes (mthodes), serveurs proxy et gestion de la mmoire cache.
Comptences acquises
Cette UE constitue un apprentissage des bases fondamentales des rseaux informatiques. Avec un clairage scientifique et technique, les tudiants sont amens comprendre
comment fonctionne un rseau aussi bien d'un point de vue structurel (adressage, commutation, routage, ...) que fonctionnel (services et gestion des utilisateurs). Ainsi, la fin
de l'UE, les tudiants devraient tre capables de maitriser l'architecture d'un rseau LAN ou WAN utilisant TCP/IP et de comprendre son fonctionnement.
Volume des enseignements
Heures en prsentiel
Cours Magistraux 24
Travaux Dirigs 0
Travaux Pratiques 0
Cours intgrs 0
TD sur machine 24
Accompagnement 0
Bibliographie :
LES RESEAUX (Edition 2003-2004)
Auteur : GUY PUJOLLE
Editeur : Eyrolles
ISBN : 2212110863
RESEAUX - ARCHITECTURES, PROTOCOLES, APPLICATIONS
Auteur : ANDREW TANENBAUM
Editeur : Interditions
ISBN : 2729603018
Mode d'valuation :
Epreuves 1re session
Type d'valuation Dtails ventuels Dures Coefficients
Examen crit terminal 01h30 0.75
Contrle Continu (CC) 00h00 0.25
Epreuves 2me session
Type d'valuation Dtails ventuels Dures Coefficients
Examen crit ou oral (selon l'effectif) 01h30 0.75
Contrle Continu (CC) report session 1 00h00 0.25
Formation initiale, Formation continue
Forme d'enseignement :
Enseignement prsentiel
Lieu d'enseignement :
Page 31 / 43 - 05/02/2014
Universit Bordeaux 1 (Talence)
Langue d'enseignement
Franais
Responsable(s)
David Bromberg
SYSTMES D'EXPLOITATION (J1INAW11)
Semestre d'automne (M1) : 6 ECTS
Objectifs :
Comprendre le fonctionnement des systmes d'exploitation
contemporains, en liaison avec l'volution des architectures des
ordinateurs d'une part et les contraintes des applications d'autre
part.
Prrequis recommands :
architecture de l'ordinateur, programmation
imprative, programmation systme, utilisation d'Unix,
environnements de dveloppement, algorithmique et structures de
donnes.
Programme :
interfaces, processus, ordonnancement, gestion de
la mmoire, entre/sortie, synchronisation, systmes de fichier,
virtualisation.
Programme dtaill :
fonctionnement gnral d'un systme d'exploitation, modes
noyau/utilisateur, interruptions ;
processus, processus lgers, espaces d'adressage, commutation ;
ordonnancement sur machines monoet multi-processeur ;
synchronisation, smaphores, variables de conditions, exclusion
mutuelle ;
adresses virtuelles et physiques, traduction d'adresses,
pagination, pagination la demande, mmoire virtuelle ;
systmes de fichiers, entre/sortie, pilotes de priphriques ;
structure des systmes d'exploitation, machines virtuelles.
Comptences acquises
Comprhension fine des mcanismes fondamentaux formant le coeur des systmes d'exploitation contemporains. Connaissance avance du noyau Linux.
Volume des enseignements
Heures en prsentiel
Cours Magistraux 24
Travaux Dirigs 0
Travaux Pratiques 0
Cours intgrs 0
TD sur machine 24
Accompagnement 0
Bibliographie :
"Systmes d'exploitation" (A. Tanenbaum), "Le noyau Linux" (D. Bovet, M. Cesati)
Mode d'valuation :
Epreuves 1re session
Type d'valuation Dtails ventuels Dures Coefficients
Examen crit terminal 01h30 0.5
Contrle Continu (CC) (TP1+TP2+TP3+DS)/4 0.5
Epreuves 2me session
Type d'valuation Dtails ventuels Dures Coefficients
Page 32 / 43 - 05/02/2014
Examen crit ou oral (selon l'effectif) 01h30 0.5
Contrle Continu (CC) report session 1 00h00 0.5
Formation initiale, Formation continue
Forme d'enseignement :
Enseignement prsentiel
Lieu d'enseignement :
Universit Bordeaux 1 (Talence)
Langue d'enseignement
Franais
Responsable(s)
Raymond NAMYST
LOGIQUE (LOGIC) (J1IN7M21)
Semestre d'automne (M1) : 6 ECTS
Objectifs :
Foundation of logic and its use in software specification, verification and program synthesis
Programme :
Foundation of logic: Propositional logic, predicate calculus, higher-order logic, modal logic, notion of model and of validity, inference rules and notion of proof.
Logic and Computers: Proof as a computational object, correlation between proofs and programs, formula and automata.
Computer assisted proofs: Correct program synthesis from proofs, proof of programs.
Comptences acquises
Formal specification of a program with logic formulae. Writing a correct formal proof.
Volume des enseignements
Heures en prsentiel
Cours Magistraux 24
Travaux Dirigs 12
Travaux Pratiques 0
Cours intgrs 0
TD sur machine 12
Accompagnement 0
Bibliographie :
A. Arnold, I. Guessarian : Mathmatiques pour l'informatique (Masson, 1992).
R. Cori, D.Lascar : Logique Mathmatique, cours et exercices (Dunod, 1993).
David-Nour-Raffalli : Introduction la logique, Dunod, 2003.
Bertot-Casteran : Interactive Theorem Proving and Program Development, Springer, 2004.
http://coq.inria.fr
Mode d'valuation :
Epreuves 1re session
Type d'valuation Dtails ventuels Dures Coefficients
Examen crit terminal 03h00 0.5
Contrle Continu (CC) 00h00 0.5
Epreuves 2me session
Type d'valuation Dtails ventuels Dures Coefficients
Examen crit ou oral (selon l'effectif) 00h00 0.5
Contrle Continu (CC) report session 1 00h00 0.5
Note finale = 1/2 x Ex2 + 1/2 (max(noteCC,noteEx2))Formation initiale, Formation continue
Forme d'enseignement :
Enseignement prsentiel
Lieu d'enseignement :
Page 33 / 43 - 05/02/2014
Universit Bordeaux 1 (Talence)
Langue d'enseignement
Anglais
Responsable(s)
Graud SENIZERGUES
Pierre CASTERON
STAGE DE RECHERCHE (J1IN0W13)
Semestre de printemps (M2) : 30 ECTS
Objectifs :
tude bibliographique, lecture d'articles, rdaction de rapport, soutenance orale
Prrequis recommands :
Projet d'tude et de recherche
Programme :
tude bibliographique, lecture d'articles, rdaction de rapport, soutenance orale
Comptences acquises
Le stage doit tre en rapport avec la spcialit prpare et le sujet est valid par l'quipe pdagogique.
Le stage est effectu dans un laboratoire de recherche public ou priv.
L'tudiant devra rendre compte un enseignant rfrant de l'avancement de son stage.
Volume des enseignements
Heures en prsentiel
Cours Magistraux 0
Travaux Dirigs 0
Travaux Pratiques 0
Cours intgrs 0
TD sur machine 0
Accompagnement 6
Mode d'valuation :
Epreuves 1re session
Type d'valuation Dtails ventuels Dures Coefficients
Encadrement et valuation par le matre de stage 0.6
Mmoire 0.2
Soutenance 0.2
Pas de session 2Formation initiale, Formation continue
Forme d'enseignement :
Enseignement distance
Lieu d'enseignement :
Universit Bordeaux 1 (Talence)
Langue d'enseignement
Franais
Responsable(s)
Damien Magoni
GRAPHES ET APPLICATIONS (J1IN9W14)
Semestre d'automne (M2) : 6 ECTS
Objectifs :
Les objectifs de ce cours sont les suivants :
introduire des notions avances de thorie des graphes, en prenant appui sur divers problmes de recherche actuels du domaine,
familiariser l'tudiant avec les techniques de preuve classiques du domaine,
Page 34 / 43 - 05/02/2014
prsenter des applications de ces techniques, en particulier l'algorithmique des communications dans les rseaux distribus.
Prrequis recommands :
UE Graphes et Recherche Oprationnelle
Programme :
1. Notions avances de thorie des graphes
Cette partie du cours prsente des notions avances de thorie des graphes et familiarise l'tudiant avec certaines techniques de preuve classiques de graphes, tels que la
coloration et la domination. Quelques problmes et conjectures classiques sont abords ainsi que les techniques de preuves frquentes dans le domaine.
2. Algorithmes et communications dans les rseaux
Ce cours prsente l'algorithmique des communications dans les rseaux distribus, incluant le routage point--point et la dissmination d'informations. Ces rsultats sont
ensuite appliqus la conception de rseaux de tlcommunication tolrants aux pannes.
Comptences acquises
Les comptences acquises l'issue de cet enseignement sont les suivantes :
connaissance de notions avances de thorie des graphes,
matrise des techniques de preuve usuelles en thorie des graphes,
connaissance de diffrents types de coloration de graphes et de domination dans les graphes,
connaissance des principaux rsultats du domaine,
connaissance des modles de base pour modliser les rseaux de communication
connaissance des problmes de base pour la communication dans les rseaux
connaissance des reseaux de communication standards et de leurs proprits
connaissance des algorithmes de base pour la communication dans les rseaux
connaissance des techniques de preuve usuelles pour l'analyse des rseaux de communication
Volume des enseignements
Heures en prsentiel
Cours Magistraux 24
Travaux Dirigs 24
Travaux Pratiques 0
Cours intgrs 0
TD sur machine 0
Accompagnement 0
Bibliographie :
Bela Bollobas, Modern Graph Theory, Springer-Verlag, Graduate Texts in Mathematics, Volume 184, 1998.
J.A. Bondy, U.S.R. Murty, Graph Theory, Graduate Texts in Mathematics, Volume 244, Springer, 2008.
Reinhard Diestel, Graph Theory, Springer-Verlag, Graduate Texts in Mathematics, Volume 173, 2005.
Juraj Hromkovic, Ralf Klasing, Andrzej Pelc, Peter Ruzicka, and Walter Unger. Dissemination of Information in Communication Networks: Broadcasting,
Gossiping, Leader Election, and Fault-Tolerance. Springer Monograph, Springer-Verlag, 2005.
Jean de Rumeur, Communications dans les rseaux de processeurs, Collection tudes et Recherches en Informatique, Masson, Paris, 1994.
Gerard Tel, Introduction to Distributed Algorithms, Cambridge University Press, 2000.
Douglas West, Introduction to Graph Theory, 2nd Edition, Prentice-Hall, 2000.
Mode d'valuation :
Epreuves 1re session
Type d'valuation Dtails ventuels Dures Coefficients
Examen crit terminal Thorie des graphes 01h30 0.25
Contrle Continu (CC) OBLIGATOIRE - Thorie des graphes 00h00 0.25
Examen crit terminal Algorithmes et communication dans les rseaux 01h30 0.25
Contrle Continu (CC) OBLIGATOIRE - Algorithmes et communication dans les rseaux 00h00 0.25
Epreuves 2me session
Type d'valuation Dtails ventuels Dures Coefficients
Examen crit ou oral (selon l'effectif) selon le nbre d'inscrits - Thorie des graphes 01h30 0.25
Contrle Continu (CC) report session 1 - Thorie des graphes 00h00 0.25
Examen crit ou oral (selon l'effectif) selon le nbre d'inscrits - Algorithmes et communication dans les rseaux 01h30 0.25
Contrle Continu (CC) report session 1 - Algorithmes et communication dans les rseaux 00h00 0.25
Formation initiale, Formation continue
Forme d'enseignement :
Enseignement prsentiel
Lieu d'enseignement :
Universit Bordeaux 1 (Talence)
Langue d'enseignement
Page 35 / 43 - 05/02/2014
Franais
Responsable(s)
Eric SOPENA
RSEAUX ET TECHNOLOGIES AVANCES (J1IN9M07)
Semestre d'automne (M2) : 6 ECTS
Objectifs :
L'objectif de cette UE est d'aborder les problmatiques avances lies aux rseaux du futur et aux nouvelles technologies, aussi bien en rseau fixe qu'en rseau mobile. Cet
enseignement, vou voluer en permanence, permettra aux tudiants d'tre oprationnels sur les technologies les plus en pointe et venir.
Prrequis recommands :
UEs Rseaux, Administration Rseaux et Systmes d'exploitation de M1
Programme :
Le programme comprend en particulier les points suivants:
Etat des lieux
Gestion des rseaux
Qualit de service, ngociation
Scurit
Equipements mobiles communicants
etc.
Limitations et extensions des technologies actuelles des rseaux et des quipements communicants
Rseaux et matriels du futur
Comptences acquises
La comptence essentielle acquise au travers de cette UE est une forte capacit s'adapter un domaine en constante volution:
capacit apprhender les nouvelles technologies
comprhension des problmatiques mergentes
rflexion et recul sur l'volution du domaine
Volume des enseignements
Heures en prsentiel
Cours Magistraux 24
Travaux Dirigs 0
Travaux Pratiques 0
Cours intgrs 0
TD sur machine 24
Accompagnement 0
Mode d'valuation :
Epreuves 1re session
Type d'valuation Dtails ventuels Dures Coefficients
Examen crit terminal 01h30 0.67
Contrle Continu (CC) 00h00 0.33
Epreuves 2me session
Type d'valuation Dtails ventuels Dures Coefficients
Examen crit ou oral (selon l'effectif) 01h30 0.67
Contrle Continu (CC) report session 1 00h00 0.33
Formation initiale, Formation continue
Forme d'enseignement :
Enseignement prsentiel
Lieu d'enseignement :
Universit Bordeaux 1 (Talence)
Langue d'enseignement
Franais
Page 36 / 43 - 05/02/2014
Responsable(s)
Serge CHAUMETTE
ALGORITHMIQUE DISTRIBUE (J1IN9W13)
Semestre d'automne (M2) : 6 ECTS
Objectifs :
introduire l'algorithmique distribue ; prsenter diffrentes applications et problmatiques actuelles du do-
maine. Certains algorithmes seront implments sur un simulateur/visualisateur de calcul distribu.
Prrequis recommands :
M1 info
Programme :
Les modles du calcul distribu (influence de la connaissance a priori, non-dterminisme ; complexit en
temps, en nombre de messages, synchronisme et asynchronisme ; modles passage de messages/mmoire
partage/PRAM)
Calcul d'arbre couvrant et diffusion
Colorations : ensemble indpendant maximal, ensemble dominant
Dcomposition en clusters, calcul de sous-graphes prservant les distances (k-spanner)
Application au routage et au pair--pair (Distributed Hash Table)
Comptences acquises
conception et mise en oeuvre d'algorithmes distribus
Volume des enseignements
Heures en prsentiel
Cours Magistraux 24
Travaux Dirigs 24
Travaux Pratiques 0
Cours intgrs 0
TD sur machine 0
Accompagnement 0
Mode d'valuation :
Epreuves 1re session
Type d'valuation Dtails ventuels Dures Coefficients
Examen crit terminal 01h30 0.5
Contrle Continu (CC) 00h00 0.5
Epreuves 2me session
Type d'valuation Dtails ventuels Dures Coefficients
Examen crit ou oral (selon l'effectif) 01h30 0.5
Contrle Continu (CC) report session 1 00h00 0.5
Formation initiale, Formation continue
Forme d'enseignement :
Enseignement prsentiel
Lieu d'enseignement :
Universit Bordeaux 1 (Talence)
Langue d'enseignement
Franais
Responsable(s)
Cyril GAVOILLE
LOGIQUE ET LANGAGE (J1IN9M11)
Page 37 / 43 - 05/02/2014
Semestre d'automne (M2) : 6 ECTS
Objectifs :
Approfondir les aspects de la Logique Mathmatique:
Thorie des modles applique la spcification d'objets combinatoires.
Systmes formels fournissant des mthodes de gnration, de typage,de preuves de proprits. Ces notions sont fondamentales pour aborder la recherche soit dans le cadre
d'une thse, soit en milieu industriel, notamment dans la vrification et le traitement des langu
Prrequis recommands :
Notions de base de logique : systme formel, modle ; notions de thorie des langages : grammaires, automates.
Programme :
1)Automates, grammaires et systmes formels, en vue de la thorie des langages formels au sens large (spcifications d'objets combinatoires) et le traitement automatique
des langues naturelles.
2)Spcifications d'objets combinatoires en logique,Thorie des types : aspects syntaxiques et smantiques.
3)Passages d'un mode de description un autre.Synthses d'algorithmes et de programmes partir de spcifications formelles.
Comptences acquises
Comprhension des matires enseignes, compltes par des lectures et l'assistance aux sminaires du LaBRI.
Doit permettre de situer un article ou une documentation technique par rapport aux notions enseignes.
Volume des enseignements
Heures en prsentiel
Cours Magistraux 24
Travaux Dirigs 24
Travaux Pratiques 0
Cours intgrs 0
TD sur machine 0
Accompagnement 0
Mode d'valuation :
Epreuves 1re session
Type d'valuation Dtails ventuels Dures Coefficients
Examen crit terminal 03h00 0.5
Contrle Continu (CC) 00h00 0.5
Epreuves 2me session
Type d'valuation Dtails ventuels Dures Coefficients
Examen crit ou oral (selon l'effectif) 03h00 0.5
Contrle Continu (CC) report session 1 00h00 0.5
Formation initiale, Formation continue
Forme d'enseignement :
Enseignement prsentiel
Lieu d'enseignement :
Universit Bordeaux 1 (Talence)
Langue d'enseignement
Franais
Responsable(s)
Marc ZEITOUN
ALGORITHMES POUR LA BIO-INFORMATIQUE ET LA VISUALISATION (J1IN9M12)
Semestre d'automne (M2) : 6 ECTS
Objectifs :
Prsenter les mthodes informatiques d'exploitation de grandes masses de donnes, dont la bioinformatique est l'un des domaines d'application. On prsentera en particulier
les algorithmes sur les mots et sur les arbres pour traiter des donnes biologiques, et on tudiera les techniques de visualisation de grands ensembles d'informations,
notamment de grands graphes.
Programme :
Traitement automatique et analyse d'objets biologiques arborescents (structures secondaires d'ARNs, architecture de plantes, etc.): comparaison d'arborescences, distance
Page 38 / 43 - 05/02/2014
d'dition (oprations structurelles lmentaires, oprations d'dition). Formulation en termes de problme d'optimisation, algorithmes efficaces en temps et en espace,
solutions incrmentales, programmation dynamique.
Rseaux d'interactions et mtaboliques, voies mtaboliques. Exploration des relations du type "guilt by association", recherche de chemins et sous-graphes indiquant des voies
de signalisation, recherche de modes lmentaires.
Visualisation de graphes, visualisation d'informations. Algorithmes de dessin, interaction avec les reprsentations visuelles des graphes. Construction et classification de
paramtres pertinents, dessins de grands graphes, fragmentation (clustering) de graphes.
Comptences acquises
Modliser un problme bio-informatique en termes de structures de donnes (mots, arbres, graphes).
Utilisation des principaux algorithmes, mthodes et heuristiques dveloppes en bio-informatique ou dans des domaines de l'informatique fondamentale et pertinent pour la
bio-informatique. Mesurer le potentiel applicatif des mthodes et outils dvelopps en bio-informatique pour d'autres champs applicatifs tels les sciences sociales. Avoir une
vue sur l'ensemble des outils et implmentations mis disposition par la communaut de recherche.
Volume des enseignements
Heures en prsentiel
Cours Magistraux 24
Travaux Dirigs 24
Travaux Pratiques 0
Cours intgrs 0
TD sur machine 0
Accompagnement 0
Mode d'valuation :
Epreuves 1re session
Type d'valuation Dtails ventuels Dures Coefficients
Projet 00h00 2/3
Contrle Continu (CC) 00h00 1/3
Epreuves 2me session
Type d'valuation Dtails ventuels Dures Coefficients
Projet report session 1 00h00 2/3
Contrle Continu (CC) report session 1 00h00 1/3
Pas de session 2.Formation initiale, Formation continue
Forme d'enseignement :
Enseignement prsentiel
Lieu d'enseignement :
Universit Bordeaux 1 (Talence)
Langue d'enseignement
Franais
Responsable(s)
Guy MELANCON
GRAPHES ET APPLICATIONS (J1IN9W11)
Semestre d'automne (M2) : 6 ECTS
Objectifs :
Les objectifs de ce cours sont les suivants :
introduire des notions avances de thorie des graphes, en prenant appui sur divers problmes de coloration de graphes,
familiariser l'tudiant avec les techniques de preuve classiques du domaine,
prsenter des applications de ces techniques, en particulier l'algorithmique des communications dans les rseaux distribus.
Prrequis recommands :
UE Graphes et Recherche Oprationnelle
Programme :
Notions avances de thorie des graphes
Cette partie du cours prsente des notions avances de thorie des graphes et familiarise l'tudiant avec certaines techniques de preuve classiques en prenant appui sur des
problmes de coloration de graphes. Aprs une tude des notions classiques de coloration et d'homomorphisme de graphes, on
Page 39 / 43 - 05/02/2014
prsentera d'autres types de colorations inspirs d'applications pratiques : colorations fractionnaires,
circulaires, par listes, etc.
Algorithmes et communications dans les rseaux
Ce cours prsente l'algorithmique des communications dans les rseaux distribus, incluant le routage point--point et la dissmination d'informations. Ces rsultats sont
ensuite appliqus la conception de rseaux de tlcommunication tolrants aux pannes.
Comptences acquises
Les comptences acquises l'issue de cet enseignement sont les suivantes :
connaissance de notions avances de thorie des graphes,
matrise des techniques de preuve usuelles en thorie des graphes,
connaissance de diffrents types de coloration de graphes,
connaissance des principaux rsultats du domaine,
connaissance des modles de base pour modliser les rseaux de communication
connaissance des problmes de base pour la communication dans les rseaux
connaissance des reseaux de communication standards et de leurs proprits
connaissance des algorithmes de base pour la communication dans les rseaux
connaissance des techniques de preuve usuelles pour l'analyse des rseaux de communication
Volume des enseignements
Heures en prsentiel
Cours Magistraux 24
Travaux Dirigs 24
Travaux Pratiques 0
Cours intgrs 0
TD sur machine 0
Accompagnement 0
Bibliographie :
Bela Bollobas, Modern Graph Theory, Springer-Verlag, Graduate Texts in Mathematics, Volume 184, 1998.
Reinhard Diestel, Graph Theory, Springer-Verlag, Graduate Texts in Mathematics, Volume 173, 2005.
Juraj Hromkovi?, Ralf Klasing, Andrzej Pelc, Peter Ru?i?ka, and Walter Unger. Dissemination of Information in Communication Networks: Broadcasting,
Gossiping, Leader Election, and Fault-Tolerance. Springer Monograph, Springer-Verlag, 2005.
Jean de Rumeur, Communications dans les rseaux de processeurs, Collection Etudes et Recherches en Informatique, Masson, Paris, 1994.
Grard Tel, Introduction to Distributed Algorithms, Cambridge University Press, 2000.
Douglas West, Introduction to Graph Theory, 2nd edition, Prentice-Hall, 2000.
Mode d'valuation :
Epreuves 1re session
Type d'valuation Dtails ventuels Dures Coefficients
Examen crit Thorie des graphes 1h30 0.25
Contrle Continu (CC) OBLIGATOIRE - Thorie des graphes 0.25
Examen crit Algorithmes et communication dans les rseaux 1h30 0.25
Contrle Continu (CC) OBLIGATOIRE - Algorithmes et communication dans les rseaux 0.25
Epreuves 2nde session
Type d'valuation Dtails ventuels Dures Coefficients
Examen crit ou oral (selon l'effectif) selon le nbre d'inscrits - Thorie des graphes 1h30 0.25
Contrle Continu (CC) report session 1 - Thorie des graphes 0.25
Examen crit ou oral (selon l'effectif) selon le nbre d'inscrits - Algorithmes et communication dans les rseaux 1h30 0.25
Contrle Continu (CC) report session 1 - Algorithmes et communication dans les rseaux 0.25
Formation initiale, Formation continue
Forme d'enseignement :
Enseignement prsentiel
Lieu d'enseignement :
Universit Bordeaux 1 (Talence)
Langue d'enseignement
Franais
Responsable(s)
Eric SOPENA
Page 40 / 43 - 05/02/2014
PROJET D'ETUDE ET DE RECHERCHE (J1IN9W12)
Semestre d'automne (M2) : 6 ECTS
Objectifs :
Ce projet a pour but de confronter les tudiants une situation de recherche.
The goal of this project is to put studends in a research situation.
Programme :
La taille des groupes et l'activit du projet pourront prendre plusieurs formes en fonction du parcours et des
choix des tudiants :
tude d'articles et restitution sous forme de sminaires (groupes de 2),
tude d'une technologie innovante (groupes de 2 4),
tude d'articles et ralisation logicielle (groupes de 2 6),
etc.
Un rapport devra tre remis en Anglais.
Une dizaine de confrences sont galement prvues.
Student group size and activities will depend on the curriculum and student choices:
reading research papers and seminar presentation of their results (groups of 2 students)
study of new and innovative techonologies (2-4 students)
article reading and software implementation (2-6 students)
Also a written report will be produced.
A number of conferences will complete the course.
Comptences acquises
tude bibliographique, lecture d'articles, rdaction de rapport, soutenance orale
Bibliographic study, (scientific) article reading, report writing, oral defense.
Volume des enseignements
Heures en prsentiel
Cours Magistraux 24
Travaux Dirigs 12
Travaux Pratiques 0
Cours intgrs 0
TD sur machine 0
Accompagnement 5
Mode d'valuation :
Epreuves 1re session
Type d'valuation Dtails ventuels Dures Coefficients
Rapport 00h00 1/2
Soutenance 00h00 1/2
Pas de session 2Formation initiale, Formation continue
Forme d'enseignement :
Enseignement prsentiel
Lieu d'enseignement :
Universit Bordeaux 1 (Talence)
Langue d'enseignement
Franais
Responsable(s)
Damien MAGONI
ANALYSE ET SYNTHSE DU SON MUSICAL (J1IN9421)
Page 41 / 43 - 05/02/2014
Semestre d'automne (M2) : 6 ECTS
Objectifs :
matriser les diffrents modles mathmatiques et techniques algorithmiques dans le domaine de l'analyse
et de la synthse du son musical
Programme :
Reprsentations sonores (temporelle et spectrale)
Notions de base en psychoacoustique (chelles perceptives, dciBels, Bark, seuil d'audibilit, phnomnes
de masquage, codage MPEG)
Paramtres sonores et musicaux (frquence fondamentale, hauteur, tonie, intensit, volume, sonie, timbre,
enveloppe spectrale, brillance - centrode spectrale)
Analyse / synthse des sons dterministes (extraction d'atomes spectraux, suivi de partiels, analyse specrale
prcise, synthse additive rapide)
Analyse / synthse des sons stochastiques (mthode de Welch, rapport signal bruit, distribution de Rice,
moments)
Localisation et spatialisation (Head-Related Transfer Functions HRTF, indices interauraux, technique transaurale)
Analyse de scnes auditives, sparation d'entits sonores (technique DUET, sparation de mlanges harmoniques)
Effets audionumriques / transformations musicales (amplification, filtrage, transposition, tirements temporels, hybridations, morphings, etc.)
Langages pour la synthse sonore
Comptences acquises
Analyse / synthse des sons dterministes et stochastiques
Localisation et spatialisation
Analyse de scnes auditives, sparation d'entits sonores
Effets audionumriques / transformations musicales
Langages pour la synthse sonore
Reprsentations sonores
Notions de base en psychoacoustique
Paramtres sonores et musicaux
Volume des enseignements
Heures en prsentiel
Cours Magistraux 24
Travaux Dirigs 0
Travaux Pratiques 0
Cours intgrs 0
TD sur machine 24
Accompagnement 0
Bibliographie :
PIERCE John / The Science of Musical Sound / Scientific American Book, 1983.
OPPENHEIM Alan, SCHAFER Ronald / Discrete-Time Signal Processing / Prentice-Hall, 1989.
ZWICKER Eberhard, FASTL Hugo / Psychoacoustics: Facts and Models / Springer Verlag, 1996.
Le livre des techniques du son / ditions frquences, Eyrolles, 1994.
PACHET Franois, BRIOT Jean-Pierre (diteurs) / Informatique musicale : du signal au signe musical / HERMES Sciences, 2004.
BLAUERT Jens / Spatial Hearing / MIT Press, 2001.
Mode d'valuation :
Epreuves 1re session
Type d'valuation Dtails ventuels Dures Coefficients
Examen crit terminal 03h00 2/3
Contrle Continu (CC) CC OBLIGATOIRE 00h00 1/3
Epreuves 2me session
Type d'valuation Dtails ventuels Dures Coefficients
Examen crit ou oral (selon l'effectif) 03h00 2/3
Contrle Continu (CC) report session 1 00h00 1/3
Formation initiale, Formation continue
Forme d'enseignement :
Enseignement prsentiel
Page 42 / 43 - 05/02/2014
Lieu d'enseignement :
Universit Bordeaux 1 (Talence)
Langue d'enseignement
Franais
Responsable(s)
Pierre HANNA
STAGE C++ (MISE NIVEAU) (J1IN9W01)
Semestre d'automne (M2) : 0 ECTS
Objectifs :
Algorithmique lmentaire et avance, connaissance des concepts de la programmation objets
Prrequis recommands :
Algorithmique lmentaire et avance, connaissance des concepts de la programmation objets
Programme :
Autonome pour le dveloppement de projet de plus grande envergure notamment pour d'autres UE enseignes en M2.
Comptences acquises
Autonome pour le dveloppement de projet de plus grande envergure notamment pour d'autres UE enseignes en M2.
Volume des enseignements
Heures en prsentiel
Cours Magistraux 0
Travaux Dirigs 16
Travaux Pratiques 0
Cours intgrs 0
TD sur machine 0
Accompagnement 0
Bibliographie :
Le langage et la bibliothque C++, norme ISO
Henri Garreta
ellipses, 2000
C++ Programming Language, The (3rd Edition)
Bjarne Stroustrup
Addison-Wesley, 2000
ISBN 0-201-88954-4 and 0-201-70073-5
Mode d'valuation :
Pas de contrle des connaissances, il s'agit d'un stage intensif de mise niveau (16h de TDM rparties sur la semaine).Formation initiale, Formation continue
Forme d'enseignement :
Enseignement prsentiel
Lieu d'enseignement :
Universit Bordeaux 1 (Talence)
Langue d'enseignement
Franais
Responsable(s)
Bruno PINAUD
Page 43 / 43 - 05/02/2014