Topology Verification for Isosurface Extraction Topology Verification for Isosurface Extraction

Abstract : The importance of properly implemented isosurface extraction for verifiable visualization led to a previously published paper on the general Method of Manufactured Solutions (MMS), inclusive of a supportive software infrastructure. This work builds upon that foundation, while significantly extending it. Specifically, we extend previous work on verification of geometrical properties to ensuring correctness of considerably more subtle topological characteristics that are crucial for the extracted surfaces. We first show a new theoretical synthesis of results from stratified Morse theory and digital topology for algorithms created to verify topological invariants and then we demonstrate how the MMS approach can be extended to embrace topology, consistent with the design intent for MMS. The transition to topological verification motivated these considerable theoretical advances and algorithmic development, consistent with general MMS principles. The methodology reported reveals unexpected behavior and even coding mistakes in publicly available popular isosurface codes, as presented in a case study for visualization tools that documents the extensibility of MMS to topological criteria. Abstract—The importance of properly implemented isosurface extraction for verifiable visualization led to a previously published paper on the general " Method of Manufactured Solutions " (MMS), inclusive of a supportive software infrastructure. This work builds upon that foundation, while significantly extending it. Specifically, we extend previous work on verification of geometrical properties to ensuring correctness of considerably more subtle topological characteristics that are crucial for the extracted surfaces. We first show a new theoretical synthesis of results from stratified Morse theory and digital topology for algorithms created to verify topological invariants and then we demonstrate how the MMS approach can be extended to embrace topology, consistent with the design intent for MMS. The transition to topological verification motivated these considerable theoretical advances and algorithmic development, consistent with general MMS principles. The methodology reported reveals unexpected behavior and even coding mistakes in publicly available popular isosurface codes, as presented in a case study for visualization tools that documents the extensibility of MMS to topological criteria.
Document type :
Journal articles
Complete list of metadatas

Cited literature [38 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-01211133
Contributor : Julien Tierny <>
Submitted on : Saturday, October 3, 2015 - 1:35:02 PM
Last modification on : Thursday, October 17, 2019 - 12:36:09 PM
Long-term archiving on: Monday, January 4, 2016 - 10:12:58 AM

Files

main.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01211133, version 1

Collections

Citation

Tiago Etiene, Gustavo Nonato, Carlos Scheidegger, Julien Tierny, Thomas Peters, et al.. Topology Verification for Isosurface Extraction Topology Verification for Isosurface Extraction. IEEE Transactions on Visualization and Computer Graphics, Institute of Electrical and Electronics Engineers, 2010. ⟨hal-01211133⟩

Share

Metrics

Record views

241

Files downloads

74