Formation d ingénieur Département Informatique & Mathématiques Appliquées Programme de deuxième année

Dimension: px
Commencer à balayer dès la page:

Download "Formation d ingénieur Département Informatique & Mathématiques Appliquées Programme de deuxième année"

Transcription

1 2 e année Département Informatique & Mathématiques Appliquées Année universitaire juin 2012 Formation d ingénieur Département Informatique & Mathématiques Appliquées Programme de deuxième année Année universitaire Unité d Enseignement responsable semestre Tronc commun Intergiciels D. Hagimont 7 Systèmes concurrents P. Quéinnec 7 Bases de connaissances F. Evrard 8 Génie du logiciel et des systèmes M. Pantel 7 Graphes et recherche opérationnelle F. Evrard 7 Optimisation D. Ruiz 7 Sciences Humaines Sociales et Juridiques S7? 7 Sciences Humaines Sociales et Juridiques S8? 8 Parcours informatique Méthodes formelles X. Thirioux 8 Architecture des ordinateurs II R. Guivarch 8 Sémantique et traduction des langages M. Gandriau 8 Systèmes temps réel et multimédia JL. Scharbarg 8 Parcours imagerie et multimédia Image, modélisation et rendu P. Marthon 8 Traitement des données audio-visuelles V. Charvillat 8 Éléments d analyse numérique G. Morin 8 Systèmes temps réel et multimédia JL. Scharbarg 8 Parcours Modélisation et simulation numérique Mesure, intégration, distributions P. Altibelli 8 Equations aux dérivées partielles S. Gratton 2 Contrôle optimal et algèbre linéaire creuse P. Amestoy 8 Éléments d analyse numérique G. Morin 8 1

2 sigle signification effectifs (en général) C cours promo ou parcours entier CTD cours-td 1/4 promo complète TD travaux dirigés 1/4 promo complète TP travaux pratiques 1/8 promo complète BE bureau d études (évalué) E examen écrit proj projet évalué (seul ou en groupe) 2

3 Table des matières 1 Unité d enseignement Intergiciels 4 2 Unité d enseignement Systèmes concurrents 6 3 Unité d enseignement Bases de connaissances 7 4 Unité d enseignement Génie du logiciel et des systèmes 9 5 Unité d enseignement Graphes et Recherche opérationnelle 11 6 Unité d enseignement Optimisation 13 7 Unité d enseignement Sciences Humaines Sociales et Juridiques, semestre Unité d enseignement Méthodes Formelles 19 9 Unité d enseignement Architecture des ordinateurs Unité d enseignement Sémantique et traduction des langages Unité d enseignement Systèmes temps réel et multimédia Unité d enseignement Image, modélisation et rendu Unité d enseignement Traitement des données audio-visuelles Unité d enseignement Eléments d Analyse Numérique Unité d enseignement Mesure, Intégration, Distributions Unité d enseignement Équations aux dérivées partielles Unité d enseignement Contrôle optimal et algèbre linéaire creuse Unité d enseignement Sciences Humaines Sociales et Juridiques 39 3

4 1 Unité d enseignement Intergiciels Code IMA-2A-INT Mots clés intergiciels, communication par messages, client-serveur, réplication, applications web dynamiques Responsable Daniel Hagimont Intervenants Daniel Hagimont, Laurent Broto Objectifs Étudier les concepts et outils de construction d application réparties. Etudier les outils de construction de serveurs Web dynamique. Prérequis Programmation modulaire impérative Programmation par objets et événements Telecom et réseaux Systèmes d exploitation Systèmes concurrents Contenu Intergiciels de base la communication sur le réseau avec des sockets le modèle client-serveur et l appel de procédure à distance (RPC, RMI, Web services) les intergiciels à messages (JMS) les systèmes à mémoire dupliquée Intergiciels pour applications Web les protocoles du Web les servlets les Enterprise Java Bean (EJB) les couches de persistence (JDBC, JPA) les Web services Volume horaire Contrôle des connaissances Crédits ECTS 5 (en séances d 1h45) 11 C, 6 TD, 12 TP, 1 E Session 1 examen écrit 1h45 tous 70% Projet 30% Session 2 examen écrit 1h45 tous 100% Bibliographie Distributed Systems - Concepts and Design Fifth Edition (George Coulouris, Jean Dollimore, Tim Kindberg and Gordon Blair, published by Addison Wesley, May 2011) 4

5 Enterprise JavaBeans 3.1, 6th Edition Head First Servlets & JSP 5

6 2 Unité d enseignement Systèmes concurrents Code IMA-2A-SC Mots clés Parallélisme, processus concurrents, sémaphores, moniteurs, transactions, calcul parallèle Responsable Philippe Quéinnec Intervenants Patrick Amestoy, Alfredo Buttari, Daniel Hagimont, Philippe Mauran, Philippe Quéinnec Objectifs Étudier les concepts de la programmation parallèle et concurrente principalement dans un contexte centralisé. Prérequis Programmation modulaire impérative Programmation par objets et événements Systèmes d exploitation Intergiciels (pour le projet) Contenu la problématique de la synchronisation des processus l exclusion mutuelle les objets de synchronisation : sémaphore les objets de synchronisation : moniteur les API usuelles (java, C) interblocage et autres problèmes la synchronisation par communication (CSP, ada) transactions et mémoires transactionnelles synchronisation non bloquante calcul parallèle : openmp, GPGPU Volume horaire Contrôle des connaissances Crédits ECTS 5 (en séances d 1h45) 12 C, 4 TD, 13 TP, 1 E Session 1 examen écrit 1h45 tous 50% BE 4h00 tous 20% Projet 30% Session 2 examen écrit 1h45 tous 70% BE 4h00 tous 30% Bibliographie Techniques de synchronisation pour les Applications Parallèles (G. Padiou, A. Sayah - Cépadues Editions) Programming with POSIX threads (D. Butenhof - Addison-Wesley) 6

7 3 Unité d enseignement Bases de connaissances Code IMA-2A-BDC Mots clés Logique de prédicats, programmation logique, bases de connaissances et logiques non classiques. Langages logiques de représentation des connaissances, de requêtes et de raisonnements. Responsable Fabrice Evrard Intervenants Fabrice Evrard, Pascal Ostermann Objectifs Ce module est à cheval sur la théorie traditionnelle des bases de données et sur la notion de connaissance, relevant de l intelligence artificielle. En bases de données, l emphase est mise sur la donnée, qui doit être comprise du concepteur et des utilisateurs. Leur manque de culture commune impose des modèles et langages simples, voire simplistes : entité-association, modèle relationnel, langage SQL... Cette "simplicité" permet d aborder certains problèmes incontournables (aspect multiutilisateurs, définition de vues, confidentialité... et surtout cohérence) via l étude de la normalisation relationnelle. Le cadre plus ambitieux de l intelligence artificielle permet de supposer que le concepteur comprend toutes les connaissances, ou du moins que les concepteurs on ne peut plus parler d utlisateurs lambda parlent un langage commun. Seront donc présentés des modèles appropriés (ontologies, toile sémantique...) ainsi que des approches (Prolog, logiques modales, non monotones, etc) permettant de raisonner dans ce contexte (bases de données déductives). Prérequis Logiques classiques propositionnelle et des prédicats (syntaxe, sémantique, axiomatique, décidabilité) Contenu 1. Module base de données Les bases de données usent volontiers de modèles (entité-association, relationnel) et de langages (calcul et algèbre relationnels, SQL) simplistes. Cela n y rend pas si aisée la représentation d un univers plus complexe ; mais permet de mettre en valeur les problèmes liés au stockage informatique de fichiers (cohérence, confidentialité, etc, et surtout redondance) via la théorie de la normalisation : dépendances fonctionnelles et multi-valuées, forme normale de Boyce-Codd, troisième et quatrième forme normale... Essentiellement théorique, cette étude se conclura, en travaux pratiques, par une brève présentation des principaux outils de technique des fichiers : tables de hachage et index. Total : 6 C, 5 TD, 3TP, 1 E 2. Module Programmation logique Rappels de logique des prédicats du 1er ordre (LPO) et aperçus des logiques d ordre supérieur Programmation logique, preuves linéaires, langage Prolog, résolution de problèmes 7

8 Problèmes de représentation des connaissances mal gérés par LPO Logiques modales (déontique, temporelle, épistémique) et aspects de la connaissance Logiques multimodales d ordre quelconque (le cas intensionnel) Logiques multivalentes (multivaluée, floue, possibiliste) et connaissances incertaines, imprécises Logiques non monotones (des défauts, auto-épistémique) et connaissances incomplètes Logiques dynamiques (programmes, langage naturel) Approches des ontologies, du web sémantique et des systèmes d informations Bases de données déductives et Frame-logic, logique des descriptions, F-logic, FLORA-2, WSML, SWSL... Total : 10 CTD, 4 TP, 1 E Volume horaire (en séances d 1h45) 6 C, 10 CTD, 5 TD, 7 TP, 2 E Contrôle des connaissances Crédits ECTS 5 Session 1 BD : examen écrit 1h45? 50% Prog.logique : examen écrit 1h45 oui 25% Prog.logique : projet 15j oui 25% Session 2 BD : examen écrit ou oral 1h45? 50% Prog.logique : examen écrit 1h45 oui 50% ou (exclusif), décidé par le responsable du cours Prog.logique projet 7j oui 50% Bibliographie D.M. Gabbay & F. Guenthner Editors, Handbook of philosophical logic, 2nd edition, Kluwer Academic Publishers Paul Gochet & Pascal Gribomont, Logique. Vol. 1 : méthodes pour l informatique fondamentale, Paris, Hermès, 1990, Vol. 2 : méthode formelle pour l étude des programmes, Paris, Hermès, 1994, Vol. 3 : méthodes pour l intelligence artificielle, Paris, Hermès, 2000 L. Sterling, E. Shapiro, The Art of Prolog, 2nd ed, MIT Press, 1994 W. F. Clocksin, C. S. Mellish, Programming In Prolog, 5th ed, Springer-Verlag, I. Bratko, Prolog Programming for Artificial Intelligence, 3rd ed, Addison-Wesley, 2001 Tharam S. Dillon, Elizabeth Chang, Robert Meersman, Katia Sycara Editors, Advances in Web Semantics I : Ontologies, Web Services and Applied Semantic Web, Springer,

