企业官网建设流程全解析

干了几年CAD/CAE相关的开发工作以后，我越来越觉得，几何建模引擎是这个行业最容易被忽略、却又最要命的地基。你用的国产三维软件、企业内部的参数化工具、甚至某个看起来不起眼的CAM插件，底下跑的很可能就是ACIS、Parasolid、CGM或者OpenCascade这一类的内核。很多朋友第一次接触这几个名字，是在选型或者做技术调研的时候，看着官网的英文介绍一头雾水：它们到底有什么区别？我该选哪个？OpenCascade能不能顶上来？这篇文章就专门聊这个事，把四个主流几何建模引擎掰开揉碎了讲清楚，结合我这些年实际碰过的坑，给你一份能直接抄作业的参考。

这篇文章适合三类人看：第一类是准备做三维CAD/CAM/CAE软件选型的技术负责人；第二类是正在搞几何算法二次开发、天天和B-rep、布尔运算打交道的工程师；第三类是想从零搭一套几何建模内核做研究、做产品原型的学生或者创业者。我会把每个引擎的背景、能干什么、不能干什么、常见坑、选型建议都过一遍，篇幅不短，但保证每一句都是干货。

1. 先搞清楚几何建模引擎到底是什么

1.1 一个软件里"建模"这件事到底谁在干

你去用SolidWorks画一个拉伸特征，或者用UG做一个扫掠面，动动鼠标几秒钟就出来了。但在这背后，软件其实做了一堆事：先把你鼠标划过的二维轮廓用数学方式表达成一个闭合曲线环，然后按你给的深度做扫掠，生成一个精确的、带拓扑结构的边界表示模型（B-rep），接着还得处理边和面之间的缝隙、判断哪些区域是实体内部、哪些是外部，最后再做布尔运算把特征加减出来。这一整套逻辑，就是几何建模引擎的职责。

说白了，几何建模引擎不是一个"绘图工具"，它是一个数学计算核心。它负责管理点、线、面、体这些几何元素的拓扑关系，提供创建、修改、查询几何模型的算法接口。你调用它的API，传一个圆柱体参数进去，它返回一个实体的句柄给你；你再传一个方块进去，让它俩做布尔减，它帮你把相交部分裁掉，还能自动补出裁剪后的新边新面。这些操作在图形界面里看不到，但每一步都非常烧脑。

1.2 为什么CAD厂商不自己从头写内核

你可能想问：Autodesk、西门子、达索这些大厂实力这么强，为什么不自己写一个内核？答案很简单：太难了，而且不划算。一个成熟的建模内核，需要处理几十年的数学算法积累、行业标准格式兼容、历史遗留数据的读写，还要保证在几百万个零件级别的装配模型上不崩溃、不卡顿。从零开始写不是不行，但没个十年八年搞不定，而且写出来大概率还打不过老内核。所以行业里形成了非常清晰的产业链：核心内核厂商做底层，CAD厂商在核心里外面包一层自己的特征建模、参数化、界面和行业逻辑。你做的是产品和行业应用，内核这层就花钱买授权，或者用开源方案。

现在市面上最常见的商业内核就是ACIS和Parasolid，西门子在Parasolid基础上又搞了一个面向未来需求的新内核CGM，而开源领域扛大旗的基本就是OpenCascade。下面一个一个说。

2. ACIS：老牌商业内核的现状与实战

2.1 ACIS的前世今生

ACIS这个名字听起来像个缩写，但实际上它跟古希腊的"阿克伊斯"没关系，它是Spatial Technology公司在1980年代末开发的，是最早在PC上实现商用级实体建模的内核之一。后来这家公司被达索系统收购，再后来又独立出来，现在归Spatial公司管理，许可证照常卖。这个内核最牛的地方在于它的开放性：提供了非常灵活的类库、一套完整的C++ API，还有Schem语言的脚本扩展，让开发者可以深度定制。很多老一代的CAD软件都是基于ACIS做的，比如早期的AutoCAD 3D模块，后来Autodesk虽然自己弄了一个ShapeManager（其实是从ACIS派生出来的），但ACIS在行业里的地位依然很稳固。

2.2 ACIS能做什么、不能做什么

