BIM 模型审查引擎・第三方空间几何算法包调研报告

Wed, 16 Sep 2026 14:00:00 +0800

1 调研背景

项目目标：开发类似 Solibri 的 BIM 模型审查插件，核心需求为三维构件空间关系判定——碰撞检测、距离计算、包含 / 相交 / 分离、空间包围盒、实体布尔、模型拓扑校验，支撑 BIM 合规性规则检查（管线净距、构件冲突、空间占位、洞口校核等）。

调研对象：开源空间几何内核、空间索引库、IFC 几何处理组件；重点评估适配 .NET 栈（Revit 插件，.NET 10）、支持 BIM 三角网格 / 实体 BREP、可做空间查询、许可友好、性能可用于大规模模型场景。

调研目的：对比各算法包能力、限制、集成成本，输出技术路线选型建议，为审查引擎架构定案提供依据。

业务边界说明：Solibri 核心能力 = IFC 模型解析 + 空间索引 + 三维几何相交 / 距离计算 + 规则引擎。本次调研聚焦空间几何与空间索引算法包，不含规则引擎、IFC 解析库（IFC 解析可单独选用 IfcOpenShell 等）。

2 需求拆解（审查引擎核心空间能力清单）

类别	具体能力需求	BIM 审查场景
基础几何	点 / 线 / 面 / 实体、包围盒 AABB/OBB、三角网格、BREP 实体	构件粗筛、包围盒预检测
空间关系判断	相交、包含、分离、接触、最小距离、穿透深度	碰撞检查、构件净距校验
布尔运算	实体求交、求差、求和	空间扣除、洞口校核、体积计算
空间索引	AABB 树、BVH、八叉树，批量构件快速筛选（减少两两几何计算）	大模型性能优化（上万构件）
网格处理	三角网格简化、缝合、修复非流形	Revit 导出模型存在烂面、破面
接口与集成	.NET 原生 / C++ 可封装 C#、支持嵌入 Revit 插件、支持 IFC/STEP 几何	插件部署限制
许可	MIT/Apache 2.0 等宽松开源，避免 GPL 传染性开源	商用插件发布风险

3 候选开源空间算法包调研详情

3.1 OpenCASCADE（OCCT）

工业级三维几何内核，C++ 开发，老牌 BREP 实体几何引擎，STEP/IGES 原生支持，大量 BIM/CAE 软件底层依赖（FreeCAD 底层就是 OCCT）。

✅ 支持：BREP 实体、曲面、布尔运算、实体相交、距离计算、拓扑分析；自带 AABB 包围盒；支持 STEP/IGES；可处理参数化实体
⚠️ 限制：
- C++ 库，.NET 需要自行封装（OCCT .NET wrapper 非官方，如 OCC.Net）
- 编译、部署复杂；体积大
- 对破损 BIM 模型（非流形、碎面）容错较差
- 无内置 BVH 空间索引，需要自己实现或搭配第三方 BVH 库做构件加速筛选
📜 License：LGPL 2.1。商用注意：动态链接 LGPL 库不传染源码；静态链接会触发 LGPL 开源义务，插件打包需要关注发布方式
🎯 适用场景：需要高精度实体布尔、拓扑检查；适合做精确几何计算。Solibri 早期底层几何内核同类路线

3.2 CGAL（Computational Geometry Algorithms Library）

C++ 计算几何算法库，学术 + 工业级，算法种类最全，支持三角网格、布尔、网格修复、BVH 空间查询。

✅ 支持：精确几何谓词、三角网格布尔、网格修复、BVH / 空间索引、距离、相交检测；点云、多边形、多面体处理能力极强
⚠️ 限制：
- C++ 库，需要 C++/CLI 封装给 .NET；编译门槛高
- 大量算法是精确算术，大规模 BIM 模型性能开销大；可切换浮点数模式，但会引入精度问题
- 不原生支持 BREP 实体，偏重三角网格
📜 License：混合开源（GPL/LGPL），部分模块 GPL，商用项目需要谨慎挑选模块
🎯 适用场景：网格修复、复杂空间查询；如果 BIM 全部转三角网格后做审查，CGAL 是强候选

3.3 Bullet Physics（Bullet3）

C++ 物理引擎，内置成熟 BVH、AABB、碰撞检测库，游戏 / 可视化领域大量使用。

