浙江大学学报(工学版), 2026, 60(9): 1841-1850 doi: 10.3785/j.issn.1008-973X.2026.09.001

机械工程

白车身基准设计空间-语义分层知识图谱建模

付红圣,, 曹衍龙,, 罗钧鼎, 张宗政, 李涂鲲, 黄芳

1. 浙江大学 流体动力基础件与机电系统全国重点实验室,浙江 杭州 310058

2. 浙江大学 全省高端装备制造及检测技术重点实验室,浙江 杭州 310058

3. 蔚来汽车科技安徽有限公司,安徽 合肥 230061

4. 哈德斯菲尔德大学 计算机与工程学院,英国 西约克郡 HD1 3DH

Spatial-semantic hierarchical knowledge graph modeling for body-in-white datum design

FU Hongsheng,, CAO Yanlong,, LUO Junding, ZHANG Zongzheng, LI Tukun, HUANG Fang

1. State Key Laboratory of Fluid Power and Mechatronic Systems, Zhejiang University, Hangzhou 310058, China

2. Zhejiang Key Laboratory of Advanced Equipment Manufacturing and Measurement Technology, Zhejiang University, Hangzhou 310058, China

3. NIO Automobile Technology (Anhui) Limited Company, Hefei 230061, China

4. School of Computing and Engineering, University of Huddersfield, West Yorkshire HD1 3DH, UK

通讯作者: 曹衍龙,男,教授,博导. orcid.org/0000-0003-0383-6586. E-mail:sdcaoyl@zju.edu.cn

收稿日期: 2025-12-7  

基金资助: 国家自然科学基金资助项目(52175520);国家重点研发计划资助项目(2023YFB3307202);浙江省“高层次人才特殊支持计划”科技创新领军人才项目(2022R52053).

Received: 2025-12-7  

Fund supported: 国家自然科学基金资助项目(52175520);国家重点研发计划资助项目(2023YFB3307202);浙江省“高层次人才特殊支持计划”科技创新领军人才项目(2022R52053).

作者简介 About authors

付红圣(1983—),男,高级工程师,博士生,从事尺寸工程数智化研究.orcid.org/0009-0002-1603-5606.E-mail:hongsheng.fu@nio.com , E-mail:hongsheng.fu@nio.com

摘要

针对白车身基准设计知识分散、难以与几何模型融合导致自动化程度低的问题,提出空间-语义分层知识图谱(SSH-KG)建模方法. 该方法构建“零件–特征–点云–基准”四层本体模型,形成空间与语义相融合的统一表示框架,通过形式化公理实现语义规则到空间实体的自动映射与推理. 以某车型B柱加强板、A柱加强板及门槛梁为案例进行实验. 结果表明,与传统人工设计相比,所提方法将知识表示完整性(平均拓扑关联覆盖率)从49%提升至97.4%,空间-语义一致性(平均对齐率)从48.2%提升至98.3%,实现了从规则到方案的闭环自动执行. 基准方案的平均迭代次数由3.5次降至1次,设计总时间缩短约83%. 消融实验验证了点云离散化机制对提升推理鲁棒性与计算效率的关键作用.

关键词: 白车身 ; 基准设计 ; 知识图谱 ; 空间-语义融合 ; 点云 ; 自动推理

Abstract

A spatial–semantic hierarchical knowledge graph (SSH-KG) modeling method was proposed in order to address the problem of dispersed design knowledge and difficulty in fusing with geometric models in body-in-white datum design, which leads to low automation. A four-layer ontology model, “component–feature–point cloud–datum”, was constructed. A unified representation framework integrating spatial geometry and semantics information was established. Automated mapping and reasoning from semantic rule to spatial entity were achieved through formal axiomatic definition. Experimental studies on a B-pillar reinforcement, an A-pillar reinforcement and a sill beam were conducted. Results showed that the average topological relation coverage (evaluating knowledge representation completeness) was increased from 49% to 97.4%, and the average spatial-semantic alignment rate (measuring compliance of geometric entities with semantic rules) was improved from 48.2% to 98.3% compared with conventional manual design. A closed-loop, automated workflow that transformed rule into scheme was realized. The average number of design iterations per scheme decreased from 3.5 to 1, with the total design time reduced by approximately 83%. Ablation experiments confirmed that the point cloud discretization mechanism was critical for enhancing reasoning robustness and computational efficiency.

Keywords: body-in-white ; datum design ; knowledge graph ; spatial-semantic integration ; point cloud ; automated reasoning

PDF (3100KB) 元数据 多维度评价 相关文章 导出 EndNote| Ris| Bibtex  收藏本文

本文引用格式

付红圣, 曹衍龙, 罗钧鼎, 张宗政, 李涂鲲, 黄芳. 白车身基准设计空间-语义分层知识图谱建模. 浙江大学学报(工学版)[J], 2026, 60(9): 1841-1850 doi:10.3785/j.issn.1008-973X.2026.09.001

FU Hongsheng, CAO Yanlong, LUO Junding, ZHANG Zongzheng, LI Tukun, HUANG Fang. Spatial-semantic hierarchical knowledge graph modeling for body-in-white datum design. Journal of Zhejiang University(Engineering Science)[J], 2026, 60(9): 1841-1850 doi:10.3785/j.issn.1008-973X.2026.09.001

白车身是整车的核心承载结构,尺寸精度从根本上依赖于几何尺寸与公差(geometric dimensioning and engineering, GD&T)系统的合理设计. 当前,白车身基准设计面临以下2个关联挑战. 1)设计知识分散于标准、模型、报告等异构载体,缺乏统一管理. 2)设计过程须在计算机辅助设计(computer aided design, CAD)、计算机辅助工程(computer aided engineering, CAE)、计算机辅助工艺规划(computer aided process planning, CAPP)等系统间进行频繁转换与人工干预. 以上挑战的根源在于现有技术难以有效协同高精度空间几何信息与复杂工程语义规则,导致设计透明度低、知识复用困难,制约了效率与质量的提升.

