In this paper we present a method for solving a special three-dimensional design centering problem arising in diamond manufacturing: Find inside a given (not necessarily convex) polyhedral rough stone the largest diamond of prescribed shape and orientation. This problem can be formulated as the one of finding a global maximum of a difference of two convex functions over ℝ3 and can be solved efficiently by using a global optimization algorithm provided that the objective function of the maximization problem can be easily evaluated. Here we prove that with the information available on the rough stone and on the reference diamond, evaluating the objective function at a pointx amounts to computing the distance, with respect to a Minkowski gauge, fromx to a finite number of planes. We propose a method for finding these planes and we report some numerical results.
[1]
R. Tyrrell Rockafellar,et al.
Convex Analysis
,
1970,
Princeton Landmarks in Mathematics and Physics.
[2]
A. Groch,et al.
A new global optimization method for electronic circuit design
,
1985
.
[3]
Gennady Samorodnitsky,et al.
Optimal coverage of convex regions
,
1986
.
[4]
S. E. Jacobsen,et al.
Linear programs with an additional reverse convex constraint
,
1980
.
[5]
Stephen W. Director,et al.
A Design Centering Algorithm for Nonconvex Regions of Acceptability
,
1982,
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
[6]
J. Hiriart-Urruty.
Generalized Differentiability / Duality and Optimization for Problems Dealing with Differences of Convex Functions
,
1985
.