Modélisation, optimisation, complexité et algorithmes - RCP105 par CNAM DE BRETAGNE
Lieu(x)
À distance
Durée
Total : 60 heures
En centre : 60 heures
Financement
Demandeur d’emploi
Prix
Nous contacter
Cette formation vous intéresse ?
Description générale
Graphes et Algorithmes de baseConcepts 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'atelierFlot 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)Systèmes 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 génériques (finitude, sureté , vivacité), propriétés spécifiques ( introduction a la logique temporelle linéaire) - Équation d'état
- Semi
- flots (invariant de places) analyse structurelle
- Etude de cas
- 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'atelierFlot 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)Systèmes 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 génériques (finitude, sureté , vivacité), propriétés spécifiques ( introduction a la logique temporelle linéaire) - Équation d'état
- Semi
- flots (invariant de places) analyse structurelle
- Etude de cas
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 graphesAssimilation de la notion de complexité.Modélisation des systèmes dynamiques à événements discrets
Secteur(s)
Formation proposée par : CNAM DE BRETAGNE
À découvrir