MASTER 1 MENTION INFORMATIQUE Parcours Recherche Opérationnelle Descriptif des Modules

Transcription

1 MASTER 1 MENTION INFORMATIQUE Parcours Recherche Opérationnelle Descriptif des Modules S41IR01 Recherche opérationnelle Programmation linéaire et programmation en nombres entiers X. GANDIBLEUX Xavier.Gandibleux 1. Programmation linéaire Propriétés géométriques Méthode du simplexe Dualité, Ecarts complémentaires Lemme de Farkas Algorithme de Karmarkar 2. Programmation en nombres entiers : Formulations, Relaxations, Problèmes facilement résolvables, Totale unimodularité Méthode de «Branch and bound» S41IR02 Algorithmique graphes et arbres 1. Plus courts chemins 2. Flots 3. Arbres et arborescences (y compris parcours, fermeture transitiive, tri topologique) 4. Arbres binaires de recherche 5. Arbres équilibrés (AVL, B, rouge et noir) S41IR03 Métaheuristiques X. GANDIBLEUX Xavier.Gandibleux 1. Solution exacte vs solution approchée 2. Voisins et voisinage 3. Construction de solution et recherches locales (descente, algorithme glouton) 4. Recherches locales classiques (add-drop, k-p echange, k-opt, ect.) 5. métaheuristiques de recherche locale (recuit simulé, recherche tabou) 6. métaheuristiques évolutionnaires (algorithmes génétiques, colonies de fourmis) 7. métaheuristiques constructives (GRASP) 8. Stratégies avancées (oscillation, path-relinking, hybridation, etc.) S41IR04 Complexité algorithmique problèmes de décision / algos exacts polynomiaux 1. Evaluation des coûts (algo séquentiels, récursifs ; au mieux, au pire, en moyenne ; analyse amortie) 2. Ordres de grandeurs 3. Problèmes de décision

2 4. Réductions, problèmes complets et durs 5. Classes P, NP (y compris NP-complétude) S41IX01 Réseaux informatiques Présenter les techniques fondamentales de l'interconnexion de réseaux : protocoles de l'internet et leurs évolutions ainsi que le routage des informations. Pré-requis Réseaux Informatiques (licence) - Rappels : Réseaux locaux, Ethernet et Token Ring - Modèle d architecture TCP/IP - Adressage IP et résolution d adresse ARP, RARP - Protocole ICMP - Protocole et routage IP - Protocole de transport TCP, UDP - Protocole de routage dynamique interne (RIP, OSPF ) et externe (EGP, BGP) - Évolution de IP, IPv6 - Administration de réseaux (serveur DNS,...) - Programmation réseaux S41IX Gilles Ardourel Génie logiciel à objets I gilles.ardourel L'objectif de cette UE est de présenter les différents aspects du développement de logiciels à objets pour conduire à la réalisation de logiciels fiables et de qualité. Introduction aux problèmes génie logiciel et aux méthodes de développement. Techniques de modélisation: cas d'utilisation, instantanés, cartes conceptuelles. Conception d'applications à base d'événements. Conception et programmation par contrats. Utilisation de la notation UML (version 2) et de ses mécanismes d'extension dans la modélisation statique et dynamique d'une application. Introduction aux patrons de conception. S41IR05 Anglais 1 Techniques de communication en anglais S42IX Ph. LAMARRE Intelligence artificielle Philippe.Lamarre Introduction :

3 Qu'est-ce que l'ia, Qu'est-ce qu'un agent intelligent. Algorithmes de recherche : heuristique, recherche dans des espaces d'état, recherche dans des espaces de sous-problèmes... Algorithmes de jeu à deux joueurs : minimax, fonctions d'évaluation, alpha-beta, SSS*, notion de stratégie... Représentation des connaissances Approche logique : logique classique (propositionnel et premier ordre) limites et paradoxes Les différents types de connaissance : évolutives, inclomplètes, incertaines, imprécises, incohérentes Systèmes experts (chaînages avant, arrière, mixte, explications...) Réseaux, Graphes sémantiques Ontologies Planification : Actions, Situations et évènements Les réseaux de neurones : une approches non symbolique Apprentissage Communiquer, percevoir, agir : les systèmes à agents Bibliographie : «Artificial Intelligence, A Modern Approach», Stuart Russel, Peter Norvig, International Edition. S42IR01 Recherche opérationnelle II programmation non linéaire Ch. Jermann, L. Granvilliers Christophe.Jermann, Laurent.Granvilliers 1. Local optimization : unconstrained optimization (optimality conditions, line search methods, trust region methods), constrained optimization (optimality conditions, sequential quadratic programming, penalty and barrier methods) 2. Nonlinear constraint satisfaction : interval methods, decompositions, consistency techniques, branch-andreduce algorithms 3. Global optimization : relaxations, branch-and-bound methods, metaheuristics S42IR02 Algorithmique structures de données avancées ; algorithmique du texte Tas (de Fibonacci, binomial) Structures Union-Find Tables de hachage Recherche exacte de motifs (KMP, Boyer-Moore) Arbres des suffixes et autres automates Recherche linéaire de motifs en espace constant Techniques de compression de texte Recherche de motifs approchés S42IA Techniques de développement

