Modélisation, optimisation, complexité et algorithmes

Code UE : RCP105-GET

  • Cours + travaux pratiques
  • 6 crédits

Responsable national

Kamel BARKAOUI

Responsable opérationnel

Public et conditions d'accès

Avoir le niveau Bac+2 ( DPCT du Cnam, DUT, BTS) en informatique.

Objectifs pédagogiques

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.

Compétences visées

Modélisation et optimisation par les graphes
Assimilation de la notion de complexité.
Modélisation et analyse de systèmes dynamiques concurrents.

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 UEs 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

  • Coordinators: HADDAD Serge, KORDON Fabrice, PETRUCCI Laure : Méthodes formelles pour les systèmes répartis et coopératifs Traité IC2, série Informatique et Systèmes d'Information
  • Douglas West : Introduction to Graph Theory

Cette UE apparaît dans les diplômes et certificats suivants

Chargement du résultat...
Patientez
Intitulé de la formation
Type
Modalité(s)
Lieu(x)
Lieu(x) Alternance
Lieu(x) À la carte
Lieu(x) Alternance
Lieu(x) À la carte
Lieu(x) À la carte
Lieu(x) À la carte
Lieu(x) À la carte
Lieu(x) Alternance
Lieu(x) Mulhouse
Lieu(x) À la carte
Lieu(x) Alternance
Lieu(x) À la carte
Lieu(x) À la carte
Lieu(x) Alternance
Intitulé de la formation Architecte en cybersécurité
Lieu(x) Alternance
Intitulé de la formation Architecte en cybersécurité
Lieu(x) À la carte
Intitulé de la formation Type Modalité(s) Lieu(x)

Contact

EPN05 - Informatique
2 rue Conté
75003 Paris
Tel :01 40 27 22 58
Swathi Rajaselvam

Centre(s) d'enseignement proposant cette formation

  • Grand Est
    Comment est organisée cette formation ?
    <h3>Planning</h3>Date limite d'inscription :<br/> - 1er semestre : 09/09/2020<br/> - 2ème semestre : 09/09/2020<br/><br/>Date de démarrage :<br/> - 1er semestre : 17/10/2019<br/> - 2ème semestre : 27/02/2020<br/><br/>Date de la première session d'examen :<br/> - 1er semestre : 12/02/2020<br/> - 2ème semestre : 11/06/2020<br/><br/>Date de la deuxième session d'examen :<br/> - 1er semestre : 10/09/2020<br/> - 2ème semestre : 10/09/2020<br/><br/><h3>Accompagnement collectif</h3>Rendez-vous : <br />Chat : <br />Forum par UE :oui<br />Webconférence : oui<br/><br/><h3>Accompagnement individuel</h3>Echange par mails : oui<br />Accompagnement téléphonique : <br /><br/><h3>Regroupement</h3>Séances de regroupement : non<br /><br /><h3>Modalités de validation</h3>Examen sur table :oui<br />Projet : non<br />Contrôle continu : non<br />Examen partiel : non<br />

    Planning

    Date limite d'inscription :
    - 1er semestre : 11/09/2019
    - 2ème semestre : 11/09/2019

    Date de démarrage :
    - 1er semestre : 17/10/2018
    - 2ème semestre : 20/02/2019

    Date de la première session d'examen :
    - 1er semestre : 07/02/2019
    - 2ème semestre : 13/06/2019

    Date de la deuxième session d'examen :
    - 1er semestre : 12/09/2019
    - 2ème semestre : 12/09/2019

    Accompagnement collectif

    Rendez-vous :
    Chat :
    Forum par UE :oui
    Webconférence : oui

    Accompagnement individuel

    Echange par mails : oui
    Accompagnement téléphonique :

    Regroupement

    Séances de regroupement : non

    Modalités de validation

    Examen sur table :oui
    Projet : non
    Contrôle continu : non
    Examen partiel : non
    :