ACIS全面支持线框、曲面、实体以及混合建模，对于常规的拉伸、旋转、扫掠、放样、抽壳、圆角、布尔运算都做得比较成熟。它的强项是曲面处理能力，尤其是在复杂曲面裁剪、曲面过渡这些地方，算法比较老辣。很多做航空、汽车曲面造型的厂商看重ACIS，就是因为它处理G2连续、曲率连续的曲面桥接时结果很干净。

但ACIS也有几个明显的短板。第一，它的布尔运算在某些特殊退化场景下容易失败，比如两个实体刚好共面、共边、共点的时候，或者存在非常小的碎面、细长狭缝时，容易算不出结果，甚至崩溃。第二，它的文档和社区氛围比较“古典”，很多参考资料还是老式PDF手册，例子少、报错看不懂是常态。第三，ACIS受许可证限制，属于纯商业闭源，费用并不便宜，而且核心代码不能随意修改，想定制优化的空间有限。

2.3 用ACIS时的几个实操经验

如果你确定要上ACIS，我给你几个我自己踩过的坑总结出来的建议：

第一，做布尔运算之前一定先做修复。ACIS里有个api级接口，比如api_fix_body或者调用几何修复工具，把微小缝隙、退化边、无效拓扑先修一遍再操作。别嫌麻烦，真出了崩溃问题定位起来更麻烦。

第二，注意容差管理。ACIS内部有个"分辨率"和"容差"的概念，不同来源的模型（比如从STEP导入的）容差差别很大，如果你不统一处理，两个模型明明"看起来"是贴合在一起的，布尔运算却说它们不相交。我一般是把导入模型的容差统一到1e-6级别，再进行后续操作。

第三，用Schem脚本快速验证算法。ACIS的Schem语言（后缀.hbs）可以快速搭一个原型，不需要编译C++代码就能调用核心函数，做算法验证特别方便。当年我调试一个复杂的曲面裁剪逻辑，就是先用Schem写了一段测试脚本，确认参数和边界情况都对了，再翻译成正式的C++代码集成到业务系统里，调试效率高很多。

3. Parasolid：西门子阵营的中坚力量

3.1 Parasolid的关键特性

Parasolid这个词在行业里的知名度比ACIS还高一点，因为它背后站的是西门子PLM。它最初由Shape Data公司开发，后来被UGS（就是后来被西门子收购的那家公司）收编，现在属于西门子Digital Industries。你在市面上看到的NX、Solid Edge、SolidWorks、Fusion 360，全都用的是Parasolid内核。对，你没看错，SolidWorks虽然是达索的，但它没用ACIS，而是长期授权使用Parasolid。

Parasolid给我最大的感受是稳定、工程化程度极高。它的API有一套非常严谨的命名体系，所有接口都以PK_开头，比如PK_BODY_create_block创建一个方块实体、PK_BOOL_boolean_operate做布尔运算、PK_EDGE_find_all查找边等。这套API最大的好处是自解释性好，看函数名就知道它是干什么的，排查问题时用工具一翻函数名，逻辑链路清楚得很。

3.2 实际使用中的体会

我在做CAD插件时用Parasolid处理过大量的STEP模型。让我印象比较深的是它的目标体/工具体的布尔容错机制。Parasolid对布尔运算做了很多优化，即使两个体之间存在微小缝隙，也会通过内部的几何容差判定来尽量完成运算，不会动不动就给你一个失败错误。这在处理来自不同CAD系统的装配体模型时特别有用，因为每家的建模精度不一样，模型导入进来总有毫米级的偏差，Parasolid能“吞”掉这些偏差，把结果给你算出来。

另外，Parasolid对快速显示和轻量化也做得很到位。它支持自己的一套轻量化表示，还有并行计算选项，在多核环境下，处理大装配、大量布尔运算时的速度还算理想。我实际测试过，同样一个包含上万个零件的装配模型，用Parasolid做干涉检查、间隙分析，性能比用好几年前的自研算法快了一个数量级。

3.3 许可证与部署注意

Parasolid的商业授权模式是按年订阅，它按"平台"来收费，同一个平台只要一套License就能部署多个实例。但要注意的是，Parasolid的许可证是和机器绑定的，你在开发机上调试一套，部署到服务器上可能又得再买一套。如果是做嵌入式设备或者云端部署，还得提前和Siemens谈OEM授权，这个流程比较长，预算也要预留好。我身边就有朋友因为没提前确认服务器部署的License规则，项目上线前差点延期，这个坑提醒大家一定在选型阶段就问清楚。

