학위논문(박사) -- 서울대학교대학원 : 공과대학 컴퓨터공학부, 2021.8. 김명수.두 변수를 가지는 B-스플라인 자유곡면의 곡면간 교차곡선과 자가 교차곡선, 그리고 오프셋 곡면의 자가 교차곡선을 구하는 효율적이고 안정적인 알고리즘을 개발하는 새로운 접근 방법을 제시한다. 새로운 방법은 최하단 노드에 최대 접촉 토러스를 가지는 복합 바운딩 볼륨 구조에 기반을 두고 있다.
이 바운딩 볼륨 구조는 곡면간 교차나 자가 교차가 발생할 가능성이 있는 작은 곡면 조각 쌍들의 기하학적 검색을 가속화한다. 최대 접촉 토러스는 자기가 근사한 C2-연속 자유곡면과 2차 접촉을 가지므로 주어진 곡면에서 다양한 기하 연산의 정밀도를 향상시키는데 필수적인 역할을 한다.
효율적인 곡면간 교차곡선 계산을 지원하기 위해, 미리 만들어진, 최하단 노드에 최대 접촉 토러스가 있으며 구형구면 트리를 가지는 복합 이항 바운딩 볼륨 구조를 설계하였다.
최대 접촉 토러스는 거의 모든 곳에서 접선교차가 발생하는, 자명하지 않은 곡면간 교차곡선 계산 문제에서도 효율적이고 안정적인 결과를 제공한다.
곡면의 자가 교차 곡선을 구하는 문제는 주로 마이터 점 때문에 곡면간 교차곡선을 계산하는 것 보다 훨씬 더 어렵다. 자가 교차 곡면은 마이터 점 부근에서 법선 방향이 급격히 변하며, 마이터 점은 자가 교차 곡선의 끝점에 위치한다.
따라서 마이터 점은 자가 교차 곡면의 기하 연산 안정성에 큰 문제를 일으킨다. 마이터 점을 안정적으로 감지하여 자가 교차 곡선의 계산을 용이하게 하기 위해, 자유곡면을 위한 복합 바운딩 볼륨 구조에 적용할 수 있는 삼항 트리 구조를 제시한다. 특히, 두 변수를 가지는 곡면의 매개변수영역에서 마이터 점을 충분히 작은 사각형으로 감싸는 특별한 표현 방법을 제시한다.
접선교차와 마이터 점을 가지는, 아주 자명하지 않은 자유곡면 예제를 사용하여 새 방법이 효과적임을 입증한다. 모든 실험 예제에서, 기하요소들의 정확도는 하우스도르프 거리의 상한보다 낮음을 측정하였다.We present a new approach to the development of efficient and stable algorithms for intersecting freeform surfaces, including the surface-surface-intersection and the surface self-intersection of bivariate rational B-spline surfaces. Our new approach is based on a hybrid Bounding Volume Hierarchy(BVH) that stores osculating toroidal patches in the leaf nodes.
The BVH structure accelerates the geometric search for the potential pairs of local surface patches that may intersect or self-intersect. Osculating toroidal patches have second-order contact with C2-continuous freeform surfaces that they approximate, which plays an essential role in improving the precision of various geometric operations on the given surfaces.
To support efficient computation of the surface-surface-intersection curve, we design a hybrid binary BVH that is basically a pre-built Rectangle-Swept Sphere(RSS) tree enhanced with osculating toroidal patches in their leaf nodes.
Osculating toroidal patches provide efficient and robust solutions to the problem even in the non-trivial cases of handling two freeform surfaces intersecting almost tangentially everywhere.
The surface self-intersection problem is considerably more difficult than computing the intersection of two different surfaces, mainly due to the existence of miter points.
A self-intersecting surface changes its normal direction dramatically around miter points, located at the open endpoints of the self-intersection curve.
This undesirable behavior causes serious problems in the stability of geometric algorithms on self-intersecting surfaces. To facilitate surface self-intersection computation with a stable detection of miter points, we propose a ternary tree structure for the hybrid BVH of freeform surfaces. In particular, we propose a special representation of miter points using sufficiently small quadrangles in the parameter domain of bivariate surfaces and expand ideas to offset surfaces.
We demonstrate the effectiveness of the proposed new approach using some highly non-trivial examples of freeform surfaces with tangential intersections and miter points. In all the test examples, the closeness of geometric entities is measured under the Hausdorff distance upper bound.Chapter 1 Introduction 1
1.1 Background 1
1.2 Surface-Surface-Intersection 5
1.3 Surface Self-Intersection 8
1.4 Main Contribution 12
1.5 Thesis Organization 14
Chapter 2 Preliminaries 15
2.1 Differential geometry of surfaces 15
2.2 Bezier curves and surfaces 17
2.3 Surface approximation 19
2.4 Torus 21
2.5 Summary 24
Chapter 3 Previous Work 25
3.1 Surface-Surface-Intersection 25
3.2 Surface Self-Intersection 29
3.3 Summary 32
Chapter 4 Bounding Volume Hierarchy for Surface Intersections 33
4.1 Binary Structure 33
4.1.1 Hierarchy of Bilinear Surfaces 34
4.1.2 Hierarchy of Planar Quadrangles 37
4.1.3 Construction of Leaf Nodes with Osculating Toroidal Patches 41
4.2 Ternary Structure 44
4.2.1 Miter Points 47
4.2.2 Leaf Nodes 50
4.2.3 Internal Nodes 51
4.3 Summary 56
Chapter 5 Surface-Surface-Intersection 57
5.1 BVH Traversal 58
5.2 Construction of SSI Curve Segments 59
5.2.1 Merging SSI Curve Segments with G1-Biarcs 60
5.2.2 Measuring the SSI Approximation Error Using G1-Biarcs 63
5.3 Tangential Intersection 64
5.4 Summary 65
Chapter 6 Surface Self-Intersection 67
6.1 Preprocessing 68
6.2 BVH Traversal 69
6.3 Construction of Intersection Curve Segments 70
6.4 Summary 72
Chapter 7 Trimming Offset Surfaces with Self-Intersection Curves 74
7.1 Offset Surface and Ternary Hybrid BVH 75
7.2 Preprocessing 77
7.3 Merging Intersection Curve Segments 81
7.4 Summary 84
Chapter 8 Experimental Results 85
8.1 Surface-Surface-Intersection 85
8.2 Surface Self-Intersection 97
8.2.1 Regular Surfaces 97
8.2.2 Offset Surfaces 100
Chapter 9 Conclusion 106
Bibliography 108
초록 120박
