Contribution à l'algorithmique anytime : contrôle et conception

par Arnaud Delhay

Thèse de doctorat en Informatique

Sous la direction de Max Dauchet.

Soutenue en 2000

à Lille 1 .


  • Résumé

    Un des aspects les plus contraignants pour l'implantation d'applications temps-reel est que beaucoup des problemes poses sont de complexite elevee (problemes np-durs) et ont un comportement general difficilement previsible. Une solution est de faire un compromis entre temps de calcul et qualite du resultat, comme le permettent les algorithmes anytime. Cette these apporte deux contributions principales a l'algorithmique anytime : l'une concernant l'ordonnancement d'algorithmes anytime a contrat, l'autre traitant du probleme de conception des algorithmes anytime et plus particulierement de leurs profils de performance. Dans la premiere partie, nous proposons d'etudier une situation dans laquelle un evenement vient interrompre le calcul d'un algorithme anytime a contrat (non-interruptible) et ou il faut fournir une reponse exploitable au moment de cette interruption.


  • Résumé

    La date d'occurence de l'evenement est definie par une probabilite uniforme sur un intervalle. Nous proposons de maximiser la qualite moyenne sur l'intervalle, ce qui permet par definition de donner la meilleure qualite sur la moyenne des occurrences possibles de l'evenement interrupteur. Les problemes de choix du critere de qualite et de la fonction de generation des entrees representatives du fonctionnement de l'algorithme dans son contexte d'utilisation, meme si elles semblent fortement dependantes de l'application, ne sont pas pour autant aises a resoudre. C'est pourquoi nous proposons dans une seconde partie, par l'intermediaire d'experimentations a la fois simples et representatives, de soulever les problemes qu'il est possible de rencontrer dans ce cadre. A l'aide de la theorie de la complexite de kolmogorov, nous etablissons que l'approche aleatoire pour le choix des entrees n'est pas appropriee pour obtenir des profils de performance representatifs des cas reels. Cette approche experimentale montre qu'il n'est pas aise de construire des profils de performance.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (VIII-146 p.)
  • Annexes : Bibliogr. f. 81-84

Où se trouve cette thèse ?

  • Bibliothèque : Université des sciences et technologies de Lille (Villeneuve d'Ascq, Nord). Service commun de la documentation.
  • Disponible pour le PEB
  • Cote : 50376-2000-382
  • Bibliothèque : Université des sciences et technologies de Lille (Villeneuve d'Ascq, Nord). Service commun de la documentation.
  • Disponible pour le PEB
  • Cote : 50376-2000-383

Cette version existe également sous forme de microfiche :

  • Bibliothèque : Service interétablissements de Documentation (Saint-Martin d'Hères, Isère). Bibliothèque universitaire de Sciences.
  • Non disponible pour le PEB
  • Cote : MF-2000-DEL
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.