✅ 支持：AABB/OBB、BVH 加速结构、三角网格碰撞、距离查询；对海量三角面性能优秀；跨平台
⚠️ 限制：只做碰撞相交，不支持实体布尔运算，不支持 BREP 拓扑；几何是离散三角网格，无实体拓扑信息；不适合体积、洞口布尔扣除场景
📜 License：zlib 许可，极其宽松，商用无源码传染风险
🎯 适用场景：粗碰撞筛查、净距检测，不适合实体拓扑类审查。适合作为第一层空间索引加速层

3.4 Embree（Intel）

Intel 开源光线追踪内核，高性能 BVH，面向光线投射、包围盒查询。

✅ 支持：高性能 BVH 构建、光线相交查询；大规模三角面查询速度极快
⚠️ 限制：只做光线 / 三角面相交，无实体布尔、无空间距离谓词；不是通用几何库
📜 License：Apache 2.0，商用友好
🎯 适用场景：BIM 空间射线查询（房间空间拾取、遮挡检测），不适合构件碰撞和布尔

3.5 Triangle / TetGen

三角面、四面体网格生成库，仅用于网格剖分，不能做空间关系判断与布尔，仅辅助几何预处理，不适合作为主引擎。

3.6 .NET 原生库（适合 Revit C# 插件直接调用）

3.6.1 MathNet.Numerics

纯 .NET 数值库，矩阵、向量基础运算；无三维实体 / 网格相交、无空间索引，只能做底层数学工具，不能作为空间引擎。License MIT。

3.6.2 Rhino3dm（Rhino3D 开源 .NET 库）

重点：McNeel 官方开源 .NET 库，Rhino 几何内核剥离，NuGet 包直接 C# 引用，无需 C++ 封装！

✅ 支持：BREP 实体、NURBS 曲面、三角网格；相交、距离、布尔运算；AABB/OBB；内置 BVH；支持 STEP 导入；纯 .NET 托管调用
⚠️ 限制：
- 开源版 Rhino3dm 是几何数据模型 + 基础计算，不包含完整 Rhino 空间加速全套高级算法；大规模上万构件场景性能需要测试
- 复杂破损 IFC 模型 BREP 转换容易失败
📜 License：MIT，商用非常友好，无传染性开源
🎯 亮点：唯一可直接在 Revit C# 插件中引用、无需 C++ 封装的 BREP + 网格几何库，集成成本最低，开发速度最快

3.6.3 NetTopologySuite（NTS）

JTS 拓扑套件 .NET 移植版本，二维几何王者，三维能力弱，仅支持简单 3D 点线面，不支持 BREP、三维实体布尔。MIT 许可。

结论：NTS 适合 2D 图纸审查，不适合三维 BIM 构件空间审查。

3.7 IfcOpenShell（补充，非纯空间算法包）

C++/Python/C# 绑定，IFC 解析库，可将 IFC 构件解析成 OCCT 几何；职责是 IFC→几何转换，不是审查计算内核，常搭配 OCCT 一起使用。LGPL。

4 候选包横向对比汇总表

算法包	开发语言	BREP 实体	三角网格布尔	空间索引 (BVH)	三维相交 / 距离	.NET 集成难度	License	商用风险
OpenCASCADE (OCCT)	C++	✅	✅	❌ 需自建	✅	高（C++ 封装）	LGPL 2.1	中等（静态链接风险）
CGAL	C++	❌	✅	✅	✅	很高	GPL/LGPL 混合	高（部分模块 GPL）
Bullet3	C++	❌	✅	✅	✅（仅碰撞）	中	zlib	低
Rhino3dm	.NET	✅	✅	✅ 基础	✅	极低（NuGet）	MIT	低
Embree	C++	❌	❌	✅	仅光线相交	中	Apache 2.0	低
NTS	.NET	❌	❌	❌	仅弱 3D	极低	MIT	低

5 技术路线方案对比（审查引擎架构可选路线）

目标：开发 Revit 插件，BIM 构件空间审查（Solibri 同类功能）

方案 A：Rhino3dm 为主内核（推荐【快速原型路线】）

