Connaissances expertes, propagation de contraintes et maintien de coherence pour l'aide a la conception. Application a la conception d'equipements electroniques de satellites : le systeme smack

par Nathalie Pfeffer

Thèse de doctorat en Sciences appliquées

Sous la direction de Marie-Odile Cordier.

Soutenue en 1992

à Paris 11 .


  • Résumé

    L'activite de conception donne naissance a tous les objets qui nous entourent: les voitures, les batiments, les ordinateurs. . . Cette these vise l'automatisation du processus de conception preliminaire d'objets industriels (artefacts). Le modele computationnel de conception par assemblage que nous avons elabore s'execute en trois phases. La premiere analyse l'ensemble des specifications pour y detecter les points delicats et completer les valeurs manquantes. La seconde phase applique un modele de decomposition/combinaison pour construire un artefact de performances proches des specifications. La troisieme phase applique un modele de reconception transformationnelle pour l'ameliorer en vue d'obtenir un artefact repondant aux specifications. Nous proposons dans cette these de combiner trois types de techniques d'intelligence artificielle: (1) un systeme expert pour conseiller des pistes de solution, (2) un systeme de propagation de contraintes pour expliciter leurs consequences afin d'anticiper les conflits et de tirer parti d'interactions entre parties de la solution, et (3) un systeme de maintien de coherence pour resoudre les conflits au sein de la solution dus a l'incoherence et/ou incompletude des connaissances expertes. Ces principes sont mis en uvre dans le systeme smack d'aide a la conception preliminaire d'equipements electroniques de satellites


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Annexes : 81 REF

Où se trouve cette thèse ?

  • Bibliothèque : Ecole Polytechnique de l’Université François Rabelais . Départements Electronique et Energie, Informatique, Mécanique et Systèmes. Centre de documentation.
  • Disponible pour le PEB
  • Cote : DI-TH-265
  • Bibliothèque : Université Paris-Sud (Orsay, Essonne). Service Commun de la Documentation. Section Sciences.
  • Accessible 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-010872
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.