Descriptif de cours de spécialité Sup Galilée
Contents
1. Logique cours 10 5h TD 21h LOG Calcul des propositions syntaxe s mantique preuves calcul des s quents th or me d ad quation Calcul des pr dicats syntaxe s mantique preuves calcul des s quents th or me d ad quation Th orie des langages cours 15h TD 15h TL Automates tats finis et langages rationnels ou r guliers Expressions rationnelles ou r guli res Correspondance entre expressions rationnelles et automates tats finis Lemme de pompage ou de l toile Langages non rationnels Minimisation des automates Grammaires syntagmatiques Hierarchie de Chomsky Grammaire contextuelles et d cidabilit Grammaires lin aires et langages rationnels Grammaires et langages hors contexte ou CF Analyseurs d terministes Normalisation des grammaires CF Automate a pile et langages d terministes Parsage tabulaire U E Outils et projets Projet TP 40h PROJ e Introduction au cycle en V du d veloppement de logiciel e Phase de sp cification e Phase de conception e Phase d impl mentation et mise au point campagne de tests e Livraison du logiciel et soutenance Infographie cours 12h TD 12h TP 24h BD e Infographie 2D Trac de segments cercles et polygones Remplissage de polygones fen trage de polygones e Infographie 3D Notion sur les maillages maillage du cube du cylindre de la sph re tranala2. Ing nieurs 45 gt i Galil e Descriptif de cours de sp cialit Sup Galil e INFORMATIQUE Ann e 1 U E Outils Math matiques et Algorithmiques Voir description des cours communs scientifiques Algorithmique cours 19 5h TD 39h ALG e Notion d algorithmes calculs de complexit exemples avec les algorithmes de tri e Programmation dynamique e Algorithmes gloutons e Quelques algorithmes particuliers Karatsuba Strassen Rabin Karp Boyer Moore e Notions de NP compl tude r ductions simples U E Programmation Informatique de base cours 10 5h TP 21h INB e El ments de syntaxe e Structure d un programme e Structure de contr le e Fonction variable dur e de vie e Gestion de la m moire e Types de donn es pr d finis pointeurs num ration structure e Cha nes de caract res e Biblioth ques e Programmation modulaire e Gestion des entr es sorties Unix cours 12h TD 12h UNX G n ralit s sur le syst me Unix Introduction au syst me de fichiers disques r pertoires arborescence d nomination Quelques commandes de manipulation de fichiers et de r pertoires cr ation copie d placement changement de nom suppression Les processus Les interpr teurs de commandes G nie logiciel 1 cours 12h TD 12h GL1 Travail partir d tudes de cas dont il faut identifier les structures de donn es Ecritu
3. Hypertextes Adaptatifs cours 6h TP 9h HYP e Notions g n rales d adaptation adaptabilit adaptativit dans les hyperm dia e Cas de la personnalisation sur Internet e TP sur des flux RSS adaptatitifs en web 2 0 Traitement des Donn es Vocales cours 7h TD 7h TP 7h VOC e Production du signal sonore e Perception et psychoacoustique e Codage compression e Formats et supports e Pr traitement du signal de parole e Traitement du son e Spatialisation e Indexation e Emotion e Reconnaissance e _ Synth se e Biom trie Traitement des Donn es Visuelles cours 7h TD 7h TP 7h VIS e Rappels de traitement de signal et d estimation acquisition chantillonnage filtrage signaux al atoires estimation spectrale e Application aux donn es en particulier images et signaux biom dicaux d tection et restauration de signaux biologiques traitement d images m dicales reconstruction tomographique reconnaissance de formes compression de signaux biologiques Traitement Automatique des Langues cours 15h TD 5h TP 12h TAL e Pr sentation des techniques symboliques et num riques d analyse du contenu textuel bases de statistiques textuelles formalismes et m thodes pour l analyse morphologique syntaxique et s mantique notions de pragmatique et de dialogue pour la communication homme machine Les notions sont abord es en fon
4. analyse en composantes principales analyse des correspondances m thodes de classification ou de typologie e Les m thodes explicatives r gression multiple analyse canonique analyse discriminante e Les m thodes prospectives apprentissage partir de donn es minimisation du risque empirique ERM Consistance de l approche ERM dimension VC minimisation du risque structurel SRM algorithmes g n tiques r seaux de neurones artificiels Algorithmique Parall le et Distribu e cours 9h TD TP 9h APD e Le mod le PRAM Parallel Random Access Machine e La parall lisation automatique e La programmation MPI et OpenMP e l ments de parall lisme dans le processeur lecture anticip e e D ordonnancement e __ L algorithmique distribu e Projet de fin d tudes PFE e Le but de ce projet est pour les tudiants de d velopper un projet industriel en collaboration et de produire et pr senter l esquisse d une solution Stage Fin d tudes STA3 e __ Confier la r solution d un probl me concret un l ve ing nieur form aux disciplines classiques d une grande cole d ing nieur Eprouver au travers du projet les qualit s professionnelles et personnelles de l l ve R daction d un rapport complet et pr sentation du travail effectu lors d une soutenance U E Option Communication Homme Machine et Documents Electroniques
5. installation R diger un rapport complet Stage Technicien STA2 Stage de deux trois mois Ce stage doit contenir un travail de d veloppement informatique en quipe ou en groupe L tudiant travaille le plus souvent partir d une sp cification pr alable qu il peut tre amen faire voluer Id alement ce stage comprendra galement une tape de test validation et la r daction d une documentation utilisateur Ce stage est valu par une soutenance et un rapport Ann e 3 U E Tronc Commun S curit et Cryptographie cours 18h TD 18h CRYPT e Politiques et mod les de s curit informatique e G n ralit s sur les proc d s de chiffrement et outils math matiques pour la cryptographie e Proc d s de chiffrements clef secr te classiques e Notions d analyse fr quentielle des textes chiffr s e Th orie de l information de Shannon s curit inconditionnelle et entropie d un cryptosyst me e G n ralit s sur les proc d s de chiffrement par blocs it r s r seau de Feistel e Descriptions d taill es des standards modernes de cryptographie actuellement employ s DES IDEA AES e G n ralit s sur les cryptosyst mes clef publique e Description d taill e du proc d de chiffrement clef publique RSA Gestion des r seaux informatiques cours 15h TD 12h TP 18h RES2 Cours e Introduction e La couche R seau e Le routage da
6. objet en C Classes et instances donn es et m thodes d instances et de classes autor f rence constructeurs et destructeurs constructeur de copie fonctions amies Surcharge des op rateurs principes g n raux et cas particuliers D rivation et h ritage contr le des acc s constructeurs et destructeurs dans les d rivations d rivations multiples conversions et d rivations m thodes virtuelles et classes abstraites polymorphisme Flux et entr es sorties classes d finissant les flux flux et fichiers personnalisation des flux Mod les de fonctions et mod les de classes g n ricit en C des classes et des fonctions surcharges des mod les de fonctions Gestion des anomalies notion d exception et approche objet pour la gestion des erreurs discrimination et remont e d exceptions Programmation Logique cours 15h TD 15h TP 15h PLOG Rappels logique propositionnelle r solution propositionnelle correction et compl tude par r futation Rappels logique d ordre un forme normale conjonctive unification r solution correction et compl tude par r futation Le langage PROLOG mod le logique contr le non logique n gation Introduction l intelligence Artificielle recherche dans les arbres de jeux mod lisation et impl mentation en PROLOG d un jeu et d un algorithme de recherche dans un arbre de jeu Web s mantique et IA cours 18h TP 18h WSEM Les recommandat
7. ction des paliers d analyse linguistiques mais l tude de quelques applications phares montre leur compl mentarit Techniques de Manipulation de Documents Textuels cours 12h TD 12h TMDT Introduction Perl Analyse de documents textuels sp cialis s Extraction d entit s nomm es Segmentation en mots et en phrases Analyse morpho syntaxique Etiquetage morphosyntaxique lemmatisation Extraction de termes Acquisition de relations entre termes A cette occasion les tudiants sont amen s manipuler des outils de TAL existants la plupart du temps des prototypes issus de laboratoire de recherche et ou impl menter des algorithmes Gestion Electronique de Documents cours 9h TP 6h GED Formats de documents lectroniques Syst mes d dition de documents lectroniques Notions approfondies de XML balisage DTD feuille de style parser DocBook et TopicMaps XSL FO U E Option Aide la D cision et Optimisation Aide la d cision cours 18h TP 6h AD e Formulation par la Programmation Lin aire de probl mes de planification optimale production couverture de charge d cisions d achats e Formulation par la Programmation Lin aire en Nombres Entiers de probl mes de localisation optimale tudes de cas e Structuration de probl mes et r solution par Solveur Excel TP e __ Ordonnancement de projet construction du graphe calcul des calend
8. essage sous r seaux routage direct Base de Donn es Avanc es cours 18h TD 12h TP 12h BDA D veloppement applications avanc es de Bases de Donn es SQL avanc PL SQL UML et SQL2 SL3 Int grit S curit des Donn es et Administration Optimisation DataWareHouse Ing nierie des Connaissances cours 18h TP 18h IC Historique de la mod lisation des connaissances en IA Les syst mes experts Acqu rir et mod liser des connaissances les diff rentes approches L acquisition de connaissances partir de textes Probl matiques enjeux m thodes et outils Formaliser des connaissances Logiques du premier ordre r seaux s mantiques logiques de description Les ontologies et le web s mantique Historique de la notion d ontologie D veloppement d exemples montrant les probl mes autour de la construction d ontologies Pr sentation d applications utilisant ces ontologies dans le cadre du web s mantique Puis 4 s ances de TD sur machines visant faire manipuler un logiciel de construction d ontologies partir de textes et contruire une ontologie de domaine Administration Syst mes cours 18h TP 18h ADSYS Installation et configuration de stations de travail et de serveurs Gestion de syst mes de fichiers Proc dures d amor age de syst me Installation de logiciels Administration de la s curit et des utilisateurs Sauvegardes et reprises d
9. initions e Repr sentation des graphes e Parcours des graphes e Probl mes de meilleurs chemins e Arbres couvrants e Flots dans les graphes Programmation Lin aire cours 18h TD 18h TP 12h PL La th orie de la programmation lin aire et les algorithmes de r solution e Introduction e Mod lisation et d finitions e Rappels d alg bre lin aire e Algorithme primal du simplexe e Algorithme dual du simplexe e Dualit e Analyse de sensibilit Programmation Fonctionnelle cours 15h TD 15h TP 15h PFONC Un paradigme de programmation non imp rative la programmation fonctionnelle et ses bases th oriques le lambda calcul e Bases de lambda calcul e Algorithme d inf rence de types Hindley Milner e Langage CAML e Transformations et preuves de programmes e Algorithmes de ramasse miettes U E Outils G nie Logiciel Avanc cours 18h TD 18h GLA Descriptions structur es de cas d utilisation UML M thode de sp cification formelle des syst mes dynamiques s appuyant sur la description des cas d utilisation M thode de sp cification des propri t s des syst mes dynamiques R seaux de Petri places transitions amp m thode de sp cification Introduction aux r seaux color s Programmation objet C cours 18h TP 18h C La programmation objet et le langage C Du C au C volution du C diff rences pour les fonctions approche
10. ions du W3C les enjeux du WS XML DTD XSD RDF RDPFS SPARQL OWL Utilisation pratique en ligne et hors ligne U E Fondamentaux Optimisation Combinatoire cours 18h TD 18h TP 12h OC Mod liser des probl mes en termes de Programmes Lin aires en Nombres Entiers PLNE savoir calculer des bornes inf rieures et sup rieures la solution optimale et pour des cas simples savoir trouver la valeur optimale et la solution optimale D finitions et Mod les Dualit et application au probl me du transport Relaxations lin aire lagrangienne agr g e etc M thode de s paration et valutation M thode dite cutting planes Programmation Dynamique Heuristiques gloutonne lagrangienne et meta heuristiques R seaux 1 cours 18h TD 13 5 TP 8 RES1 Introduction aux r seaux D finition de base types de r seaux Hi rarchie protocolaires le mod le en couches OSI le mod le TCP IP La couche physique M diums de transmission topologies Codages modulations num risation Le sous couche MAC Multiplexages temporel et fr quentiel Les m thodes d acc s al atoires CSMA CD et CSMA CA La sous couche gestion de liaison de donn es D tection et correction des erreurs m canismes de contr le de flux Exemple d un protocole liaison HDLC R seaux Ethernet et WiFi Interconnexion des r seaux locaux Le spanning tree ARP Introduction IP adr
11. ns l Internet RIP OSPF e La couche Transport e La couche Application e Les services R seaux DHCP NAT Firewall TPs Configuration de routeurs CISCO 1841 pour e Mettre en place un routage Statique e Mettre en place un routage RIP e Mettre en place un routage OSPF e Mettre en place un serveur DHCP NAT et Firewall Compilation cours 15h TD 15h COM e Introduction et discussion des phases de compilation d un langage de programmation e Analyse lexicale Langages rationnels Outils pour la g n ration automatique d un analyseur lexical lex ou flex e Analyse syntaxique Grammaires hors contexte Analyse descendante et analyse ascendante Pr c dence des op rateurs Parsage LR Outils pour la g n ration automatique d un analyseur syntaxique yacc ou bison e Attributs et traduction directe par la syntaxe Analyse s mantique e Infrastructure d ex cution Table des symboles Organisation de la m moire e G n ration de code Code interm diaire et code cible Optimisation de code Programmation Web Avanc e cours 10 5h TD TP 18h PWA e Structure et composants d un service Web e Librairies pour l Analyse du XML DOM SAX JAXP e Librairies pour client serveur Web Javascript PHP AJAX JSP e Environnements de d ploiement J2EE JSP Beans Hibernate etc Traitement Informatique des Donn es cours 18h TD TP 18h TID e Les m thodes descriptives
12. re modulaire de sp cifications simples ou instances de g n riques Architecture des Ordinateurs cours 19 5h TD 27h TP 12h ARC Le jeu d instruction de MIPS instructions formats modes d adressage Le co processeur flottant La hi rarchie de la m moire caches m moire virtuelle Circuits logiques contr le et assemblage du chemin de donn es Parall lisme d instructions Analyse de performance Quelques notions sur les entr es sorties et les interruptions Syst me d exploitation cours 19 5h TD 19 5h TP 19 5h SYS Syst me de fichiers Gestion des processus Les threads Communication inter processus Synchronisation des processus Interblocage Ordonnancement des processus Gestion de la m moire M moire virtuelle U E Outils formels S mantiques des langages de programmation cours 13 5h TD 13 5h SEM Introduction D finition d un langage while d exemple S mantique op rationnelle s mantique naturelle s mantique op rationnelle structurelle Impl mentations prouvablement correctes machines abstraites correction S mantique d notationnelle style direct th orie des pointes fixes Mod lisation cours 19 5h TD 19 5h MOD Mod lisation en langage UML Propri t s exprim es en OCL Structuration partir des sch mas de probl me Problem Frames et de sch mas de diagrammes UML associ s aux sch mas de probl me
13. riers de dates au plus t t au plus tard marges totales et libres t ches critiques pilotage et diagrammes de Gantt e D finition des probl mes multi crit re et multi objective d finition de r gion de Pareto et compr hension de la fonction d utilit ou fonction valeur e Probl me multi objectifs les diff rentes m thodes pour trouver la r gion de Pareto dans le cas g n rale et en particulier pour le probl me connu sur le nom de MOCO Multi Objective Combinatorial Optimization e Probl me multi crit res leurs application et les m thodes pour les traiter AHP Analityc Hierarchy Process Electre II et III et Naiade e R solution des exercices a l ordinateur pour des probl mes continus comme le probl me du sac dos et le set covering et sur des probl mes discrets Optimisation et Logiciels cours 9h TP 12h OPL e Pr sentation et utilisation de solveurs Cplex X Press et de modeleurs OPL AMPL du commerce e Pr sentation et utilisation de solveurs COIN OR Glpk LP solve Abacus et modeleurs OptimJ du domaine libre e Comparaison de l utilisabilit et de la r utilisabilit de la performance et de l interactivit saisie visualisation de ces outils logiciels Planification et Contraintes cours 12h TP 9h PC e Mod les et m thodes de r solution de probl mes ordonnancement tourn es localisation gestion de la cha ne logistique Supply Chain e Introd
14. tion et rotation de maillage Affichage elementaire d un maillage detection des partie cach e algorithme du z buffer lumi re et texture Base de donn es cours 18h TD 18h TP 18h BD e Mod lisation Entit Association e Mod le relationnel d pendances fonctionnelles et normalisation e Alg bre relationnelle donn es contraintes dictionnaire des donn es peuplement d une base de base de d finition et manipulation de vues e SQL Langage de d finition de donn es cr ation et mise jour du sch ma d une base de donn es et langage de manipulation de donn es requ tes SQL simples et imbriqu es Programmation Orient e Objet cours 10 5h TD 10 5h TP 15h POO e Type primitifs de Java e Structure d un programme java e Les op rateurs et les expressions e Les instructions de contr le e Les classes et les objets e Les tableaux e L h ritage e Gestion des exceptions e Les entr es sorties e Les threads e Les collections et algorithmes e Programmation g n rique Stage d couverte entreprise STA1 e Stage d un mois non technique de d couverte de l entreprise Ce stage est valu par une soutenance et un rapport Ann e 2 U E Algorithmique Algorithmique de Graphes cours 18h TD 18h GRAP Mod liser des probl mes par des graphes et les r soudre algorithmiquement e Introduction e Notions l mentaires et d f
15. u syst me L installation et la configuration de diff rents services sont pass es en revue gestion centralis e des utilisateurs NIS NIS LDAP r solution d adresses DNS messagerie syst me de fichiers en r seau NFS Samba service d impression serveurs de temps sauvegarde bandes r seau de sauvegarde mise en place de pare feu etc Interfaces graphiques cours 12h TP 24h IG D veloppement d interfaces graphiques avec Java Swing Rappels Java classes contr le des acc s classes internes m thodes anonymes flots d entr e sortie Construction d interfaces graphiques et fen tr es avec Swing objets primitifs et gestionnaires d affichage menus barre de menus barres d outils dialogues D veloppement d applications graphiques comment dessiner El ments de contr le disposition et pr sentation Gestion des v nements Gestion d animations dessins images et threads d animation U E Projets Projet PR Aborder une r alisation dans un domaine ventuellement nouveau d velopper le projet depuis la description UML jusqu au codage et test Pr senter le projet dans un rapport et dans une pr sentation orale Travail en quipe Comprendre le projet demand reformulation l analyser valuer les difficult s techniques donner une description UML puis fournir une architecture de conception de d tail et le code Fournir un manuel utilisation un manuel d
16. uction la Programmation Par Contraintes PPC Choco un syst me de PPC crit enti rement en Java disponible en open source et support par KLS OPTIM CHIP un syst me de PPC d velopp par COSYTEC e Travaux pratiques sur des exemples d applications issues de l industrie e Strat gies et heuristiques pour le calcul de solutions de qualit R solution de probl mes de grande taille cours 15h TP 6h RPGT e Probl mes de grande taille D composition de Dantzig Wolfe g n ration de colonnes application au probl me de d coupe industrielle Cutting Stock Problem e __ M taheuristiques heuristiques gloutonnes heuristiques de r paration am lioration locale m taheuristiques monosolution m thode de recherche tabou m thode de recherche voisinages variables recuit simul m taheuristiques bas es sur une population de solutions algorithmes g n tiques et recomposition de chemins Etude de cas cours 30h EC e Conf rences Industrielles Air Liquide GDF Suez IBM SNCF Eurod cision Orange Labs Schneider Electric Industries EDF
Download Pdf Manuals
Related Search