9 4 Unité d enseignement Génie du logiciel et des systèmes Code IMA-2A-GLS Mots clés Génie logiciel, Patrons de conception, Validation et Vérification, Ingénierie dirigée par les modèles, Ingénierie Systèmes Responsable Marc Pantel Intervenants Marc Pantel, Xavier Crégut Objectifs Étudier les concepts de l ingénierie du logiciel et des systèmes. Découvrir et mettre en pratique les patrons de conception et l ingénierie dirigée par les modèles. Prérequis Programmation fonctionnelle Programmation modulaire impérative Programmation par objets et événements Outils Mathématiques pour l Informatique Systèmes centralisés Contenu Modèles de cycle de vie du logiciel Patrons de conception Techniques de validation et vérification Technologies de tests Introduction aux réseaux de Petri et à la logique temporelle Principes de l ingénierie dirigée par les modèles Métamodélisation Syntaxes concrètes textuelles et graphiques Transformations de modèles et génération de texte Outils : Eclipse Modeling Framework, TMF, GMF, Acceleo, ATL Ingénierie système Langage SysML Volume horaire Contrôle des connaissances Crédits ECTS 5 (en séances d 1h45) 11 C, 8 TD, 10 TP, 1 E Examen, BE et Projet Session 1 examen écrit 1h45 aucun 40% BE 10h00 tous 20% Projet tous 40% Session 2 examen écrit 1h45 aucun 60% BE? 10h00 tous 40% Bibliographie 9

10 Sommerville, Ian (2007) [1982]. Software Engineering (8th ed.). Harlow, England : Pearson Education. ISBN Gamma, Erich ; Richard Helm, Ralph Johnson, and John Vlissides (1995). Design Patterns : Elements of Reusable Object-Oriented Software. Addison-Wesley. ISBN Model-Driven Software Development : Technology, Engineering, Management (Wiley Software Patterns Series) Thomas Stahl, Markus Voelter, ISBN Requirements Engineering : From System Goals to UML Models to Software Specifications (Wiley Software Patterns Seris) Axel van Lamsweerde ISBN

11 5 Unité d enseignement Graphes et Recherche opérationnelle Code IMA-2A-GRO Mots clés Théorie des graphes, Recherche opérationnelle, Recherches heuristiques, Problèmes de satisfaction de contraintes, Processus stochastiques. Responsable Fabrice Evrard Intervenants F.Evrard, P.Marthon, P.Ostermann. Objectifs Prérequis Contenu La théorie des graphes est une branche des Mathématiques discrètes étudiée et développée tant du point de vue de l informatique (algorithmique, réseaux, systèmes d informations...) que des mathématiques (optimisation combinatoire, probabilité, algèbre...). Son objectif est l étude des méthodes d analyse des objets de cette théorie et leurs interactions. On y étudie aussi bien les méthodes de recherche de solutions basées sur des heuristiques que de solutions devant satisfaire un ensemble de contraintes. Ses applications dans tous les domaines liés à la notion de réseau (réseau social, réseau informatique, télécommunication, génétique...) sont nombreuses tant le concept de graphe est général. C est un outil de choix pour la recherche opérationnelle dont l objectif est l aide à la décision. Elle propose des modèles conceptuels pour analyser des situations complexes et aussi des solutions pour permettre aux décideurs de faire les choix les plus efficaces. Le domaine est ainsi fortement lié à l ingénierie des systèmes. Par ailleurs, si l on peut observer des phénomènes d évolution temporelle analysables par un calcul des probabilités alors on a affaire aux processus stochastiques. Leurs applications sont innombrables, en physique ou ailleurs : les files et les réseaux d attente, la théorie de la fiabilité des systèmes, les processus browniens, les processus épidémiologiques (propagation d infections), les processus météorologiques, les processus boursiers, etc. Volume horaire Contrôle des connaissances Crédits ECTS 5 (en séances d 1h45) 19 CTD, 10 TP, 1 E Session 1 examen écrit 1h45 documents de cours 40% mini-projet 1? any 30% mini-projet 2? any 30% Session 2 Idem à la session 1. Bibliographie Claude Berge - Graphes et hypergraphes, Dunod, Michel Gondran, Michel Minoux - Graphes et algorithmes, Eyrolles,

12 Dominique de Werra, Thomas M. Liebling et Jean-François Hêche. Recherche opérationnelle pour ingénieurs - Presses polytechniques et universitaires romandes Krzysztof Apt, Principles of constraint programming, Cambridge University Press, 2003 Judea Pearl - Heuristique, Cepadues-Editions,

13 6 Unité d enseignement Optimisation Code Mots clés Responsable Daniel Ruiz Intervenants Daniel Ruiz, Serge Gratton Objectifs L objectif de ce module est d introduire les outils mathématiques théoriques permettant de caractériser les minima (ou maxima) locaux et/ou globaux d une fonction à valeur réelle, avec la prise en compte éventuelle de contraintes sur l espace des états. A partir de ces aspects théoriques généraux, nous développerons divers algorithmes pour l optimisation numérique, et nous étudierons leurs propriétés telles que la convergence globale, la vitesse de convergence, etc. D un point de vue pratique, ces algorithmes seront implémentés dans le cadre de travaux partiques sur ordinateur, et testés sur divers problèmes particuliers. Prérequis Contenu 1. Théorie (a) Nous considèrerons en premier lieu la modélisation des problèmes d optimisation, qui sera présentée sur la base de nombreux exemples issus de la physique, de la biologie, ou de problèmes en économie ou mathématique financière. Ce premier chapitre permettra notamment de donner une première classification des problèmes d optimisation, et d introduire les diverses classes de méthodes algorithmiques associées. (b) A partir des résultats théoriques vus en calcul différentiel et en topologie, nous développerons les outils mathématiques permettant de statuer quant-à l existence et l unicité des solutions d un problème d optimisation, et nous introduirons les premiers résultats mathématiques relatifs à la caractérisation de ces solutions. (c) Nous développerons ensuite les conditions de Karush-Kuhn-Tucker-Lagrange relatives à la caractérisation des optima d une fonction sous contraintes. Ces résultats théoriques sont basés sur des concepts géométriques particuliers, tels que le cône des directions admissibles en un point du domaine des contraintes, et nous analyserons ces aspects géométriques en détail dans la construction de ces résultats mathématiques. 2. Algorithmes (a) Nous détaillerons deux types d algorithmes pour l optimisation numérique avec dérivées, l un pour des problèmes sans contraintes, et l autre avec contraintes. Dans les deux cas, nous étudierons la convergence de ces algorithmes et nous nous intéresserons à certains aspects pratiques tels que le choix de critères d arrêt pertinents, la mise à l échelle des variables du problème... 13

14 3. Les étudiants auront l opprtunité de se familiariser en profondeur avec l ensemble des résultats présentés dans le cadre de séances de travaux dirigés, dans lesquels seront abordées les questions de modélisation ainsi que les conditions d optimalité sur la base de problèmes d optimisation pratiques variés. Un volume conséquent de travaux pratiques permettra en outre aux étudiants de mettre en oeuvre des méthodes numériques (Newton, Gauss-Newton) et de les tester pour le traitement de problèmes de moindres carrés non linéaires, ainsi que sur des problèmes d optimisation plus généraux avec contraintes. Nous aborderons aussi, dans ces travaux pratiques, la question particulière du calcul des dérivées ainsi que de leur approximation, qui est un point central pour l efficacité des algorithmes d optimisation numérique considérés. Volume horaire Contrôle des connaissances Crédits ECTS 5 (en séances d 1h45) 13 C, 6 TD, 10 TP, 1 E Session 1 examen écrit 1h45 une page A4 manuscrite recto verso 50% travaux pratiques contôle continu 40% travaux pratiques rapport écrit 10% Session 2? Bibliographie Numerical Optimization, Jorge Nocedal, Steve Wright, 2006 Introduction à l optimisation différentiable, Michel Bierlaire, 2006 Trust-region methods, Andrew R. Conn, Nicholas I. M. Gould, Philippe L. Toint,

