Knowledge Modeling for Specifications and Verification in Areal Surface Texture

Research output: Contribution to journalArticle

8 Citations (Scopus)

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.

Original languageEnglish
Pages (from-to)322-333
Number of pages12
JournalPrecision Engineering
Volume36
Issue number2
DOIs
Publication statusPublished - 1 Apr 2012

Fingerprint

Textures
Specifications
Engineers
Information systems
Industry

Cite this

@article{84361e7cba234604bfc41cfab6cde457,
title = "Knowledge Modeling for Specifications and Verification in Areal Surface Texture",
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.",
keywords = "Areal Surface Texture, Category Theory, Knowledge Modeling, Specification, Verification",
author = "Qunfen Qi and Xiangqian Jiang and Scott, {Paul J.}",
year = "2012",
month = "4",
day = "1",
doi = "10.1016/j.precisioneng.2011.12.002",
language = "English",
volume = "36",
pages = "322--333",
journal = "Precision Engineering",
issn = "0141-6359",
publisher = "Elsevier Inc.",
number = "2",

}

Knowledge Modeling for Specifications and Verification in Areal Surface Texture. / Qi, Qunfen; Jiang, Xiangqian; Scott, Paul J.

In: Precision Engineering, Vol. 36, No. 2, 01.04.2012, p. 322-333.

Research output: Contribution to journalArticle

TY - JOUR

T1 - Knowledge Modeling for Specifications and Verification in Areal Surface Texture

AU - Qi, Qunfen

AU - Jiang, Xiangqian

AU - Scott, Paul J.

PY - 2012/4/1

Y1 - 2012/4/1

N2 - 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.

AB - 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.

KW - Areal Surface Texture

KW - Category Theory

KW - Knowledge Modeling

KW - Specification

KW - Verification

UR - http://www.scopus.com/inward/record.url?scp=84857110500&partnerID=8YFLogxK

U2 - 10.1016/j.precisioneng.2011.12.002

DO - 10.1016/j.precisioneng.2011.12.002

M3 - Article

VL - 36

SP - 322

EP - 333

JO - Precision Engineering

JF - Precision Engineering

SN - 0141-6359

IS - 2

ER -