4. CGM：从Parasolid长出来的"下一代"

4.1 CGM到底新在哪

CGM的全称是Convergence Geometric Modeler，是西门子在新一代NX里推出的建模内核。这里要先区分一个概念：CGM不是Parasolid的替代版本，它是一个面向“收敛建模”（Convergent Modeling）而生的新内核。什么叫收敛建模？以前你拿到一个3D扫描的网格模型，无论是STL还是OBJ，和CAD实体模型是两个“物种”：网格是一堆三角形的离散表达，实体是数学上精确的B-rep，两者做布尔运算、倒圆角、测量都非常麻烦，往往需要先逆向、重新建模。而收敛建模要解决的就是让网格和B-rep能在同一个模型里共存、参与运算。

CGM的出现，很大程度上是为了应对增材制造、拓扑优化、仿真分析一体化这些新需求。西门子想把扫描网格、仿真结果网格、传统CAD实体统统揉进一个模型里，让设计师可以直接在网格上做设计编辑而不必先重构曲面。这个能力传统内核（包括Parasolid）其实做得不太好，因为传统内核从根上就假设模型是精确B-rep，网格进来要么转换、要么忽略。

4.2 什么时候值得用CGM

如果你是做传统机械设计、模具设计，那CGM对你来说可能感知不强，因为Parasolid那一套已经很好用了。但如果你是搞增材制造（打印件的支撑结构设计）、逆向工程（扫描点云修复）、仿真驱动设计（拓扑优化结果的CAD化处理），CGM的收敛建模能力就非常有价值。它可以直接吃进网格模型，不做过多的实体化转换，直接在离散和连续表示之间做桥接，这在NX里体验很好。

不过，CGM现在主要集成在西门子自家的NX和相关的Xcelerator平台里面，独立对外授权开发的模式不如Parasolid那么成熟。也就是说，如果你不是深度绑定西门子生态，想单独拿CGM的内核来做自己的产品，恐怕没那么多公开资料和SDK文档，学习成本和商务门槛都不低。我的建议是：只有在你的业务确实强依赖收敛建模，而且你已经或计划使用NX作为主设计平台时，才值得认真考虑CGM。否则，直接选Parasolid就可以解决绝大多数问题。

5. OpenCascade：开源这条路能不能走通

5.1 OpenCascade能干什么

聊完三个商业内核，终于说到开源界的希望之星OpenCascade。它由法国公司Open Cascade开发，现在的发布版本已经支持到7.x，协议也从早期的LGPL调整成了更加宽松的LGPL v2.1。FreeCAD、KiCad的3D视图、很多高校的科研项目、还有一些国产CAD的早期原型，用的都是OpenCascade。它支持标准的B-rep、曲面、实体建模，布尔运算、圆角、放样、扫掠样样都有，更重要的是它能读写STEP、IGES这两种工业交换格式，这对做数据兼容特别重要。

5.2 实操：从零搭一个OpenCascade的小场景

很多朋友拿到OpenCascade之后不知道怎么下手，我这里给一段最简单的C++代码示例，完成一个两个方块做布尔减的操作，最后导出STEP文件。这个例子基本算是OCC入门的"Hello World"，但你把它跑通了，后面很多逻辑都能在此基础上扩展。

#include <BRepPrimAPI_MakeBox.hxx> #include <BRepBuilderAPI_Transform.hxx> #include <BRepAlgoAPI_Cut.hxx> #include <STEPControl_Writer.hxx> #include <gp_Ax2.hxx> #include <gp_Pnt.hxx> TopoDS_Shape makeBox(const gp_Pnt& corner, double dx, double dy, double dz) { return BRepPrimAPI_MakeBox(corner, dx, dy, dz).Shape(); } int main() { // 创建两个实体 TopoDS_Shape baseBox = makeBox(gp_Pnt(0, 0, 0), 100, 100, 30); TopoDS_Shape cutBox = makeBox(gp_Pnt(25, 25, 10), 50, 50, 80); // 布尔运算：基础方块减去另一个方块 BRepAlgoAPI_Cut cut(baseBox, cutBox); cut.SetFuzzyValue(1e-5); // 设置模糊容差，应对微小的数据偏差 cut.Build(); if (!cut.IsDone()) { // 这里可以改用检查 cut.HasErrors() 进一步定位 return -1; } // 导出STEP文件 STEPControl_Writer writer; writer.Transfer(cut.Shape(), STEPControl_AsIs); writer.Write("result.stp"); return 0; }

