Translator Disclaimer
1 November 1992 Semantic interpretation of inconsistent curve and surface data for the definition of solids
Author Affiliations +
Proceedings Volume 1830, Curves and Surfaces in Computer Vision and Graphics III; (1992)
Event: Applications in Optical Science and Engineering, 1992, Boston, MA, United States
The problem of numerical robustness in Solid Modelling involves proving theorems about the subset of E3 defined by the output of an algorithm using finite-precision floating point arithmetic. However, both input and output sets are usually specified by symbolic data and geometric data that are possibly inconsistent, and the latter comprise geometric vertices in E3, surface intersection curves, and surface patches defined by approximation techniques that leads to the definition of precise subsets of E3, such that the stored input sets are consistent with the symbolic data, and typically closer to the user's input sets that can be warranted by the inherent uncertainty in the data. This definition will permit rigorous proofs, based on the fundamental equation fl(xoy) equals xoy(1 + (eta) ), of theorems providing a backward error analysis; that is, it will be possible to show that, if a problem is well conditioned, we have the exact solution for a problem defined by slightly perturbed sets. Here, the perturbation is measured by the maximum of the Hausdorff distance between the exact and the perturbed sets, and the Hausdorff distance between the boundaries of these two sets. It will also be possible to show that the error is small as measured by a certain pseudo-distance reflecting relative variation of the boundaries. Furthermore, in circumstances where the piecewise linear Schoenflies theorem in E3 is true, it will follow that there is a space homeomorphism from E3 onto E3 relating the two sets; that is, in a very strong sense, they have the same topological form. The interpolatory technique is described in the curvilinear case, but so far we have used this approach only to prove results about stability of algorithms for sets defined by planar surface patches with inconsistent geometric vertex information. An illustrative example is given.
© (1992) COPYRIGHT Society of Photo-Optical Instrumentation Engineers (SPIE). Downloading of the abstract is permitted for personal use only.
Helene Desaulniers and Neil F. Stewart "Semantic interpretation of inconsistent curve and surface data for the definition of solids", Proc. SPIE 1830, Curves and Surfaces in Computer Vision and Graphics III, (1 November 1992);

Back to Top