| 面向认证的二维表面形貌规范合理性自动检验 |
| |
| 引用本文： | 黄美发,刘振辉,唐哲敏,刘廷伟. 面向认证的二维表面形貌规范合理性自动检验[J]. 机床与液压, 2022, 50(2): 26-32. DOI: 10.3969/j.issn.1001-3881.2022.02.006 |
| |
| 作者姓名： | 黄美发 刘振辉 唐哲敏 刘廷伟 |
| |
| 作者单位： | 桂林电子科技大学机电工程学院,广西桂林541004;广西制造系统与先进制造技术重点实验室,广西桂林541004;桂林电子科技大学机电工程学院,广西桂林541004 |
| |
| 基金项目： | 国家自然科学基金项目（51765012）；广西研究生教育创新计划项目（YCSW2020163） |
| |
| 摘 要： | 针对二维表面形貌规范不合理导致认证方案关键信息不完整或矛盾,使认证无法完成的问题,提出规范与认证过程自动检验语义本体模型。采用以描述逻辑为数学基础的网络本体语言和语义网规则语言表示面向认证过程的二维表面形貌规范合理性判断方法中的概念语义,给出描述合理性检验过程信息描述方法。在实例中结合描述逻辑的Tableau算法验证自动检验语义本体模型的有效性。
|
| 关 键 词： | 认证 二维表面形貌规范 本体 描述逻辑 |
Automatic Verification of Rationality of 2D Surface Morphology Specification for Authentication |
| |
| HUANG Meif,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. DOI: 10.3969/j.issn.1001-3881.2022.02.006 |
| |
| Authors: | HUANG Meif LIU Zhenhui TANG Zhemin LIU Tingwei |
| |
| Affiliation: | (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) |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 维普 万方数据 等数据库收录！ |
| 点击此处可从《机床与液压》浏览原始摘要信息 |
|
点击此处可从《机床与液压》下载全文 |
|
