Validation de modèle et propagation de contraintes dans le système TRIDENT

Résumé : Ce rapport est consacré à l'étude de deux points particuliers du système d'interprétation de scènes 3D TRIDENT. La première partie détaille le fonctionnement d'un outil de validation du modèle de la scène. Il permet au concepteur de contrôler a posteriori la validité du modèle qu'il vient de construire. Ce travail s'apparente à la validation d'une spécification formelle. La seconde partie étudie différentes techniques de propagation de contraintes qui sont nécessaires aussi bien pour valider le modèle que pour reconnaître une scène. Outre l'adaptation de la méthode de Bledsoe-Shostack, nous décrivons la solution adoptée dans le cas de systèmes comportant des alternatives.
Type de document :
Rapport
[Rapport de recherche] 85-R-045, 1985
Liste complète des métadonnées

https://hal.inria.fr/inria-00548488
Contributeur : Thoth Team <>
Soumis le : lundi 20 décembre 2010 - 08:49:40
Dernière modification le : jeudi 11 janvier 2018 - 06:23:18

Identifiants

  • HAL Id : inria-00548488, version 1

Collections

Citation

Martine Camonin, Roger Mohr, Françoise Simonot. Validation de modèle et propagation de contraintes dans le système TRIDENT. [Rapport de recherche] 85-R-045, 1985. 〈inria-00548488〉

Partager

Métriques

Consultations de la notice

41