Normal view MARC view ISBD view

Quelques analyses de complexité en moyenne sur les algorithmes de multi-filtrage, d'unification et de requête multiple / Luc Albert ; sous la direction de Philippe Flajolet

Auteur principal : Albert, Luc, 1965-, AuteurAuteur secondaire : Flajolet, Philippe, 1948-2011, Directeur de thèseAuteur secondaire collectivité : Université Paris-Sud, Etablissement de soutenanceType de document : ThèseLangue : français.Pays : France.Éditeur : [S.l.] : [s.n.], 1990Description : 1 vol. (183 p.) : fig. ; 30 cmISBN : 2726106393.Bibliographie : BiIbliogr. p. 153-160 .Sujet MSC : 68N17, Computer science -- Software, Logic programming
68P15, Computer science -- Theory of data, Database theory
68Q25, Computer science -- Theory of computing, Analysis of algorithms and problem complexity
68T35, Computer science -- Artificial intelligence, Languages and software systems (knowledge-based systems, expert systems, etc.)
97A70, Mathematics education - General, mathematics and education, Theses and postdoctoral theses
Note de thèse: Thèse de doctorat , informatique, 1990, Paris 11
Tags from this library: No tags from this library for this title. Log in to add tags.
Current location Call number Status Date due Barcode
CMI
Salle S
Thèses ALB (Browse shelf) Available 10450-01

BiIbliogr. p. 153-160

Thèse de doctorat informatique 1990 Paris 11

L'objet de cette thèse est l’étude de la performance des algorithmes fondamentaux que sont le multi-filtrage dans les générateurs de systèmes experts, les algorithmes d'unification de termes du premier ordre en programmation logique et les algorithmes de requêtes multiples dans les bases de données. Notre approche est celle de la complexité en moyenne. En effet ces algorithmes ont en général une variation importante de complexité entre le cas le meilleur et le cas le pire. Nous effectuons notre analyse a l'aide principalement de la théorie combinatoire des séries génératrices et de l'analyse asymptotique complexe pour l'approximation de leurs coefficients. Ceci nous permet d'obtenir des résultats avec différents modèles d’étude (notamment pour la distribution des données) et de confirmer, voire de proposer, des optimisations pour ces algorithmes. L'usage d'un outil de calcul formel a été indispensable pour mener a bien nos calculs. Nous avons confronté à l’expérimentation ces résultats théoriques sur un générateur de systèmes experts temps réel et développé un analyseur automatique de performance en moyenne pour systèmes de règles de production

There are no comments for this item.

Log in to your account to post a comment.