[論文レビュー] Decomposition and Modeling in the Non-Manifold Domain

Franco Morando|arXiv (Cornell University)|Jan 1, 2003

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 や幾何的設計で一般的な複雑な非多様体形状の堅牢なモデリングを可能にすること。
• 単体の接合と頂点の同一視プロセスをラティスに基づく代数的構造を用いて形式化すること。
• 幾何的モデルにおける非多様体特異点の検出および処理のための計算的基盤を提供すること。

提案手法

• すべての高次単体が分離された完全に分解された構造（Ω⊤）を出発点とする。
• 分解ラティスを定義し、分解された複体から導かれる頂点コピーの同値関係に基づく。
• ステッチ方程式と半モジュラーラティスの性質を用いて、有効な接合操作をモデル化する。
• 接合命令を符号化・操作するための形式的論理ベースのシステム（Prologに類似した述語）を採用する。
• 同一の頂点が異なる単体間で複数回同一視される状況を追跡するための「頂点コピー」の概念を導入する。
• 頂点の同一視による接合をラティス構造として表現するための商ラティスを用いる。

実験結果

リサーチクエスチョン

• RQ1 非多様体幾何的対象は、どのようにより単純な位相的構成要素に体系的に分解できるか？
• RQ2 非多様体複体における単体間の有効な接合操作を支える代数的構造は何か？
• RQ3 複雑なセル複体の構築過程において、頂点の同一視をどのように追跡・検証できるか？
• RQ4 接合命令の集合が、整合的なセル複体を生成するための条件は何か？
• RQ5 非多様体特異点（例：3つ以上のd単体が共有するd-1次元面）は、どのようにアルゴリズム的に検出・処理できるか？

主な発見

• 分解ラティスは、与えられた複体のすべての可能な分解を完全かつ代数的に整合された形で表現する。
• 頂点コピーの使用により、複数の同一視を正確に追跡でき、正しい位相的再構成が可能になる。
• `nonPseudoManifold` および `nonPseudoManifoldPair` などの述語を用いて、非擬多様体接合を検出する。
• 有効性のチェックを備えた一般接合（`doGluingInstruction`）と擬多様体に配慮した接合（`doPseudoManifoldGluingInstruction`）の両方をサポートする。
• ラティス構造により、すべての有効な接合シーケンスが捉えられ、結果として得られる複体の位相的一致性が保証される。
• Prologの述語による実装により、分解および接合操作の記号的扱いや検証が効果的に行える。