现有的研究可以归纳为2个主要方向. 在尺寸工程领域,研究聚焦于公差分析、优化及三维偏差仿真等下游环节[1-4],虽有针对基准布局稳健性的局部优化方法[5-6],但未能系统解决基准设计知识的结构化表征与可复用问题. 知识图谱技术在智能制造领域的应用日渐广泛,在工艺推荐、质量监控方面展现出潜力[7-8]. 在公差与基准设计知识化方向,已有研究探索了集成知识表示模型[9]、基于三元组的经验图谱[10]、层次化本体模型[11-12]及将STEP中的GD&T信息映射至本体进行语义化[13]等方法. 在知识建模与推理方面,Fu等[14]提出面向钣金零件基准设计的知识推理模型,裘科意[15]建立多粒度语义模型,林崇[16]采用融合规则推理与增强学习的设计意图推理方法,郭亮等[17-18]提出工艺自动推理系统,Ding等[19]构建面向多源信息的可制造过程知识图谱,Li等[20-21]构建面向非结构化文本的动态知识图谱,Shi等[22]构建面向装配资源重用的多维知识图谱,孙学民等[23]采用数字孪生驱动的智能化装配方法,Pellissier等[24]关注从缺失的知识图谱中学习规则. 这些研究为基准设计知识的管理与利用提供了有益思路.

将现有方法应用于严苛的白车身基准设计时存在局限. 基于离散文档和孤立模型的经验方法,难以构建从宏观设计意图到微观基准决策的连续逻辑链条. 传统的结构化表示方法虽然能够表达抽象语义关联,但难以精确表征连续几何形态与复杂空间拓扑关系,且普遍缺乏将工程语义规则与空间几何属性自动关联推理的有效机制. 这些局限使相关应用多停留于静态检索,难以支撑从设计规则到可执行几何基准方案的可计算推理与自动生成.

针对上述问题,本文提出面向白车身基准设计的空间-语义分层知识图谱建模方法. 该方法的核心是构建“零件-特征-点云-基准”4层本体模型. 通过引入点云层作为连接连续几何与离散决策的桥梁,在给定采样精度的条件下,保持几何连续性并承载、传递语义信息. 引入关键参考点(key reference point, KRP)作为空间信息与语义规则的融合接口,建立两者间的可计算映射关系,支撑基准方案的自动推理.

1. 白车身基准设计知识体系:构成、表征与挑战

1.1. 知识构成与异构表征挑战

白车身基准设计知识体系由以下3个相互关联的维度构成.

1)工程结构知识. 定义几何、材料与性能,载体为参数化CAD模型与CAE仿真数据.

2)尺寸设计知识. 以GD&T体系规定基准布局与公差控制,载体包括GD&T标准、三维标注模型(model based design, MBD)及公差仿真报告.

3)制造工艺知识. 此类知识关乎可制造性,载体为工艺规程、夹具图纸及试生产报告.

上述知识存储于异构载体:文档型数据(标准、指导书)以自然语言为主,语义须人工解读;模型数据以参数化形式描述几何与位姿. 这种基于载体的分类不能支持知识智能复用,核心挑战是如何跨异构载体建立语义关联,并形式化表达知识内在的“空间-语义”复合特性. 这一挑战构成了知识自动化推理的根本障碍,也是本文知识图谱构建旨在解决的关键问题.

1.2. 知识的空间-语义双重属性

白车身基准设计知识可以归结为紧密耦合的空间信息与语义规则(见图1). 空间信息定义几何形态与空间位姿,表现为CAD模型中的点、线、面及其拓扑关系;语义规则规定功能意图与约束条件,通常以自然语言、技术标准或逻辑命题存在. 两者相互依存:语义规则指导空间信息配置,空间信息是语义规则的物化体现与验证对象. 两者的承载载体与处理范式存在根本差异:空间信息存在于结构化CAD系统中,计算机可读性强,但语义信息缺乏显性表达;语义规则多存储于非结构化文档中,人类可理解但难以自动解析并与几何实体精确关联. 这种“空间-语义”割裂构成知识整合与自动化处理的核心挑战.

图 1

图 1   白车身基准设计的空间-语义双重属性示例

Fig.1   Example of spatial-semantic dual property in body-in-white datum design


1.3. 现有知识表征方法的局限

现有的知识表示方法在应对高精度、强约束的基准设计任务时面临挑战. 如表1所示,现有知识表示方法的主要不足在于未能构建能够紧密耦合高精度空间几何信息与可计算语义规则、并支持两者协同推理的表示模型,致使相关应用多局限于知识存储与检索,难以实现基准方案的自动推导与验证. 本文提出空间-语义分层知识图谱建模方法,旨在通过引入点云层、定义KRP锚定机制及构建独立可驱动的规则库,建立空间信息与语义规则间的可计算映射通道,以支持基准设计的自动化推理.

表 1   面向基准设计的知识表示方法对比

Tab.1  Comparison of knowledge representation methods for datum design

方法类别典型代表/思路核心优势在基准设计中的局限本文方法的针对性改进
文档与孤立模型技术文档、独立CAD
模型
符合认知,
载体多样.
知识离散,几何与语义分离,
无法自动验证.
构建分层图谱,实现结构化集成与
关联推理.
通用本体/
知识图谱
基于Web本体语言
(OWL)的本体、
资源描述框架(RDF)三元组
语义关联能力强,
便于检索.
连续几何与空间关系表达弱;语义与
几何实体耦合弱,难支持计算.
拓展本体,引入点云层表征连续几何;
定义KRP作为空间-语义计算锚点.
基于STEP的
语义映射
STEP AP242 GD&T
至本体映射
实现标准化公差
信息语义提取.
侧重对已有标注的解释,而非方案生成;
缺乏工艺规则集成.
建立独立工艺规则库,通过KRP
驱动生成式推理.
分层表示模型“零件-特征-基准”
三层模型
层次清晰,
结构直观.
“特征-基准”层间关联缺失,
连续性几何上下文不足.
引入点云层提供几何上下文,基准点由
符合设计规则/工艺约束的KRP所确定.

新窗口打开| 下载CSV


2. 4层知识表示模型框架

为了应对前述挑战,提出包含零件层、特征层、点云层与基准层的4层知识表示模型. 该模型在特征层与基准层间引入点云层,通过高保真离散采样,构建兼具连续几何属性与语义标签的可计算数据集;在基准层定义KRP,作为空间信息与语义规则的可计算融合接口. 该模型旨在为基准设计提供支持自动化处理与推理的结构化框架.

