Raisonnement qualitatif : des techniques applicables a la conception de circuits

par Pascal Jézéquel

Thèse de doctorat en Sciences appliquées

Sous la direction de J.-P. LAURENT.

Soutenue en 1996

à Chambéry .

    mots clés mots clés


  • Résumé

    Le raisonnement qualitatif est un domaine de l'intelligence artificielle qui permet de predire, par simulation, la gamme des comportements possibles de systemes modelises a partir de connaissances imprecises ou incompletes. Il offre donc un interet certain pour pouvoir valider, en premiere approche, les systemes concus par les ingenieurs. Les proprietes des algorithmes de simulation qualitative assurent que tous les etats reellement possibles sont predits. Si le comportement attendu n'est pas trouve, cela signifie donc que le systeme concu n'est pas valide et qu'il est inutile d'utiliser des methodes plus poussees pour l'etudier. Le principal probleme de la simulation qualitative reste la prediction de comportements incorrects qui ne correspondent a aucun comportement reellement possible. Nous nous sommes donne comme objectif, dans cette these, de mettre au point des methodes capables d'eliminer ces comportements incoherents. Pour ce faire, nous proposons certaines ameliorations et extensions du calcul qualitatif comme, notamment, l'utilisation du calcul formel et la propagation d'informations numeriques par le biais du calcul dans l'algebre d'intervalles. Ces extensions nous ont permis d'atteindre l'objectif fixe dans le cas de systemes a faible dynamique. Les circuits de servitude (hydrauliques, pneumatiques, electriques), etudies dans l'hypothese de l'approximation quasi-statique, entrent idealement dans ce cadre de systemes a faible dynamique. Nous nous sommes plus specifiquement appuye sur les problematiques de modelisation et de simulation qualitatives de circuits de servitude pour valider nos methodes. Ces methodes ont ainsi ete testees a l'aide d'une panoplie d'outils que nous avons developpe pour donner aux concepteurs les moyens de modeliser et de simuler leurs circuits durant la phase d'etudes prealables


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 219 P.
  • Annexes : 60 REF.

Où se trouve cette thèse ?

  • Bibliothèque : Université Savoie Mont Blanc (Le Bourget-du-Lac, Savoie). Service commun de la documentation et des bibliothèques universitaires. Section Sciences.
  • Accessible pour le PEB
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.