A Representation Model of Geometrical Tolerances Based on First Order Logic

Yuchu Qin, Yanru Zhong, Liang Chang, Meifa Huang

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

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.
Original languageEnglish
Title of host publicationIntelligent Information Processing VI
EditorsZ. Shi, D. Leake, S. Vadera
Place of PublicationBerlin
PublisherSpringer
Pages234-239
Number of pages6
ISBN (Electronic)9783642328916
ISBN (Print)9783642328909
DOIs
Publication statusPublished - 12 Oct 2012
Externally publishedYes
EventIntelligent Information Processing VI - Guilin, China
Duration: 12 Oct 201215 Oct 2012
https://link.springer.com/book/10.1007/978-3-642-32891-6

Publication series

NameIntelligent Information Processing VI
Volume385
ISSN (Print)1868-4238
ISSN (Electronic)1861-2288

Conference

ConferenceIntelligent Information Processing VI
Abbreviated titleIIP 2012
Country/TerritoryChina
CityGuilin
Period12/10/1215/10/12
Internet address

Fingerprint

Dive into the research topics of 'A Representation Model of Geometrical Tolerances Based on First Order Logic'. Together they form a unique fingerprint.

Cite this