Title
Subdivision termination criteria in subdivision multivariate solvers using dual hyperplanes representations
Abstract
The need for robust solutions for sets of nonlinear multivariate constraints or equations needs no motivation. Subdivision-based multivariate constraint solvers typically employ the convex hull and subdivision/domain clipping properties of the Bezier/B-spline representation to detect all regions that may contain a feasible solution. Once such a region has been identified, a numerical improvement method is usually applied, which quickly converges to the root. Termination criteria for this subdivision/domain clipping approach are necessary so that, for example, no two roots reside in the same sub-domain (root isolation). This work presents two such termination criteria. The first theoretical criterion identifies subdomains with at most a single solution. This criterion is based on the analysis of the normal cones of the multiviarates and has been known for some time. Yet, a computationally tractable algorithm to examine this criterion has never been proposed. In this paper, we present a dual representation of the normal cones as parallel hyperplanes over the unit hypersphere, which enables us to construct an algorithm for identifying subdomains with at most a single solution. Further, we also offer a second termination criterion, based on the representation of bounding parallel hyperplane pairs, to identify and reject subdomains that contain no solution. We implemented both algorithms in the multivariate solver of the IRIT solid modelling system and present examples using our implementation.
Year
DOI
Venue
2007
10.1016/j.cad.2007.02.004
Computer-Aided Design
Keywords
Field
DocType
subdivision termination criterion,termination criterion,robust solution,b-spline representation,dual representation,multivariate solver,theoretical criterion,non-linear equations,dual hyperplanes representation,subdivision solvers,feasible solution,subdivision-based multivariate constraint,normal cone,subdivision multivariate,termination criteria,single solution,linear equations,solid modeling,convex hull
Mathematical optimization,Multivariate statistics,Convex hull,Hypersphere,Subdivision,Bézier curve,Solver,Hyperplane,Mathematics,Bounding overwatch
Journal
Volume
Issue
ISSN
39
5
Computer-Aided Design
Citations 
PageRank 
References 
26
1.19
8
Authors
2
Name
Order
Citations
PageRank
Iddo Hanniel119712.98
Gershon Elber21924182.15