这段代码的逻辑很直白：先造一个100x100x30的底板，再造一个50x50x80的方块插在底板中间偏上，然后用BRepAlgoAPI_Cut把底板减去这个小方块，形成一个贯穿的阶梯孔效果，最后导出成STEP格式。里面有个我后来才领悟到的关键点：SetFuzzyValue一定要设。默认情况下OCC做的很多布尔操作对微小缝隙非常敏感，如果你导入的模型本身就是其他CAD系统转出来的，自带各种0.001mm甚至更小的公差，不设置模糊容差，算出来的结果经常会有烂边、破面。设置成1e-5这个量级，相当于告诉内核："小于这个精度的错误，你帮我自动忽略。"实际处理中，这个参数能救回特别多看似无解的模型。

如果你不想用C++，也可以直接用Python绑定的pythonocc-core，语法几乎和C++一样，拿来快速验证算法、搭原型特别爽。我前两年搭一个参数化模型生成工具的原型，就是靠pythonocc在三天内跑通并验证了核心逻辑，后面才用C++做正式工程化。很多人以为OpenCascade只是"开源的免费午餐"，其实它的能力被严重低估了，只要你不是需要极致性能和超大规模装配处理，它完全能胜任大部分自研CAD产品的底座。

5.3 OpenCascade的坑和应对

当然，OpenCascade也有它鲜明的短板，这里必须说清楚，别被"免费"两个字冲昏头脑。

第一个坑是性能。OCC在处理大规模装配、几十万甚至上百万个面的时候，内存占用和计算速度明显不如Parasolid这种商业内核。如果你的产品需要处理大型汽车、航空航天模型，用它做底层会非常吃力。我测试过一个约5万个零件的装配模型，OCC光是加载模型就吃了好几个G内存，旋转和剖切操作也跟着卡顿。解决思路是：不要指望OCC直接来扛大模型，你需要自己做显示轻量化（用离散网格替代B-rep显示）和局部加载，把完整B-rep数据按需加载到内存。

第二个坑是布尔运算鲁棒性。OCC的布尔运算在常规模型上表现不错，但一遇到共面、切点相切、极薄特征这类退化情况，经常报错或者出碎片面。这是我没少被折腾的地方。应对办法是：在做布尔之前，尽量用ShapeFix_Shell、ShapeFix_Solid等工具做修复，把自由边、微小缝隙、退化边清理掉；再做的时候注意给参与运算的模型统一容差；如果确实有大问题，优先考虑换一种建模路径，比如把布尔用多次体素化拉伸叠加来代替，绕开有问题的相交组合。

第三个坑是API稳定性。OCC的版本升级有时候会带来行为变化，同一个函数在不同小版本下输出的结果是会不一样的。所以如果你要用OCC做产品，一定要锁定一个经过验证的版本，并且做完整的回归测试，不要做"追新族"。我见过有项目因为追了新版OCC，结果历史模型全部需要重新生成一遍的情况，代价非常惨痛。

6. 选型对比：四选一到底怎么选

6.1 按场景打分选型

说了这么多，到底怎么选？我建议你先别纠结功能细节，先把你的业务场景和约束条件列清楚，再来看表。

如果一个应用是做复杂曲面造型，比如汽车A面、飞机外形，我会优先看ACIS，因为它的曲面算法积累最厚。如果是做通用机械CAD、CAM、CAE，追求稳定、大装配处理和企业级部署，Parasolid基本是行业默认答案。如果你做的是3D打印、创成式设计、仿真驱动设计，又有西门子生态的支撑，那CGM会让你爽到。如果是预算有限、做原型验证、搞科研教育，OpenCascade是唯一靠谱的选择——前提是你能接受它的性能和鲁棒性局限。

6.2 预算、团队和长期生态也要一起考虑