15 7 Unité d enseignement Sciences Humaines Sociales et Juridiques, semestre 7 Code Mots clés NIC-SHSJ Sport Activité physique & sportive, Compétences sociales, Santé, Savoir-être Droit social Droit social, gestion des ressources humaines. Simulation de Gestion Entreprises SIGES décisions manageuriales, stratégie, tableaux de bord de gestion, prise de décision collective. Projet professionnel Projet professionnel et personnel, marché de l emploi, compétence, expériences. Responsable Langue 1 Hull Alexandra Langue 2 Hull Alexandra Sport Migeon Pascale Droit social Simulation de Gestion Entreprises SIGES Gasquet Marcel Projet Professionnel Mme Estadieu Geneviève Intervenants Objectifs Langue 1 Lake Peter Langue 2 Blanco Andre, Lessing Barbara Sport Migeon Pascale, Prat Emilie, Pratviel Olivier Droit social Simulation de Gestion Entreprises SIGES Teychenie Francoise et Gasquet Marcel Projet Professionnel Mme Estadieu Geneviève Langue 1 Développer les capacités de communication professionnelle écrite et orale dans le cadre de joutes oratoires. Langue 2 Les niveaux d entrée des élèves étant très hétérogènes, les objectifs peuvent être variables : le niveau A2 pour les débutants le niveau B1 (niveau minimal) pour les autres Sport La pratique régulière d Activités Physiques et Sportives contribue au développement des capacités physiques et mentales, élargit le champ des connaissances relatif au sport, à soi même, aux autres, trace un chemin vers une vie équilibrée et harmonieuse. Les pratiques physiques constituent un moyen de formation puisqu elles conduisent l étudiant à construire et réactualiser les deux types de compétences poursuivies : Techniques et spécialisées 15

16 Prérequis Contenu Transversales et transférables La poursuite de ces objectifs contribue pleinement à la formation de l étudiant futur ingénieur-citoyen parce que leur intérêt réside dans leur possibilité de transfert à d autres domaines de la vie ; personnelle et professionnelle. Droit social Présentation de l organisation, des responsabilités et des missions de la fonction de gestion des ressources humaines. Simulation de Gestion Entreprises SIGES Initiation pratique aux grandes fonctions de l entreprise et à leurs interactions, apprentissage à la prise de décision collective. Projet Professionnel Amener les étudiants 2eme année à réaliser leur projet professionnel au regard du marché de l emploi en prenant en compte leur formation, leur recherche à propos des métiers et leurs compétences. Droit social Simulation de Gestion Entreprises SIGES Projet Professionnel Repérer toutes ses expériences professionnelles et personnelles afin que les étudiants identifient leurs atouts. Être réceptif à toutes les opportunités et aux évolutions des entreprises. Se préparer à investir du temps, de la persévérence, de l énergie. Accepter de passer de l idée au projet puis du projet à l action et se fixer des devoirs. Langue 1 Tâche 1 : Joutes oratoires Tâche 2 : Commentaire écrit Tâche 3 : Entretien d embauche Tâche 4 : Savoir être professionnel Langue 2 La LV2 obligatoire est choisie à l entrée à l école et reste la même pendant tout le cursus jusqu au diplôme. Au choix : allemand, chinois, espagnol, japonais, italien, portugais, russe et français (pour les étudiants étrangers uniquement). Sport En 2ème année la santé reste centrale, s ajoutent au contenu d enseignement, d autres connaissances transférables tout au long de la vie tant sur le plan personnel que professionnel ; elles sont multiformes : Concernent les Activités Physiques par la compréhension des logiques internes et la critique des pratiques. Concernent les connaissances sur soi même, sur les autres et sur le savoir être ici définit comme un ensemble d activités par lesquelles une personne manifeste non seulement sa façon d appréhender sa propre personne (le concept de soi), les autres, les situations et la vie en général, mais aussi sa façon d agir ou de réagir. Autrement dit : Capacités physiques (Force, Vitesse, Endurance, Souplesse... ) Capacités mentales (gestion de son affectivité, de ses émotions... ) Compétences techniques (auto-évaluation de ses savoirs-faire... ) 16

17 Prise de responsabilité dans la gestion humaine et matérielle de son activité. Apprentissage des «savoir faire faire». Réactions des partenaires, adversaires, spectateurs etc. Appréhender les activités comme des facteurs d intégration et de mixité culturelle et sociale. Capacités de travailler en équipe, à communiquer, à établir des relations de confiance. L Education Physique devient un lieu dans lequel, en plus de parfaire sa culture sportive, l élève se met en jeu pour Agir ; c est à dire faire face à l imprévisibilité, réaliser, innover, prendre des risques, s engager, savoir parfois s imposer, composer avec d autres, conduire un projet, animer une équipe. Droit social Recrutement (Annonces, Salons, Cabinets de recrutement, contrat de travail, clauses particulières...). Gestion des carrières (Entretiens annuel d appréciation, GPEC, Plan de formation...). Politique de rémunération (NAO, gestion de la masse salariale, opérations salariales). Droit social (Code du travail, convention collective, accord d entreprise...). Les Instances Représentatives du Personnel (DP, CE, CHSCT...). Dossiers contentieux (individuels et collectifs). Simulation de Gestion Entreprises SIGES Présentation de l environnement économique de la simulation / Découverte de l entreprise à gérer. Gestion virtuelle de l entreprise : définition des objectifs stratégiques. fixation du marketing mix. prévisions budgétaires (coût de production, coût de revient, marge,...). prévisions financières (résultat, trésorerie). diagnostic financier périodique. Synthèse : rapport de gestion oral avec analyse des points forts/faibles de chaque société. Projet Professionnel Repérer des secteurs d activités susceptibles de les intéresser, à l aide de fiches métiers, articles de presse, sites internet. Connaître les organismes capables de renseigner les étudiants : APEC, Pôle emplois Cadres, AIN7, Bureau des Relations Internationales de l ENSEEIHT, l AFIJ. Apprendre à valoriser leurs compétences (ensemble des savoirs en usages). Créer un réseau de professionnels capables de renseigner les étudiants. Valider leur projet professionnel au regard du marché de l emploi. Volume horaire Langue 1 13 TD Langue 2 13 TD Sport 13 TD 17

18 Droit social 6 C, 1 E Simulation de Gestion Entreprises SIGES 2 C + 8 TD + 1 E Projet Professionnel 1 C + 2 TD Crédits ECTS 6 Contrôle des connaissances Session 1 Langue 1 contrôle continu oral 6,25% examen écrit 6,25% examen oral 6,25% projet 6,25% Langue 2 contrôle continu écrit 6,25% contrôle continu oral 6,25% examen écrit 6,25% projet 6,25% Sport 17% Droit social examen écrit 1h45 8% Simulation de Gestion Entreprises SIGES contrôle continu 17% Projet Professionnel projet 8% Session 2 Idem session 1 Bibliographie Droit social Simulation de Gestion Entreprises SIGES Projet Professionnel Journaux d actualités et la presse spécialisée en informatique Base de données Factiva (voir bibliothèque de l ENSEEIHT) Méthode Déclic pour construire votre projet professionnel, l APEC, Édition d Organisation 18

19 8 Unité d enseignement Méthodes Formelles Code Mots clés Systèmes de transitions. Logiques temporelles. Vérification. Spécification. Simulation. Bisimulation. Raffinement de modules. Responsable Xavier Thirioux Intervenants Xavier Thirioux, Philippe Quéinnec, Aurélie Hurault, Adrien Champion Objectifs Représenter formellement un système informatique isolé/autonome et ses exécutions à travers la notion de système de transitions. Spécifier les propriétés comportementales d un tel système dans une logique temporelle. Comprendre les notions générales de raffinements de programmes non isolés/autonomes, d environnement et d événements observables. Comparer les systèmes et leurs exécutions à travers les relations fondamentales de simulation et bisimulation. Comprendre la relation de raffinement entre spécification et implantation, à travers la notion de module. Utiliser un outil de modélisation formelle et de vérification automatique (TLA+) afin d illustrer ces notions et de vérifier les propriétés des systèmes. Prérequis Programmation Impérative. Programmation Fonctionnelle. Outils Mathématiques pour l Informatique. Systèmes Concurrents. Contenu 1. Première partie : systèmes isolés (a) Systèmes de transitions. Traces et exécutions. (b) Notion d équité des exécutions. (c) Spécification en logique(s) temporelle(s). Linear Temporal Logic et Computational Tree Logic. (d) Introduction aux techniques de vérification de modèles. 2. Seconde partie : systèmes ouverts Volume horaire (a) Notion générale de raffinement. Systèmes de transitions étiquetés. Environnement. Evénements (non-)observables. (b) Relations de simulation et de bisimulation. Prise en compte des événements non-observables. (c) Notion de module et sémantique d exécution des modules. (d) Relation de raffinement entre modules. Contrôle des connaissances Crédits ECTS 5 (en séances d 1h45) 10 C, 4 CTD, 4 TD, 10 TP, 2 E 19

20 Session 1 examen écrit 1 1h45 une page A4 manuscrite recto verso 40% examen écrit 2 1h45 une page A4 manuscrite recto verso 30% Projet 30% Session 2 examen écrit 1 1h45 une page A4 manuscrite recto verso 50% examen écrit 2 1h45 une page A4 manuscrite recto verso 50% Bibliographie Specifying Systems (L. Lamport - Addison-Wesley) 20

