欢迎访问机床与液压官方网站!

咨询热线:020-32385312 32385313 RSS EMAIL-ALERT
面向认证的二维表面形貌规范合理性自动检验
作者:
作者单位:

作者简介:

通讯作者:

中图分类号:

基金项目:

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


Automatic Verification of Rationality of 2D Surface Morphology Specification for Authentication
Author:
Affiliation:

Fund Project:

  • 摘要
  • |
  • 图/表
  • |
  • 访问统计
  • |
  • 参考文献
  • |
  • 相似文献
  • |
  • 引证文献
  • |
  • 资源附件
  • |
  • 文章评论
    摘要:

    针对二维表面形貌规范不合理导致认证方案关键信息不完整或矛盾,使认证无法完成的问题,提出规范与认证过程自动检验语义本体模型。采用以描述逻辑为数学基础的网络本体语言和语义网规则语言表示面向认证过程的二维表面形貌规范合理性判断方法中的概念语义,给出描述合理性检验过程信息描述方法。在实例中结合描述逻辑的Tableau算法验证自动检验语义本体模型的有效性。

    Abstract:

    Aiming at the problem that the unreasonable 2D 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 2D 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.

    参考文献
    相似文献
    引证文献
引用本文

黄美发,刘振辉,唐哲敏,刘廷伟.面向认证的二维表面形貌规范合理性自动检验[J].机床与液压,2022,50(2):26-32.
HUANG Meifa, LIU Zhenhui, TANG Zhemin, LIU Tingwei. Automatic Verification of Rationality of 2D Surface Morphology Specification for Authentication[J]. Machine Tool & Hydraulics,2022,50(2):26-32

复制
分享
文章指标
  • 点击次数:
  • 下载次数:
  • HTML阅读次数:
  • 引用次数:
历史
  • 收稿日期:
  • 最后修改日期:
  • 录用日期:
  • 在线发布日期: 2022-05-13
  • 出版日期: