[논문 리뷰] Decomposition and Modeling in the Non-Manifold Domain

Franco Morando|arXiv (Cornell University)|2003. 01. 01.

Digital Image Processing Techniques참고 문헌 81인용 수 1

한 줄 요약

이 논문은 단체 복합체와 몫 격자를 사용하여 비다양체 기하 대상의 모델링과 분해를 위한 조합적 프레임워크를 제안한다. 단체 접합 지침과 정점 식별을 기반으로 한 형식적 체계를 제안하여 간단한 구성 요소들로부터 복잡한 세포 복합체를 구성함으로써, 비다양체 영역에서의 강력한 위상적 추론과 분해를 가능하게 한다.

ABSTRACT

The problem of decomposing non-manifold object has already been studied in solid modeling. However, the few proposed solutions are limited to the problem of decomposing solids described through their boundaries. In this thesis we study the problem of decomposing an arbitrary non-manifold simplicial complex into more regular components. A formal notion of decomposition is developed using combinatorial topology. The proposed decomposition is unique, for a given complex, and is computable for complexes of any dimension. A decomposition algorithm is proposed that is linear w.r.t. the size of the input. In three or higher dimensions a decomposition into manifold parts is not always possible. Thus, in higher dimensions, we decompose a non-manifold into a decidable super class of manifolds, that we call, Initial-Quasi-Manifolds. We also defined a two-layered data structure, the Extended Winged data structure. This data structure is a dimension independent data structure conceived to model non-manifolds through their decomposition into initial-quasi-manifold parts. Our two layered data structure describes the structure of the decomposition and each component separately. In the second layer we encode the connectivity structure of the decomposition. We analyze the space requirements of the Extended Winged data structure and give algorithms to build and navigate it. Finally, we discuss time requirements for the computation of topological relations and show that, for surfaces and tetrahedralizations, embedded in real 3D space, all topological relations can be extracted in optimal time. This approach offers a compact, dimension independent, representation for non-manifolds that can be useful whenever the modeled object has few non-manifold singularities.

연구 동기 및 목표

• 비다양체 기하 대상을 더 단순한 위상적 구성 요소들로 체계적으로 분해하는 방법을 개발하는 것.
• CAD 및 기하 설계에서 흔히 나타나는 복잡한 비다양체 형태의 강력한 모델링을 가능하게 하는 것.
• 단체의 접합 및 정점 식별 과정을 격자 기반 대수적 구조를 통해 형식화하는 것.
• 기하 모델에서 비다양체 특이점을 탐지하고 처리하기 위한 계산 기반 기초를 제공하는 것.

제안 방법

• 모든 최고차원 단체가 분리된 상태인 완전히 분리된 분해(Ω⊤)를 시작점으로 사용한다.
• 분리된 복합체에서 유도된 정점 복제본에 대한 동치 관계를 기반으로 한 분해 격자를 정의한다.
• 유효한 접합 연산을 모델링하기 위해 스티치 방정식과 반모듈라 격자 성질을 적용한다.
• 접합 지침을 인코딩하고 조작하기 위해 형식적 논리 기반 시스템(프로로그 유사 술어)을 활용한다.
• 동일한 정점이 여러 개의 단체에서 다중으로 식별되는 것을 추적하기 위해 '정점 복제본' 개념을 도입한다.
• 접합 지침을 통해 정점 식별을 수행함으로써 형성된 위상 공간을 표현하기 위해 몰입 격자를 활용한다.

실험 결과

연구 질문

• RQ1 비다양체 기하 대상을 더 단순한 위상적 구성 요소들로 체계적으로 분해할 수 있는가?
• RQ2 비다양체 복합체에서 단체 간의 유효한 접합 연산을 뒷받침하는 대수적 구조는 무엇인가?
• RQ3 복잡한 세포 복합체 구축 과정에서 정점 식별을 어떻게 추적하고 검증할 수 있는가?
• RQ4 접합 지침의 집합이 잘 구성된 세포 복합체를 만들어내는 데 필요한 조건은 무엇인가?
• RQ5 비다양체 특이점(예: 세 개 이상의 d-단체가 공유하는 d-1 차원 면)을 알고리즘적으로 어떻게 탐지하고 처리할 수 있는가?

주요 결과

• 분해 격자는 주어진 복합체의 모든 가능한 분해를 완전하고 대수적으로 타당한 방식으로 표현한다.
• 정점 복제본의 사용은 다중 식별을 정확히 추적할 수 있게 하여 정확한 위상 재구성에 기여한다.
• 프레임워크는 `nonPseudoManifold` 및 `nonPseudoManifoldPair`와 같은 술어를 통해 비이중체적 인접성을 탐지한다.
• 시스템은 유효성 검사를 수행하는 일반 접합(`doGluingInstruction`)과 이중체적 인식 접합(`doPseudoManifoldGluingInstruction`)을 모두 지원한다.
• 격자 구조는 모든 유효한 접합 순서가 포괄되며, 결과로 얻어진 복합체가 위상적으로 일관성을 유지함을 보장한다.
• 프로로그 술어를 통한 구현은 분해 및 접합 연산의 효과적인 기호적 조작과 검증을 가능하게 한다.