21 9 Unité d enseignement Architecture des ordinateurs 2 Code Mots clés VHDL, langage de description matériel, conception de composants, synthèse, programmation FPGA, Pipeline, hiérarchie mémoire, circuits spécialisés, amélioration des performances. Responsable Ronan Guivarch Intervenants Ronan Guivarch, Zouheir Hamrouni Objectifs 1. Présenter, en parallèle, des concepts avancés d architecture(cache, pipe-line, circuits spécialisés) ainsi que le langage VHDL, 2. Développer lors d un projet un de ces composants en VHDL et de l implanter sur une carte FPGA. 3. Etudier les facteurs performance et les solutions permettant leur amélioration. Prérequis UE Architecture I ou toute UE équivalente Contenu 1. Architecture Avancée, Optimisation des performances, circuits spécialisés (12 C) Technique du pipeline : description, contraintes, influence sur les performances, Hiérarchie mémoire : description, contraintes, influence sur les performances, Optimisation des performances : liens entre matériel et compilateurs, exploitation des caractéristiques matérielles, retouche de codes, Circuits spécialisés (DSP, GPU, etc.) : présentation d applications concrètes (produits industriels, projets de recherche). 2. Introduction au langage VHDL (2 C, 4 TD, 11 TP) présentation de VHDL sous forme d exemples pour comprendre comment décrire un composant matériel, présentation du langage en lui-même (types, instructions, notion de signal...), process synchrones (compteurs), modélisation par automate à états pour décrire le fonctionnement d un composant, implantation des composants développés (additionneurs, compteurs...) sur carte FPGA. Volume horaire Contrôle des connaissances Crédits ECTS 5 (en séances d 1h45) 14 C, 4 TD, 11 TP Session 1 examen écrit 1h45 tous 60% Projet 40% Session 2 Idem à la session 1. 21

22 Bibliographie Architecture des Ordinateurs : une approche quantitative (J.L. Hennessy et D.A. Patterson - Thomson Publishing) VHDL - langage, modélisation, synthèse (R. AIRIAU et al. - Presses Polytechniques et Universitaires Romandes) 22

23 10 Unité d enseignement Sémantique et traduction des langages Code IMA-2AI-IN-STL Mots clés Compilation, Interprétation, Typage, Génération de code, Grammaire attribuée, Sémantique opérationnelle, Sémantique axiomatique. Responsable Marcel Gandriau Intervenants Marcel Gandriau, Marc Pantel Objectifs L objectif de cette UE est de présenter et expérimenter les mécanismes d exécution des langages de programmation. Il s agit d étudier d une part, les techniques d implantation d outils de traduction et d interprétation, et d autre part les moyens de spécification formelle (grammaires attribuées, sémantiques opérationnelle, et axiomatique). Un projet (en groupe) utilisant un générateur de compilateurs basé sur les grammaires attribuées complète la formation théorique. Prérequis Génie Logiciel I et II. Outils mathématiques pour l informatique. Architecture des ordinateurs I. Contenu Introduction : Généralités sur l interprétation et la traduction des langages de programmation. Grammaires attribuées : Définitions et méthodologie. Evaluation descendante des grammaires attribuées. Interprétation : Etude d un interprète MiniML (sous-ensemble de CAML) avec typage et évaluation. Spécification par une sémantique opérationnelle naturelle de l évaluation et du typage. Concepts de la traduction : Table des Symboles, Types, Gestion de la mémoire et Génération de code. Mise en œuvre sur un langage impératif simple ( Bloc ) avec les grammaires attribuées. Utilisation du générateur de compilateurs Egg. Machine virtuelle TAM. Analyse de code généré par des compilateurs existants. Sémantiques : Présentation des différentes formes de sémantique formelle. Application à MiniML et au langage Bloc. Preuves de correction des mécanismes de typage et de génération de code. Volume horaire Contrôle des connaissances (en séances d 1h45) 7 C, 5 CTD, 8 TD, 9 TP, 1 E Crédits ECTS 5 Session 1 examen écrit 1h45 tous 60% Projet 6 semaines 40% Session 2 Idem à la session 1. 23

4.2 Unités d enseignement du M1

4.2 Unités d enseignement du M1 88 CHAPITRE 4. DESCRIPTION DES UNITÉS D ENSEIGNEMENT 4.2 Unités d enseignement du M1 Tous les cours sont de 6 ECTS. Modélisation, optimisation et complexité des algorithmes (code RCP106) Objectif : Présenter

Plus en détail

Résumé du document «Programmes des classes préparatoires aux Grandes Écoles ; Discipline : Informatique ; Première et seconde années - 2013»

Résumé du document «Programmes des classes préparatoires aux Grandes Écoles ; Discipline : Informatique ; Première et seconde années - 2013» Résumé du document «Programmes des classes préparatoires aux Grandes Écoles ; Discipline : Informatique ; Première et seconde années - 2013» I Objectifs Niveau fondamental : «on se fixe pour objectif la

Plus en détail

PROJET DE SPÉCIALITÉ DU MASTER DE MATHÉMATIQUES. MODÉLISATION MATHÉMATIQUE & ANALYSE STATISTIQUE

PROJET DE SPÉCIALITÉ DU MASTER DE MATHÉMATIQUES. MODÉLISATION MATHÉMATIQUE & ANALYSE STATISTIQUE PROJET DE SPÉCIALITÉ DU MASTER DE MATHÉMATIQUES. MODÉLISATION MATHÉMATIQUE & ANALYSE STATISTIQUE Porteurs du projet Marc Arnaudon, professeur des universités, responsable des relations avec les entreprises.

Plus en détail

INFORMATIQUE. Licence 3 e année (L3) & Master (M1-M2) Centre d Etudes Suisse Romande Formation universitaire

INFORMATIQUE. Licence 3 e année (L3) & Master (M1-M2) Centre d Etudes Suisse Romande Formation universitaire Centre d Etudes Suisse Romande Formation universitaire INFORMATIQUE Licence 3 e année (L3) & Master (M1-M2) En collaboration avec l Université de Franche-Comté CTU de Besançon Unidistance 2 GÉNÉRALITÉS

Plus en détail

Maquette Pédagogique. Diplôme d Ingénieur spécialité. Sciences Informatiques

Maquette Pédagogique. Diplôme d Ingénieur spécialité. Sciences Informatiques Maquette Pédagogique Diplôme d Ingénieur spécialité Sciences Spécialité SCIENCES INFORMATIQUES EP3IUE1 : Informatique Théorique 1 4,5 Mathématiques Discrètes Cours élémentaire de mathématiques discrètes

Plus en détail

Ingénierie d aide à la décision

Ingénierie d aide à la décision Ingénierie d aide à la décision Maria Malek 1 er septembre 2009 1 Objectifs et débouchés Nous proposons dans cette option deux grands axes pour l aide à la décision : 1. La recherche opérationnelle ; 2.

Plus en détail

MATHÉMATIQUES CYCLE TERMINAL DE LA SÉRIE ÉCONOMIQUE ET SOCIALE ET DE LA SÉRIE LITTERAIRE CLASSE DE PREMIÈRE

MATHÉMATIQUES CYCLE TERMINAL DE LA SÉRIE ÉCONOMIQUE ET SOCIALE ET DE LA SÉRIE LITTERAIRE CLASSE DE PREMIÈRE Annexe MATHÉMATIQUES CYCLE TERMINAL DE LA SÉRIE ÉCONOMIQUE ET SOCIALE ET DE LA SÉRIE LITTERAIRE CLASSE DE PREMIÈRE L enseignement des mathématiques au collège et au lycée a pour but de donner à chaque

Plus en détail

Annexe 4 Programmes des classes préparatoires aux Grandes Ecoles

Annexe 4 Programmes des classes préparatoires aux Grandes Ecoles Annexe 4 Programmes des classes préparatoires aux Grandes Ecoles Filière : scientifique Voie : Technologie et biologie (TB) Discipline : Informatique Première et seconde années Programme d informatique

Plus en détail

Programme de la licence informatique, université de Caen http://www.info.unicaen.fr

Programme de la licence informatique, université de Caen http://www.info.unicaen.fr Programme de la licence informatique, université de Caen http://www.info.unicaen.fr Unité Systèmes d'information CM : 45h - TD : 60h - TP : 12h - Coeff 2 Systèmes de Gestion de Bases de Données Modéliser

Plus en détail

Descriptif de module. Page Hatem Ghorbel. 10 septembre 2015

Descriptif de module. Page Hatem Ghorbel. 10 septembre 2015 1/6 La description de module définit les conditions cadres du déroulement de l enseignement des matières du module. Filière(s) Informatique (INF) Option - Public Plein temps Unités Niveau d études 1 2

Plus en détail

Annexe 4 Programmes des classes préparatoires aux Grandes Ecoles

Annexe 4 Programmes des classes préparatoires aux Grandes Ecoles Annexe 4 Programmes des classes préparatoires aux Grandes Ecoles Filière : scientifique Voie : Biologie, chimie, physique et sciences de la Terre (BCPST) Discipline : Informatique Première et seconde années

Plus en détail

- Mobiliser les résultats sur le second degré dans le cadre de la résolution d un problème.

- Mobiliser les résultats sur le second degré dans le cadre de la résolution d un problème. Mathématiques - classe de 1ère des séries STI2D et STL. 1. Analyse On dote les élèves d outils mathématiques permettant de traiter des problèmes relevant de la modélisation de phénomènes continus ou discrets.

Plus en détail

GPC Computer Science

GPC Computer Science CYCLE ISMIN P2015 GPC Computer Science P LALEVÉE lalevee@emse.fr @p_lalevee A3.01 0442616715 C YUGMA yugma@emse.fr A3.01 0442616715 01/09/2014 Présentation GPC CS - Ph. Lalevée - C Yugma 1 Scolarité Site

Plus en détail

Optimisation et programmation mathématique. Professeur Michel de Mathelin. Cours intégré : 20 h

