Search Results

Documents authored by Jiang, Di


Document
Robustness of Boolean operations on subdivision-surface models

Authors: Di Jiang and Neil Stewart

Published in: Dagstuhl Seminar Proceedings, Volume 8021, Numerical Validation in Current Hardware Architectures (2008)


Abstract
This work was presented in two parts at Dagstuhl seminar 08021. The two presentations described work in progress, including a ``backward bound'' for a combined backward/forward error analysis for the problem mentioned in the title. We seek rigorous proofs that representations of computed sets, produced by algorithms to compute Boolean operations, are well formed, and that the algorithms are correct. Such proofs should eventually take account of the use of finite-precision arithmetic, although the proofs presented here do not. The representations studied are based on subdivision surfaces. Such representations are being used more and more frequently in place of trimmed NURBS representations, and the robustness analysis for these new representations is simpler than for trimmed NURBS. The particular subdivision-surface representation used is based on the Loop subdivision scheme. The analysis is broken into three parts. First, it is established that the input operands are well-formed two-dimensional manifolds without boundary. This can be done with existing methods. Secondly, we introduce the so-called ``limit mesh'', and view the limit meshes corresponding to the input sets as defining an approximate problem in the sense of a backward error analysis. The presentations mentioned above described a proof of the corresponding error bound. The third part of the analysis corresponds to the ``forward bound'': this remains to be done.

Cite as

Di Jiang and Neil Stewart. Robustness of Boolean operations on subdivision-surface models. In Numerical Validation in Current Hardware Architectures. Dagstuhl Seminar Proceedings, Volume 8021, pp. 1-10, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2008)


Copy BibTex To Clipboard

@InProceedings{jiang_et_al:DagSemProc.08021.17,
  author =	{Jiang, Di and Stewart, Neil},
  title =	{{Robustness of Boolean operations on subdivision-surface models}},
  booktitle =	{Numerical Validation in Current Hardware Architectures},
  pages =	{1--10},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2008},
  volume =	{8021},
  editor =	{Annie Cuyt and Walter Kr\"{a}mer and Wolfram Luther and Peter Markstein},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.08021.17},
  URN =		{urn:nbn:de:0030-drops-14435},
  doi =		{10.4230/DagSemProc.08021.17},
  annote =	{Keywords: Robustness, finite-precision arithmetic, Boolean operations, subdivision surfaces}
}
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail