Validation de modèle et propagation de contraintes dans le système TRIDENT - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Reports (Research Report) Year : 1985

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

Abstract

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.
No file

Dates and versions

inria-00548488 , version 1 (20-12-2010)

Identifiers

  • HAL Id : inria-00548488 , version 1

Cite

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⟩
28 View
0 Download

Share

Gmail Facebook X LinkedIn More