除了功能选型，还有三个"隐性成本"要算进去。第一个是团队技术栈：如果团队里都是学计算机图形学出身、数学基础扎实的，用OpenCascade完全没问题；如果团队大多数是应用层工程师，上来就要做大装配建模，我建议还是买商业内核，省下的开发时间远大于License费用。第二个是格式兼容：如果你的产品必须跟NX/SolidWorks用户交换原生数据，选Parasolid做底层会省掉一大半对接工作；如果只是交换STEP/IGES，OpenCascade也能扛，但原生格式转换就要依赖外部组件。第三个是长期升级风险：商业内核跟着版本走，厂商的升级策略和合同条款你必须盯着，我之前就碰到过内核升级之后某个API行为变化，导致老功能回归的情况，所以无论选哪家，都要在商务合同里写明API变更通知和过渡期支持，这个非常关键。

7. 常见问题与排查实录

7.1 布尔运算失败怎么破

这是我在各种内核上遇到最多的问题。常见的表现是：两个模型明显有相交区域，但一调布尔接口就返回错误，或者结果缺失一部分面。排查思路我总结成三步：第一步，检查输入模型是否闭合，有没有自由边、未缝合的壳、法向朝外的面；第二步，检查共面、共边情况，比如一个立方体和一个圆柱体正好在圆柱轴线上相切，这种退化情形很多内核处理不了，解决办法是给其中一个体做微小平移（比如0.001mm），破坏掉退化状态；第三步，检查几何容差，如果模型里存在大量小缝隙，强烈建议先用修复工具统一容差再算。如果这三步都不行，就考虑换算法路径，比如把布尔改成"分割-取舍-合并"的流程，用面切割代替实体布尔。

7.2 缝合失败、碎面太多怎么处理

从外部系统导入模型后，经常会出现一堆窄长面、碎面、微缝。这其实不是建模内核本身弱，而是源系统的导出精度和容差和你这边不一致造成的。我一般会在导入后做"修复三连"：先用ShapeFix统一修复拓扑，再用近似/拟合功能把曲率变化极小的相邻面合并，最后做一次模型检查确认没有自由边。这一步不能省，尤其是对接供应链过来的模型，十有八九带着各种几何垃圾。如果你用Parasolid，可以用PK_GEOMETRY_check_faces之类的手段先诊断面片质量；用OCC就用BRepCheck_Analyzer做检查，它会告诉你哪些边是自由边、哪些面有问题，按报告逐个处理效率最高。

7.3 导出STEP后模型变形或者破面

很多时候本地显示好好的，一导STEP到别的软件里就出现破面、烂边，这种问题通常出在STEP写入器的容差映射上。STEP文件里有自己的全局精度设置，不同系统的默认值不一样。比如你本地模型的精度是1e-7，STEP里默认全局精度只有1e-4，导出去就会产生缝隙。解决方法是：导出前把全局精度和模型容差都统一到行业常规值（一般用1e-3或1e-4毫米），或者用高级写接口手动控制STEP的精度参数。另外，导出时尽量用"按B-rep原样导出"而不要做任何简化，简化算法在跨系统时最容易出问题。

7.4 OpenCascade特有坑：版本差异和内存泄漏

如果你用的是OpenCascade，还有一个很典型的坑是内存不释放。它的很多对象受引用计数管理，但跨语言（比如通过pythonocc）或者在循环里反复创建对象时，引用姿势不对就容易越用越卡。我的习惯是：在C++里坚持用Handle智能指针管理对象，在循环体里人为清理不再使用的对象引用；如果是pythonocc，注意每跑完一批任务主动调用一下内存回收，必要的时候干脆把大批量任务拆成独立进程跑。另外，OCC的Draw命令测试框架（Test Harness）特别好用，遇到一个布尔运算想快速验证，只要写一条tcl命令就能在图形窗口里看到结果，强烈建议起步阶段先把它用熟。

最后再分享一个我个人的选型习惯

如果你让我给一个无脑建议，我只能说：没有完美的内核，只有匹配场景的内核。我自己的习惯是，先写一个包含20~30个典型模型的小测试集，用候选内核全部跑一遍——包括带缝隙的STEP模型、带退化面的网格转实体模型、带共面情形的布尔场景——把通过率和失败原因记录成表格，再结合License费用、团队开发语言、交付周期来做最终决定。这个测试集的方法比任何官网宣传都管用，你也可以拿去用。另外，无论选哪个内核，我都建议在架构上把"内核调用"封装成独立的服务层，这样万一以后要换内核，不用把业务代码全翻一遍重写。这个设计习惯，在国产软件动不动就要换内核的大环境里，真的能救你一命。