4 M. Christie Marc.christie L'objectif de cette UE est de présenter à la fois les concepts et les outils relatifs au développement logiciel. Ceci regroupe la Gestion de Version (Subversion, CVS), la Gestion de Configuration (Makefile, Autoconf/Automake, Ant, Maven), les test unitaires et leur couvertue (frameworks CPPUnit et Junit, Clover) ainsi que les tests liés aux applications web (montée en charge,...). L'UE insistera aussi sur la qualité de code (normes, métriques, patterns et anti-patterns, code smells), sur les outils permettant de mesurer cette qualité (Jmetric, checkstyle), ainsi que sur les techniques et outils de restructuration de code (refatorings). Les différents outils liées au développement collaboratifs seront aussi présentés (Gestion de projet, Bugtracker, Suivi de versions,..). Une part importante du volume horaire en TP sera consacré à la réalisation d'un projet utilisant ces différentes techniques. S42IA02 Techniques objet avancées G. Ardourel Gilles.ardourel L'objectif de cette UE est de présenter et d'approfondir la compréhension des mécanismes et techniques objet avancées mises en oeuvre dans des technologies objet afin de faciliter la transition du statut d'utilisateur de technologie à ceux d'évaluateur, développeur ou expert. Présentation des principes et théories objets sous-jacentes à une ou plusieurs technologies Étude de leur mise en place par le développement de prototypes basés sur ses principes Pratique et évaluation des technologies Les technologies objets seront choisies en prenant en compte les besoins des autres modules de la formation et les attentes du contexte professionnel. Exemple : Réflexion, injection de contrôle et leur mise en oeuvre dans les architectures à base de plugins et les architectures distribuées. S42IA CH. Attiogbé Systèmes distribués Christian.attiogbe * Processus, messages, communication, synchronisation, horloges logiques * Noyaux extensibles * Mémoires virtuelles distribuées * Fichiers distribués S52IM22 Réseaux haut débit Etudier les principales évolutions des réseaux vers le haut débit et les nouvelles technologies intégrant la QoS. Pré-requis Réseaux Informatiques (licence) et S41IX01 - Évolution des réseaux locaux vers le haut débit.

5 - Ethernet haut débit (Fast Ethernet (100 BaseT), Gigabit Ethernet (1000 BaseT), Ethernet commuté). - Réseau FDDI (Fiber Distributed data Interface). - Qualité de service dans IP (intserv, diffserv, ). - Réseau ATM (Asynchronous Transfert Mode). - ATM et Internet (LANE (LAN Emulation) ; IP switching, tag switching ; MPLS (Multi-Protocol Label Switching)). - Etude de performances et simulation. S52IM23 Réseaux mobiles et sécurité : Présenter les nouvelles architectures et technologies des réseaux mobiles. Ce module aborde également un point non dissociable du précédent : la sécurité (données, équipements, etc...). Pré-requis : Réseaux Informatiques (licence) et S41IX01 - Réseaux mobiles (Réseaux téléphoniques (GSM, GPRS, EDGE, UMTS) ; - Réseaux sans fil (Bluetooth, IEEE /WiFi, Wimax, Réseaux ad hoc et Mesh). - Sécurité (La sécurité des données (cryptage, authentification,...) ; La sécurité dans les systèmes WLAN (Mécanisme de sécurité dans IEEE , Sécurité dans les réseaux ad hoc) ; La sécurité des équipements (Firewall, proxy, filtrage,...)). S42IR03 Anglais technique Anglais 2 S42IR04 TER (Travail d'étude et de recherche) Le travail personnel d étude et de recherche (TER) a pour vocation d amener l étudiant à s immerger dans une problématique conséquente proposée par le milieu académique ou professionnel. Une soutenance et un mémoire sera attendu au terme du TER.