Modélisation, optimisation, complexité et algorithmes

Code
USSI7L

Description

Cette Unité Spécialisée (US) correspond, par son contenu et son nombre d’ECTS, à l’Unité d’Enseignement (UE) RCP105

  • Algorithmes de Graphes 
    • Concepts de base de la théorie des graphes
    • Connexité, forte connexité
    • Fermeture transitive. Algorithme de Roy -Warshall
    • Parcours des graphes (en largeur, en profondeur) : applications notamment à la connexité et à la forte connexité
    • Chemins (algorithmes de Ford, Dijkstra,  Floyd).
    • Ordonnancements (méthodes MPM)
    • Flot maximal (Ford Fulkerson) Flot à coût minimal (Busacker-Cowen)
    • Arbres optimaux (Kruskal, Prim)
  • Introduction à la complexité des algorithmes 
  • 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
    • Equation d'état - Semi-flots (invariant de places) analyse structurelle -
      Propriétés génériques  (finitude,  sûreté, vivacité), 

Finalité

Présenter des concepts, des méthodes de base indispensables pour la conception et le développement  en informatique.

Compétences visées

Modélisation et optimisation par les graphes
Assimilation de la notion de complexité des algorithmes.
Modélisation et analyse de systèmes dynamiques concurrents via les réseaux de Petri.

Prérequis

Avoir le niveau Bac+2 en informatique.


Nombre d’ECTS
6
Durée en nombre d'heures
60.00
Type de notation
Notation chiffrée (sur 20)
Moyenne pour valider l'UE
10.00
Modalité(s) d'évaluation
Contrôle continu
Examen final
Année de création
2023
Déployabilité
Offre déployable dans le réseau en cas d'agrément
Examen national
Oui

Le certificateur est le Cnam

Contactez-nous au sujet de cette unité

CAPTCHA
Cette question sert à vérifier si vous êtes un visiteur humain ou non afin d'éviter les soumissions de pourriel (spam) automatisées.