Lu, Wenlong, Jiang, Xiang, Qi, Qufen and Scott, Paul J. (2010) Modeling the integration between specifications and verification for cylindricity based on category theory. Measurement Science and Technology, 21 (11). ISSN 0957-0233Metadata only available from this repository.
Geometrical product specifications (GPS) is a standard system defined by ISO/TC213 which covers the standardization for micro- and macro-geometry specifications to make it suitable for the requirements of modern technologies. In addition, it integrates specifications and verification to make geometrical specifications more unambiguous and unique. Data modeling is a primary task in building an integrated information system for the application of geometrical characteristics consistent with the GPS standard system. It is feasible to extend this data modeling method to the whole GPS information system. This paper presents data modeling for the integration between specifications and verification for cylindricity consistent with GPS based on the category theory. The categorical data modeling method represents and stores all the elements and the relationships between them concerning the specifications and the verification process for cylindricity by categories, objects and morphisms; the established categories can be extended flexibly; the relationships between the objects were refined by pull back structures; and the manipulations of the model, such as query and the closure of query, are realized successfully by functor transforms in category theory.
|Subjects:||T Technology > TJ Mechanical engineering and machinery|
|Schools:||School of Computing and Engineering > Centre for Precision Technologies|
School of Computing and Engineering
School of Computing and Engineering > Centre for Precision Technologies > Surface Metrology Group
|Depositing User:||Wenlong Lu|
|Date Deposited:||20 Dec 2010 10:47|
|Last Modified:||06 Jan 2011 12:07|
Item control for Repository Staff only: