0972 311 312 (prix appel local)

Modélisation, optimisation, complexité et algorithmes (RCP105)

Objectifs

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

Modélisation et optimisation par les graphes Assimilation de la notion de complexité. Modélisation des systèmes dynamiques à événements discrets

Légende :

  100% Internet - national

Condition d'accès / publics visé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 des systèmes dynamiques à événements discrets

Niveau

Niveau 6 (Bac+3 et Bac+4)

Contenu de la formation

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, surete , 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.

Modalités de validation

Examen écrit .

Accompagnement et suivi

Sous l’autorité pédagogique du certificateur Cnam, les équipes du Cnam Bretagne vous offrent un accompagnement pendant votre parcours de formation à la fois sur les aspects administratifs, financiers, pédagogiques et techniques.

ECTS : 6

Modalité Volume horaire CPF Employeur Pôle Emploi Auto-financement
 
45 heures   900 € 225 € 225 €

INFOS
PRATIQUES

Durée

45 heures

Modalité

100% Internet - national  

Date de début des cours

19/10/2020

Date de fin des cours

20/02/2021