Optimisation et programmation mathématique. Professeur Michel de Mathelin. Cours intégré : 20 h Télécom Physique Strasbourg Master IRIV Optimisation et programmation mathématique Professeur Michel de Mathelin Cours intégré : 20 h Programme du cours d optimisation Introduction Chapitre I: Rappels

Plus en détail

Domaine de Formation : Sciences et Technologies Mention : Informatique Spécialité : Informatique de Gestion

Domaine de Formation : Sciences et Technologies Mention : Informatique Spécialité : Informatique de Gestion LICENCE FONDAMENTALE INFORMATIQUE DE GESTION Domaine de Formation : Sciences et Technologies Mention : Informatique Spécialité : Informatique de Gestion I. Présentation de la licence Le but de la Licence

Plus en détail

MATHEMATIQUES ET SCIENCES POUR L INGENIEUR

MATHEMATIQUES ET SCIENCES POUR L INGENIEUR MASTER SCIENCES, TECHNOLOGIES, SANTE / STAPS MATHEMATIQUES ET SCIENCES POUR L INGENIEUR Spécialité Ingénierie Numérique, Signal-Image et Informatique Industrielle (INS3I) www.univ-littoral.fr OBJECTIFS

Plus en détail

Master Informatique Aix-Marseille Université

Master Informatique Aix-Marseille Université Aix-Marseille Université http://masterinfo.univ-mrs.fr/ Département Informatique et Interactions UFR Sciences Laboratoire d Informatique Fondamentale Laboratoire des Sciences de l Information et des Systèmes

Plus en détail

Évaluation et implémentation des langages

Évaluation et implémentation des langages Évaluation et implémentation des langages Les langages de programmation et le processus de programmation Critères de conception et d évaluation des langages de programmation Les fondations de l implémentation

Plus en détail

PROPOSES PAR LA COMMISSION NATIONALE SECTORIELLE EN INFORMATIQUE

PROPOSES PAR LA COMMISSION NATIONALE SECTORIELLE EN INFORMATIQUE REPUBLIQUE TUNISIENNE **** Ministère de l Enseignement Supérieur, de la Recherche Scientifique et de la Technologie **** DIRECTION GENERALE DE LA RENOVATION UNIVERSITAIRE REFORME LMD INFORMATIQUE PROGRAMMES

Plus en détail

IFT2251 Introduction au génie logiciel Plan de cours. 2. Description du cours et objectifs généraux

IFT2251 Introduction au génie logiciel Plan de cours. 2. Description du cours et objectifs généraux IFT2251 Introduction au génie logiciel Plan de cours Été 2008 Yann-Gaël Guéhéneuc 1. Introduction Les exigences et les attentes à l égard de la qualité logicielle sont de plus en plus grandes. La taille

Plus en détail

SOCLE COMMUN - La Compétence 3 Les principaux éléments de mathématiques et la culture scientifique et technologique

SOCLE COMMUN - La Compétence 3 Les principaux éléments de mathématiques et la culture scientifique et technologique SOCLE COMMUN - La Compétence 3 Les principaux éléments de mathématiques et la culture scientifique et technologique DOMAINE P3.C3.D1. Pratiquer une démarche scientifique et technologique, résoudre des

Plus en détail

Programme de Première

Programme de Première BAC TECHNO STAV 66 I. Algèbre Programme de Première Objectif 1 - Effectuer de manière autonome des calculs numériques ou algébriques, résoudre des équations ou inéquations en vue de résoudre des problèmes

Plus en détail

SEMESTRE S1. Intitulé et descriptif des U.E. Coef Crédits Discipline A : Mathématiques Mathématiques Outils mathématiques Discipline B :

SEMESTRE S1. Intitulé et descriptif des U.E. Coef Crédits Discipline A : Mathématiques Mathématiques Outils mathématiques Discipline B : SEMESTRE S Intitulé et descriptif des U.E. Coef Crédits Discipline A : Mathématiques Mathématiques Discipline B : 0 0 Biologie Biologie Chimie Chimie Géologie Géologie Informatique Informatique Physique

Plus en détail

MTH8442 Ordonnancement de Plan production. (3-0-6) 3 cr

MTH8442 Ordonnancement de Plan production. (3-0-6) 3 cr MTH8442 Ordonnancement de Plan production de cours Automne 2008 (3-0-6) 3 cr Michel Gamache Local A-305.29 340-4711 poste 5920 michel.gamache@polymtl.ca François Soumis Local A-520.15 340-4711 poste 6044

Plus en détail

Le Répertoire National des Certifications Professionnelles (RNCP) Résumé descriptif de la certification

Le Répertoire National des Certifications Professionnelles (RNCP) Résumé descriptif de la certification 1 sur 8 26/09/2013 16:49 Le Répertoire National des Certifications Professionnelles (RNCP) Résumé descriptif de la certification Intitulé Licence : Licence Sciences, technologies, santé mention Informatique

Plus en détail

Cours : INF 752 Techniques de vérification et de validation Trimestre : Automne 2015 Enseignant : Évariste Valéry BÉVO WANDJI

Cours : INF 752 Techniques de vérification et de validation Trimestre : Automne 2015 Enseignant : Évariste Valéry BÉVO WANDJI Faculté des sciences Centre de formation en technologies de l information Cours : INF 752 Techniques de vérification et de validation Trimestre : Automne 2015 Enseignant : Évariste Valéry BÉVO WANDJI 1.

Plus en détail

Licence Professionnelle Systèmes Informatiques et Logiciels

Licence Professionnelle Systèmes Informatiques et Logiciels U.F.A. Paul Verlaine IUT1 Département Informatique Université de Metz Ile du Saulcy 57012 METZ C.F.A. Robert Schuman 4, rue Monseigneur Pelt 57070 METZ Formation par ALTERNANCE Licence Professionnelle

Plus en détail

Acronyme : ALG. Cours T.P. T.D. Projet Stage. Présentiel Etudiant 38 26 42

Acronyme : ALG. Cours T.P. T.D. Projet Stage. Présentiel Etudiant 38 26 42 Acronyme : ALG - Intitulé UE : Algorithmique : graphes et complexité - Objectifs Cette UE est constituée de deux modules, le module ALG1 (graphes) et le module ALG2 (complexité). Le module ALG1 est consacré

Plus en détail

ACADiE : Assistance à la Certification d Applications Distribuées et Embarquées

ACADiE : Assistance à la Certification d Applications Distribuées et Embarquées ACADiE : Assistance à la Certification d Applications Distribuées et Embarquées Permanents (11) Doctorants (10) Permanents Doctorants Jean-Paul Bodeveix Julien Brunel Xavier Crégut Benoît Combemale Mamoun

Plus en détail

COMPUTER SCIENCE Paris 7 Denis Diderot

COMPUTER SCIENCE Paris 7 Denis Diderot COMPUTER SCIENCE Paris 7 Denis Diderot LICENCE 1 SEMESTER 2 (Spring) o Initiation à la programmation 2 o Concepts informatiques o Internet et outils o Mathématiques élémentaires 2 COURSE DESCRIPTION Initiation

Plus en détail

Le programme d examens préparé par le Bureau canadien des conditions d admission en génie d Ingénieurs Canada englobe dix-sept disciplines du génie.

Le programme d examens préparé par le Bureau canadien des conditions d admission en génie d Ingénieurs Canada englobe dix-sept disciplines du génie. INTRODUCTION Le programme d examens préparé par le Bureau canadien des conditions d admission en génie d Ingénieurs Canada englobe dix-sept disciplines du génie. Le programme d examens de chaque spécialité

Plus en détail

MASTER DE MATHÉMATIQUES DE POITIERS. MODÉLISATION MATHÉMATIQUE & ANALYSE STATISTIQUE. Responsables

MASTER DE MATHÉMATIQUES DE POITIERS. MODÉLISATION MATHÉMATIQUE & ANALYSE STATISTIQUE. Responsables ÒÒÒÒÒÒÒÒÒÒÒÒÒÒÒÒÒÒÒÒÒÒÒÒÒÒÒÒÒÒ ÒÒÒÒÒÒÒÒÒÒÒÒÒÒÒÒÒÒÒÒÒÒÒÒÒÒÒÒÒÒ MASTER DE MATHÉMATIQUES DE POITIERS. SPÉCIALITÉ : MODÉLISATION MATHÉMATIQUE & ANALYSE STATISTIQUE Responsables Marc Arnaudon, professeur des

Plus en détail

Analyse abstraite de missions sous PILOT

Analyse abstraite de missions sous PILOT Analyse abstraite de missions sous PILOT Damien Massé EA 3883, Université de Bretagne Occidentale, Brest damien.masse@univ-brest.fr Résumé Nous étudions la possibilité de réaliser un analyseur par interprétation

Plus en détail

FICHE UNITE D ENSEIGNEMENT. Mathématiques. Analyse appliquée. Boris Andreianov. PRESENTIEL EN LIGNE x PRESENTIEL ET EN LIGNE 73 20 35,5 4,5 133

FICHE UNITE D ENSEIGNEMENT. Mathématiques. Analyse appliquée. Boris Andreianov. PRESENTIEL EN LIGNE x PRESENTIEL ET EN LIGNE 73 20 35,5 4,5 133 FICHE UNITE D ENSEIGNEMENT Responsable de l UE Section CNU de l UE Crédits Européens Mode d enseignement Analyse appliquée Boris Andreianov 26 6 PRESENTIEL EN LIGNE x PRESENTIEL ET EN LIGNE Nombre d heures

