Search:
Computing and Library Services - delivering an inspiring information environment

Modeling the integration between specifications and verification for cylindricity based on category theory

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-0233

Metadata only available from this repository.

Abstract

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.

Item Type: Article
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
Related URLs:
Depositing User: Wenlong Lu
Date Deposited: 20 Dec 2010 10:47
Last Modified: 06 Jan 2011 12:07
URI: http://eprints.hud.ac.uk/id/eprint/9217

Item control for Repository Staff only:

View Item

University of Huddersfield, Queensgate, Huddersfield, HD1 3DH Copyright and Disclaimer All rights reserved ©