2.1. 层次结构与功能定义

模型采用递进层次结构,各层定义如下.

零件层定义物理对象及其装配语境,描述装配层级、材料属性及工艺依赖关系,确立结构与工艺约束边界.

特征层将零件解析为具有工程意义的几何特征(如定位孔、安装面),记录类别、尺寸与公差,通过空间拓扑关系构建局部几何功能网络.

点云层通过对特征层所有的几何元素进行参数化离散采样,生成结构化点集:曲面采用基于曲率的自适应采样[25];孔/圆柱特征采用参数化采样,直接纳入特征中心点. 采样受几何保真度的约束(如Hausdorff距离阈值),点云中每点继承源特征的语义标签,形成同时承载高保真离散几何信息(坐标、法向、曲率)与工程语义的可计算数据层,为后续基于数值规则的自动化筛选提供空间-语义融合基础.

基准层以KRP为核心实体,记录最终确定的基准及其约束. KRP是从点云中依据几何显著性与语义约束筛选的特征点,KRP的数学形式定义为带有方向属性的空间点:

$ \begin{array}{c}\mathrm{KRP}\triangleq P\left(\boldsymbol{u},\boldsymbol{v}\right);\;\boldsymbol{u}\in {{\bf{R}}}^{3},\;\boldsymbol{v}\in {S}^{2}.\end{array} $

式中:$ \boldsymbol{u}={\left[x,y,z\right]}^{\rm{T}} $为全局坐标;$ \boldsymbol{v}={\left[i,j,k\right]}^{\rm{T}} $为单位方向矢量(表征源几何特征的方向,如孔轴线、曲面法向),满足$ \left.|\boldsymbol{v} \right.|_{2}=\sqrt{{i}^{2}+{j}^{2}+{k}^{2}}=1 $$ {S}^{2} $表示三维空间中的单位球面.

方向矢量$ \boldsymbol{v} $的确定取决于源特征类型:对于方向明确的平面特征,$ \boldsymbol{v} $直接取自特征定义;对于复杂自由曲面,对KRP局部点云邻域进行主成分分析(principal component analysis, PCA),将最小特征值对应的向量作为拟合法向. 若存在装配基准方向或全局主方向约束,则须对PCA法向进行一致性处理:计算PCA法向与各约束方向的夹角,若小于预设阈值(如5°),则投影至该约束方向或其正交平面;多约束时按工程优先级(如全局主轴优先于局部基准)确定最终方向. 该策略确保多约束场景下KRP位姿定义的一致性与可计算性. 对于无全局方向特征(如球心),可以定义$ \boldsymbol{v} $为零向量或按装配约束约定参考方向.

此形式化定义旨在为所有携带方向信息的候选空间点提供统一的、可计算的位姿描述框架,使其能够作为关联语义规则的几何载体.

根据在基准设计中的作用,KRP分为以下2类(见图2):功能关键参考点(functional KRP, $ {\text{KRP}}_{\mathrm{F}} $)对应具有装配或工艺功能的几何特征(如定位孔);几何关键参考点(geometrical KRP, $ {\text{KRP}}_{\mathrm{G}} $)表征零件空间包络轮廓及姿态,从边界特征点(如凸包顶点)中提取.

图 2

图 2   关键参考点的示意图

Fig.2   Schematic diagram of key reference point


KRP实体从点云层中提取,而非直接从特征层提取,根本原因在于语义规则的自动化执行对数据载体有特定要求:规则(如“主定位点应位于曲率较小、刚性充足的区域”)需要在可遍历的离散数据集上,依据每个候选点的具体几何属性(如局部曲率) 和语义标签进行数值化判断与筛选. 特征层的连续几何表示(boundary representation,B-Rep模型)虽然完整,但缺乏这种便于算法直接遍历与局部计算的离散结构.

2.2. 层间映射与知识演化流程

模型的4个层次通过规范映射驱动知识演化,遵循“零件层→特征层→点云层→基准层”的逻辑顺序,如图3所示. 基于零件层约束识别并实例化几何特征;将特征层连续曲面离散化为点云;综合语义规则从点云中提取KRP,通过约束求解生成最终基准方案. 利用该机制,构建了从宏观系统约束到微观几何细节的结构化知识应用框架,为后续的知识图谱构建与设计自动化奠定基础.

图 3

图 3   4层知识表示模型的层间映射与知识演化流程

Fig.3   Interlayer mapping and knowledge evolution process in four-layer knowledge representation model


3. 空间-语义分层知识图谱构建方法

为了使4层知识表示模型能够被计算机理解与自动化推理,须构建形式化的空间-语义分层知识图谱. 本体作为语义模式层,旨在解决两大问题:1)在设计演化中保持给定采样精度下的几何连续性;2)建立语义规则与几何实体间可计算可校验的关联.

3.1. 本体模式层的总体架构

为了实现4层知识表示模型的形式化表达,定义空间‑语义分层知识图谱(SSH‑KG)为有向标签图 $ \boldsymbol{G}=~(\boldsymbol{E},\boldsymbol{R},\boldsymbol{A}) $. 其中实体集$ \boldsymbol{E} $按抽象层次划分为零件、特征、点云、KRP和基准点5个互不相交的子集,并满足严格的层级映射约束(如点云由特征离散化得到,KRP源于点云或特征). $ \boldsymbol{R} $为关系集合,表示实体间的语义或空间关联. $ \boldsymbol{A} $为属性集合,描述实体的内在特征.

每个实体$ e\in \boldsymbol{E} $的属性集$ {\boldsymbol{A}}_{e} $由空间属性 $ \boldsymbol{A}_{e}^{{\mathrm{s}}} $ 和语义属性$ \boldsymbol{A}_{e}^{{\mathrm{m}}} $共同构成,前者描述几何形态与位置(如坐标、法向、点集),后者描述工程含义与约束(如功能类型、公差等级).

