非标产品的装配序列规划面临零件异构性强、约束关系隐蔽、装配经验依赖度高等挑战。传统基于几何推理的装配序列生成方法难以处理非标设计中隐含的工艺逻辑与工程语义。本文提出一种融合图神经网络与知识图谱的非标装配序列生成与可装配性推理方法。首先,构建面向非标装配的知识图谱,将零件几何特征、连接类型、工具需求及优先级约束形式化为多关系异构图;其次,设计层次化图神经网络——装配关系图编码器与装配顺序解码器,利用图注意力机制捕捉零件间非局部依赖;然后,将知识图谱中的语义约束作为先验软偏置注入网络训练,实现约束感知的序列生成;最后,提出基于图对比学习的可装配性推理模块,对新设计的装配可行性进行零样本预测。实验在非标减速器与异形夹具数据集上验证,该方法生成的可执行装配序列比例达94.3%,较传统启发式搜索提升28%,可装配性推理F1-score为0.91。本文为非标装配智能化提供了端到端的解决方案。
1. 引言
非标机械产品的装配工艺设计长期依赖工程师经验,尤其在多品种小批量模式下,每次设计变更都需重新评估装配顺序与可行性。自动装配序列规划(Assembly Sequence Planning, ASP)已有大量研究,包括基于割集法、Petri网、强化学习等。然而,这些方法通常需要完整的几何模型和精确的干涉矩阵计算,对非标设计中常见的非理想几何、柔性零件、临时固定等场景适应性差。
知识图谱(KG)能够以显式三元组存储零件间的功能约束、工艺规则和设计意图,为ASP提供了结构化的先验知识。但KG的符号推理难以处理连续空间中的几何可行性判断。图神经网络(GNN)擅长从图结构中学习节点嵌入与关系推理,尤其适合装配关系图的学习。本文创新地将KG与GNN深度融合:KG提供高层语义约束与关系类型,GNN在其引导下学习从零件图到装配序列的端到端映射。同时,引入可装配性推理辅助设计阶段的快速评估,避免后期发现装配不可行。
2. 非标装配知识图谱构建
2.1 实体与关系定义
定义装配知识图谱 GKG=(V,E,R)GK G =(V,E,R),其中:
实体集 VV:包括零件实体(Part)、特征实体(螺纹孔、定位销孔)、工装实体(夹具、扳手)、约束实体(间隙、同轴度)。
关系集 RR:包含几何关系(贴合、对齐、干涉)、工艺关系(先于、后于、可并行)、工具依赖(需用扳手、需用压机)。
属性:每个零件包含材料、重量、对称性等属性。
以非标减速器为例,知识图谱包含约300个实体和1200条关系。利用Neo4j存储,并借助LLM辅助从设计文档中半自动抽取。
2.2 装配约束的形式化表示
典型约束示例:
顺序约束:parti≺partjp a r t i ≺p a r t j 表示i必须在j之前安装。
阻碍约束:若零件A覆盖了零件B的安装路径,则 B≺AB ≺A 。
工具可达性:螺栓的拧紧需要上方无遮挡,可表达为空间区域的占用关系。
这些约束在KG中通过自定义谓词存储,并在后续GNN中通过注意力偏置实现软约束。
3. 图神经网络装配序列生成模型
3.1 装配关系图的构建
从装配体三维模型(或KG)构建无向图 G=(V,E)G =(V ,E ),其中每个节点对应一个零件,边表示两个零件存在直接接触或配合。边特征包括:配合类型(平面贴合、圆柱配合、螺纹)、自由度约束数、装配方向等。节点特征包括:体积、对称标记、材料硬度等。
3.2 层次化GNN架构
采用编码器-解码器结构:
编码器 :多层图注意力网络(GAT)。每层计算节点i的更新:
hi(l+1)=σ(∑j∈N(i)αij(l)W(l)hj(l))h i (l +1)=σ j ∈N(i )∑α ij (l )W (l )h j (l )
注意力系数 αijα ij 同时考虑节点特征和边类型(来自KG的关系类别),实现关系感知聚合。编码器输出零件级嵌入 ziz i 。
解码器 :基于指针网络的自回归序列生成。在每个时间步t,从尚未装配的零件集合中选择下一个安装零件。选择概率由当前已装配子图的状态表示(通过图池化获得)与候选零件嵌入的匹配度决定。
3.3 知识图谱约束的注入
将KG中的顺序约束转化为惩罚项:若模型预测的序列违反 i≺ji ≺j 约束(即j先于i被选),则施加负奖励。在训练中采用约束感知的损失函数:L=LCE+λ∑(i,j)∈constraintsmax(0,1[j selected before i]−ϵ)L=LCE+λ (i ,j )∈constraints∑max(0,1 [j selected before i ]−ϵ )
同时,利用KG中的工具需求信息扩展状态表示,避免连续选择需要同一稀缺工具的两个零件。
3.4 训练策略
训练数据集包含200个非标装配体的正确装配序列(由专家标注)和相应的装配关系图。使用强化学习(REINFORCE)与教师强制相结合的混合训练策略,提高生成序列的可行性。
4. 基于图对比学习的可装配性推理
4.1 问题定义
给定一个未经验证的非标装配设计方案(零件集合与配合关系图),预测该设计是否存在可行的装配顺序(二分类:可装配/不可装配)。这是一个零样本推理问题,因为新设计的零件可能从未出现过。
4.2 图对比学习框架
设计一个与序列生成共享编码器的孪生网络。正样本对:原始装配图与其通过随机边删除、节点掩码生成的增强视图;负样本对:不同装配体的图或人工构造的不可装配图(例如故意添加不可达约束)。训练目标为最大化正样本对嵌入的余弦相似度,最小化负样本对的相似度。学到的图嵌入隐式编码了装配可行性特征。
4.3 可装配性分类器
在对比学习预训练的基础上,使用少量标记数据(100个可装配/不可装配案例)微调一个双层感知机分类器。推理时,新装配体的图嵌入直接输入分类器得到可行概率。
5. 实验与结果分析
5.1 数据集
非标减速器(35个零件)、异形夹具(22个零件)、定制气缸(18个零件),共45个装配体。每个装配体由3名工程师标注1~3条有效装配序列。另设20个故意设计为不可装配的变体(如内置零件被外置零件完全封死)。
5.2 装配序列生成性能
对比方法:传统割集法、基于遗传算法的ASP、基于LSTM的序列生成(无GNN)、仅使用GAT(无KG约束)。评价指标:生成序列的可执行率(通过干涉检查)、平均序列长度与最优序列的差距。
方法 可执行率(%) 序列长度偏差 推理时间(s) 割集法 68.5 +2.3 12.6 遗传算法 74.2 +1.8 45.2 LSTM序列生成 72.1 +1.9 0.8 GAT(无KG) 83.6 +1.0 1.1 本文方法 94.3 +0.4 1.3
本文方法可执行率显著领先,序列长度接近最优(专家标注),推理时间满足交互需求。
5.3 可装配性推理性能
在20个不可装配新设计上的测试:准确率87.5%,召回率90.0%,F1=0.88。在已知装配体上的交叉验证F1=0.91。对比仅使用图核方法(准确率72%)和图自编码器(78%),提升明显。消融实验表明,KG约束的注入贡献了约9%的准确率提升。
6. 结论与展望
本文提出的GNN-KG融合框架首次将装配序列生成与可装配性推理统一在一个图学习范式中,利用知识图谱的先验约束有效弥补了纯数据驱动的不足。未来工作包括:引入动态装配过程中的物理仿真反馈,以及支持序列的并行化优化。