Plus en détail

Objectifs du cours. Master mention Informatique M1. Construction d Applications Réparties. Sommaire. Organisation.

Objectifs du cours. Master mention Informatique M1. Construction d Applications Réparties. Sommaire. Organisation. Master mention Informatique M1 Construction d s Réparties Lionel Seinturier USTL-LIFL Équipe GOAL/Projet INRIA Jacquard Lionel.Seinturier@lifl.fr 2006/2007 1 Objectifs du cours Appréhender la conception

Plus en détail

1.2 Unité responsable Département d informatique, Faculté des sciences

1.2 Unité responsable Département d informatique, Faculté des sciences 1. Identification du programme 1.1 Titre du programme Maîtrise ès sciences (informatique) 1.2 Unité responsable Département d informatique, Faculté des sciences 1.3 Diplôme accordé M. Sc. (Informatique)

Plus en détail

Anglais 82 h. (S1: 5 ECTS-TD,TP et S2 : 5 ECTS-TD,TP ) Chinois (débutant) 48 h.

Anglais 82 h. (S1: 5 ECTS-TD,TP et S2 : 5 ECTS-TD,TP ) Chinois (débutant) 48 h. 1 ère année CONNAISSANCES DE BASE Mathématiques appliquées (S1 (1) - 3 ECTS (2) - CM,TD,TP) 44 h. Méthodes numériques et optimisation Sciences fondamentales (S1-5 ECTS - CM,TD,TP) 68 h. Bases de biologie

Plus en détail

Programme de la 1ère année

Programme de la 1ère année Programme de la 1ère année de master informatique Recopié du Syllabus M1 Informatique. 2004-2005 (UPS Toulouse) TC1 - Conception et Programmation Parallèle et Orientée Objet (96h) Objectif : Ce cours a

Plus en détail

Chapitre 1. Introduction aux Bases de Données. Cours de Bases de Données. Polytech Paris-Sud. Chapitre 1 : Quelques questions

Chapitre 1. Introduction aux Bases de Données. Cours de Bases de Données. Polytech Paris-Sud. Chapitre 1 : Quelques questions Cours de Bases de Données Chapitre 1 Polytech Paris-Sud Sarah Cohen-Boulakia LRI, Bât 490, Université Paris-Sud 11, Orsay cohen @ lri. fr 01 69 15 32 16 Introduction aux Bases de Données 1 2 Chapitre 1

Plus en détail

Introduction au développement du logiciel

Introduction au développement du logiciel Introduction au développement du logiciel Vers le génie logiciel Université de Nantes Master Miage M1 Plan 1 Introduction 2 Génie logiciel 3 Projet informatique 4 Méthode de développement 5 Qualité Bibliographie

Plus en détail

Semestre 1. Objectifs Approfondissement de l environnement Java et de son interface de programmation d applications : réseaux, et processus.

Semestre 1. Objectifs Approfondissement de l environnement Java et de son interface de programmation d applications : réseaux, et processus. Programmation Java avancée (3 ECTS 36h) Semestre 1 Approfondissement de l environnement Java et de son interface de programmation d applications : réseaux, et processus. Introduction. Rappels des concepts

Plus en détail

Informatique commune en CPGE PSI-PC-PT-MP-TSI-TPC

Informatique commune en CPGE PSI-PC-PT-MP-TSI-TPC Informatique commune en CPGE PSI-PC-PT-MP-TSI-TPC L ingénieur doit maîtriser les concepts fondamentaux de l informatique pour : communiquer avec les informaticiens comprendre les questions de complexité

Plus en détail

SYLLABUS SEMESTRE 9 Année 2011-2012

SYLLABUS SEMESTRE 9 Année 2011-2012 SYLLABUS SEMESTRE 9 2011-2012 Parcours S2I «Systèmes d Information et Informatique» François Brucker Tel.: 04 91 05 43 95 E-mail : francois.brucker@centrale-marseille.fr PROGRAMME Nb heures élèves (hors

Plus en détail

Systèmes et applications distribués Intergiciels et applications communicantes

Systèmes et applications distribués Intergiciels et applications communicantes Systèmes et applications distribués Intergiciels et applications communicantes Philippe Quéinnec Télécommunication et Réseaux 2e année ENSEEIHT 24 février 2014 Inspiré de cours de G. Padiou, Ph. Mauran

Plus en détail

PROGRAMME DU CONCOURS DE RÉDACTEUR INFORMATICIEN

PROGRAMME DU CONCOURS DE RÉDACTEUR INFORMATICIEN PROGRAMME DU CONCOURS DE RÉDACTEUR INFORMATICIEN 1. DÉVELOPPEMENT D'APPLICATION (CONCEPTEUR ANALYSTE) 1.1 ARCHITECTURE MATÉRIELLE DU SYSTÈME INFORMATIQUE 1.1.1 Architecture d'un ordinateur Processeur,

Plus en détail

Calculer avec Sage. Revision : 417 du 1 er juillet 2010

Calculer avec Sage. Revision : 417 du 1 er juillet 2010 Calculer avec Sage Alexandre Casamayou Guillaume Connan Thierry Dumont Laurent Fousse François Maltey Matthias Meulien Marc Mezzarobba Clément Pernet Nicolas Thiéry Paul Zimmermann Revision : 417 du 1

Plus en détail

Introduction au datamining

Introduction au datamining Introduction au datamining Patrick Naïm janvier 2005 Définition Définition Historique Mot utilisé au départ par les statisticiens Le mot indiquait une utilisation intensive des données conduisant à des

Plus en détail

1. Présentation du Mastère

1. Présentation du Mastère MASTERE SYSTEMES DE COMMUNICATION Coordinateur du Mastère : TAOUFIK AGUILI Département TIC Laboratoire des Systèmes de Communication Tél. : (+216) 71 874 700 (Poste 545) Fax : (+216) 71 872 729 taoufik.aguili@enit.rnu.tn

Plus en détail

Grandes lignes ASTRÉE. Logiciels critiques. Outils de certification classiques. Inspection manuelle. Definition. Test

Grandes lignes ASTRÉE. Logiciels critiques. Outils de certification classiques. Inspection manuelle. Definition. Test Grandes lignes Analyseur Statique de logiciels Temps RÉel Embarqués École Polytechnique École Normale Supérieure Mercredi 18 juillet 2005 1 Présentation d 2 Cadre théorique de l interprétation abstraite

Plus en détail

Les sections 6 et 7. du ComitéNational de la RechercheScientifique

Les sections 6 et 7. du ComitéNational de la RechercheScientifique Les sections 6 et 7 du ComitéNational de la RechercheScientifique (CoNRS) Frédérique Bassino et Michèle Basseville Plan Le comité national Les missions des sections Les sections 6 et 7 Le comiténational

Plus en détail

Programme du cycle ingénieur Cnam spécialité informatique par l alternance Année 2015-2016

Programme du cycle ingénieur Cnam spécialité informatique par l alternance Année 2015-2016 Programme du cycle ingénieur Cnam spécialité informatique par l alternance Année 2015-2016 Ingénieur en Informatique en Contrat de Professionnalisation - Année I1 RSX102 Technologies pour les applications

Plus en détail

Master de Mathématiques mention Mathématiques pour l Informatique Graphique, et les Statistiques

Master de Mathématiques mention Mathématiques pour l Informatique Graphique, et les Statistiques UFR Sciences et Techniques Master de Mathématiques mention Mathématiques pour l Informatique Graphique, et les Statistiques Niveau d entrée Première année : BAC + 3 en Mathématiques Seconde année : BAC

Plus en détail

CLASSES PRÉPARATOIRES AUX GRANDES ÉCOLES CATALOGUE DES COURS 2013 2015. Parcours ECS (voie scientifique)

CLASSES PRÉPARATOIRES AUX GRANDES ÉCOLES CATALOGUE DES COURS 2013 2015. Parcours ECS (voie scientifique) MINISTERE DE L EDUCATION NATIONALE, DE L ENSEIGNEMENT SUPERIEUR ET DE LA RECHERCHE CLASSES PRÉPARATOIRES AUX GRANDES ÉCOLES CATALOGUE DES COURS 2013 2015 Parcours ECS (voie scientifique) Classe préparatoire

Plus en détail

Langages et Frameworks

Langages et Frameworks 1/7 La description de module définit les conditions cadres du déroulement de l enseignement des matières du module. Filière(s) Orientation Public Informatique (INF) Développement Logiciel et Multimédia

Plus en détail

La Licence Mathématiques et Economie-MASS Université de Sciences Sociales de Toulouse 1

La Licence Mathématiques et Economie-MASS Université de Sciences Sociales de Toulouse 1 La Licence Mathématiques et Economie-MASS Université de Sciences Sociales de Toulouse 1 La licence Mathématiques et Economie-MASS de l Université des Sciences Sociales de Toulouse propose sur les trois

Plus en détail

Table des matières. Avant propos. Chapitre I NOTIONS SUR LES SYSTEMES

Table des matières. Avant propos. Chapitre I NOTIONS SUR LES SYSTEMES Table des matières Avant propos Chapitre I NOTIONS SUR LES SYSTEMES 1. Systèmes linéaires 1 2. Systèmes stationnaires 1 3. Systèmes continus 2 4. Systèmes linéaires invariants dans le temps (LIT) 2 4.1

Plus en détail

Programme de management et sciences de gestion CPGE Économique et commerciale, option technologique (ECT)

Programme de management et sciences de gestion CPGE Économique et commerciale, option technologique (ECT) Programme de management et sciences de gestion CPGE Économique et commerciale, option technologique (ECT) 1) 0rientations générales L enseignement de «management et sciences de gestion» intègre des approches