定义白车身基准设计领域本体BDDKO为五元组$ \left({C},\boldsymbol{P},\boldsymbol{R},{\boldsymbol{A}}^{\text{axiom}},\boldsymbol{I}\right) $,其中 (C, P, R, $ {\boldsymbol{A}}^{\text{axiom}} $) 构成模式层,$ \boldsymbol{I} $为实例层. 各要素的详细定义见表2. 该五元组通过属性集$ \boldsymbol{P} $集成空间与语义信息,并通过公理集 $ {\boldsymbol{A}}^{\text{axiom}} $对实例集$ \boldsymbol{I} $施加一致性约束,从而在逻辑层面实现了空间数据与语义知识的深度融合,为自动化推理提供逻辑基础.

表 2   白车身基准设计本体模型的要素释义

Tab.2  Specification of BIW datum design ontology model

符号类别语义说明示例
${C} $概念类领域核心实体的抽象分类,是实体集$ {\boldsymbol{E}} $的类别化.零件、孔特征、点云、关键参考点
$ \boldsymbol{P} $属性集描述实例特征(空间/语义参数)的谓词集合,对应属性谓词.hasCoordinate,hasMaterialGrade, hasToleranceValue
$ \boldsymbol{R} $关系集定义实例间的逻辑与空间关联的谓词集合,是关系集$ {\boldsymbol{R}} $的元关系定义.isPartOf, isDerivedFrom, adjacentTo
$ {\boldsymbol{A}}^{\text{axiom}} $公理集形式化的领域规则与约束,是支持自动化推理的逻辑表达式集合.基准“2/3原则”
$ \boldsymbol{I} $实例集归属于特定概念的具体对象,是实体集$ E $的具体化.B柱加强板_001

新窗口打开| 下载CSV


3.2. 本体模型的系统化构建流程

BDDKO的构建遵循将非结构化领域知识转化为形式化五元组的系统化流程[26](见图4). 该过程主要包括5个核心阶段:领域界定与需求分析、现有本体资源评估、领域术语提取与结构化、核心本体体系构建、本体质量验证与发布. 其中,核心本体体系构建是本体的成型关键,依赖于预先构建的结构化语义规则库作为知识源,以实例化五元组. 质量验证是从逻辑一致性、功能完备性及工程实用性3个维度进行评估与修正,采用OWL 2 DL语言对本体进行编码,利用Protégé工具进行可视化建模与管理,最终输出机器可读的本体文档.

图 4

图 4   基准设计本体的构建流程

Fig.4   Construction framework of datum design ontology


3.3. 语义规则库的架构及其支持作用

语义规则库为BDDKO本体的构建提供标准化的知识来源. 该规则库采用“一主四辅”的结构化设计. 主库为零件信息库,集成零件的关键非几何工程语义信息. 4个辅库分别提供标准化术语(名词信息库)、材料参数映射(零件材料库)、公差表达规范(公差图形库)及可计算逻辑规则(基准规则库). 规则库通过全局唯一的语义锚点(如特征ID),与本体中的具体实例实现关联. 当需要创建KRP实例时,系统可以根据“KRP-ID”,自动从基准规则库中加载所有适用的设计约束,并将基准规则作为该实例必须满足的公理. 该机制确保领域知识能够可靠地集成到形式化的本体结构中.

3.4. 概念体系:类${C} $的定义与层级映射

概念体系严格遵循“零件-特征-点云-基准”4层物理模型构建(见图5),各层级概念基于语义规则库的标准化术语定义. 零件层定义物理对象及其装配语境;特征层表征承载工程功能的基本几何元素;点云层通过特征层离散采样生成的点云;基准层涵盖KRP与基准点,前者作为承载工程语义的空间锚点,后者为经规则校验后确定的最终定位点.

图 5

图 5   空间-语义分层知识图谱的本体概念体系

Fig.5   Ontology concept system of spatial–semantic hierarchical knowledge graph


3.5. 关系体系:多粒度语义关联$ \boldsymbol{R} $

作为知识推理的纽带,关系体系通过多粒度的关系网络定义概念实体间的关联,分为层级内关系与跨层级关系2类. 层级内关系描述同一层次内实体间的工程联系(如工艺连接、空间方位). 跨层级关系实现知识在4层架构间的传递,主要包括从特征到零件的衍生关系、从点云到特征的离散化关系,以及从基准点或KRP到点云的派生关系,确保知识演化路径的连续性与可追溯性.

3.6. 属性与约束体系:参数$ \boldsymbol{P} $与规则$ {\boldsymbol{A}}^{\text{axiom}} $的集成

属性集$ \boldsymbol{P} $与公理集$ {\boldsymbol{A}}^{\text{axiom}} $共同驱动知识图谱的计算与自动化推理.

3.6.1. 属性体系:空间与语义的参数化表征

属性集 $ \boldsymbol{P} $为概念实例赋予可量化的特征参数,分为空间几何属性与工程语义属性. 空间几何属性描述实例的形态、位置与方位,包括通用属性(坐标、法向量)及2个宏观核心属性.

1)轮廓模型属性. 通过几何关键参考点$ {\text{KRP}}_{\mathrm{G}} $集来描述零件整体形状,定义从离散点到连续轮廓模型的数学映射[27]

$ \begin{array}{c}\boldsymbol{M}=f\left(\boldsymbol{P}\right).\end{array} $

式中:$ f $ 为基于径向基函数或隐式曲面的表面重建函数;$ \boldsymbol{M} $为生成的三角网格曲面模型,为零件形状分析、空间匹配度评估提供统一的几何表示基础.

2)指纹坐标属性. 通过零件的最小外包络立方体顶点$ {\boldsymbol{V}}_{j}\in {{\bf{R}}}^{3}(j=1{,}2,\cdots ,m) $坐标,形成指纹坐标矩阵[28]

$ \begin{array}{c}\boldsymbol{F}={\left[{\boldsymbol{V}}_{1},{\boldsymbol{V}}_{2},\cdots ,{\boldsymbol{V}}_{j}\right]}^{\rm{T}}.\end{array} $

该属性定义零件空间占位,支持整车干涉分析与数字孪生同步. 两者的示意图如图6所示.

图 6

图 6   零件空间属性的概念化表征示意图

Fig.6   Schematic depiction of conceptual representation for spatial attribute of component


工程语义属性描述功能、材料、工艺等非几何约束,包括材料牌号、料厚、功能类型、公差等级及基准方案编码(如“3A1B1C”)等,属性取值映射自语义规则库.

3.6.2. 公理体系:形式化约束与实例化

