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

Knowledge modeling for specifications and verification in areal surface texture

Qi, Qunfen, Jiang, Xiang and Scott, Paul J. (2012) Knowledge modeling for specifications and verification in areal surface texture. Precision Engineering, 36 (2). pp. 322-333. ISSN 0141-6359

[img]
Preview
PDF - Accepted Version
Download (909kB) | Preview

    Abstract

    The 25178 series of standards in areal surface texture covers terms and definitions for specification and verification operators and is being developed by work group (WG) 16 in the International Standards Organization (ISO) TC 213. As there are many innovative concepts and definitions included in these standards, it is often considered difficult for mechanical engineers to comprehend and for computing engineers to apply in computing science. This paper presents the utilization of category theory to model sophisticated knowledge in the field of areal surface texture. The ISO 25178 series can be divided into specification and verification series according to the principles of Geometrical Product Specifications (GPS). In the category model, categories and objects are used to represent different knowledge structures; arrows and pullbacks are used to sketch diverse connection between objects; functors are utilized to reveal the structure-preserving mapping between categories in specification and verification. In this paper the function of pullbacks is considered to be a pullback inference mechanism since most of the objects in the model can be determined by different pullbacks. The knowledge model in this paper is the foundation for developing a design and measurement information system in areal surface texture for manufacturing industry.

    Item Type: Article
    Subjects: T Technology > TA Engineering (General). Civil engineering (General)
    Schools: School of Computing and Engineering
    School of Computing and Engineering > Centre for Precision Technologies
    School of Computing and Engineering > Centre for Precision Technologies > EPSRC Centre for Innovative Manufacturing in Advanced Metrology
    Related URLs:
    Depositing User: Qunfen Qi
    Date Deposited: 04 Sep 2012 15:48
    Last Modified: 21 Jan 2013 16:21
    URI: http://eprints.hud.ac.uk/id/eprint/14572

    Document Downloads

    Downloader Countries

    More statistics for this item...

    Item control for Repository Staff only:

    View Item

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