bx1-prog39068

Upload: abdelkeb

Post on 09-Oct-2015

15 views

Category:

Documents


1 download

DESCRIPTION

bs

TRANSCRIPT

  • 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 MobilesParcours 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 performanceRseaux, 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 experteInformaticien/informaticienne d'tudeCadre technique d'tudes scientifiques et de recherche fondamentaleCadre technique d'tudes-recherche-dveloppement de l'industrieProfessionnel/professionnelle de l'imageProfessionnel/professionnelle du sonInformaticien/informaticienne d'exploitationOrganisateur informaticien/organisatrice informaticienneExpert rseauGestionnaire rseauIngnieur rseauArchitecte rseauIngnieur systmeArchitecte 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 : ErasmusCrepuq

    Pour en savoir plus :

    Etudes l'trangerEtudes 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 messagesCommunications point point : modes de communication, asynchronisme, non dterminismeCommunications collectives: barrire de synchronisation, mouvements de donnes, calculs globauxOptimisations des communications (agrgation, placement)Exploitation de rseaux haut dbit (Infiniband, Myrinet)Programmation Hybride: modles et implmentationApprochesMPI+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 prsentielCours Magistraux 24

    Travaux Dirigs 0

    Travaux Pratiques 0

    Cours intgrs 0

    TD sur machine 24

    Accompagnement 0Mode d'valuation :

    Epreuves 1re sessionType 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 prsentielLieu 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 threadsParadigmes de programmation en mmoire partageRseaux haute-performancePoint de vue architecturalComparaison avec les rseaux classiques

    Page 4 / 43 - 05/02/2014

  • Technologies de rseaux rapidesProgrammation depuis l'espace utilisateurtude thorique des protocolesOptimisationsArchitecture logicielle des intergiciels et supports d'excutionLes modles d'abstractionComposants logiciels dans les intergicielsVirtualisationSupports d'excution pour grappes, systmes image uniqueSystmes trs grande chelleProblmatiques de la grande chelle : scurit, connectivit, fiabilit, htrognitGrilles de calcul, cloudSystmes 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 prsentielCours Magistraux 24

    Travaux Dirigs 0

    Travaux Pratiques 0

    Cours intgrs 0

    TD sur machine 24

    Accompagnement 0Mode d'valuation :

    Epreuves 1re sessionType 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 prsentielLieu 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 prsentielCours Magistraux 0

    Travaux Dirigs 0

    Travaux Pratiques 0

    Cours intgrs 0

    TD sur machine 0

    Accompagnement 8Mode 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 distanceLieu 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 prsentielCours Magistraux 0

    Travaux Dirigs 0

    Travaux Pratiques 0

    Cours intgrs 0

    TD sur machine 0

    Accompagnement 3Mode 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 distanceLieu 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 prsentielCours Magistraux 0

    Travaux Dirigs 0

    Travaux Pratiques 0

    Cours intgrs 0

    TD sur machine 0

    Accompagnement 3Mode 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 distanceLieu 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 prsentielCours Magistraux 24

    Travaux Dirigs 24

    Travaux Pratiques 0

    Cours intgrs 0

    TD sur machine 0

    Accompagnement 0Bibliographie :

    * 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 prsentielLieu 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 L3Programme :

    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 prsentielCours Magistraux 24

    Travaux Dirigs 0

    Travaux Pratiques 0

    Cours intgrs 0

    TD sur machine 24

    Accompagnement 0Bibliographie :

    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 continueForme d'enseignement :

    Enseignement prsentielLieu 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 formellesProgramme :

    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 prsentielCours Magistraux 24

    Travaux Dirigs 0

    Travaux Pratiques 0

    Cours intgrs 0

    TD sur machine 24

    Accompagnement 0Bibliographie :

    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 continueForme d'enseignement :

    Enseignement prsentielLieu 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 prsentielCours Magistraux 0

    Travaux Dirigs 0

    Travaux Pratiques 0

    Cours intgrs 0

    TD sur machine 0

    Accompagnement 0

    Formation initiale, Formation continueForme d'enseignement :

    Enseignement distanceLieu 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 prsentielCours Magistraux 40

    Travaux Dirigs 0

    Travaux Pratiques 0

    Cours intgrs 0

    TD sur machine 0

    Accompagnement 0Bibliographie :

    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 prsentielLieu 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 prsentielCours Magistraux 0

    Travaux Dirigs 0

    Travaux Pratiques 0

    Cours intgrs 18

    TD sur machine 0

    Accompagnement 0Mode 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 prsentielLieu 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 documePrrequis recommands :

    Programmation imprative, Programmation fonctionnelle et symbolique, Programmation par objets, UE avec projets informatiques associsProgramme :

    * 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 prsentielCours Magistraux 24

    Travaux Dirigs 9

    Travaux Pratiques 0

    Cours intgrs 0

    TD sur machine 0

    Accompagnement 5Bibliographie :

    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 prsentielLieu 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, complexitProgramme :

    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 prsentielCours Magistraux 24

    Travaux Dirigs 0

    Travaux Pratiques 0

    Cours intgrs 0

    TD sur machine 24

    Accompagnement 0Bibliographie :

    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 continueForme d'enseignement :

    Enseignement prsentielLieu 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 prsentielCours Magistraux 24

    Travaux Dirigs 6

    Travaux Pratiques 0

    Cours intgrs 0

    TD sur machine 0

    Accompagnement 0Mode 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 prsentielLieu 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 projetWBS, Gantt, Pert, ...laboration d'un budgetTests, processus de mise en productionNormes qualit : ISO 9001, CMMIGestion 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 prsentielCours Magistraux 24

    Travaux Dirigs 24

    Travaux Pratiques 0

    Cours intgrs 0

    TD sur machine 0

    Accompagnement 0Bibliographie :

    Guide du corpus des connaissances en management de projet, (guide PMBOK) PMI 4me dition.Human Factors in Flight, de Frank H Hawkins chez AshgatePratiques de la conduite du changement de David Autissier chez DunodDe 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 InstituteMode 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 prsentielLieu 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 prsentielCours Magistraux 0

    Travaux Dirigs 0

    Travaux Pratiques 0

    Cours intgrs 0

    TD sur machine 0

    Accompagnement 8Mode 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 distanceLieu 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 concurrentielProgramme :

    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 prsentielCours 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 prsentielLieu 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 RseauxProgramme :

    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), certificatsContrle d'accs aux rseaux locaux IEE 802, avec ou sans fil (standard 802.1x)Identification et chiffrement sur les rseaux de tlphonie sans filKDC (Key Distribution Center) : protocole KerberosAAA (authentication, authorization and accounting), serveurs RADIUS

    Comptences acquises

    la connaissance des problmatiques de scurit dans le contexte des rseauxVolume des enseignements

    Heures en prsentielCours Magistraux 20

    Travaux Dirigs 30

    Travaux Pratiques 0

    Cours intgrs 0

    TD sur machine 0

    Accompagnement 0Mode 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 prsentielPage 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 prsentielCours Magistraux 24

    Travaux Dirigs 0

    Travaux Pratiques 0

    Cours intgrs 0

    TD sur machine 24

    Accompagnement 0

    Formation initiale, Formation continueForme d'enseignement :

    Enseignement prsentielLieu 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 prsentielCours Magistraux 24

    Travaux Dirigs 0

    Travaux Pratiques 0

    Cours intgrs 0

    TD sur machine 24

    Accompagnement 0Mode 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 prsentielLieu 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 M1Programme :

    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 technologiescomprhension des problmatiques mergentesrflexion et recul sur l'volution du domaineobtention d'un diplme d'oprateur assurant une oprationnalit immdiate

    Volume des enseignements

    Heures en prsentielCours Magistraux 24

    Travaux Dirigs 24

    Travaux Pratiques 0

    Cours intgrs 0

    TD sur machine 0

    Accompagnement 0Mode 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 prsentielLieu 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 prsentielCours Magistraux 0

    Travaux Dirigs 24

    Travaux Pratiques 0

    Cours intgrs 0

    TD sur machine 0

    Accompagnement 0Bibliographie :

    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 continueForme d'enseignement :

    Enseignement prsentielLieu 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 infoProgramme :

    * 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 prsentielCours 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 initialeForme d'enseignement :

    Enseignement prsentielLieu 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 prsentielCours 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 prsentielLieu 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 prsentielCours Magistraux 24

    Travaux Dirigs 0

    Travaux Pratiques 0

    Cours intgrs 0

    TD sur machine 24

    Accompagnement 0Bibliographie :

    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 continueForme d'enseignement :

    Enseignement prsentielLieu 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 performanPrrequis recommands :

    Programmation C, notions de base en Architecture des OrdinateursProgramme :

    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 prsentielCours Magistraux 24

    Travaux Dirigs 0

    Travaux Pratiques 0

    Cours intgrs 0

    TD sur machine 24

    Accompagnement 4Bibliographie :

    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 continueForme d'enseignement :

    Enseignement prsentielLieu 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 propositionnelleProgramme :

    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 prsentielCours Magistraux 24

    Travaux Dirigs 24

    Travaux Pratiques 0

    Cours intgrs 0

    TD sur machine 0

    Accompagnement 0Bibliographie :

    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 prsentielLieu 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 prsentielCours Magistraux 24

    Travaux Dirigs 0

    Travaux Pratiques 0

    Cours intgrs 0

    TD sur machine 24

    Accompagnement 0Bibliographie :

    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 prsentielLieu 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 prsentielCours Magistraux 24

    Travaux Dirigs 24

    Travaux Pratiques 0

    Cours intgrs 0

    TD sur machine 0

    Accompagnement 0Mode 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 prsentielLieu 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, ProgrammationProgramme :

    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 prsentielCours Magistraux 24

    Travaux Dirigs 0

    Travaux Pratiques 0

    Cours intgrs 0

    TD sur machine 24

    Accompagnement 0Mode 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 continueForme d'enseignement :

    Enseignement prsentielLieu 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 prsentielCours Magistraux 24

    Travaux Dirigs 0

    Travaux Pratiques 0

    Cours intgrs 0

    TD sur machine 24

    Accompagnement 0Bibliographie :

    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 continueForme d'enseignement :

    Enseignement prsentielLieu 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 prsentielCours Magistraux 24

    Travaux Dirigs 0

    Travaux Pratiques 0

    Cours intgrs 0

    TD sur machine 24

    Accompagnement 0Bibliographie :

    "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 continueForme d'enseignement :

    Enseignement prsentielLieu 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 prsentielCours Magistraux 24

    Travaux Dirigs 12

    Travaux Pratiques 0

    Cours intgrs 0

    TD sur machine 12

    Accompagnement 0Bibliographie :

    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 prsentielLieu 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 oralePrrequis recommands :

    Projet d'tude et de rechercheProgramme :

    tude bibliographique, lecture d'articles, rdaction de rapport, soutenance oraleComptences 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 prsentielCours Magistraux 0

    Travaux Dirigs 0

    Travaux Pratiques 0

    Cours intgrs 0

    TD sur machine 0

    Accompagnement 6Mode 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 distanceLieu 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 OprationnelleProgramme :

    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 communicationconnaissance des problmes de base pour la communication dans les rseauxconnaissance des reseaux de communication standards et de leurs propritsconnaissance des algorithmes de base pour la communication dans les rseauxconnaissance des techniques de preuve usuelles pour l'analyse des rseaux de communication

    Volume des enseignements

    Heures en prsentielCours Magistraux 24

    Travaux Dirigs 24

    Travaux Pratiques 0

    Cours intgrs 0

    TD sur machine 0

    Accompagnement 0Bibliographie :

    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 continueForme d'enseignement :

    Enseignement prsentielLieu 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 prsentielCours Magistraux 24

    Travaux Dirigs 0

    Travaux Pratiques 0

    Cours intgrs 0

    TD sur machine 24

    Accompagnement 0Mode 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 prsentielLieu d'enseignement :

    Universit Bordeaux 1 (Talence)

    Langue d'enseignement

    Franais

    Page 36 / 43 - 05/02/2014

  • Responsable(s)

    Serge CHAUMETTE

    ALGORITHMIQUE DISTRIBUE (J1IN9