What Is Multiobjective Optimization?

You might need to formulate problems with more than one objective, since a single objective with several constraints may not adequately represent the problem being faced. If so, there is a vector of objectives,

F(x) = [F₁(x),F₂(x),...,F_m(x)],

(1)

必须以某种方式被交易掉。相对importance of these objectives is not generally known until the system's best capabilities are determined and tradeoffs between the objectives fully understood. As the number of objectives increases, tradeoffs are likely to become complex and less easily quantified. The designer must rely on his or her intuition and ability to express preferences throughout the optimization cycle. Thus, requirements for a multiobjective design strategy must enable a natural problem formulation to be expressed, and be able to solve the problem and enter preferences into a numerically tractable and realistic design problem.

Multiobjective optimization is concerned with the minimization of a vector of objectivesF(x) that can be the subject of a number of constraints or bounds:

$\begin{array}{l} \min_{x \in ℝ^{n}} F (x), subject to \\ G_{i} (x) = 0, i = 1, ..., k_{e}; G_{i} (x) \leq 0, i = k_{e} + 1, ..., k; l \leq x \leq u . \end{array}$

Note that becauseF(x) is a vector, if any of the components ofF(x) are competing, there is no unique solution to this problem. Instead, the concept of noninferiority in Zadeh[4](also called Pareto optimality in Censor[1]and Da Cunha and Polak[2]) must be used to characterize the objectives. A noninferior solution is one in which an improvement in one objective requires a degradation of another. To define this concept more precisely, consider a feasible region, Ω, in the parameter space.xis an element of then-dimensional real numbers $x \in ℝ^{n}$ that satisfies all the constraints, that is,

$Ω = {x \in ℝ^{n}},$

subject to

$\begin{array}{l} G_{i} (x) = 0, i = 1, ..., k_{e}, \\ G_{i} (x) \leq 0, i = k_{e} + 1, ..., k, \\ l \leq x \leq u . \end{array}$

This allows definition of the corresponding feasible region for the objective function space Λ:

$Λ = {y \in ℝ^{m} : y = F (x), x \in Ω} .$

The performance vectorF(x) maps parameter space into objective function space, as represented in two dimensions in the figureFigure 14-1, Mapping from Parameter Space into Objective Function Space.

Figure 14-1, Mapping from Parameter Space into Objective Function Space

A noninferior solution point can now be defined.

Definition:Point $x * \in Ω$ is anoninferior solution if for some neighborhood ofx* there does not exist a Δxsuch that $(x * + Δ x) \in Ω$ and

$\begin{array}{l} F_{i} (x * + Δ x) \leq F_{i} (x *), i = 1, ..., m, and \\ F_{j} (x * + Δ x) < F_{j} (x *) for at least one j . \end{array}$

In the two-dimensional representation of the figureFigure 14-2, Set of Noninferior Solutions, the set of noninferior solutions lies on the curve betweenCandD. PointsAandBrepresent specific noninferior points.

Figure 14-2, Set of Noninferior Solutions

AandBare clearly noninferior solution points because an improvement in one objective,F₁, requires a degradation in the other objective,F₂, that is,F_1B<F_1A,F_2B>F_2A.

Since any point in Ω that is an inferior point represents a point in which improvement can be attained in all the objectives, it is clear that such a point is of no value. Multiobjective optimization is, therefore, concerned with the generation and selection of noninferior solution points.

Noninferior solutions are also calledPareto optima. A general goal in multiobjective optimization is constructing the Pareto optima.

What Is Multiobjective Optimization?

Related Topics