Modélisation, optimisation, complexité et algorithmes

Code UE : RCP105-BFC

  • Cours
  • 6 crédits

Responsable national

Kamel BARKAOUI

Responsable opérationnel

Kamel BARKAOUI

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 du parallélisme et de la synchronisation à l'aide des réseaux de Pétri , validation d'un système.

Graphes et Algorithmes de base
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 maximal à coût minimal (Busacker-Cowen)
Arbres optimaux (Krsukal, 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)
Systemes concurrents , formalisme des RdP , exemples de modélisation de systèmes dynamiques à événements discrets.
Analyse comportementale :  Graphe des marquages accessibles, arborescence de Karp et Miller.
Propriétés generiques  (finitude,  sûreté, vivacité), proprietes specifiques ( introduction  a la logique temporelle lineaire) - Équation d'état - Semi-flots (invariant de places) analyse structurelle - Etude de cas 
 
Au second semestre, les UEs NFP 103 (applications concurrentes), RCP 103 (evaluation de performaces)  , RCP 104 ( methodes heuristiques) ou RCP 106 (programmation lineaire) font suite à cet enseignement.
 

Le responsable national relit et valide les sujets proposés par les CRA

  • Groupe ROSEAUX : Exercices et problèmes résolus de R.O., tomes 1 et 2 (Masson).

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

Chargement du résultat...
Patientez
Type
Intitulé
Equipe pédagogique
Modalité(s) / Lieu(x)
Code
Equipe pédagogique Informatique
Equipe pédagogique Informatique
Equipe pédagogique Informatique
Equipe pédagogique Mathématique et statistique
Modalité(s) / Lieu(x)
  • - Enseignée en formation présentielle et/ou partiellement à distance : Paris
  • Equipe pédagogique Informatique
    Modalité(s) / Lieu(x)
  • - Enseignée en formation présentielle et/ou partiellement à distance : Bretagne, Grand Est, Hauts de France, Ile-de-France (sans Paris), Liban, Midi-Pyrénées, Normandie, Nouvelle Aquitaine, Paris
  • Equipe pédagogique Informatique
    Modalité(s) / Lieu(x)
  • - Enseignée en formation présentielle et/ou partiellement à distance : Bretagne, Ile-de-France (sans Paris), Paris
  • Equipe pédagogique Informatique
    Modalité(s) / Lieu(x)
  • - Enseignée en formation présentielle et/ou partiellement à distance : CFA Ile de France, Grand Est, Hauts de France
  • Equipe pédagogique Informatique
    Equipe pédagogique Informatique
    Modalité(s) / Lieu(x)
  • - Enseignée en formation présentielle et/ou partiellement à distance : Paris
  • Type Intitulé Equipe pédagogique Modalité(s) / Lieu(x) Code

    Contact

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

    Centre(s) d'enseignement proposant cette formation