Evaluation de la surete de fonctionnement : modeles combinatoires et markoviens

par HECTOR CANCELA

Thèse de doctorat en Informatique

Sous la direction de G. RUBINO.

Soutenue en 1996

à Rennes 1 .

    mots clés mots clés


  • Résumé

    Le sujet de la these se situe dans le cadre de la modelisation et l'evaluation de la surete de fonctionnement des systemes, notamment informatiques et de communication. Dans une premiere partie du travail, nous nous interessons aux systemes combinatoires. Comme l'evaluation exacte appartient aux problemes np-durs, nous considerons l'estimation de la fiabilite par des techniques de monte carlo. Dans ce contexte nous presentons une famille d'algorithmes (appeles algorithmes de reduction recursive de la variance) qui permettent d'offrir, en un temps fixe, une estimation plus precise que celle donnee par une simulation standard. L'un des problemes qui se presentent lors de la conception d'un reseau de communication est de definir sa topologie de facon a assurer, entre autre, une fiabilite maximale dans les communications. Nous employons les techniques d'evaluation de la fiabilite au sein d'un algorithme de recuit simule pour aborder ce probleme d'optimisation. La deuxieme partie de la these est consacree a l'etude des systemes markoviens. La generation du processus de markov sous-jacent au modele d'un systeme est un probleme important dans le contexte de l'evaluation de la surete de fonctionnement. Nous presentons une bibliotheque de modelisation et d'evaluation de systemes markoviens, qui permet le traitement de systemes evoluant en temps continu et en temps discret. Cette bibliotheque fournit comme notion de base le formalisme de boules et urnes, et elle permet l'incorporation d'autres formalismes de plus haut niveau. Nous considerons aussi les techniques de simulation et dans ce contexte nous proposons une methode de reduction recursive de la variance pour l'evaluation des mesures transitoires de la surete de fonctionnement


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 182 P.
  • Annexes : 172 REF.

Où se trouve cette thèse ?

  • Bibliothèque : Université de Rennes I. Service commun de la documentation. Section sciences et philosophie.
  • Disponible pour le PEB
  • Cote : TA RENNES 1996/158
  • Bibliothèque : Université de Rennes I. Service commun de la documentation. Section sciences et philosophie.
  • PEB soumis à condition
  • Cote : G.1 - CAN
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.