B-rep Boolean Resulting Model Repair by Correcting Intersection Edges Based on Inference Procedure

Haomian Huang,Li Chen,Enya Shen,Jianmin Wang

2023-10-16

Abstract:As the most essential part of CAD modeling operations, boolean operations on B-rep CAD models often suffer from errors. Errors caused by geometric precision or numerical uncertainty are hard to eliminate. They will reduce the reliability of boolean operations and damage the integrity of the resulting models. And it is difficult to repair false boolean resulting models damaged by errors. In practice, we find that the illegal boolean resulting models stem from the false intersection edges caused by errors. Therefore, this paper proposes an automatic method based on set reasoning to repair flawed structures of the boolean resulting models by correcting their topological intersection edges. We provide a local adaptive tolerance estimation method for each intersection edge based on its geometric features as well as its origin. Then, we propose a set of inference mechanisms based on set operations to infer whether a repair is needed based on the tolerance value and how to correct the inaccurate intersection edge. Our inference strategies are strictly proven, ensuring the reliability and robustness of the repair process. The inference process will transform the problem into a geometric equivalent form less susceptible to errors to get a more accurate intersection edge. Since our inference procedure focuses on topological features, our method can repair the flawed boolean resulting models, no matter what source of errors causes the problem.

Graphics

What problem does this paper attempt to address?

The paper attempts to address the issue of errors generated during Boolean operations in CAD modeling. Specifically, errors caused by geometric precision or numerical uncertainty reduce the reliability of Boolean operations and compromise the integrity of the resulting models. These errors make it difficult to repair the damaged Boolean result models. The paper finds that illegal Boolean result models are mainly caused by incorrect intersection edges resulting from errors. Therefore, the paper proposes a set-based reasoning approach to repair the defective structures in Boolean result models by correcting these topological intersection edges.

### Main Issues:
1. **Errors in Boolean Operations**: Boolean operations are one of the most fundamental operations in CAD modeling, but due to geometric precision or numerical uncertainty, these operations often encounter errors.
2. **Impact of Errors on Models**: These errors reduce the reliability of Boolean operations, compromise the integrity of the resulting models, and make it difficult to repair the damaged Boolean result models.
3. **Root Cause of Errors**: The paper finds that illegal Boolean result models are mainly caused by incorrect intersection edges resulting from errors.

### Solution:
1. **Automatic Repair Method Based on Set-Based Reasoning**: The paper proposes an automatic method based on set-based reasoning to repair defective structures in Boolean result models by correcting the topological intersection edges.
2. **Local Adaptive Tolerance Estimation**: A local adaptive tolerance estimation method is provided for each intersection edge based on its geometric characteristics and origin.
3. **Reasoning Mechanism**: A set-based reasoning mechanism is proposed to determine whether and how to correct inaccurate intersection edges based on tolerance values.
4. **Rigorous Proof**: All reasoning strategies are rigorously proven to ensure the reliability and robustness of the repair process.

### Method Characteristics:
- **Geometric Equivalent Form**: The reasoning process converts the problem into a geometric equivalent form, reducing the impact of errors and obtaining more accurate intersection edges.
- **Topological Features**: The reasoning process focuses on topological features, so the method can repair defective Boolean result models regardless of the source of the errors.

Through this method, the paper aims to improve the accuracy and stability of Boolean operations, ensuring the reliability and effectiveness of CAD software in practical applications.