Skip to Main content Skip to Navigation
Conference papers

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.
Document type :
Conference papers
Complete list of metadata

Cited literature [6 references]  Display  Hide  Download

https://hal.inria.fr/hal-01524962
Contributor : Hal Ifip <>
Submitted on : Friday, May 19, 2017 - 10:43:21 AM
Last modification on : Thursday, March 5, 2020 - 5:41:52 PM
Long-term archiving on: : Monday, August 21, 2017 - 12:51:35 AM

File

978-3-642-32891-6_30_Chapter.p...
Files produced by the author(s)

Licence


Distributed under a Creative Commons Attribution 4.0 International License

Identifiers

Citation

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⟩

Share

Metrics

Record views

136

Files downloads

255