InverseCSG

コンピュータ支援設計は多くの現代の製造パイプラインの主要な部分ですが、通常生成される設計ファイルは生のジオメトリを記述します。この表現には、これらの設計が生成された手順が失われています。本論文では、構成固体ジオメトリ（CSG）の言語において、3Dモデルが生成されたプロセスを逆工学する方法を提示します。CSGが形式文法であることに着目し、この逆CSG問題をプログラム合成問題として定式化します。私たちの解決策は、幾何学的処理を最先端のプログラム合成技術と結合するアルゴリズムです。このスキームでは、幾何学的処理を用いてCSGツリーの混合離散および連続ドメインを、現代のプログラム合成器が得意とする純粋な離散ドメインに変換します。私たちは、100以上の原始部品を含むいくつかの異なる例でアルゴリズムの効率性とスケーラビリティを実証します。私たちのアルゴリズムが真の結果に近い単純なプログラムを見つけることができ、メッシュの再編集における応用可能性を示します。最後に、私たちの手法を以前の最先端技術と比較します。私たちのアルゴリズムは、結果的なCSGの圧縮率と実行時間の面で以前の手法を上回り、これまでのどの手法よりもはるかに複雑な入力メッシュを処理できることを示します。