公理集 $ {\boldsymbol{A}}^{\text{axiom}} $ 将语义规则库中的知识形式化为可执行逻辑语句,构成自动化校验与推理基础. 公理的主要类型包括:设计规则公理(用于编码核心设计规范,如基准2/3原则的量化约束)、几何一致性公理(确保层级转换过程中的几何精度,如点云与源曲面的Hausdorff距离 $ \delta \leqslant 0.05\;\text{mm} $)、工艺可行性公理(编码制造约束,如基准点与焊点距离 $ \geqslant 30\;\text{mm} $). 实例化时,通过语义锚点机制关联语义规则库,为实例层 $ \boldsymbol{I} $注入属性并绑定公理.

3.6.3. 公理推理流程与冲突消解机制

为了阐明从语义规则到几何计算的推理过程,以规则“基准点须避让焊接影响区(距离 $ \geqslant 30\;\text{mm} $)”为例说明.

该规则形式化为一阶逻辑表达式,存入形式化规则库 $ {\boldsymbol{R}}_{{\mathrm{f}}} $

$\begin{split} &\forall t,r,w\colon \text{Isa }(t,\text{datumPoint} \wedge \text{isderivedfrom}\left(t,r\right)\wedge \\& \text{IsA }\left(r,\text{KRP}\right) \wedge \text{Isa }\left(w,\text{weldPoint}\right)\longrightarrow \\& \text{distance }({\boldsymbol{u}}_{r},{\boldsymbol{u}}_{w}))\geqslant 30\;{\mathrm{mm}}.\end{split}$

式中:$ t $为基准点实例,$ r $为KRP实例且$ t $由其派生,$ w $为焊接点实例,$ {\boldsymbol{u}}_{r} $$ {\boldsymbol{u}}_{w} $分别为实例$ r $$ w $的空间坐标,$ \mathrm{distance}(\cdot ) $为两点间欧氏距离的函数.

系统实例化候选基准点 $ {t}_{\mathrm{c}} $(源自KRP-$ {r}_{1} $)时自动触发该规则. 检索零件上所有的焊接点实例及坐标,计算$ {r}_{1} $到各焊接点的最小欧氏距离$ {D}_{\min }= \mathrm{min}\;(\mathrm{distance}\;({\boldsymbol{u}}_{{{r}_{1}}},\;{\boldsymbol{u}}_{{{w}_{i}}})),\,i=1,\,2,\, \cdots ,\,m. $Dmin ≥ 30 mm,则通过校验;否则,记录冲突信息. 校验结果以属性形式附加于实体,通过所有规则校验的候选点方可纳入基准方案.

多规则冲突时,系统采用3级优先级消解:P1强制约束(如无干涉)必须满足;P2强偏好约束(如稳定性、工艺可达性)应尽可能满足;P3优化约束(如对称性、美观性)用于方案优选. 筛选满足所有P1约束的候选解;在可行解内最大化满足P2约束,为了量化评估候选解对P2级规则的综合满足程度,定义加权满意度总分:

$ S=\sum\limits_{j=1}^{{n}}{w}_{j} {s}_{j}. $

式中:n为P2规则的总数,$ {s}_{j} $ 为第 $ j $条P2规则的满足度(0或1或归一化值),权重 $ {w}_{j} $ 由熵权法与层次分析法综合确定. 权重设定须考虑稳定性与一致性. 对同类设计场景(如侧围外板定位方案),权重体系通过历史数据与专家评估预先标定并在案例中保持固定,以确保决策的可比性. 对新场景须重新标定或微调,通过敏感性分析验证. 本文案例中,权重在 ±15% 内变化时优选方案排序未发生逆转,表明体系稳定性良好. 系统选择$ S $值最高的方案;若多个方案$ S $值之差小于阈值 $ \sigma $,则引入P3约束辅助决策.

3.7. 关键的实现细节
3.7.1. 特征识别方法

采用两阶段混合推理框架,从B-Rep面片中自动识别具有制造或装配语义的面片(如焊接面).

1)基于空间锚点快速收敛候选区域. 将焊点、螺栓、螺母、卡扣等标准件标记为“空间锚点”,计算各面片与锚点轴向包围盒(axis-aligned bounding box, AABB)的空间关系. 若面片AABB与任一锚点AABB相交,或其形心与锚点AABB形心距离小于预设搜索半径${R}_{\text{sea}} $$ {R}_{\text{sea}}=20\;{\mathrm{mm }}$,基于最大连接特征的影响范围设定),则纳入候选集. 此步骤大幅减少了待精细处理的面片数量.

2)对候选面片进行精细分类. 计算面积$ A $、平均曲率$ k $、AABB尺寸、法向量$ \boldsymbol{n} $等几何属性,阈值参数(如装配容差 $ \varepsilon =0.1\;{\mathrm{mm}} $)依据企业规范与历史数据确定.

分类由规则引擎主导,综合面片属性及其与邻接面片、空间锚点的关系(如最小距离$ d $、法向夹角$ \theta $)进行逻辑判定. 例如,“零贴面”须同时满足:$ d\leqslant \varepsilon $$ \theta \geqslant ~150{^{\circ}} $$ 150\;{\mathrm{mm}}{^{2}}~\leqslant A\leqslant ~3~000\;{\mathrm{mm}}{^{2}} $. 为了处理边界模糊案例,引入轻量级多层感知机(multilayer perceptron, MLP)辅助,最终分类由规则结果与MLP预测加权投票决定.

$\begin{split} {{C}}_{\text{final}}=&\text{argmax}_{{C}}(\alpha \cdot {\text{Conf}}_{\text{rule}}\cdot {I}_{\mathrm{d}}\left({C}={{C}}_{\text{rule}}\right)+\left(1-\alpha \right)\times \\&{\text{Conf}}_{\text{nn}}\cdot {I}_{\mathrm{d}}\left({C}={{C}}_{\text{nn}}\right)).\end{split}$

式中:$C_{\rm {final}} $为最终确定的分类结果,$\alpha $为权衡参数,${\rm{Conf}}_{\rm{ rule}} $为规则判定置信度,${\rm{Conf}}_{{\text{nn}}} $为神经网络预测的置信度,$C_{\rm {rule}} $为规则隐形输出的类别,$C_{{\text{nn}}} $为神经网络预测的类别,Id为指示函数. 将$ \alpha $设为0.7,以保证规则主导性,识别结果可以通过人工审核修正.