Plus en détail

RESUME DESCRIPTIF DE LA CERTIFICATION (FICHE REPERTOIRE)

RESUME DESCRIPTIF DE LA CERTIFICATION (FICHE REPERTOIRE) RESUME DESCRIPTIF DE LA CERTIFICATION (FICHE REPERTOIRE) Intitulé (cadre 1) Ingénieur diplômé de l École Nationale Supérieure d Ingénieurs en Informatique, Automatique, Mécanique, Énergétique et Électronique

Plus en détail

LICENCE INFORMATIQUE

LICENCE INFORMATIQUE COLLEGIUM SCIENCES ET TECHNOLOGIES LICENCE RMATIQUE Parcours Informatique (Nancy ou Metz) et Parcours ECS (Metz) OBJECTIFS DE LA FORMATION La licence Informatique délivre les connaissances et les compétences

Plus en détail

Spécialité Systèmes & Microsystèmes Intelligents. Cf. description dans le corps du dossier

Spécialité Systèmes & Microsystèmes Intelligents. Cf. description dans le corps du dossier Spécialité Systèmes & Microsystèmes Intelligents UESHSL1 Economie et Gestion d entreprise Sport Introduction à l économie : marchés et régulation, conjoncture et politiques économiques. Approche systémique

Plus en détail

Niveaux 1 2 3 4 Option spécifique - 2 2 3 Option complémentaire - - 2 2

Niveaux 1 2 3 4 Option spécifique - 2 2 3 Option complémentaire - - 2 2 Direction de l'instruction publique, de la culture et du sport Direktion für Erziehung, Kultur und Sport Service de l enseignement secondaire du deuxième degré Amt für Unterricht der Sekundarstufe 2 CANTON

Plus en détail

Tronc Commun. Premier Semestre

Tronc Commun. Premier Semestre PLAN D ÉTUDE Programme de la Première année Tronc Commun Mathématiques Discrètes Probabilités et Statistiques Réseaux et Systèmes Transmissions de Données Fondements de Système d Exploitation Réseaux Informatiques

Plus en détail

PROGRAMME DES ENSEIGNEMENTS Département Informatique et Mathématiques Appliquées année 2007-2008

PROGRAMME DES ENSEIGNEMENTS Département Informatique et Mathématiques Appliquées année 2007-2008 PROGRAMME DES ENSEIGNEMENTS Département Informatique et Mathématiques Appliquées année 2007-2008 19 juin 2008 Première Année Niveau Bac+3 Liste des enseignements Premier semestre Espaces Vectoriels Normés

Plus en détail

201-8F4-ST Mathématiques appliquées à l informatique

201-8F4-ST Mathématiques appliquées à l informatique DESCRIPTION DES COURS DE FORMATION SPÉCIFIQUE TECHNIQUES DE L INFORMATIQUE (420.A0) 201-8F4-ST Mathématiques appliquées à l informatique Préalable : Mathématique TS ou SN 5 e ou équivalent Ce cours a pour

Plus en détail

Modélisation: outillage et intégration

Modélisation: outillage et intégration Modélisation: outillage et intégration Emmanuel Gaudin emmanuel.gaudin@pragmadev.com Un réel besoin Le logiciel double tous les deux ans. Le volume final rend extrêmement difficile de garantir le niveau

Plus en détail

IFT 187 Éléments de bases de données

IFT 187 Éléments de bases de données Département d informatique IFT 187 Éléments de bases de données Plan de cours Automne 2014 Enseignants Marc Frappier Courriel : marc.frappier@usherbrooke.ca Local : D4-1010-08 Téléphone : (819) 821-8000

Plus en détail

Formation d ingénieur Département Informatique & Mathématiques Appliquées Programme de première année

Formation d ingénieur Département Informatique & Mathématiques Appliquées Programme de première année 1 re année Département Informatique & Mathématiques Appliquées Année universitaire 2012-2013 29 juin 2012 Formation d ingénieur Département Informatique & Mathématiques Appliquées Programme de première

Plus en détail

INGÉNIEUR DE L'ENSEEIHT SPÉCIALITÉ INFORMATIQUE ET RÉSEAUX (APPRENTISSAGE)

INGÉNIEUR DE L'ENSEEIHT SPÉCIALITÉ INFORMATIQUE ET RÉSEAUX (APPRENTISSAGE) INGÉNIEUR DE L'ENSEEIHT SPÉCIALITÉ INFORMATIQUE ET RÉSEAUX (APPRENTISSAGE) RÉSUMÉ DE LA FORMATION Type de diplôme : Formation d'ingénieur classique Domaine : Sciences, Ingénierie et Technologies Mention

Plus en détail

IT203 : Systèmes de gestion de bases de données. A. Zemmari zemmari@labri.fr

IT203 : Systèmes de gestion de bases de données. A. Zemmari zemmari@labri.fr IT203 : Systèmes de gestion de bases de données A. Zemmari zemmari@labri.fr 1 Informations pratiques Intervenants : Cours : (A. Zemmari zemmari@labri.fr) TDs, TPs : S. Lombardy et A. Zemmari Organisation

Plus en détail

Programme des épreuves des concours externes de recrutement des personnels techniques et administratifs de recherche et de formation

Programme des épreuves des concours externes de recrutement des personnels techniques et administratifs de recherche et de formation Programme des épreuves des concours externes de recrutement des personnels E1 RECRUTEMENT DES ASSISTANTS INGENIEURS DE RECHERCHE ET DE FORMATION...2 E1.1 Gestionnaire de base de données...2 E1.2 Développeur

Plus en détail

Formation d ingénieur Département Informatique & Mathématiques Appliquées Programme de première année

Formation d ingénieur Département Informatique & Mathématiques Appliquées Programme de première année 1 re année Département Informatique & Mathématiques Appliquées Année universitaire 2014-2015 18 juillet 2014 Formation d ingénieur Département Informatique & Mathématiques Appliquées Programme de première

Plus en détail

1 Objectif de la formation MASTER PROFESSIONNEL (1 ANNEE) 2 Poursuite d étude. 3-Moyens mis en œuvre. 4- Conditions d'admission

1 Objectif de la formation MASTER PROFESSIONNEL (1 ANNEE) 2 Poursuite d étude. 3-Moyens mis en œuvre. 4- Conditions d'admission MASTER PROFESSIONNEL (1 ANNEE) INFORMATIQUE, STATISTIQUE, MATHEMATIQUES APPLIQUEES A LA GESTION DE PRODUCTION 2009-2010 Département de mathématiques et informatique UFR Sciences, Espaces et Sociétés Université

Plus en détail

Nicolas Kielbasiewicz C.D.C.S.P. / I.S.T.I.L./ U.C.B.L. Domaine Scientifique de la Doua 15, boulevard André Latarjet 69622 Villeurbanne cedex

Nicolas Kielbasiewicz C.D.C.S.P. / I.S.T.I.L./ U.C.B.L. Domaine Scientifique de la Doua 15, boulevard André Latarjet 69622 Villeurbanne cedex Nicolas Kielbasiewicz C.D.C.S.P. / I.S.T.I.L./ U.C.B.L. Domaine Scientifique de la Doua 15, boulevard André Latarjet 69622 Villeurbanne cedex 27 ans e-mail : nicolas.kielbasiewicz@cdcsp.univ-lyon1.fr Permis

Plus en détail

Conception des systèmes répartis

Conception des systèmes répartis Conception des systèmes répartis Principes et concepts Gérard Padiou Département Informatique et Mathématiques appliquées ENSEEIHT Octobre 2012 Gérard Padiou Conception des systèmes répartis 1 / 37 plan

Plus en détail

SYLLABUS / PLAN DE COURS. 40,5 Charge de travail personnel de 2 heures/semaine TP : 1 semaine. QCM Dissertation Cas Pratique

SYLLABUS / PLAN DE COURS. 40,5 Charge de travail personnel de 2 heures/semaine TP : 1 semaine. QCM Dissertation Cas Pratique SYLLABUS / PLAN DE COURS Matière : Algorithmique pour l infographie: 2I Code du module : * Cursus : * Semestre : 1 et 2 Nombre ECTS du cours : * Rempli par l administration de PPA * Responsable du cours

Plus en détail

GPA759 RÉSEAUX DE NEURONES ET INTELLIGENCE ARTIFICIELLE Préalable(s) : Aucun PLAN DE COURS SESSION AUTOMNE 2013

GPA759 RÉSEAUX DE NEURONES ET INTELLIGENCE ARTIFICIELLE Préalable(s) : Aucun PLAN DE COURS SESSION AUTOMNE 2013 École de technologie supérieure Département de génie de la production automatisée Responsable(s) du cours : Crédits : Richard Lepage, ing., Ph.D. GPA759 RÉSEAUX DE NEURONES ET INTELLIGENCE ARTIFICIELLE

Plus en détail

MASTER SMIS. Mention Mathématiques et Applications. Spécialité : Ingénierie Mathématique

