Novel Research on a Fibration Knowledge-Based Solution for Engineered Surface Tolerances within the Modern GPS Context

Geometrical product specification and verification (GPS) is the only worldwide tolerancing specification language available for unambiguously communicating functional requirements and precisely expressing geometrical tolerances of workpieces on technical drawings. Although the understanding and application of GPS are of vital importance for modern manufacturing industry, the latest GPS standards contain huge amounts of data, information and knowledge that are obscurely linked together, so they are very difficult for designers, engineers and metrologists to understand, remember and comprehensively use them. This is especially true for surface texture that is one of the most complicated geometrical characteristics in GPS domain. To overcome the implementation barrier of GPS surface texture, a novel knowledge-based solution supported formally by a unified knowledge modeling of the complete GPS surface texture standard chain has been researched. This knowledge model can serve as a formal basis for developing more intelligent and reliable tolerance design and measurement systems. This paper starts with an introduction on how to build up a formal knowledge model based on category theory, called categorical fibration model, to unified acquisition and representation of all surface texture knowledge. It then moves on to define a recursive knowledge refinement process for the devised model to enable the recursive multi-level GPS knowledge transformations and refinements. This knowledge model is validated naturally by checking rules identified from category theoretic notions. Finally, this paper presents a general framework for applying the modeled GPS knowledge in practice, from the aspects of the integrated and complete modeling of all surface texture knowledge, detailed knowledge acquisition and modeling examples for four sub-knowledge bases of the proposed software solution, core functional features of this software, and a comprehensive case study for testing its validity and usability. This knowledge-based solution facilitates life cycle collaboration and integration of the complete GPS surface texture chain to reduce product development cost and lead time, and to ensure functional requirements of geometrical workpieces.

[1]  Thomas P. Caudell,et al.  Ontologies and Worlds in Category Theory: Implications for Neural Systems , 2006 .

[2]  Paulo César Masiero,et al.  Finding Frameworks Hot Spots in Pattern Languages , 2004, J. Object Technol..

[3]  Son H. Bui,et al.  Surface metrology algorithm testing system , 2007 .

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

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

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

[7]  Yusri Yusof,et al.  Survey on computer-aided process planning , 2014, The International Journal of Advanced Manufacturing Technology.

[8]  Peter M. Harris,et al.  Software measurement standards for areal surface texture parameters: part 1?algorithms , 2012 .

[9]  Ing.M. Dietzsch,et al.  “The MOTIF-method (ISO 12085) — a suitable description for functional, manufactural and metrological requirements” , 1998 .

[10]  Peter M. Harris,et al.  Software measurement standards for areal surface texture parameters: part 2—comparison of software , 2012 .

[11]  Xiangqian Jiang,et al.  RETRACTED ARTICLE: Study on the expression specifications of geometrical products for function, design, manufacture and verification based on the improved GPS language , 2007 .

[12]  David E. Hardt Modeling and Control of Manufacturing Processes: Getting More Involved , 1993 .

[13]  Michele Germani,et al.  CAD-based environment to bridge the gap between product design and tolerance control , 2010 .

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

[15]  Vijay Srinivasan Standardizing the specification, verification, and exchange of product geometry: Research, status and trends , 2008, Comput. Aided Des..

[16]  D. W. Anderson,et al.  Fibrations and geometric realizations , 1978 .

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

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

[19]  Sholom M. Weiss,et al.  Automatic Knowledge Base Refinement for Classification Systems , 1988, Artif. Intell..

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

[21]  Joshua D. Summers,et al.  A review of computer-aided fixture design with respect to information support requirements , 2008 .

[22]  Nabil Anwer,et al.  Quick GPS: A new CAT system for single-part tolerancing , 2010, Comput. Aided Des..

[23]  Robert M. Colomb,et al.  An approach to ontology for institutional facts in the semantic web , 2005, Inf. Softw. Technol..

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