3.7.2. 点云采样策略

采用自适应分级采样策略,参数依据白车身设计规范与工艺要求设定. 对于直接影响定位精度的关键特征(如焊接面、定位孔),以2 mm步长密集采样. 对于非关键结构特征,以10 mm步长稀疏采样,以控制整体点云的规模. 采样步长设定兼顾工艺避让要求(如距特征边缘$ \geqslant 5\;{\mathrm{mm}} $)与计算开销. 几何保真度受采样点云与原曲面间的Hausdorff距离$\delta $约束,即 $ \delta \leqslant 0.05\;{\mathrm{mm}} $,该阈值参考白车身尺寸的检测精度等级.

3.7.3. KRP提取与合并规则

功能型KRP($ {\text{KRP}}_{\mathrm{F}} $)根据源特征类别提取:面特征取形心或关键边界点,孔特征取中心点,曲线特征取端点. 为了消除冗余,对空间邻近的 $ {\text{KRP}}_{\mathrm{F}} $ 按欧氏距离阈值 $ {T}_{\text{merge}}=50\;{\mathrm{mm}} $合并(依据白车身主要定位区域的典型刚性单元尺寸确定),优先级为“孔特征 > 面特征 > 线特征”,合并点继承被合并点的语义属性.

几何型KRP($ {\text{KRP}}_{\mathrm{G}} $)用于表征零件的整体轮廓:计算零件AABB与最小体积定向包围盒(oriented bounding box, OBB)的体积比 $ \beta ={V}_{\text{AABB}}/{V}_{\text{OBB}} $.$ \beta \geqslant ~0.8 $(基于对多个标准车身零件的统计分析),则选用AABB顶点;否则选用OBB顶点. 将选定顶点投影至点云表面,获取候选点,并对距离过近(小于包围盒最大边长的5%)的点进行合并,保留主轴方向极值位置的点.

4. 实验验证与案例分析

4.1. 案例实施:知识图谱构建

为了展示空间-语义分层知识图谱构建方法的实施过程,选取某新能源车型白车身B柱加强板总成作为案例. 该部件几何复杂,接口多,工艺约束严格. 知识图谱的构建严格遵循4层架构.

1)零件层. 创建实体“B柱加强板总成”,解析CAD装配树与工艺文件,构建isPartOf、hasWeldingConnection、hasSimilarIn语义关系,关联材料、料厚、基准方案编码等属性.

2)特征层. 应用B-rep面片识别算法,从CAD模型自动提取并实例化21个特征实体(12个焊接面、6个装配贴合面、2个定位孔等),绑定功能类型、公差要求、连接形式、特征类型等语义属性.

3)点云层. 采用自适应采样策略,关键特征以2 mm步长、次要特征以10 mm步长进行离散采样,生成约48 777个点的点云. 点云继承源特征的语义标签.

4)基准层:在语义标注的点云上,基于规则库进行空间计算与筛选. 以生成“主定位面候选点”为例,算法调用规则筛选满足“位于主安装面点集内”“局部法向夹角变化小于2°”“与特征边界的距离大于5 mm”等条件的点,实例化为KRP. 经全部13条设计规则校验与冲突消解,最终输出由6个基准点(A1、A2、A3、DBC)构成的方案,6个基准点的空间位置与方向如图7所示.

图 7

图 7   B柱加强板总成的基准定位方案

Fig.7   Datum positioning scheme for B-pillar reinforcement assembly


通过上述过程,构建的知识图谱包含88个实体、140条关系和299个属性. 如图8所示为该图谱的局部可视化片段,呈现了从零件到特征、点云直至基准点的完整派生链条与属性关联.

图 8

图 8   B柱加强板总成的基准知识图谱(局部示意图)

Fig.8   Schematic diagram (partial) of datum knowledge graph for B-pillar reinforcement assembly


4.2. 多案例对比实验与量化评估

4.2.1. 实验设计

为了评估提出方法的性能与泛化能力,选取3个几何与工艺特性各异的白车身结构件作为验证案例:案例A(B柱加强板总成)、案例B(Sill梁总成)、案例C(A柱加强板总成),如图9所示. 设置以下3组对照. 传统人工组由2位资深工程师仅凭CAD模型与文档独立设计,取结果均值. 消融实验组复用相同的规则语义,但基于CAD内核API进行连续几何操作与参数化建模,以验证点云离散化机制的必要性. 本文方法组应用完整的4层模型与原型系统.

图 9

图 9   白车身典型零件的示意图

Fig.9   Schematic diagram of typical body-in-white component


评价指标的定义如下.

拓扑关联覆盖率${R}_{{\mathrm{tr}}} $(topological relationship recall):衡量知识表示结构完整性. 计算由本系统自动构建的关系集 $ {{G}}_{\text{sys}} $与专家基准关系集 $ {{G}}_{\text{ref}} $ 的交集比例:

$ \begin{array}{c}{R}_{{\mathrm{tr}}}=\dfrac{\left| {{G}}_{\text{sys}}\cap {{G}}_{\text{ref}}\right| }{\left| {{G}}_{\text{ref}}\right| }\times 100\text{% }.\end{array} $

空间-语义对齐率Ass(spatial-semantic alignment rate):衡量知识融合与规则执行的有效性. 针对案例适用规则集$ \boldsymbol{R}=\Big[{r}_{1},{r}_{2}, \cdots ,{r}_{m}\Big] $,逐条校验方案是否满足规则(须同时满足语义实体正确关联且空间约束成立):

$ {A}_{{\mathrm{ss}}}=\dfrac{\displaystyle \sum\nolimits_{i=1}^{m}{I}_{\mathrm{d}}\left(\text{规则}{r}_{i}\text{被满足}\right)}{m}\times 100\text{% }. $

平均设计迭代次数$ \overline{n} $:方案因违反核心约束须重大修改的次数,衡量稳定性.

平均设计总耗时$ \overline{t} $:从数据导入到输出合格方案的全过程时间,衡量效率.

4.2.2. 实验结果与分析