MASTER SMIS. Mention Mathématiques et Applications. Spécialité : Ingénierie Mathématique UNIVERSITE PAUL SABATIER TOULOUSE III SCIENCES U.F.R. MATHEMATIQUE INFORMATIQUE GESTION Année Universitaire 2004 2005 PRESENTATION DES ENSEIGNEMENTS Syllabus MASTER SMIS Mention Mathématiques et Applications

Plus en détail

ANNEXE : Evaluation et ECTS* pour les étudiants de

ANNEXE : Evaluation et ECTS* pour les étudiants de Année académique 2012-2013 ANNEXE : Evaluation et ECTS* pour les étudiants de - 1ère année (Promotion 2017) - 2ème année (Promotion 201) - 3ème année (Promotion 2015 - Formation initiale et Formation par

Plus en détail

MAT265 ÉQUATIONS DIFFÉRENTIELLES Préalable(s) : MAT145 PLAN DE COURS SESSION AUTOMNE 2013

MAT265 ÉQUATIONS DIFFÉRENTIELLES Préalable(s) : MAT145 PLAN DE COURS SESSION AUTOMNE 2013 École de technologie supérieure Service des enseignements généraux Responsable(s) du cours : Michel Beaudin Luc Soucy Crédits : 4 MAT265 ÉQUATIONS DIFFÉRENTIELLES Préalable(s) : MAT145 PLAN DE COURS SESSION

Plus en détail

Vision par ordinateur

Vision par ordinateur Vision par ordinateur Stéréoscopie par minimisation d'énergie Frédéric Devernay d'après le cours de Richard Szeliski Mise en correspondance stéréo Quels algorithmes possibles? mettre en correspondance

Plus en détail

P R O G R A M M E E T I N S T R U C T I O N S O F F I C I E L L E S

P R O G R A M M E E T I N S T R U C T I O N S O F F I C I E L L E S P R O G R A M M E E T I N S T R U C T I O N S O F F I C I E L L E S POUR L ENSEIGNEMENT DE L INFORMATIQUE MPSI première année I. Objectifs de la formation II-1 Développement de compétences et d aptitudes

Plus en détail

RESUME DESCRIPTIF DE LA CERTIFICATION (FICHE OPERATIONNELLE METIERS)

RESUME DESCRIPTIF DE LA CERTIFICATION (FICHE OPERATIONNELLE METIERS) RESUME DESCRIPTIF DE LA CERTIFICATION (FICHE OPERATIONNELLE METIERS) Intitulé (cadre 1) DUT Génie électrique et informatique industrielle (GEII) 3 Parcours possibles : Automatismes et Réseaux Locaux Energies

Plus en détail

UNIVERSITÉ PARIS DESCARTES

UNIVERSITÉ PARIS DESCARTES UNIVERSITÉ PARIS DESCARTES MASTER Domaine DROIT, ÉCONOMIE, GESTION Mention MONNAIE,BANQUE, FINANCE, ASSURANCE Spécialité RISQUE, ASSURANCE, DÉCISION 2014 / 2015 Z.Trocellier Directeurs Pr Kouroche VAFAÏ

Plus en détail

Cahier des charges Offre de formation LMD :

Cahier des charges Offre de formation LMD : REPUBLIQUE ALGERIENNE DEMOCRATIQUE ET POPULAIRE Ministère de L Enseignement Supérieur et de la Recherche Scientifique Université des Sciences et de la Technologie Houari Boumediene Faculté d Electronique

Plus en détail

Introduction à l Intelligence Artificielle

Introduction à l Intelligence Artificielle 1 / 14 Introduction à l Intelligence Artificielle Présentation de l option 2 nd semestre 2014-15 Philippe Chatalic chatalic@lri.fr Université Paris Sud Laboratoire de Recherche en Informatique (UMR CNRS

Plus en détail

ALEATOIRE - Les enjeux du cours de Probabilités en première année de l Ecole Polytechnique

ALEATOIRE - Les enjeux du cours de Probabilités en première année de l Ecole Polytechnique ALEATOIRE - Les enjeux du cours de Probabilités en première année de l Ecole Polytechnique Télécom ParisTech, 09 mai 2012 http://www.mathematiquesappliquees.polytechnique.edu/ accueil/programmes/cycle-polytechnicien/annee-1/

Plus en détail

Cahier de textes Page 1 sur 9. Cahier de textes

Cahier de textes Page 1 sur 9. Cahier de textes Cahier de textes Page 1 sur 9 Cahier de textes Jeudi 04/09/2014 9h-12h et 13h30-16h30 : Cours sur la logique : - Conjonction, disjonction, implication, équivalence - Quelques formules. - Quantificateurs

Plus en détail

Programme scientifique Majeure ARCHITECTURE DES SYSTEMES D INFORMATION. Mentions Ingénierie des Systèmes d Information Business Intelligence

Programme scientifique Majeure ARCHITECTURE DES SYSTEMES D INFORMATION. Mentions Ingénierie des Systèmes d Information Business Intelligence É C O L E D I N G É N I E U R D E S T E C H N O L O G I E S D E L I N F O R M A T I O N E T D E L A C O M M U N I C A T I O N Programme scientifique Majeure ARCHITECTURE DES SYSTEMES D INFORMATION Mentions

Plus en détail

Informatique en CPGE

Informatique en CPGE Informatique en CPGE L ingénieur doit maîtriser les concepts fondamentaux de l informatique pour : communiquer avec les informaticiens comprendre les questions de complexité algorithmique, de précision

Plus en détail

Analyse,, Conception des Systèmes Informatiques

Analyse,, Conception des Systèmes Informatiques Analyse,, Conception des Systèmes Informatiques Méthode Analyse Conception Introduction à UML Génie logiciel Définition «Ensemble de méthodes, techniques et outils pour la production et la maintenance

Plus en détail

Master CCI. Compétences Complémentaires en Informatique. Livret de l étudiant

Master CCI. Compétences Complémentaires en Informatique. Livret de l étudiant Master CCI Compétences Complémentaires en Informatique Livret de l étudiant 2014 2015 Master CCI Le Master CCI (Compétences Complémentaires en Informatique) permet à des étudiants de niveau M1 ou M2 dans

Plus en détail

Licence Appliquée en "Réseaux Informatiques" - Parcours : " Technologies des réseaux Informatiques" Finalité de la formation

Licence Appliquée en Réseaux Informatiques - Parcours :  Technologies des réseaux Informatiques Finalité de la formation Licence Appliquée en "Réseaux Informatiques" - Parcours : " Technologies des réseaux Informatiques" Finalité de la formation La Licence appliqué en Réseaux Informatique parcours Technologies des réseaux

Plus en détail

Développement de logiciel

Développement de logiciel approche formelle et approche à objets Pascal ANDRE Université de Nantes Master Miage M1 Plan Introduction Développement formel du logiciel Développement du logiciel à objets Projection Développement du

Plus en détail

Objectifs. Calcul scientifique. Champ d applications. Pourquoi la simulation numérique?

Objectifs. Calcul scientifique. Champ d applications. Pourquoi la simulation numérique? Objectifs Calcul scientifique Alexandre Ern ern@cermics.enpc.fr (CERMICS, Ecole des Ponts ParisTech) Le Calcul scientifique permet par la simulation numérique de prédire, optimiser, contrôler... le comportement

Plus en détail

Objectifs. Maîtriser. Pratiquer

Objectifs. Maîtriser. Pratiquer 1 Bases de Données Objectifs Maîtriser les concepts d un SGBD relationnel Les modèles de représentations de données Les modèles de représentations de données La conception d une base de données Pratiquer

Plus en détail

PHYSIQUE. 5 e secondaire. Optique PHY-5041-2 DÉFINITION DU DOMAINE D EXAMEN

PHYSIQUE. 5 e secondaire. Optique PHY-5041-2 DÉFINITION DU DOMAINE D EXAMEN PHYSIQUE 5 e secondaire Optique PHY-5041-2 DÉFINITION DU DOMAINE D EXAMEN MAI 1999 Quebec PHYSIQUE 5 e secondaire Optique PHY-5041-2 DÉFINITION DU DOMAINE D EXAMEN MAI 1999 Direction de la formation générale

Plus en détail

STAGES INTENSIFS DE REVISION

STAGES INTENSIFS DE REVISION CENTRE SCOLAIRE OZANAM Internat et externat pour lycéens et étudiants Etudes encadrées et soutien scolaire Stages intensifs de révision 60 rue Vauban 69006 LYON 04 78 52 27 99 / Fax : 04 78 52 11 15 www.ozanamlyon.fr

Plus en détail

IMN459 - Fondements de la vision par ordinateur

IMN459 - Fondements de la vision par ordinateur IMN459 - Fondements de la vision par ordinateur Chapitre 1 Introduction 1. Acquisition IMN117 2. Traitement IMN259 Scène 3D Caméra optique Une ou plusieurs images 2D Caractéristiques bas niveaux (contours,

Plus en détail

Ordonnancement Temps Réel. Emmanuel GROLLEAU & Pascal RICHARD LISI/ENSMA {grolleau,richardp}@ensma.fr

Ordonnancement Temps Réel. Emmanuel GROLLEAU & Pascal RICHARD LISI/ENSMA {grolleau,richardp}@ensma.fr Ordonnancement Temps Réel Emmanuel GROLLEAU & Pascal RICHARD LISI/ENSMA {grolleau,richardp}@ensma.fr 2 Plan de la présentation 1. Introduction aux systèmes temps réel 1.1 Différents modèles de tâches 1.2

Plus en détail