Multi-Objective Design Based on Symbolic Computation and Its Application to Hard Disk Slider Design

Abstract. We propose a new approach to tackling multi-objective optimization problems. Our method uses symbolic computation called quantier elimination. From experimental data we rst make an approximated polynomial model for each objective function and then solve a rst-order formula related to those functions to nd the feasible region, which contains information on the Pareto optimal front. Our approach has an advantage over classical numerical optimization methods that return only one optimal point at a time. Furthermore, by introducing into a formula an adjusting point and a new variable that restricts the parameter ranges we can visualize how the objective functions locally behave. This idea leads us to a new criterion for measuring the robustness against production tolerance. We also show how our methods are applied to the design problem of a hard disk slider