3个案例的性能对比如表3所示. 本文方法组在各案例中的$ {R}_{{\mathrm{tr}}} $$ {A}_{{\mathrm{ss}}} $均值分别达到97.4%与98.3%,迭代次数均为1次,平均耗时约为1.3 h,各指标表现一致稳定. 消融实验组(无点云层)的$ {R}_{{\mathrm{tr}}} $$ {A}_{{\mathrm{ss}}} $显著低于本文方法组,且迭代更多,耗时更长. 这表明将问题统一至点云离散空间计算,可以有效提升处理复杂几何与多规则冲突的鲁棒性与效率. 与传统人工组相比,本文方法将平均设计耗时缩短约83%,平均迭代次数从3.5次降至1次.

表 3   多案例基准设计方法的性能对比结果

Tab.3  Performance comparison result of multi-case datum design method

案例组别$ {R}_{{\rm{tr}}} $/%$ {A}_{{\rm{ss}}} $/%$ \overline{n} $$ \overline{t} $/h
B柱加强板传统人工组46.745.54.0~8.5
B柱加强板消融实验组71.565.82.8~3.8
B柱加强板本文方法组98.798.91.0~1.4
Sill梁传统人工组48.150.23.5~7.0
Sill梁消融实验组85.380.12.0~2.9
Sill梁本文方法组97.197.81.0~1.2
A柱加强板传统人工组52.348.83.0~6.5
A柱加强板消融实验组78.672.52.2~3.2
A柱加强板本文方法组96.598.31.0~1.3

新窗口打开| 下载CSV


基于多案例实验结果,对所提方法进行分析如下.

1)方法优势分析.

几何连续性保持:平均$ {R}_{{\mathrm{tr}}} $为97.4%,点云层可以有效地保持几何信息完整性.

空间-语义映射可计算化:平均$ {A}_{{\mathrm{ss}}} $达到98.3%,系统能够自动校验形式化规则. 13条核心规则中,11条闭环执行,2条复杂干涉规则须人工确认.

设计效率提升:与传统方法相比,平均设计耗时由7.3 h降至1.3 h,迭代次数由3.5次减至1次.

2)局限性与未来工作.

应用边界:当前验证面向白车身结构件,内外饰、底盘、三电等部件的适用性有待进一步验证.

知识获取与维护成本:规则库的构建依赖专家(58条规则的耗时约为3人·月,新车型迁移需要5~10人·d). 后续可以引入NLP或数据挖掘实现半自动获取.

系统集成与参数优化:须实现与PLM/CAX系统原生数据的互通.

5. 结 论

(1)构建“零件-特征-点云-基准”4层知识表示框架,实现从宏观结构到微观基准的层级化表征. 点云层在给定采样精度下实现几何连续性的无损过渡,将KRP作为语义规则与几何实体间的可计算融合锚点.

(2)建立形式化的知识表征与推理机制,通过本体模型的属性集精细描述设计参数,公理集封装设计规则,支撑从设计意图到几何方案的自动化推理与一致性校验.

(3)通过典型工程案例验证,该方法能够系统性提升知识表示完整性、空间-语义关联有效性及设计效率,为核心设计知识的固化与智能复用提供可行的技术途径.

本文的创新点如下. 1)提出“连续性过渡”与“锚点融合”相结合的知识表示范式,应对几何信息衰减与多模态失配. 2)形成从形式化建模到工程应用的知识图谱构建方法,为复杂的装配体基准设计提供系统性解决方案.

本研究主要聚焦白车身结构件,未来须拓展至更多类型的零部件,以检验普适性,探索知识库动态演化机制. 总体而言,本研究为精密装配领域的知识管理与协同设计提供了新的技术路径.

参考文献

MASOUMI A, SHAHI V J

Fixture layout optimization in multi-station sheet metal assembly considering assembly sequence and datum scheme

[J]. The International Journal of Advanced Manufacturing Technology, 2018, 95 (9): 4629- 4643

[本文引用: 1]

SINGH K, BHISE A, KSHIRSAGAR S, et al

Knowledge-based tool for assurance of car body dimensional quality in design

[J]. SAE International Journal of Materials and Manufacturing, 2022, 15 (4): 421- 432

DOI:10.4271/05-15-04-0027     

CAMELIO J A, HU S J, CEGLAREK D

Impact of fixture design on sheet metal assembly variation

[J]. Journal of Manufacturing Systems, 2004, 23 (3): 182- 193

DOI:10.1016/S0278-6125(05)00006-3     

HUBHAM S, SAGAR L, RHUSHIKESH B, et al. Design, analysis and simulation of Body-in-White (BIW) fixture [J]. International Research Journal of Engineering and Technology, 2022, 1383-1391.

[本文引用: 1]

REZAEI A A, HALLMANN M, WÄRMEFJORD K, et al

Integrated tolerance and fixture layout design for compliant sheet metal assemblies

[J]. Applied Sciences, 2021, 11 (4): 1646

DOI:10.3390/app11041646      [本文引用: 1]

HALLMANN M, GOETZ S, SCHLEICH B

Mapping of GD&T information and PMI between 3D product models in the STEP and STL format

[J]. Computer-Aided Design, 2019, 115: 293- 306

DOI:10.1016/j.cad.2019.06.006      [本文引用: 1]

LI J, ZHOU G, ZHANG C

A twin data and knowledge-driven intelligent process planning framework of aviation parts

[J]. International Journal of Production Research, 2021, 60 (17): 5217- 5234

DOI:10.1080/00207543.2021.1951869      [本文引用: 1]

DENG T, WANG T, WANG J, et al. Knowledge graph construction for automated automotive welding processes [C]// Proceedings of the 3rd International Symposium on Artificial Intelligence and Intelligent Manufacturing. Chengdu: IEEE, 2024: 39–45.

[本文引用: 1]

PENG G, WANG H, ZHANG H, et al

A collaborative system for capturing and reusing in-context design knowledge with an integrated representation model

[J]. Advanced Engineering Informatics, 2017, 33: 314- 329

DOI:10.1016/j.aei.2016.12.007      [本文引用: 1]

JIA J, ZHANG Y, SAAD M

Knowledge graph–enabled tolerancing experience acquisition and reuse for tolerance specification

[J]. The International Journal of Advanced Manufacturing Technology, 2023, 129 (11): 5515- 5539

