Verification probabiliste de problemes de graphes : application a la planification avec incertitudes

par JUAN FRANCISCO DIAZ-FRIAS

Thèse de doctorat en Sciences appliquées

Sous la direction de Michel de Rougemont.

Soutenue en 1993

à Paris 11 .

    mots clés mots clés


  • Résumé

    Dans cette these nous avons etudie le role que peut jouer le hasard pour le developpement de verificateurs efficaces. Nous nous sommes interesses d'un point de vue theorique a la verification efficace de quelques problemes avec incertitudes sur les graphes et, d'un point de vue pratique, a l'etude d'une application dans le domaine de la planification avec incertitudes. Les trois premiers chapitres de cette these presentent les differentes notions de verification et en particulier les preuves interactives. Les chapitres suivants decrivent les apports principaux de cette these: 1) la construction de verificateurs probabilistes efficaces pour des problemes de comptage et de fiabilite dans un graphe. Il faut remarquer la generalite de la technique sous-jacente utilisee; 2) la determination de bornes superieures au nombre d'echanges pour verifier ces problemes, bornes bien meilleures que celles que l'on trouve pour les verificateurs construits de maniere indirecte (c. A. D. , en utilisant le protocole existant pour =sat); 3) la definition d'un cadre theorique pour la planification avec incertitudes, ou les concepts de robustesse et performances d'une strategie sont definis; 4) l'etude d'un outil pour verifier la robustesse d'une strategie et la definition des etapes vers la construction d'un tel outil


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 107 P.
  • Annexes : 59 REF.

Où se trouve cette thèse ?

  • Bibliothèque : Université Paris-Sud (Orsay, Essonne). Service Commun de la Documentation. Section Sciences.
  • Accessible pour le PEB
  • Bibliothèque : Centre Technique du Livre de l'Enseignement supérieur (Marne-la-Vallée, Seine-et-Marne).
  • Disponible pour le PEB
  • Cote : TH2014-011293
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.