Modelling the Integration between the Design and Inspection Process of Geometrical Specifications for Digital Manufacturing

Geometrical Product Specifications (GPS) is a technical language which covers the standardization for micro/macro- geometry specifications. In today’s environment of globalization, out-sourcing and sub-contracting is increasing. Geometrical specifications of a product need to be detailed to a degree where nothing is left open to interpretation. To fulfil this, and to meet the requirements of digital manufacturing, it is necessary to integrate the design and inspection process of a geometrical specification. At the technical level, many functional operator/operations are employed in a geometrical specification. These functional operators/operations are based on rigorous mathematics, and they are intricately related and inconvenient to be used directly. Consequently, it is of practical utility to build an integrated information system to encapsulate and manage the information involved in GPS. This thesis focuses on geometrical tolerancing, including form/orientation/ location tolerancing, and its integrated geometry information system. The main contributions are: Firstly, a global data expression for modelling the integration between the design and inspection process of a geometrical tolerance is presented based on category theory. The categorical data model represents, stores and manipulates all the elements and their relationships involved in design and inspection process of a geometrical tolerance, by categories, objects and morphisms, flexibly; the relationships between objects were refined by pull back structures; and the manipulations of the model such as query and closure of query are realized successfully by functor structures in category theory. Secondly, different categories of knowledge rules have been established to enhance the rationality and the intellectuality of the integrated geometry information system, such as the rules for the application of geometrical requirement, tolerance type, datum and datum reference framework and, for the refinement among geometrical specifications. Finally, the host system for drawing indication of geometrical tolerances in the framework of GPS was established based on AutoCAD 2007 using ObjectARX.

[1]  Benjamin C. Pierce,et al.  Basic category theory for computer scientists , 1991, Foundations of computing.

[2]  Zbigniew Humienny,et al.  State of art in standardization in GPS area , 2009 .

[3]  Paul J. Scott,et al.  An Unambiguous Expression Method of the Surface Texture , 2010 .

[4]  Son H. Bui,et al.  An internet based surface texture information system , 2001 .

[5]  Alex Ballu,et al.  Univocal expression of functional and geometrical tolerances for design, manufacturing and inspection , 1996 .

[6]  Zhijie Xu,et al.  Category Theory-Based Object-Oriented Data Management for Virtual Manufacturing , 2008 .

[7]  Xiangqian Jiang,et al.  Review of the Next Generation GPS , 2002 .

[8]  Pierre Bourdet,et al.  Geometric Product Specification and Verification: Integration of Functionality , 2003 .

[9]  Vijay Srinivasan,et al.  An Integrated View of Geometrical Product Specification and Verification , 2003 .

[10]  B. N. Rossiter,et al.  The Functorial Data Model-An Extension to Functional Databases , 1994 .

[11]  Russell R. Barton,et al.  Driving Digital Manufacturing to Reality , 2000 .

[12]  Michael Johnson,et al.  Category Theoretic Models of Data Refinement , 2006, MFCSIT.

[13]  Andrea Asperti.  Categorical topics in computer science , 1990 .

[14]  Zhijie Xu,et al.  University of Huddersfield Repository Developing a Knowledge-based System for Complex Geometrical Product Specification (gps) Data Manipulation. Original Citation (2010) Developing a Knowledge-based System for Complex Geometrical Product Specification (gps) Data Manipulation. Knowledge University of , 2022 .

[15]  K. Ridgway,et al.  Integration of CAD and a cutting tool selection system , 2002 .

[16]  Michael Johnson,et al.  Category-theoretic fibration as an abstraction mechanism in information systems , 2001, Acta Informatica.

[17]  Tukun Li,et al.  Softgauges for surface texture , 2011 .

[18]  H. S. Nielsen,et al.  New concepts in specifications, operators and uncertainties and their impact on measurement and instrumentation , 2006 .

[19]  Xiaojun Liu,et al.  Categorical data model for cylindricity consistent with geometrical product specifications standard system , 2010, International Symposium on Precision Engineering Measurement and Instrumentation.

[20]  Jiang Guo,et al.  Using category theory to model software component dependencies , 2002, Proceedings Ninth Annual IEEE International Conference and Workshop on the Engineering of Computer-Based Systems.

[21]  Vijay Srinivasan.  A geometrical product specification language based on a classification of symmetry groups , 1999, Comput. Aided Des..

[22]  Bengt-Göran Rosén,et al.  Interactive surface modelling, an implementation of an expert system for specification of surface roughness and topography , 1995 .

[23]  Paul J. Scott,et al.  The structure of surface texture knowledge , 2005 .

[24]  Michael Barr,et al.  Category theory for computing science , 1995, Prentice Hall International Series in Computer Science.

[25]  Paul J. Scott,et al.  Structures of specification and verification knowledge-base in surface texture knowledge-based system , 2007 .

[26]  Xiang Jiang,et al.  A Host System for Form Tolerance Specification in the Next-generation GPS based on AutoCAD , 2009 .

[27]  Zhang Chuan.  The second development of AutoCAD , 2000 .

[28]  C. Butler,et al.  SCOUT - Surface Characterization Open-Source Universal Toolbox , 2002 .

[29]  Bob Johnstone,et al.  Business plan , 1990, Nature.

[30]  Jean-Yves Dantan,et al.  Geometrical product specifications - model for product life cycle , 2008, Comput. Aided Des..

[31]  Raheel Ahmad,et al.  Expert Systems: Principles and Programming , 2006, Scalable Comput. Pract. Exp..

[32]  José Luiz Fiadeiro.  Categories for software engineering , 2005 .

[33]  A. Hofstede,et al.  A Categorical Framework for Conceptual Data Modeling: Deenition, Application, and Implementation , 1995 .

[34]  Paul J. Scott,et al.  Modeling the integration between specifications and verification for cylindricity based on category theory , 2010 .

[35]  Dr. Henrik S. Nielsen.  Specifications , operators and uncertainties , .