面向认证的二维表面形貌规范合理性自动检验  

Automatic Verification of Rationality of 2D Surface Morphology Specification for Authentication

作　　者：黄美发[1,2] 刘振辉 唐哲敏 刘廷伟 HUANG Meifa;LIU Zhenhui;TANG Zhemin;LIU Tingwei(School of Mechanical and Electrical Engineering,Guilin University of Electronic Technology,Guilin Guangxi 541004,China;Guangxi Key Lab of Manufacturing System and Advanced Manufacturing Technology,Guilin Guangxi 541004,China)

机构地区：[1]桂林电子科技大学机电工程学院,广西桂林541004 [2]广西制造系统与先进制造技术重点实验室,广西桂林541004

出　　处：《机床与液压》2022年第2期26-32,共7页Machine Tool & Hydraulics

基　　金：国家自然科学基金项目(51765012);广西研究生教育创新计划项目(YCSW2020163)。

摘　　要：针对二维表面形貌规范不合理导致认证方案关键信息不完整或矛盾,使认证无法完成的问题,提出规范与认证过程自动检验语义本体模型。采用以描述逻辑为数学基础的网络本体语言和语义网规则语言表示面向认证过程的二维表面形貌规范合理性判断方法中的概念语义,给出描述合理性检验过程信息描述方法。在实例中结合描述逻辑的Tableau算法验证自动检验语义本体模型的有效性。Aiming at the problem that the unreasonable 2 D surface morphology specification leads to the incomplete and contradictory key information of the certification scheme, which makes the certification impossible to be completed, automatic inspection specification and certification process of semantic ontology model were proposed. The network ontology language and semantic web rule language based on description logic were used to represent the concept semantics of the rationality judgment method of 2 D surface topography specification oriented to authentication process, and the information description method of the rationality verification process was given. In an example, the validity of automatic verification semantic ontology model was verified with Tableau algorithm used to describe logic.

关 键 词：认证 二维表面形貌规范 本体 描述逻辑 

分 类 号：TP397􀆰[自动化与计算机技术—计算机应用技术]