DOI:10.1007/s00170-023-12644-y      [本文引用: 1]

覃裕初. 基于本体的公差规范智能设计方法研究 [D]. 武汉: 华中科技大学, 2017.

[本文引用: 1]

QIN Yuchu. Towards intelligent design of tolerance specifications: an ontology-based methodology [D]. Wuhan: Huazhong University of Science and Technology, 2017.

[本文引用: 1]

黄劲, 黄美发, 江佳炜, 等

几何公差基准体系合理性检验的本体化方法研究

[J]. 机械设计与制造, 2021, (9): 134- 139

[本文引用: 1]

HUANG Jing, HUANG Meifa, JIANG Jiawei, et al

Study on ontology of rationality verification for geometric tolerance datum system

[J]. Machinery Design and Manufacture, 2021, (9): 134- 139

[本文引用: 1]

SARIGECILI M I, ROY U, RACHURI S

Interpreting the semantics of GD&T specifications of a product for tolerance analysis

[J]. Computer-Aided Design, 2014, 47: 72- 84

DOI:10.1016/j.cad.2013.09.002      [本文引用: 1]

FU H, KONG C, CAO Y, et al

A knowledge-graph based method for datum reference frame reasoning

[J]. Procedia CIRP, 2024, 129: 7- 12

DOI:10.1016/j.procir.2024.10.003      [本文引用: 1]

裘科意. 基于STEP知识图谱的产品语义检索 [D]. 杭州: 浙江工业大学, 2020.

[本文引用: 1]

QIU Keyi. Product semantic retrieval based on STEP knowledge graph [D]. Hangzhou: Zhejiang University of Technology, 2020.

[本文引用: 1]

林崇. 基于STEP知识图谱的设计意图推理方法研究及应用 [D]. 杭州: 浙江工业大学, 2019.

[本文引用: 1]

LIN Chong. Research and application of design intention reasoning method based on STEP knowledge graph [D]. Hangzhou: Zhejiang University of Technology, 2019.

[本文引用: 1]

郭亮, 晏釜, 李湉, 等

基于知识图谱的工艺推理系统

[J]. 现代制造工程, 2021, (10): 1- 10

[本文引用: 1]

GUO Liang, YAN Fu, LI Tian, et al

Machining process reasoning system based on knowledge graph

[J]. Modern Manufacturing Engineering, 2021, (10): 1- 10

[本文引用: 1]

高一聪, 吴栋, 密尚华, 等. 思维链增强的机电装备运维方案智能生成方法[J/OL]. 浙江大学学报: 工学版, 2026, 60(4): 1–13[2026-04-21]. https://kns.cnki.net/kcms/detail/33.1245.T.20260211.1500.008.html.

[本文引用: 1]

GAO Yicong, WU Dong, MI Shanghua, et al. Intelligent generation method for electromechanical equipment operation and maintenance plans enhanced by chain-of-thought [J/OL]. Journal of Zhejiang University: Engineering Science, 2026, 60(4): 1–13[2026-04-21]. https://kns.cnki.net/kcms/detail/33.1245.T.20260211.1500.008.html.

[本文引用: 1]

DING C, QIAO F, LIU J, et al

Knowledge graph modeling method for product manufacturing process based on human–cyber–physical fusion

[J]. Advanced Engineering Informatics, 2023, 58: 102183

DOI:10.1016/j.aei.2023.102183      [本文引用: 1]

LI Y, ZOU L. gBuilder: a scalable knowledge graph construction system for unstructured corpus [EB/OL]. [2025-11-20]. https://arxiv.org/abs/2208.09705.

[本文引用: 1]

冯超文, 耿程晨, 刘英莉

基于嵌入特征和稀疏矩阵的实体对齐方法

[J]. 浙江大学学报: 工学版, 2026, 60 (2): 379- 387

[本文引用: 1]

FENG Chaowen, GENG Chengchen, LIU Yingli

Entity alignment method based on embedding features and sparse matrices

[J]. Journal of Zhejiang University: Engineering Science, 2026, 60 (2): 379- 387

[本文引用: 1]

SHI X, TIAN X, GU J, et al

Knowledge graph-based assembly resource knowledge reuse towards complex product assembly process

[J]. Sustainability, 2022, 14 (23): 15541

DOI:10.3390/su142315541      [本文引用: 1]

孙学民, 刘世民, 申兴旺, 等

数字孪生驱动的高精密产品智能化装配方法

[J]. 计算机集成制造系统, 2022, 28 (6): 1704- 1716

DOI:10.13196/j.cims.2022.06.010      [本文引用: 1]

SUN Xuemin, LIU Shimin, SHEN Xingwang, et al

Digital twin-driven intelligent assembly method for high precision products

[J]. Computer Integrated Manufacturing Systems, 2022, 28 (6): 1704- 1716

DOI:10.13196/j.cims.2022.06.010      [本文引用: 1]

PELLISSIER T T, STEPANOVA D, RAZNIEWSKI S, et al. Completeness-aware rule learning from knowledge graphs [M]//The semantic Web–ISWC 2017. Cham: Springer, 2017: 507–525.

[本文引用: 1]

HE L, WANG S, HU Q, et al

GFOICP: geometric feature optimized iterative closest point for 3-D point cloud registration

[J]. IEEE Transactions on Geoscience and Remote Sensing, 2023, 61: 5704217

DOI:10.1109/tgrs.2023.3317822      [本文引用: 1]

KIM E K, NAM Y J

The comparative study on the methodologies of building ontology toward semantic web

[J]. Journal of Information Management, 2004, 35 (2): 57- 85

DOI:10.1633/jim.2004.35.2.057      [本文引用: 1]

KONOPATSKIY E V, ROTKOV S I, LAGUNOVA M V, et al

An approach to solid modeling of geometric objects in point calculus

[J]. Ontology of Designing, 2025, 15 (1): 24- 33

DOI:10.18287/2223-9537-2025-15-1-24-33      [本文引用: 1]

MEI B, LIANG Z, XIE Y, et al

Positioning accuracy enhancement of a robotic assembly system for thin-walled aerostructure assembly

[J]. Journal of Industrial Information Integration, 2023, 35: 100518

DOI:10.1016/j.jii.2023.100518      [本文引用: 1]

/