架构：Revit 插件 (C#) → Rhino3dm（BREP + 网格几何、相交、布尔、BVH）→ 空间关系判断 → 规则引擎

优势：

.NET 原生 NuGet，无 C++ 编译、跨平台封装难题，直接嵌入 Revit 插件，开发周期短
MIT 许可，商用无风险；BREP 与三角网格双支持；自带 BVH
可以直接读取 Revit 几何转换到 Rhino 几何对象，转换链路短

短板：超大模型（几万构件）下 BVH 性能上限低于 OCCT/CGAL；极端破损模型鲁棒性一般

适用：MVP 原型开发、中小规模 BIM 模型审查；团队以 C#/.NET 开发为主，缺少 C++ 底层开发人力

方案 B：OCCT 为主内核 + Bullet 做空间索引加速（推荐【高性能生产路线】）

架构：Revit 插件 (C#) ↔ C++ 封装层 ↔ OCCT（BREP 实体布尔、拓扑） + Bullet（BVH 批量包围盒预筛选）

流程：

Bullet BVH 做粗筛：构件包围盒不相交直接跳过，减少昂贵实体几何计算
粗筛命中后，交给 OCCT 做精确 BREP 相交、距离、布尔运算

优势：工业级精度，Solibri 同类底层思路；处理实体拓扑、洞口扣除、体积计算能力最强

短板：C++ 封装、编译、部署复杂；LGPL 许可管控；开发周期长；需要 C++ 开发人力

适用：长期产品化，面向大型轨道交通 / 机场复杂 BIM 项目，上万构件高精度审查场景

方案 C：CGAL + Bullet（纯网格路线）

全部构件转三角网格，CGAL 做网格布尔 / 修复，Bullet 做 BVH 加速。

短板：丢失 BREP 拓扑信息；不能做实体参数化分析；许可风险高

适用：仅做网格碰撞，不推荐作为 BIM 审查主引擎

方案 D：自研空间算法（不推荐）

自己实现 BVH、三维相交、实体布尔。三维计算几何坑极多（浮点精度、非流形、拓扑退化），研发成本巨大，稳定性很难达到 OCCT/Rhino3dm 成熟库水平。

6 关键风险点

BIM 模型几何破损问题：Revit/IFC 导出模型经常出现非流形、碎面、重叠面；所有开源库都会受影响，需要前置几何修复流程（CGAL 或 OCCT 自带修复工具）
浮点精度问题：三维几何判断容差是 BIM 审查核心，所有库都需要统一全局容差配置（Solibri 可配置规则容差）
许可合规风险：GPL 库绝对不能直接静态链接到商用闭源插件；LGPL 需要严格区分动态 / 静态链接
Revit 进程内存限制：大规模模型几何加载会占用大量内存，空间索引需要做按需加载，不能一次性载入全部构件

7 选型建议与落地路径

7.1 选型结论

短期 MVP 原型开发（优先推荐）：采用 Rhino3dm（MIT）

优点：C# 直接集成、开发速度快、许可安全，快速验证整套审查业务逻辑（构件相交、净距、空间包含规则）
适用：验证业务规则、开发 Demo、内部测试，快速跑通和 Solibri 对齐的审查案例

中长期产品化，面向大型复杂 BIM 项目：采用 OCCT (LGPL) + Bullet (zlib) 组合架构

粗筛用 Bullet BVH 做包围盒加速；精确几何相交、布尔、拓扑计算交给 OCCT。需要投入 C++ 封装开发，同时做好开源许可合规管理

不推荐：

CGAL 作为主内核（许可 + 性能复杂度）
自研底层几何算法

7.2 落地实施步骤

原型阶段：基于 Rhino3dm 搭建最小验证 Demo，实现：构件包围盒 BVH、构件最小距离、相交判断；拿轨道交通 BIM 模型做案例测试，验证性能与精度
压力测试：针对 5000 / 10000 构件规模模型，测试查询耗时、内存占用，评估 Rhino3dm 性能瓶颈
架构迭代：如果原型阶段发现大模型性能不足，拆分架构，把计算密集几何部分下沉到 C++ 层，切换 OCCT + Bullet 方案，上层 C# 插件保持业务规则不变
配套：几何预处理模块（破面修复）、统一容差管理、构件空间索引持久化

8 附录：待后续调研事项

Rhino3dm 大规模构件 BVH 性能实测、破损 IFC 几何转换成功率
OCCT .NET 封装方案（OCC.Net）稳定性、LGPL 商用发布合规细则
空间审查规则引擎技术选型（和几何引擎解耦）
IFC 几何转换组件（IfcOpenShell）与几何内核对接测试

Revit on 我的博客