The exploration of a category theory-based virtual geometrical product specification system for design and manufacturing

In order to ensure quality of products and to facilitate global outsourcing, almost all the so-called “world-class” manufacturing companies nowadays are applying various tools and methods to maintain the consistency of a product’s characteristics throughout its manufacturing life cycle. Among these, for ensuring the consistency of the geometric characteristics, a tolerancing language − the Geometrical Product Specification (GPS) has been widely adopted to precisely transform the functional requirements from customers into manufactured workpieces expressed as tolerance notes in technical drawings. Although commonly acknowledged by industrial users as one of the most successful efforts in integrating existing manufacturing life-cycle standards, current GPS implementations and software packages suffer from several drawbacks in their practical use, possibly the most significant, the difficulties in inferring the data for the “best” solutions. The problem stemmed from the foundation of data structures and knowledge-based system design. This indicates that there need to be a “new” software system to facilitate GPS applications. The presented thesis introduced an innovative knowledge-based system − the VirtualGPS − that provides an integrated GPS knowledge platform based on a stable and efficient database structure with knowledge generation and accessing facilities. The system focuses on solving the intrinsic product design and production problems by acting as a virtual domain expert through translating GPS standards and rules into the forms of computerized expert advices and warnings. Furthermore, this system can be used as a training tool for young and new engineers to understand the huge amount of GPS standards in a relative “quicker” manner. The thesis started with a detailed discussion of the proposed categorical modelling mechanism, which has been devised based on the Category Theory. It provided a unified mechanism for knowledge acquisition and representation, knowledge-based system design, and database schema modelling. As a core part for assessing this knowledge-based system, the implementation of the categorical Database Management System (DBMS) is also presented in this thesis. The focus then moved on to demonstrate the design and implementation of the proposed VirtualGPS system. The tests and evaluations of this system were illustrated in Chapter 6. Finally, the thesis summarized the contributions to knowledge in Chapter 7. After thoroughly reviewing the project, the conclusions reached construe that the III entire VirtualGPS system was designed and implemented to conform to Category Theory and object-oriented programming rules. The initial tests and performance analyses show that the system facilitates the geometric product manufacturing operations and benefits the manufacturers and engineers alike from function designs, to a manufacturing and verification.

[1]  François Bancilhon,et al.  Building an Object-Oriented Database System, The Story of O2 , 1992 .

[2]  K. M. Hussain,et al.  Knowledge-Based Information Systems , 1994 .

[3]  John Cartmell Formalizing the Network and Hierarchical Data Models - an Application of Categorical Logic , 1985, CTCS.

[4]  Ivar Jacobson,et al.  The Unified Software Development Process , 1999 .

[5]  Gerti Kappel,et al.  Database Requirements of CIM Applications , 1995, Information Management in Computer Integrated Manufacturing.

[6]  Ramakanth Subrahmanya Devarakonda Object-relational database systems — the road ahead , 2001, CROS.

[7]  Zhijie Xu,et al.  Machining surface texture knowledge management using a category theory-based object-oriented database , 2007 .

[8]  D. Whitehouse,et al.  REVIEW ARTICLE: Surface metrology , 1997 .

[9]  Leslie P. Willcocks Theory and Practice of Relational Databases , 1991, J. Inf. Technol..

[10]  Paul Harmon,et al.  Expert systems: artificial intelligence in business , 1985 .

[11]  Sikha Bagui,et al.  Achievements and Weaknesses of Object-Oriented Databases , 2003, J. Object Technol..

[12]  John F. Sowa,et al.  Knowledge representation: logical, philosophical, and computational foundations , 2000 .

[13]  Paul J. Deitel,et al.  Advanced Java 2 Platform How to Program , 2001 .

[14]  Dennis Tsichritzis,et al.  The ANSI/X3/SPARC DBMS Framework Report of the Study Group on Dabatase Management Systems , 1978, Inf. Syst..

[15]  Elliote Rusty Harold Processing Xml with Java , 2002 .

[16]  Brian Griffiths,et al.  Manufacturing surface technology : surface integrity & functional performance , 2001 .

[17]  Takayuki Hirao Extension of the Relational Database Semantic Processing Model , 1990, IBM Syst. J..

[18]  S. Lane Categories for the Working Mathematician , 1971 .

[19]  Carolyn E. Begg,et al.  Database Systems: A Practical Approach to Design, Implementation and Management , 1998 .

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

[21]  S. Maclane,et al.  General theory of natural equivalences , 1945 .

[22]  R. G. G. Cattell,et al.  Recent books , 2000, IEEE Spectrum.

