基于子图同构三维CAD 模型局部匹配探讨.docVIP

基于子图同构三维CAD 模型局部匹配探讨 　　摘要：为了有效解决结构匹配无法精确实施的问题，该文将从子图同构原理出发对三维CAD模型局部结构匹配算法进行探索。在该算法中通过对CAD模型的B-Rep信息的提取，用以面作为节点的属性连接图将其展现出来。局部匹配过程中用子图表示用户输入的局部结构，用大图表示带匹配的整体CAD模型。这样就可以通过寻找大图中同构子图解决检索局部结构的问题。根据CAD模型的面特征细分图顶点，并利用已匹配点之间的临界关系对搜索空间进行动态剪裁，这样同构匹配的迅速就会大大增加。 　　关键词：子图同构；三维CAD模型；局部匹配 　　中图分类号：TP391 文献标识码：A 文章编号：1009-3044（2016）13-0179-02 　　现阶段产品设计、产品制造、产品虚拟仿真等机械设计和制造环节中已经广泛运用了三维建模软件，这样企业内容的三维CAD模型数量就会迅速增加。设计人员在工作中常常需要参照企业已有模型进行新产品设计，通过相似形设计或改型设计能够有效带动设计效率的提升。然而，对于一些大型制造企业而言，由于具备庞大数量的CAD模型，怎样让设计人员从中找到所需要的模型就成为另一个必须解决的问题，本文将尝试通过三维模型检索解决这个问题。 　　1 CAD模型局部匹配总体思路 　　实际中，完全自动识别出直接给定任意的两个三维CAD模型相思局部结构还存在一定难度，但是还没有较好的方法能够解决这个问题，并且这样的需求在实际应用CAD领域还相对较少。相反设计人员在设计的过程中，往往非常关注零件上某一个局部结构，进而将具备该局部结构零件从已有产品模型中各发掘出来，并依次为依据和参考。这样设计人员就能够检索自己感兴趣的局部结构，一般通过以下两种方式输入：将已有CAD模型直接打开，然后拾取局部结构的多个面；利用建模工具对局部结构进行完全自定义。 　　为了实现局部匹配的目标，首先需要对属性邻接图进行设计，并对CAD模型中B-Rep信息进行提取，这样就能够用一个属性邻接图表示CAD模型。通过提取已经输入的局部结构B-Rep信息，就能够产生小属性邻接图，该图作为“子图”。同时还应当提取待匹配的模型库中的每一个整体三维CAD模型，这样就能够获得一个大属性邻接图，这样通过在大图中寻找子图就能够解决在整体三维CAD模型中检索制定局部结构的问题。 　　2 构建属性邻接图 　　由于多媒体可视化模型具有较低的精度要求，所以通过三维网络模型近似表示即可。但CAD具有较高的精度要求，所以在表示过程中通常运用B-Rep模型。B-Rep模型中的一个三维CAD模型包括n各三维空间曲面，多条边围成每个曲面，每个顶点确定每条边。通过对每个顶点、每条边、每个曲面的精确描述，整个三维CAD模型就能够准确的反映出来。通过将三维CAD模型中B-Rep信息转化为属性邻接图，其中每一个模型的面都存在对应图顶点，顶点具有面的几何属性。顶点之间的关系反映与模型中的面之间的关系，共面、垂直、平行、供边等是常见的关系。 　　3 局部匹配 　　1）图同构概述 　　看两个图之间是否存在一个映射是判断两个图是否同构的关键，这样两个图之间对应的不仅包括点还包括边。当前图同构问题计算还较为复杂，但是已经证明子图同构问题是一个NP问题，实际中包含四种求解方法，其中提出时间最长、且应用最广泛的就是ullmann算法。由CAD模型转换得到的一种特定的属性邻接图是本文研究的对象，所以必须充分运用CAD模型自身特征进行子图同构匹配算法的设计，进而推动算法匹配效率的提升[1]。 　　2）子图同构匹配算法思路 　　为了达到降低搜索空间杂复程度的目的，应当通过先验知识的运用尽可能增加M元素为0的个数，这样就需要细分图的顶点。实际当中从一定规则出发将图的顶点划分为若干个子集就是顶点细分，在同构中不可能匹配不同子集的顶点。可见不可能的顶点对应关系通过有效的定点细分，在一开始就能够得到有效的排除。本文算法在细分图的顶点时，主要考虑的是CAD模型的面的特征。CAD模型的面与CAD模型转换得到的属性邻接图顶点存在一一对应的关系，因此在进行顶点细分时可以运用CAD模型面的特征。 　　3）算法分析 　　因为子图同构的本质是NP完全问题，所以相应的都是复杂度高的求解算法，并且还具有算法性能不稳定的弊端。为了实现提升匹配效率，本文从两个方面进行了优化：首先在进行细分图顶点过程中充分的结合和考虑了CAD模型面的特征；在进行快速的剪枝搜索中运用已匹配上的顶点所组成的子图对应同构这一原理。属性邻接图是本文研究的对象，主要通过转化三维CAD模型的面后获得。应当以顶点对应模型的面的类型和面的特征出发，细分图顶点，这样初始时矩阵元素等于0的数量就会增加，搜索空间复杂程度相应的就会降低[2]。 　　4