A Representation Model of Geometrical Tolerances Based on First Order Logic

Abstract : 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.
Type de document :
Communication dans un congrès
Zhongzhi Shi; David Leake; Sunil Vadera. 7th International Conference on Intelligent Information Processing (IIP), Oct 2012, Guilin, China. Springer, IFIP Advances in Information and Communication Technology, AICT-385, pp.234-239, 2012, Intelligent Information Processing VI. 〈10.1007/978-3-642-32891-6_30〉
Liste complète des métadonnées

Littérature citée [6 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01524962
Contributeur : Hal Ifip <>
Soumis le : vendredi 19 mai 2017 - 10:43:21
Dernière modification le : vendredi 19 mai 2017 - 10:45:56
Document(s) archivé(s) le : lundi 21 août 2017 - 00:51:35

Fichier

978-3-642-32891-6_30_Chapter.p...
Fichiers produits par l'(les) auteur(s)

Licence


Distributed under a Creative Commons Paternité 4.0 International License

Identifiants

Citation

Yuchu Qin, Yanru Zhong, Liang Chang, Meifa Huang. A Representation Model of Geometrical Tolerances Based on First Order Logic. Zhongzhi Shi; David Leake; Sunil Vadera. 7th International Conference on Intelligent Information Processing (IIP), Oct 2012, Guilin, China. Springer, IFIP Advances in Information and Communication Technology, AICT-385, pp.234-239, 2012, Intelligent Information Processing VI. 〈10.1007/978-3-642-32891-6_30〉. 〈hal-01524962〉

Partager

Métriques

Consultations de la notice

56

Téléchargements de fichiers

35