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 graphesAssimilation de la notion de complexité.Modélisation et analyse de systèmes dynamiques concurrents.

Légende :

  Formation ouverte et à distance (FOAD)

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 et analyse de systèmes dynamiques concurrents.

Niveau

Niveau 6 (Bac+3 et Bac+4)

Contenu de la formation

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.

Modalités de validation

Contrôle continu

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 Employeur France travail Auto-financement
 
45 heures 900 € 260 € 260 €

Indexation officielle

FORMACODES

[K0A2A1A3] réseau informatique - [K0A2A1] réseau télécom - [K0A2] télécommunication - [K0] électricité - électronique

[C0A1A7A0A1] théorie graphes - [C0A1A7A0] recherche opérationnelle - [C0A1A7] mathématiques décision - [C0A1] mathématiques - [C0] sciences

Indicateurs de résultat

En savoir plus

Dernière mise à jour : 25/03/2024

INFOS
PRATIQUES

Durée

45 heures

Modalité

Formation ouverte et à distance (FOAD) 

Date de début des cours

14/10/2024

Date de fin des cours

15/02/2025

Accessibilité handicap

En savoir plus

Comment s’inscrire ?

En savoir plus