布尔运算公开对比：SMLib 与 OCCT 的120个实测场景

打开布尔实验室 → · 查看测试报告 · GitHub复现仓库

本次发布将布尔运算单独整理为120个场景：12个固定盒体、45个微小间隙/面接触/薄重叠、15个常规曲面和48个复杂曲面。网页展示原生内核实际输入与输出，可以旋转比较，并查看每例检查结果。

测试执行于2026年10月16日；本页和公开包整理于2026年10月17日。不同批次共有3,720次正式观测；显示模型的重放另外记录。旧批次每例每核重复10次，复杂曲面每例每核重复5次，分开统计。

“必要条件通过”表示本轮检查未发现问题，不能据此证明整个形状完全正确。设定相同目标容差也不能使两个内核的内部策略完全一致；网页和报告记录了输入与输出的实际容差。

复现仓库包含冻结场景、独立判据、两个内核的适配脚本、固定依赖与源码构建步骤。网页下载包包含报告和真实模型，无需安装CAD内核即可查看；重新计算需要按仓库说明配置两个后端。