A Representation Model of Geometrical Tolerances Based on First Order Logic - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2012

A Representation Model of Geometrical Tolerances Based on First Order Logic

Résumé

Tolerance representation models are used to specify tolerance types and explain semantics of tolerances for nominal geometry parts. To well explain semantics of geometrical tolerances, a representation model of geometrical tolerances based on First Order Logic (FOL) is presented in this paper. We first investigate the classifications of feature variations and give the FOL representations of them based on these classifications. Next, based on the above representations, we present a FOL representation model of geometrical tolerances. Furthermore, we demonstrate the effectiveness of the representation model by specifying geometrical tolerance types in an example.
Fichier principal
Vignette du fichier
978-3-642-32891-6_30_Chapter.pdf (261.92 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01524962 , version 1 (19-05-2017)

Licence

Paternité

Identifiants

Citer

Yuchu Qin, Yanru Zhong, Liang Chang, Meifa Huang. A Representation Model of Geometrical Tolerances Based on First Order Logic. 7th International Conference on Intelligent Information Processing (IIP), Oct 2012, Guilin, China. pp.234-239, ⟨10.1007/978-3-642-32891-6_30⟩. ⟨hal-01524962⟩
52 Consultations
110 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More