Modélisation, optimisation, complexité et algorithmes

Code UE : RCP105

  • Cours + travaux pratiques
  • 6 crédits
  • Volume horaire de référence
    (+ ou - 10%) : 50 heures

Responsable(s)

Kamel BARKAOUI

Public, conditions d’accès et prérequis

Avoir le niveau Bac+2 ( DPCT du Cnam, DUT, BTS) en informatique.

L'avis des auditeurs

Les dernières réponses à l'enquête d'appréciation pour cet enseignement :

Présence et réussite aux examens

Pour l'année universitaire 2020-2021 :

  • Nombre d'inscrits : 209
  • Taux de présence à l'évaluation : 83%
  • Taux de réussite à l'évaluation : 82%

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.

Contenu

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é d'évaluation

Le responsable national relit et valide les sujets proposés par les CRA

Bibliographie

  • Coordinators: HADDAD Serge, KORDON Fabrice, PETRUCCI Laure : Méthodes formelles pour les systèmes répartis et coopératifs Traité IC2, série Informatique et Systèmes d'Information
  • Douglas West : Introduction to Graph Theory

Cette UE apparaît dans les diplômes et certificats suivants

Chargement du résultat...
Patientez
Intitulé de la formation
Type
Modalité(s)
Lieu(x)
Intitulé de la formation Licence informatique
Lieu(x) À la carte
Intitulé de la formation Licence informatique
Lieu(x) Alternance
Intitulé de la formation Master Réseaux et Objets Connectés
Lieu(x) À la carte
Lieu(x) Alternance
Lieu(x)
Lieu(x)
Lieu(x)
Lieu(x)
Lieu(x) Alternance
Lieu(x) Midi-Pyrénées
Lieu(x) À la carte
Lieu(x) Alternance
Lieu(x) Midi-Pyrénées
Lieu(x) Package
Lieu(x) Grand-Est
Lieu(x) À la carte
Lieu(x) À la carte
Lieu(x) Package
Lieu(x) Hauts-de-France
Lieu(x) À la carte
Lieu(x) Alternance
Lieu(x) Occitanie
Lieu(x) À la carte
Lieu(x) À la carte
Lieu(x) Paris
Lieu(x) À la carte
Lieu(x) À la carte
Intitulé de la formation Architecte en cybersécurité
Lieu(x) À la carte
Intitulé de la formation Type Modalité(s) Lieu(x)

Contact

EPN05 - Informatique
2 rue Conté
75003 Paris
Tel :01 40 27 22 58
Swathi Rajaselvam

Voir le calendrier, le tarif, les conditions d'accessibilité et les modalités d'inscription dans le(s) centre(s) d'enseignement qui propose(nt) cette formation.

UE

    • Paris
      • Centre Cnam Paris
        • 2022-2023 1er semestre : FOAD 100%
        Comment est organisée cette formation ?

        Organisation de la modalité FOAD 100%

        Planning

        1er semestre

        • Date de démarrage : 19/09/2022
        • Date limite d'inscription : 02/11/2022
        • Date de 1ère session d'examen : 23/01/2023
        • Date de 2ème session d'examen : 24/04/2023

        Précision sur la modalité pédagogique

        • Regroupements physiques facultatifs : Aucun

        Organisation du déploiement de l'unité

        • Délai maximum de réponse à une solicitation : sous 96 heures (Jours ouvrés)

        Modes d'animation de la formation

        • Organisation d'une séance de démarrage
        • Evaluation de la satisfaction
        • Hot line technique

        Ressources mises à disposition sur l'Espace Numérique de Formation

          :
      • Grand Est
        • Grand Est
          Comment est organisée cette formation ?

          Organisation de la modalité FOAD 100%

          Planning

          1er semestre

          • Date de démarrage : 13/10/2022
          • Date limite d'inscription : 01/09/2023
          • Date de 1ère session d'examen : 13/02/2023
          • Date de 2ème session d'examen : 04/09/2023

          2ème semestre

          • Date de démarrage : 02/03/2023
          • Date limite d'inscription : 01/06/2023
          • Date de 1ère session d'examen : 05/06/2023
          • Date de 2ème session d'examen : 04/09/2023

          Précision sur la modalité pédagogique

          • Regroupements physiques facultatifs : Aucun

          Organisation du déploiement de l'unité

          • Nombre d'élèves maximum à distance par classe : 35
          • Nombre d'heures d'enseignement par élève : 25
          • Délai maximum de réponse à une solicitation : sous 96 heures (Jours ouvrés)

          Modes d'animation de la formation

          • Forum
          • Messagerie intégrée à la plateforme
          • Visioconférence
          • Outils numériques de travail collaboratif
          • Organisation d'une séance de démarrage
          • Evaluation de la satisfaction
          • Hot line technique

          Ressources mises à disposition sur l'Espace Numérique de Formation

          • Documents de cours
          • Enregistrement de cours
          • Documents d'exercices, études de cas ou autres activités pédagogiques
          • Bibliographie et Webographie

          Modalité de contrôle de l'acquisition des compétences et des connaissances (validation de l'UE)

          • Examens présentiels dans un centre habilité
          :