Embodiments of the invention pertain to large-scale multi-objective optimization problems that arise in engineering and the science.
Over the past several decades, significant efforts have been directed toward solving constrained multiple objective optimization (MOO) problems. Meanwhile, MOO problem formulations have found their practical applications in many engineering areas; for example, engineering applications, energy and power grids, VLSI design, finance, vehicle routing problems, and machine learning, to name a few.
Many MOO methods, such as population-based meta-heuristics, including NSGA-II [1], MOEA/D [2], the deterministic method [3], MOEA-DLA [4], and cultural MOPSO [5], have been proposed to solve MOO problems with the focus of computing the entire Pareto front. However, from application perspectives, MOO decision makers (users) may not always be interested in knowing the entire Pareto front of a MOO problem. Instead, they may have their own wish list regarding the range of each objective function.
The following publications describe some of the existing MOO methods, which are incorporated herein by reference.
In one embodiment, a computer-implemented user-preference-enabling (UPE) method is provided to optimize operations of a system based on user preferences. The UPE method comprises: modeling the operations of the system as a user-preference-based multi-objective optimization (MOO) problem having multiple object functions subject to a set of constraints. The set of constraints include system constraints and a wish list specifying a respective user-preferred range of values for one or more of the objective functions. The UPE method further comprises: calculating a wish list feasible solution (WL-feasible solution) to the user-preference-based MOO problem.
In another embodiment, a computer-implemented hybrid method is provided to optimize operations of a system. The hybrid method comprises: modeling the operations of the system as a MOO problem having multiple object functions subject to a set of constraints; and applying a population-based meta-heuristic MOO method with a population of candidate solutions to the MOO problem until groups of the population are formed. The hybrid method further comprises: for each of selected candidate solutions from each group, applying a feasible solution solver to calculate a corresponding feasible solution to the MOO problem with the selected candidate solution being an initial vector; and applying a deterministic solver to corresponding feasible solutions for the selected candidate solutions to obtain a Pareto optimal solution. The Pareto-optimal solution optimizes the multiple objective functions and satisfies the set of constraints.
In yet another embodiment, a computing system is provided for optimizing operations of a system based on user preferences. The computing system comprises one or more processors and memory. The one or more processors are operative to model the operations of the system as a user-preference-based MOO problem having multiple object functions subject to a set of constraints. The set of constraints include system constraints and a wish list specifying a respective user-preferred range of values for one or more of the objective functions. The one or more processors are further operative to calculate a WL-feasible solution to the user-preference-based MOO problem. The memory is coupled to the one or more processors to store the set of constraints.
In yet another embodiment, a computing system is provided to perform a hybrid method for optimizing operations of a system. The computing system comprises one or more processors and memory. The one or more processors are operative to model the operations of the system as a MOO problem having multiple object functions subject to a set of constraints; and apply a population-based meta-heuristic MOO method to the MOO problem with a population of candidate solutions until groups of the population are formed. The one or more processors are further operative to: for each of selected candidate solutions from each group, calculate a corresponding feasible solution to the MOO problem with the selected candidate solution being an initial vector; and apply a deterministic solver to corresponding feasible solutions for the selected candidate solutions to obtain a Pareto optimal solution. The Pareto-optimal solution optimizes the multiple objective functions and satisfies the set of constraints. The memory is coupled to the one or more processors to store the set of constraints.
Other aspects and features will become apparent to those ordinarily skilled in the art upon review of the following description of specific embodiments in conjunction with the accompanying figures.
In the following description, numerous specific details are set forth. However, it is understood that embodiments of the invention may be practiced without these specific details. In other instances, well-known techniques have not been shown in detail to prevent obscuring the understanding of this description. Someone skilled in the art will appreciate the fact that the invention may be practiced without such specific details. Those of ordinary skill in the art, with the included descriptions, will be able to implement appropriate functionality without undue experimentation.
From the user's perspective, a targeted Pareto front based on the users' preference may be preferred. Allowing users to directly place a preferred range over different objective functions is appealing. To this end, this disclosure introduces the user wish list, which explicitly incorporates users' preferred range of objective function values into the MOO problem to formulate a user preference-based MOO problem. The feasible region in the decision space (i.e., the search space) satisfying both the user wish list and all the constraints is termed the user preference-based feasible region (also referred to as the wish-list feasible region or the WL-feasible region). The Pareto-optimal solutions, whose objective vectors lie within a user-preferred range, are called user preference-based Pareto-optimal solutions or targeted Pareto-optimal solutions.
In this disclosure, we present a novel user preference enabling (UPE) method to solve user preference-based problems and then extend the UPE method to solve general constrained MOO problems. The theoretical basis of the UPE method is developed. Complete characterizations of both the feasible region and the WL-feasible region of MOO problems are developed. The user preference enabling method is capable of obtaining Pareto-optimal solutions by sequentially computing user preference-based feasible solutions. It is noted that the UPE method can solve general constrained MOO problems and can also assist existing methods in solving MOO problems, in the sense that it provides feasible solutions and/or wish-list feasible solutions (WL-feasible solutions). An illustration of its practical application is the optimal power flow (OPF) problem in power systems.
Furthermore, most existing methods encounter challenges in finding feasible solutions for constrained MOO problems, especially when incorporating the preference constraints into many objective problems. Hence, the majority of MOO methods limit their approach within bi-objective problems. This disclosure also presents a (numerical) trajectory-unified (TJU) method, also referred to as a hybrid method, to reliably compute feasible solutions of both conventional MOO problems and user preference-based MOO problems with the following features: (1) The hybrid method is general and insensitive to the number of objective functions. (2) The hybrid method can quickly calculate a feasible solution in a deterministic and robust way. (3) The hybrid method has a solid theoretical foundation. (4) While the convergence regions of many numerical methods, such as the Newton method, are disconnected and fractal, the convergence region of the hybrid method is connected and smooth.
A hybrid framework has been proposed that integrates the user preference enabling method into existing methods to effectively solve the targeted Pareto Front as well as the conventional Pareto Front in MOO problems.
Without loss of generality, we consider the following multi-objective optimization problem with equality and inequality constraints:
where u∈n is the control variable, x∈m is the state variable, ƒ∈ is the objective vector, and F:n×m consists of l real-valued objective functions. For practical applications, control variables are adjustable while state variables are dependent on the control variables governed by the constraints. The MOO problem (1) is to determine a set of Pareto-optimal control vectors u that optimize F(u, x) and satisfy all the equality constraints H(u,x) and inequality constraints G(u,x). Hence, (1) can be compactly represented as follows:
A user preference enabling (UPE) method is provided for solving general constrained nonlinear multiple objective optimization (MOO) problems. The set of all feasible solutions u form the feasible region FR, which is defined as follows:
FR={u∈Rn:H(u,x)=0,G(u,x)≤0,} (3)
Typically, each user has his/her wish list for the desired range of each objective function. We can incorporate the wish list of a user directly into the MOO formulations (1). To take the user wish list into account, we model the user's preferred objective values as constraints and propose the following user preference-based MOO problem formulation ((4a)-(4d) will be collectively referred to as (4)):
minimize F(u,x)=[ƒ1(u,x), . . . ,ƒ1(u,x)] (4a)
s.t. h
i(u,x)=0i∈I={1, . . . ,I} (4b)
g
j(u,x)≤0j∈J={1, . . . ,J} (4c)
ƒk(u,x)≤wlkk∈K={1, . . . ,l} (4d)
In this formulation, the user wish list is represented by inequality constraints (4d) with a desired upper bound wlk for the kth objective function ƒk. The user-defined wish list is hence represented by a l×1 vector, WL=[wl1, . . . , wll]T. The feasible region of this user preference-based MOO formulation, termed the WL-feasible region, is defined as
FRwl={u∈n:H(u,x)=0,G(u,x)≤0,F(u,x)≤WL} (5)
The inequalities in (5) can be transformed into equalities by adding the slack variable vector b, with l components and the slack variable vector s with j components. Then formulation (5) becomes a nonlinear optimization problem with equality constraints:
or equivalently,
minimize F(U,X)
s.t. {tilde over (H)}(U,X)=0 (7)
where U∈n+J+l, X∈m, the augmented equality constraints are H(U, X)=[h1(U,X), . . . , hr(U, X)]T with r=I+J+l, U=(u, s, b)T=(u1, . . . , un, s1, . . . , sJ, b1, . . . , bl)T, and X=(x1 . . . , xm)T.
This disclosure provides a complete characterization of the feasible region of the MOO problem (1) and the WL-feasible region FRwl of the MOO problem (4). This disclosure explores the relationship between the WL-feasible region of the MOO problem (4) and the stable equilibrium manifolds of a class of non-hyperbolic dynamical systems that are defined by the augmented equality constraints (6).
Characterization of the Feasible Region. This disclosure provides a complete characterization of the feasible region (denoted by FR) of general MOO problem (1) and of the WL-feasible region (denoted by FRwl) of user preference-based MOO problem (4). These two characterizations will play a key role in the disclosed method in solving both the user preference-based MOO problem (4) and the conventional constrained MOO problem (1).
Mathematical Preliminaries. An overview of the relevant concepts of nonlinear dynamical systems is presented below. We consider the following (autonomous) nonlinear dynamical system:
{dot over (u)}(t)=Q(y)y∈n (8)
It is natural to assume that the function (i.e., the vector field) Q: n→n satisfies a sufficient condition for the existence and uniqueness of a solution. The solution curve of Equation (8), starting from y0 at t=0, is called the system trajectory, denoted by ϕ(t, y0): →n. A state vector, y*∈n is called an equilibrium point of (8) if Q(y*)=0; that is, an equilibrium point is a state vector that does not change in time.
A connected component, say Σ, is called an equilibrium manifold (EM) of system (8) if Q(Σ)=0. An equilibrium manifold Σ is called stable if, for each ε>0, there is δ=δ(ε)>0 such that
y∈B
δ(Σ)⇒ϕ(t,y)∈Bε(Σ)∀t∈
and is called asymptotically stable if it is stable and can be chosen such that
where Bδ(Σ)={y∈n:∥y−z∥<δ,∀z∈Σ}; otherwise, the equilibrium manifold is called unstable.
An isolated equilibrium manifold Σ of (8) is called pseudo-hyperbolic if, for each y∈Σ, the Jacobian of ƒ(·) at y, denoted by JQH(y), has no eigenvalues with a zero real part on the normal space Ny(Σ) (the orthogonal complement of the tangent space Ty(Σ)) of Σ at y in n.
Characterization of the Feasible Region. To derive a complete characterization of the WL-feasible region, this disclosure designs a class of nonlinear dynamical systems to characterize the feasible region of (4). The central idea is that each connected feasible component of (4) corresponds to an attractor (more exactly, an asymptotically stable equilibrium manifold) of the nonlinear dynamical system. In this way, the task of locating a feasible component of the user preference-based MOO problem (4) can be accomplished via locating a stable equilibrium manifold of the system. One way to achieve this goal is to build a nonlinear non-hyperbolic dynamical system that satisfies the following requirement.
Non-Hyperbolic Dynamical System (HDS) Requirement: a set is a (regular) stable equilibrium manifold of the nonlinear non-hyperbolic dynamical system if and only if the set is a feasible component of the feasible region.
One nonlinear non-hyperbolic dynamical system satisfying the above requirement is the quotient gradient system (QGS) based on the augmented constraint set {tilde over (H)} in formulation (7). This quotient gradient system is defined as follows:
{dot over (y)}(t)=QH(y):=−D{tilde over (H)}(y)T{tilde over (H)}(y) (9)
where {tilde over (H)}:n+J+1→I+J+1 is assumed to be continuously differentiable. D{tilde over (H)}:n+J+1→I+J+1×n+J+1 represents the Jacobian matrix of {tilde over (H)} at y. Since the number of constraints in {tilde over (H)} is usually different from the number of combined control variables and state variables, the quotient gradient system (9) is usually non-hyperbolic with its steady states being equilibrium manifolds instead of equilibrium points. Generically, all the equilibrium manifolds Σ of the corresponding quotient gradient system are pseudo-hyperbolic and finite in number. Hence, the generic assumption, which is almost always satisfied, is made.
A1: DH(y*)·DH(y*)T is nonsingular for any point y* on a stable equilibrium manifold Σ, i.e., y*∈Σ.
It is shown herein that the WL-feasible region of (4) is completely characterized by the steady state of a constructed quotient gradient system (QGS).
Theorem 1: (Characterization of the WL Feasible Region).
If the user preference-based multi-objective optimization problem (4) has a corresponding quotient gradient system (9) that satisfies assumption A1, then the WL-feasible region, FRwl, of optimization problem (4) equals the union of the stable equilibrium manifolds of quotient gradient system (9), i.e., FRwl=∪Σis, i=1, . . . , n, where Σis is the ith stable equilibrium manifold of (9).
To illustrate Theorem 1, we consider the following problem (Example 1):
minimize ƒ1(x)=2+(x1−2)2+(x2−1)2 10(a)
minimize ƒ2(x)=9x1−(x2−1)2 10(b)
s.t. c
1(x)=x12+x22≤225 10(c)
c
2(x)=x1−3x2+10≤0, 10(d)
−20≤x1≤20,−20≤x2≤20. 10(e)
Let a user wish list be ƒ1(x)≤200, ƒ2(x)≤135. The derived equality constraint set is formulated as follows:
A corresponding quotient gradient system is defined as:
{dot over (x)}=Q
H(x)=−D{tilde over (H)}T(x)·H(x). (12)
We numerically compute the WL-feasible region by computing the (regular) stable equilibrium manifolds of (12), shown as the shaded area in
The User-preference-Enabling (UPE) MOO Method. The user preference enabling method for solving general constrained MOO problem (1) is described herein. One distinguishing feature of the method is that it solves the MOO problem to meet the satisfaction of users' wish lists and has a solid theoretical foundation.
Step 1: Given a MOO problem (1) (block 311), input a user wish list to form a user preference-based MOO problem formulation (4) (block 312).
Step 2: Construct the corresponding quotient gradient system (9) (block 313). Set N=0, M=0, where M is the number of WL-feasible solutions, and N is the number of initial solutions.
Step 3: Integrate system (9), starting from an initial point, to obtain the ensuing system trajectory and check whether it converges to its ω-limit point (block 314). If yes, go to Step 4; otherwise, try another initial point and repeat Step 3.
Step 4: Check the value of H(50 where x is the ω-limit point of ϕ(t, x0), and go to step 6 if |H({tilde over (x)})|≤ε (block 315) where E is a small value; otherwise, proceed to the next step.
Step 5: Set N=N+1. If N≤Nmax (block 316), then go to Step 3 with another initial point x0 (block 317); otherwise, there is no solution (block 318) and the wish list needs to be adjusted by the user. Output the obtained infeasible solution xp={tilde over (x)} and stop (block 319).
Step 6: Solve the nonlinear algebraic equation H(x)=0 (for instance, by applying Newton's method) using the initial point {tilde over (x)} (block 320). Let the solution be xsol, and store xsol in the set of WL-feasible solutions (block 321) and proceed to the next step.
Step 7: Set M=M+1. If M≤Max (block 322), then go to Step 3 for another WL-feasible solution (block 323); otherwise, users can select a preferred solution xp from the set of WL-feasible points and output the set of WL-feasible solutions.
As a numerical illustration, we consider the following example with a user wish list being WL=[210, ∞]T.
minimize ƒ1(x)=2+(x1−2)2+(x2−1)2
minimize ƒ2(x)=9x1−(x2−1)2
s.t. c
1(x)=x12+x22=225,
−20≤x1≤20,
−20≤x2≤20. (13)
WL=[210, ∞]T means that we impose an upper bound of 210 upon the first objective with no specific preference for the second one, i.e., ƒ1(x)≤210. Hence, the augmented equality constraint set is as follows:
We note that {tilde over (H)}(x) is a proper map. Hence, the ω-limit set of every trajectory exists. A three-dimensional QGS system is constructed for the user preference-based MOO problem:
FAST COMPUTATION OF FEASIBLE SOLUTIONS. The MOO problems may be solved by using a class of non-hyperbolic dynamical systems that satisfy the HDS requirement. One such dynamical system is the quotient gradient system. To achieve fast computation in the user preference enabling method, any algorithm that can quickly calculate the ω-limit set of the corresponding dynamical systems is applicable. We take a trajectory-unified method as an example in this disclosure.
The disclosed method was developed for the feasible solution search (FS) problem and for the preferred solution search (PSS) problem. The feasible solutions search (FS) problem calculates a feasible solution satisfying: FR={u∈n: H(u, x)=0, G(u, x)≤0}.
The method for the FS problem is composed of the following steps:
Step 1: Transform the original constraint set into the equality set Ĥ.
Ĥ={y=(u,s)∈Rn+J:H(u,x)=0,G(u,x)+s2=0}
Step 2: Design a nonlinear dynamical system satisfying the HDS requirement based on the constraint set constructed at Step 1. For instance, the following QGS satisfies the HDS requirement:
{dot over (y)}(t)=QH(y):=−DĤ(y)TĤ(y) (16)
where Ĥ:n+J→I+J is assumed to be smooth. DĤ:n+J→I+J×n+J represents the Jacobian matrix of Ĥ at y.
Step 3: Given an initial point (u0,x0), quickly compute the corresponding w-limit point, say {tilde over (x)}.
Step 4: Check the value of Ĥ({tilde over (x)}). If |Ĥ({tilde over (x)})|≤ε, where ε is a tolerance value, solve the set of nonlinear algebraic equations Ĥ(x)=0 with the initial point {tilde over (x)}. Let the solution be xsol, output xsol as a feasible point; otherwise, repeat Step 3 with another initial point.
In Step 3, a fast method to compute the corresponding limit point is applicable. In Step 4, a robust and fast method for solving nonlinear algebraic equations such as the Newton method is applicable.
To illustrate the computation process, we consider the following test problem:
minimize ƒ1(x)=2+(x1−2)2+(x2−1)2 17(a)
minimize ƒ2(x)=9x1−(x2−1)2 17(b)
Subject to c1(x)=x12+x22≤225, 17(c)
c
2(x)=x1−3x2+10≤0, 17(d)
20≤x1≤20,−20≤x2≤20. 17(e)
The derived equality constraint set is formulated as follows:
Then the associated quotient gradient system is constructed by
{dot over (x)}=DH
1(x)TH1(x) (19)
FAST COMPUTATION OF PREFERRED FEASIBLE SOLUTIONS. The preferred feasible solutions search problem is to calculate a WL-feasible solution satisfying both the constraint set and the user wish list, starting from an arbitrary (infeasible) initial point. This disclosure proposes to solve the PSS problem by iteratively improving feasible solutions of the FS problem until it meets the user's goals. The disclosed method for the PSS problem is composed of the following steps:
Step 1: Incorporate the user's wish list into the constraints.
FR={u∈n: G(u,x)≤0,H(u,x)=0,F(u,x)≤WL,} (20)
Step 2: Build the augmented equality constraint set,
Step 3: Design a nonlinear dynamical system satisfying the HDS requirement based on augmented equality constraint set constructed at Step 2. For instance, the following QGS satisfies the HDS requirement:
{dot over (y)}(t)=QH(y):=−D{tilde over (H)}(y)T{tilde over (H)}(y). (22)
Step 4: Given an initial point, quickly compute the corresponding ω-limit point, e.g., {tilde over (y)}.
Step 5: Check the value of H({tilde over (y)}). If |H({tilde over (y)})|≤ε where ε is a tolerance value, then solve the set of nonlinear algebraic equations H(y)=0 with the initial point {tilde over (y)}. Let the solution be ysol and output ysol as a WL-feasible point; otherwise, go to Step 4 with a new initial point.
COMPUTING TARGETED PARETO-OPTIMAL SOLUTIONS. This disclosure also presents an iterative user preference enabling method to compute targeted Pareto-optimal solutions of general MOO problem (1). This iterative method takes advantage of the user-preference-enabling method developed in the previous section.
Step 1: Given a constrained multi-objective optimization problem (1), formulate the corresponding user-defined MOO problem (4) according to user wish list WL0. Set i=0, j=1, and choose a set of initial points. For each initial point x0, do the following:
Step 2: Apply the user preference enabling method to compute a feasible solution of (4) with x0. If a solution is found, say xp, then proceed to step 3; otherwise, go to Step 4.
Step 3: Scale down the user wish list WLi to WLi+1 by multiplying αi i.e., WLi+1=αi·WLi, where αi<1. Set x0=xp, i=i+1, and go to step 2 with the updated wish list.
Step 4: Scale up the wish list to WL0+j by multiplying βj, i.e., WLi+j=βj·WLi, where βj>1 and βj·αi<1. Set x0=xp, j=j+1, and apply the user preference enabling method to find a feasible solution satisfying the updated wish list WLi+j. If a user preference feasible solution xp is found, proceed to the next step; otherwise, increase βj with βj·αi<1 and repeat Step 4.
Step 5: Check βj≤ε where ε is a small positive value. If it holds, output xp, as a Pareto-optimal solution and stop; otherwise, set γ=0.5*(1+βj) and apply the user preference enabling method to calculate a feasible solution with WLγ=WLi*γ. If a feasible solution xp exists, update βj=γ, WLi+j=WLγ and repeat Step 5; otherwise, update αi=γ, WLi=WLγ and go to Step 4.
This method is designed to find user preference-based feasible solutions and drive them toward the target Pareto solution set.
We illustrate the proposed targeted Pareto optimal solution method on an example. The original problem formulation and user wish list are expressed as follows:
Original MOO Problem Formulation:
ƒ1(x)=x1
min
ƒ2(x)=x2
s.t. g
1(x)=1−x12−x22+0.1 cos(16 arctan x1/x2)≤0
g
2(x)=(x1−0.5)2+(x2−0.5)2−0.5≤0
0≤x1,x2≤π (23)
Formulation (23) is the original MOO problem formulation. The user wish list and the corresponding user-defined formulation are presented as follows. The initial user wish list is
Hence, it becomes
ƒ1(x)=x1
min
ƒ2(x)=x2
s.t. ƒ
1(x)≤0.95
ƒ2(x)≤0.95
g
1(x)=1−x12−x22+0.1 cos(16 arctan x1/x2)≤0
g
2(x)=(x1−0.5)2+(x2−0.5)2−0.5≤0
0≤x1,x2≤π (24)
Then the augmented constraint set H(x) associated with the user-defined MOO problem is:
A 6-dimensional quotient gradient system is thus constructed as follows:
Q
H(x)={dot over (x)}=−DHT(x)H(x). (25)
By continually scaling down the wish list, the proposed method computes improved feasible solutions that improve all the objectives simultaneously. In this problem, a user-defined feasible solution can be found until WL=[0.6, 0.6]T. As shown in
By relaxing the wish list to WL=[0.75, 0.75]T, the method recovers a user-defined feasible solution (shown in
A HYBRID METHOD FOR USER PREFERENCE-BASED MOO PROBLEM. This disclosure also provides a powerful hybrid method that is a combination of the user preference enabling (UPE) method with existing methods, such as multi-objective evolutionary algorithms (MOEA) and the deterministic method, to effectively solve user preference-based MOO problems as well as conventional MOO problems. Next, the framework of several powerful hybrid methods for computing general Pareto optimal solutions and targeted Pareto optimal solutions are presented.
1) Framework for the Evolutionary MOO Method Guided UPE Method.
A framework is disclosed for the UPE method to co-operate with existing evolutionary methods to compute Pareto optimal solutions as well as the targeted Pareto optimal solution, which includes the following three stages: Stage I: Exploration stage; Stage II: Guiding stage; and Stage III: Refinement stage.
This disclosure next presents a general hybrid version of the UPE method and any population-based meta-heuristic method to compute targeted Pareto optimal solutions.
The Population-Based Meta-Heuristic MOO-Guided User Preference Enabling Method
Step 1: Exploration stage. Apply a population-based meta-heuristic MOO method with a population of candidate solutions to the underlying MOO problem until all of the populations reach a consensus when groups of populations are formed. For each group of sub-populations, select the representative particles in the group. Each particle is a candidate solution for the underlying MOO problem.
Step 2: Guiding stage. For each selected particle from each group, apply the user preference enabling method with the selected one being the initial vector to obtain the corresponding WL-feasible solution.
Step 3: Refinement stage. Apply a local MOO solver to each obtained WL-feasible solution to reach a targeted Pareto optimal solution.
For Step 1, different population-based meta-heuristic methods such as the multi-objective evolutionary algorithm or its variant, or the MOPSO method or its variant can be applied as illustrated in the following.
The MOPSO-Guided User Preference Enabling Method
Step 1: Exploration stage. Apply the MOPSO method to the underlying MOO problem until all the populations reach a consensus when groups of populations are formed. For each group of populations, select the centered particles in the group (block 1101).
Step 2: Guiding stage. For each selected particle from each group, apply the user preference enabling method with the selected one being the initial vector to obtain the corresponding WL-feasible solution (block 1102).
Step 3: Refinement stage. Apply a local MOO solver to each obtained WL-feasible solution to reach a target Pareto optimal solution (blocks 1103-1108).
A framework for an evolutionary algorithm-guided user preference enabling method is developed to compute the Pareto optimal solution. The NSGA-II is utilized here to illustrate this hybrid method.
An NSGA-II-Guided User Preference Enabling Method
Step 1: Exploration stage. Apply the NSGA-II method to the underlying MOO problem until all the populations reach a consensus when groups of populations are formed. For each group of populations, select the centered particles in the group (block 1201).
Step 2: Guiding stage. For each selected particle from each group, apply the user preference enabling method with the selected one being the initial vector to obtain the corresponding WL-feasible solution (block 1202).
Step 3: Refinement stage. Apply a local MOO solver to each obtained WL-feasible solution of Step 2 to find a target Pareto optimal solution (blocks 1203-1208).
2) The user preference enabling method enhanced deterministic MOO method. The UPE method can also assist the deterministic MOO method, such as the Normal Boundary Intersection (NBI) method and the Normal Constraint (NC) method for computing Pareto-optimal solutions. Compared with evolutionary algorithms, the deterministic method has better performance in fast calculations of nearby Pareto-optimal solutions. A modified NC method, referred to as the Normalized Normal Constraint (NNC) method, is utilized in this embodiment to illustrate our disclosed framework. Other effective local methods can also be applied.
The Nomalized Normal Constraint Method.
Both the NNC method and the NBI method are able to generate uniformly spread Pareto points. The NNC method works similarly to the NBI method. In
The utopia line (or plane) is the line joining the two anchor points (i.e., end points of the Pareto frontier). These anchor points are obtained when the generic ith objective is minimized independently. To obtain the Pareto points, the utopia line is divided into several points Tvp (analogous to CHIM points in the NBI method). In an interactive process, from each point Tcp, a normal line (or plane) is used to reduce the feasible space. Minimizing
In this disclosure, a modified NNC method is employed in the framework for computing the Pareto optimal solution. In this modified NNC method (
The User Preference Enabling Method Enhanced Deterministic MOO Method.
Input: the MOO problem and the initial wish list.
Step 1: Exploration stage. Apply a population-based meta-heuristic method for a certain number of generations and stop when groups of population are formed (blocks 1501-1503). Select multiple particles from each group of populations according to a pre-specified rule (block 1504).
Step 2: Guiding stage. Apply the user preference enabling method to guide each selected particle in the population to a user preference-based feasible component (block 1505).
Step 3: Update stage: Apply the one or more objective values of the obtained feasible solutions to refine the user wish list (block 1506), and guide the feasible solutions to new solutions that satisfy the refined wish list (block 1507).
Step 4: Refinement stage. For each new (feasible) solution obtained in Step 3, apply a deterministic MOO method to compute a nearby targeted Pareto-optimal solution of the MOO problem (block 1508).
An effective meta-heuristic MOO method can be used in Step 1 such as an evolutionary method; e.g., the PSO-based (Particle Swarm Optimization-based) method, while an effective deterministic MOO method can be used in Step 4 such as the NNC method. Hence, the above-disclosed methodology is quite general. When the MOPSO method is applied at Step 1 and a modified NNC method is used in Step 4, the above general methodology leads to the following method, an embodiment of which is illustrated in the flow chart of
A user preference enabling method enhanced modified NNC method.
Input: the MOO problem and the initial wish list.
Step 1: Exploration stage. Apply the MOPSO method for a certain number of generations and stop when groups of populations are formed (block 1601). Select multiple particles from each group of populations according to a pre-specified rule.
Step 2: Guiding stage. Apply the user preference enabling method to guide each selected particle in the population to a user preference-based feasible component (block 1602).
Step 3: Update stage: Apply the one or more objective values of obtained feasible solutions to refine the user wish list, and guide the feasible solutions to new solutions that satisfy the refined wish list (block 1603).
Step 4: Refinement stage. For each new (feasible) solution obtained in Step 3, apply the modified NNC method to compute a nearby targeted Pareto-optimal solution of the MOO problem (block 1604). If the number of Pareto solutions is less than a specified number, return to step 1 (block 1605).
Hybrid Method for Conventional MOO Problem
Step 1: Exploration stage. Apply a population-based meta-heuristic MOO method to the underlying MOO problem until all of the populations reach a consensus when groups of populations are formed. For each group of sub-populations, select the representative particles in the group.
Step 2: Guiding stage. For each selected particle from each group, apply the dynamical method to compute a feasible solution with the selected one being the initial vector.
Step 3: Refinement stage. Apply a local MOO solver to each obtained feasible solution to reach a Pareto optimal solution.
For Step 1, different population-based meta-heuristic methods such as the multi-objective evolutionary algorithm or its variant, and the MOPSO method or its variant can be applied. For Step 3, both the NNC method and the NBI method can be applied.
As a numerical illustration, a TNK problem is used to demonstrate the effectiveness of the above hybrid framework. We select 80 initial particles in Stage I to calculate Pareto-optimal solutions.
To demonstrate the accuracy of this hybrid method, the test problem is also solved by the MOPSO method.
APPLICATION TO OPTIMAL POWER FLOW PROBLEM. The disclosed methods are practical and applicable to large-scale nonlinear constrained multi-objective optimization problems. An optimal power flow (OPF) problem in power systems is utilized here to illustrate the effectiveness of the disclosed methods. The OPF problem is an important tool for modeling power systems operations.
The conventional OPF problem is to solve for an operation solution to minimize the total electrical energy cost. Over the past few years, rising concerns over the environmental effect of fossil fuel forced the utilities to modify their operation strategies for generation of electrical power not only at minimum total electrical energy costs, but also with minimum total pollution levels. Thus, considering the emission objective in addition to the cost function, an OPF problem can be formulated as a multi-objective nonlinear optimization problem.
As a numerical illustration, a 3-generator, 9-node power system is employed to demonstrate the effectiveness of the disclosed methods in a real-world application. The control variable u is a 6*1 vector of generator real and reactive power injections PG and QG. The state variable x consists of a 9*1 vector of voltage angles θ and a 9*1 vector of voltage magnitude V. The mathematical multi-objective formulation of the OPF problem in a 3-generator, 9-node power system is presented as follows:
subject to the following nonlinear power flow equations:
and the following system constraints such as engineering and operational constraints:
V
i
max
≤V
i
≤V
i
max
,i=1, . . . ,nb (27c)
P
Gi
min
≤P
Gi
≤P
Gi
max
,i=1, . . . ,ng (27d)
Q
Gi
min
≤Q
Gi
≤Q
Gm
max
,i=1, . . . ,ng (27e)
As where ai, bi, ci are generation cost coefficients of the ith generator, α, βi, γi, ξiΔi are coefficients of the ith generator emission characteristics. Pgi and Qgi are the active and reactive power output of ith generator. The detailed data is given in Table II. Equations (27a) are the two objectives of electrical energy cost and pollution emission level. Equations (27b) are the AC power flow equations, Equations (27c) are the operation limits on the voltage magnitudes, and Equations (27d-27e) are the real and reactive power that can be generated by generators (i.e., engineering limits).
Based on the UPE method disclosed herein, a corresponding quotient gradient system is constructed based on Equations (27b)-(27e), where the stable equilibrium manifolds of the quotient gradient system equal to the feasible region of the OPF problem. The targeted Pareto-optimal solution is solved by the iterative UPE method.
In order to evaluate the effectiveness of the disclosed method, we compare the disclosed method with existing EAs with constraint handling techniques. Of all the existing state-of-the-art constraint handling techniques, penalty functions and their variations are simple and the most popular. The fitness of an infeasible individual is penalized by an amount proportional to its total constraint violation. A self-adaptive penalty function strategy is utilized and the basic form of a modified fitness function with penalty term is defined as:
The constrained multi-objective OPF problem is separately solved by the hybrid UPE method and the MOPSO algorithm with the penalty function strategy. We compare the two methods in terms of solving process, computation time and solution accuracy. The search process of these two methods are monitored until the first feasible solution is found. From the same initial point, it is clearly demonstrated that the UPE guided EA method is more efficient since it can find a feasible solution near the initial point.
APPLICATION TO MACHINE LEARNING. Machine learning usually has to achieve multiple targets, which are often conflicting with each other. For instance, the task of feature selection involves minimizing the number of features and maximizing feature quality which are
two conflicting objectives. It is also well recognized that the model selection in machine learning has to deal with some trade-off between model complexity and approximation or classification accuracy. The iterative UPE method and the hybrid UPE method can be applied to solve multiple Pareto-optimal solutions for various topics in machine learning. The two multi-objective methods can address the following main aspects in machine learning: multi-objective clustering, feature extraction and feature selection; multi-objective model selection to improve the performance of learning models, such as neural networks, support vector machines, decision trees, and fuzzy systems; multi-objective model selection to improve the interpretability of learning models, e.g., to extract symbolic rules from neural networks, or to improve the interpretability of fuzzy systems; multi-objective generation of ensembles; and multi-objective learning to deal with tradeoffs between plasticity and stability, long-term and short-term memories, specialization and generalization. Multi-objective learning deals with tradeoffs between plasticity and stability, long-term and short-term memories, specialization and generalization.
Taking supervised learning as an example, a single-objective learning algorithm often minimizes the mean squared error (MSE) on the training data. However, a learning model should not only have good approximation performance on the training data, but also good performance on unseen data. However, this target cannot be achieved by minimizing the single objective (28) or any other similar error measures; the comprehensibility or interpretability of the learned model should also be taken into account, such as the number of free parameters in the model. Thus the machine learning problems are formulated as multi-objective function; such as the following:
where y(i) and yd (i) are the model output and the desired output, respectively, and N is the number of data pairs in the training data. wi, i=1, . . . , M is a weight in the neural model, and M is the number of weights in total. The most popular error measure is the mean squared error (MSE) defined in (28) on the training data. Ω is the sum of the squared weights, which represents the complexity of a neural network model.
To solve the multi-objective machine learning problems, either the iterative UPE method or the hybrid UPE method can be applied to solve the targeted Pareto-optimal solutions. First of all, a user wish list is defined by the users for a desired objective value range. Then either of the two disclosed method can be used to solve targeted Pareto optimal solutions. The difference between the two disclosed methods is that the iterative UPE method is suitable for fast calculating a targeted solution in a user-preferred region in the objective space, while the hybrid UPE method have better performance in detecting the targeted Pareto front.
One or more parts of an embodiment of the invention may be implemented using different combinations of software, firmware, and/or hardware. In one embodiment, the methods described herein may be performed by a processing system. One example of a processing system is a computing system 2200 of
Referring to
Embodiments may be represented as a software product stored in a machine-readable medium (such as the non-transitory machine readable storage media, also referred to as a computer-readable medium, a processor-readable medium, or a computer usable medium having a computer readable program code embodied therein). The non-transitory machine-readable medium may be any suitable tangible medium including a magnetic, optical, or electrical storage medium including a diskette, compact disk read only memory (CD-ROM), digital versatile disc read only memory (DVD-ROM) memory device (volatile or non-volatile) such as hard drive or solid state drive, or similar storage mechanism. The machine-readable medium may contain various sets of instructions, code sequences, configuration information, or other data, which, when executed, cause a processor to perform steps in a method according to an embodiment. Those of ordinary skill in the art will appreciate that other instructions and operations necessary to implement the described embodiments may also be stored on the machine-readable medium. Software running from the machine-readable medium may interface with circuitry to perform the described tasks.
While the invention has been described in terms of several embodiments, those skilled in the art will recognize that the invention is not limited to the embodiments described and can be practiced with modification and alteration within the spirit and scope of the appended claims. The description is thus to be regarded as illustrative instead of limiting.