[23]  Carolyn Begg Thomas Connolly,et al.  Database Systems: A Practical Approach To Design, , 2004 .

[24]  Andrew D. Gordon,et al.  Monadic I/O in Haskell 1.3 , 1995 .

[25]  John F. Sowa,et al.  Knowledge Representation Logical, Philosophical, and Computational Foundations A Review , 2000 .

[26]  Zinovy Diskin,et al.  Algebraic Graph-Oriented = Category Theory Based. Manifesto of categorizing database theory , 1994 .

[27]  David J. Whitehouse,et al.  Surfaces and their Measurement , 2002 .

[28]  Stefan K Stanczyk Theory and Practice of Relational Databases , 1990 .

[29]  David J. DeWitt,et al.  The Object-Oriented Database System Manifesto , 1994, Building an Object-Oriented Database System, The Story of O2.

[30]  D. S. W. Tansley,et al.  Knowledge-Based Systems Analysis and Design: A Kads Developer's Handbook , 1993 .

[31]  Rod M. Burstall,et al.  Computational category theory , 1988, Prentice Hall International Series in Computer Science.

[32]  Norman W. Paton,et al.  Object-oriented databases - a semantic data model approach , 1992, Prentice Hall International Series in Computer Science.

[33]  Yuanping Xu,et al.  EVALUATION ON THE CATEGORICAL DBMS FOR THE VIRTUALGPS KNOWLEDGE SYSTEM , 2008 .

[34]  Yuanping Xu,et al.  Implementation of a Category Theory-Based GPS Knowledge System for Product Design , 2008 .

[35]  Steven R Schmid Kalpakjian,et al.  Manufacturing Engineering and Technology , 1991 .

[36]  P. H. Osanna,et al.  A general approach to workpiece characterization in the frame of GPS (Geometrical Product Specification and Verification) , 2001 .

[37]  Jirí Adámek,et al.  Abstract and Concrete Categories - The Joy of Cats , 1990 .

[38]  Adrian A. Hopgood,et al.  Intelligent Systems for Engineers and Scientists , 2021 .

[39]  Julian D Booker,et al.  Process Selection: From Design to Manufacture , 1997 .

[40]  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.

[41]  Paul J. Scott The case of surface texture parameter RSm , 2006 .

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

[43]  José Meseguer,et al.  Petri nets are monoids: a new algebraic foundation for net theory , 1988, [1988] Proceedings. Third Annual Information Symposium on Logic in Computer Science.

[44]  Joseph A. Goguen,et al.  A categorical manifesto , 1989, Mathematical Structures in Computer Science.

[45]  Mark Levene,et al.  A nested-graph model for the representation and manipulation of complex objects , 1994, TOIS.

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

[47]  Elliotte Rusty Harold Processing XML with Java: A Guide to Sax, Dom, Jdom, Jaxp, and Trax , 2002 .

[48]  Jennifer Widom,et al.  Database Systems: The Complete Book , 2001 .

[49]  B. Nick Rossiter,et al.  Prototyping a Categorical Database in P/FDM , 1995, ADBIS.

[50]  Raymond E. Levitt Knowledge-based systems in engineering , 1991 .

[51]  Paul J. Scott,et al.  Pattern analysis and metrology: the extraction of stable features from observable measurements , 2004, Proceedings of the Royal Society of London. Series A: Mathematical, Physical and Engineering Sciences.

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

[53]  Steve McClure,et al.  Object Database vs. Object-Relational Databases , 2004 .

[54]  Stefan Edlich,et al.  The definitive guide to db4o , 2006 .

[55]  Ruqian Lu,et al.  Towards a Mathematical Theory of Knowledge^* , 2005, Journal of Computer Science and Technology.

[56]  Jennifer Widom,et al.  Database systems - the complete book (2. ed.) , 2009 .

[57]  Zhijie Xu,et al.  Category theory-based object-oriented data management for web-based virtual manufacturing , 2008 .

[58]  Mark Levene,et al.  An object-oriented data model formalised through hypergraphs , 1991, Data Knowl. Eng..

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

[60]  Donald Firesmith,et al.  The Patterns Handbook: Techniques, Strategies, And Applications , 1998 .

[61]  Yuanping Xu,et al.  Exploration of a Category Theory-Based Object-Oriented Database for Surface Texture Information Management , 2007, The First International Symposium on Data, Privacy, and E-Commerce (ISDPE 2007).

[62]  Arthur H. M. ter Hofstede,et al.  Conceptual Data Modelling from a Categorical Perspective , 1996, Comput. J..

[63]  The knowledge bases for selecting the surface modification treatment , 2002 .