Modélisation, optimisation, complexité et algorithmes
6 crédits Kamel BARKAOUI EPN05 - Informatique Unité d'enseignement de type mixte
Publié Du 01-09-2007 au 31-08-9999
Avoir le niveau Bac+2 ( DPCT du Cnam, DUT, BTS) en informatique.
Présenter des concepts, des méthodes de base indispensables pour de futurs ingénieurs chargés de la conception et développement en informatique.
Modélisation et optimisation par les graphes
Assimilation de la notion de complexité.
Modélisation et analyse de systèmes dynamiques concurrents.
L'unité RCP105 apparaît dans 11 cursus.
Licence Sciences technologies santé mention informatique En alternance
Diplôme d'ingénieur Spécialité informatique parcours Architecture et ingénierie des systèmes et des logiciels (AISL)
Diplôme d'ingénieur Spécialité informatique parcours Intelligence Artificielle et Optimisation
Diplôme d'ingénieur Spécialité informatique parcours Informatique, réseaux, systèmes et multimédia
Diplôme d'ingénieur Spécialité informatique parcours Informatique systèmes d'information
Diplôme d'ingénieur Spécialité informatique parcours Cybersécurité
Titre RNCP Niveau 6 Concepteur intégrateur d'infrastructures informatiques (systèmes et réseaux, applicatives, ou de sécurité) parcours Systèmes et réseaux
Titre RNCP Niveau 6 Concepteur intégrateur d'infrastructures informatiques (systèmes et réseaux, applicatives, ou de sécurité) parcours Systèmes d'information
Titre RNCP Niveau 6 Concepteur intégrateur d'infrastructures informatiques (systèmes et réseaux, applicatives, ou de sécurité) parcours Cybersécurité
Licence professionnelle Métiers de l'informatique : conception, développement et test de logiciels parcours Chef de Projet Développement, Sécurité et Exploitation en HTT
Licence Sciences technologies santé mention informatique parcours Informatique générale
Algorithmes de Graphes
Concepts de base de la théorie des graphes.
Connexité, forte connexité, mise en ordre.
Fermeture transitive. Algorithme de Roy -Warshall
Parcours des graphes (en largeur, en profondeur) : applications notamment à la connexité et à la forte connexité (algorithme de TARJAN).
Chemins (algorithmes de Ford, Dijkstra, Floyd).
Ordonnancements (méthodes PERT et MPM et problèmes d'atelier)
Flot maximal (Ford Fulkerson) Flot à coût minimal (Busacker-Cowen)
Arbres optimaux (Kruskal, Prim)
Introduction à la complexité des algorithmes et des problèmes
Classes P, NP - Équivalence et réductions entre problèmes - Problèmes NP-complets, NP-difficiles - Théorème de COOK.
Réseaux de Petri (RdP)
Systèmes concurrents, formalisme des réseaux de Petri , exemples de modélisation de systèmes dynamiques à événements discrets.
Analyse comportementale : Graphe des marquages accessibles, arborescence de Karp et Miller.
Équation d'état - Semi-flots (invariant de places) analyse structurelle -
Propriétés génériques (finitude, sûreté, vivacité), propriétés spécifiques ( introduction a la logique temporelle linéaire) -
Etude de cas
Au second semestre, les UE NFP 103 (applications concurrentes), RCP 103 (evaluation de performances) font suite à cet enseignement.
Le responsable national relit et valide les sujets proposés par les CRA
| Titre | Auteur(s) |
|---|---|
| Méthodes formelles pour les systèmes répartis et coopératifs Traité IC2, série Informatique et Systèmes d'Information | Coordinators: HADDAD Serge, KORDON Fabrice, PETRUCCI Laure |
| Introduction to Graph Theory | Douglas West |