06_1302341F_1250463 https://www.formation.gref-bretagne.com/formation/20963 Modélisation, optimisation, complexité et algorithmes - RCP105 CNAM DE BRETAGNE

Modélisation, optimisation, complexité et algorithmes - RCP105

Date de mise à jour : 26/07/2023 | Identifiant OffreInfo : 06_1302341F
Organisme responsable : CNAM DE BRETAGNE

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.

Modélisation et optimisation par les graphes

Assimilation de la notion de complexité.

Modélisation des systèmes dynamiques à événements discrets

Programme 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èmesClasses 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.

Validation et sanction

Attestation de formation

Type de formation

Non certifiante

Sortie

Sans niveau spécifique

Contact de la formation

2 Rue Camille Guérin
22440 - Ploufragan
Téléphone fixe : 0972311312
Site web : http://www.cnam-bretagne.fr

Contact de l'organisme formateur

Conservatoire national des arts et métiers - centre régional de Bretagne
SIRET : 43411361900119
Responsable : Madame Emeline JAHIER
Téléphone fixe : 0972311312
Contacter l'organisme

Information fournie par :