Auto-test pour les calculs approche et quantique

par FREDERIC MAGNIEZ

Thèse de doctorat en Sciences et techniques

Sous la direction de Miklos Santha.

Soutenue en 2000

à PARIS 11, ORSAY .

    mots clés mots clés


  • Pas de résumé disponible.


  • Pas de résumé disponible.


  • Résumé

    Nous considerons une extension du modele de l'auto-test defini par blum, luby, et rubinfeld. Initialement, l'auto-test est une notion de test de programme informatique devant respecter certaines contraintes. Le programme est vu comme une boite noire completement inconnue, et le test doit etre de preference plus efficace que n'importe quel programme correct connu. L'auto-test a demontre son utilite dans des domaines aussi varies que le calcul numerique, la complexite structurelle, et les algorithmes d'approximation. Neanmoins a ce jour, seules les situations de calcul exact ou approche avec erreur absolue avaient ete considerees. Nous etendons pour la premiere fois la notion de l'auto-test a toute classe d'objets sans restriction, et validons ce nouveau concept sur deux modeles de calculs : - pour le calcul approche, nous construisons des auto-testeurs de fonctions lineaires, polynomiales, ou multilineaires ; - pour le calcul quantique, nous construisons des auto-testeurs de composants internes d'un circuit quantique, et en particulier d'ensembles universels et tolerants a l'erreur de portes quantiques. Pour parvenir a nos fins, nous developpons deux nouvelles methodes permettant de construire des auto-testeurs et qui reposent respectivement sur les tests approches et les equations probabilistes. Ainsi nous distingons tres nettement les problemes mathematiques de ceux algorithmiques sous-jacents a l'auto-test, et clarifions les analyses des auto-testeurs.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 94 p.
  • Annexes : 97 ref.

Où se trouve cette thèse ?

  • Bibliothèque : Université Paris-Sud (Orsay, Essonne). Service Commun de la Documentation. Section Sciences.
  • Disponible 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-014518
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.