Professional Documents
Culture Documents
Lecture 4
L4.2
Overview
Optimization Definition
Performance Criterion
Constraints & Penalties
Numeric Techniques
Exploratory Optimization Techniques
Genetic Algorithms
Introduction to Isight
L4.3
Optimization Definition
Optimize: To make as perfect, effective or functional as possible Websters New Collegiate Dictionary
In the most general terms, optimization theory is a body of
mathematical results and numerical methods for finding and identifying
the best candidate from a collection of alternatives without having to
explicitly enumerate and evaluate all possible alternatives. Engineering Optimization Methods by Reklaitis, Ravindran & Ragsdell
Reklaitis,
Ravindran & Ragsdell
Introduction to Isight
L4.4
Optimization Terminology
Objective Function
Constraints
Inequality Constraints - One sided conditions that must be met for the design to be acceptable.
Equality Constraints - Precise conditions that must be satisfied for the design to be acceptable.
Side Constraints Lower/Upper Bounds on the design variables that defines the design space.
Introduction to Isight
L4.5
Optimization Terminology
Unconstrained Optimization Neither equality nor inequality constraints are present. (Usually side
constraints are not considered as inequality constraints.)
Active Constraints A design on a constraint boundary. Some algorithms will allow for a tolerance
Introduction to Isight
L4.6
Mass = 300
Mass = 400
Loads at
free end
Flange
Width
Design Variables:
Feasible
Design
Space
40
30
50
Flange Width, mm
mm
Beam
Height
20
Design
Space
10
Stress 16 MPa
Objective:
Minimize Mass
Solution:
X
Beam Height = 38.4
Flange Width= 22.7
Stress
= 16
Mass
= 233.4
Introduction to Isight
10 20 30 40 50 60 70 80
Beam Height, mm
,mm
Stress
= 16
L4.8
2.
3.
4.
5.
6.
7.
8.
Mathematical Formulation:
Objective: Minimize
Subject To:
Equality Constraints:
Inequality Constraints:
Side Constraints:
F x
hk ( x ) 0 k 1, K
g j ( x ) 0 j 1,, J
xi( L ) xi xi(U ) i 1,, N
Introduction to Isight
L4.9
Weighted sum of the current value of all parameters designated by the user as objectives according to the formula:
Objective = S (W iXi)/SFi
wSF
If a parameter is to be maximized, the negative value of the parameter will be used in the objective function.
Introduction to Isight
L4.10
Scale factors and parameters use same units and usually set to have similar magnitudes
Example:
Weight = 2.0
Weight = 1.0
Introduction to Isight
L4.11
Failed Designs
X2
Optimization
Constraint
Boundary
Initial Design
Feasible Infeasible
(safe)
(failed)
X1
Introduction to Isight
L4.12
Introduction to Isight
L4.13
Isight Penalties
Isight calculates a penalty when a models output violates a constraint.
Isight
The Penalty Function is:
Penalty = base + multiplier* (violationexponent)
* ()
default values of base = 10, multiplier = 1000, exponent = 2
1010002
apis are available to change penalty base values
Penalty = 10+1000* (violation2)
Introduction to Isight
L4.14
Introduction to Isight
L4.15
An integer. Indicates the feasibility of the current design point and evaluates it with respect to previous
points. Higher numbers are better results.
Feasibility
1
Meaning
4-6
Introduction to Isight
L4.16
Feasibility
9-1
Run #
Task: minxY
3-6
Y > Ymin
9-2
1-7
8-3
Infeasible area
9-4
7-5
Ymin
9-8
1-7
3-6
Introduction to Isight
L4.18
Gradient Techniques
Hill Climbers
Exploratory
Exploratory Techniques
Computationally expensive
Introduction to Isight
Direct
Gradient
L4.19
Techniques:
Gradient
NLPQL, LSGRG, MMFD
Minimize
F x
Subject to:
hk ( x ) 0 k 1, K
g j ( x ) 0 j 1,, J
xi( L ) xi xi(U ) i 1,, N
Introduction to Isight
Exploratory
LSGRG
MMFD
NLPQL
Constrained
Direct
Gradient
L4.20
The resulting single function is minimized to find best performance and feasibility.
Techniques:
Exploratory
Exploratory
ASA
NCGA
NSGA-II
MIGA
Unconstrained
Direct
Downhill Simplex
Hookes Jeeves
Hookes
Jeeves
Downhill
Simplex
Introduction to Isight
Direct
Gradient
Numeric Techniques
Gradient Methodology
L4.22
Drop a Ball on the continuous design space, the ball will bounce a few times and
finally settle down at the bottom of a valley
May get stuck at a plateau or local Valley Drop a Ball on the continuous design
space, the ball will bounce a few times and finally settle down at the bottom of a
valley
Introduction to Isight
L4.23
Gradient Methodology
1 Iteration = 1 Gradient Calculation + 1-D Search
111
Main Assumption: Local Design Space is Continuous and Convex
P()
S1
S2
S3
2
1
Introduction to Isight
L4.24
Introduction to Isight
L4.25
Finds local
minimum
Minimize
Introduction to Isight
L4.26
2.
Attempt 1
Initial Points
LSGRG
X=-1, Y=1
Global Optimum
Attempt 2
LSGRG
X=2, Y= 3
Introduction to Isight
L4.27
Attempt 2
X = 2.0; Y = 3.0
Best design point:
X = 0.99; Y = 0.99
Objective = 1.2E-7
Finds Global Optimum
Introduction to Isight
L4.28
If the landscape is continuous and unimodal, algorithm efficiently moves in the direction of steepest
descent
Sound mathematical basis, i.e.. proofs have been developed for the convergence of specific techniques
under given conditions
Introduction to Isight
L4.29
Introduction to Isight
L4.30
1 Itermax + 1 +
Default = 1010
Default = 0.001
Termination Accuracy
Default 1.0E-6
Default = 0.0001
Introduction to Isight
L4.31
1 Itermax + 1 +
Default = 4040
Default = 0.001
Introduction to Isight
L4.32
1 Itermax + 1 +
Default = 1010
Default = 0.001
Convergence Epsilon
Default = 0.001
Introduction to Isight
Numeric Techniques
Direct Methodology
L4.34
Direct Methodology
Direct Pattern methods evaluate a performance index in some pattern around the base point.
Isight
Hooke-Jeeves
Introduction to Isight
L4.35
Hookes Jeeves
Relative Step Size = .5
Reduction Factor = .5
Quicker but will fall into local minima
Minimize
Y = (X1 -
5)2
+ (X2 -
6)2
Introduction to Isight
L4.36
A Hookes-Jeeves iteration will contain evaluations from both the techniques exploratory moves and the
pattern move. A single iteration will have several task process evaluations which are dependent upon
the number of design variables. One iteration does not equal one task process run. The default value is
10.
Hookes-Jeeves
10
100
Introduction to Isight
L4.37
Exploratory method
Very popular in chemical engineering, fluids, dynamics
Nealder and Mead method modified from Numerical Recipes
Nealder Mead
Geometric Method: Mixture DOE & optimization
Very good optimizer for moderate number of design variables and
moderately non-linear problems (10 50)
1050
Start with group of points. Move worst point in the direction of the
center of better points until optimum is found
Introduction to Isight
L4.38
Introduction to Isight
L4.39
Introduction to Isight
L4.40
Introduction to Isight
L4.42
Exploratory techniques
Computationally expensive
Genetic Algorithm
mimics the process of the Annealing of metals during the cooling process
Introduction to Isight
Exploratory Techniques
Adaptive Simulated Annealing
L4.44
C = initial design
no 95%
yes
Update design: C = Cnew
(reduce r)
Introduction to Isight
5%
L4.45
a piece of metal is heated (the atoms are given thermal-agitation), and then the metal is left to cool slowly.
The slow and regular cooling of the metal allows the atoms to slide progressively in their most stable ("minimal energy")
positions. (Rapid cooling would have "frozen" them in whatever position they happened to be at that time.)
In terms of optimization, minimizing the energy of a block of metal (or maximizing its strength), the program minimizes the
objective function. The global minima corresponds to the ground state of the substance.
Introduction to Isight
L4.46
Introduction to Isight
L4.47
Introduction to Isight
L4.48
Introduction to Isight
L4.49
Metropolis
L4.50
Gradient (MMFD)
Minimize
Dropped at (9,2)
Settled at bottom (5,6)
Introduction to Isight
Exploratory
(Simulated Annealing)
L4.51
Max Number of iterations: Maximum number of generated designs. 1iteration = 1 design point. Default is 10000 ( This
is quite high )
10000
Relative Gradient Step : Gradient step used when re-annealing
Note: All Design variables must have Upper and lower boundaries. If not, ASA will generate designs using
inputs ranging from - to
Introduction to Isight
L4.52
Advantages
Fewer tuning parameters and less difficult to control compared to Genetic Algorithms
Disadvantages
Not the simplest or fastest optimization algorithm for problems where the energy landscape is smooth or
where there are few local optima
CPU intensive
Introduction to Isight
Exploratory Techniques
Genetic Algorithms
L4.54
Genetic Algorithms
Genetic Algorithms (GA) was inspired by Darwin's theory of natural selection and survival of the fittest.
Genetic algorithms mimic the way large populations solve problems over a long period time, through
processes such as reproduction, mutation, and natural selection.
GA creates a population of candidate solutions to a particular problem, and through a process of random
selection and variation, each generation of the program improves upon the quality of the solution.
Consequently, genetic algorithms promote the evolution of solutions by using genetically based
processes.
No restrictive assumptions about the continuity or convexity of the parameter space are made.
Introduction to Isight
L4.55
Genetic Algorithms
Key Concept:
Genetic Algorithms is another
random exploring technique (more
random than SA).
3. [New population] Create a new population by repeating following steps until the new
population is complete
4. [Selection] Select two parent chromosomes from a population according to their fitness
(the better fitness, the bigger chance to be selected)
5. [Crossover] With a crossover probability cross over the parents to form a new offspring
(children). If no crossover was performed, offspring is an exact copy of parents.
6. [Mutation] With a mutation probability mutate new offspring at each locus (position in
chromosome).
7. [Accepting] Place new offspring in a new population
8. [Replace] Use new generated population for a further run of algorithm
9. [Test] If the end condition is satisfied, stop, and return the best solution in current
population
10. [Loop] Go to step 2
Introduction to Isight
L4.56
Genetic Algorithms
The genetic operations of selection, crossover and mutation are applied to each successive population
evaluation
Design 1
A B C D E
7 3 2 0 2
Original population
Design 2
A B C D E
1 4 6 2 2
Crossover
New Design 1
A B C D E
7 4 6 0 2
New Design 2
A B C D E
1 3 2 2 2
Mutation
New Selected population
New Design 1
A B C D E
7 4 6 0 6
Introduction to Isight
L4.57
110
Introduction to Isight
L4.58
Runs: 1- 50
Runs: 200-250
Introduction to Isight
Runs: 150-200
L4.59
50 Runs
300 Runs
100 Runs
250 Runs
Introduction to Isight
150 Runs
200 Runs
L4.60
Advantages
Not derivative-based
Number of function evaluations is dependent on population size and does not increase with the dimensionality of the problem
Disadvantages
Introduction to Isight
L4.62
pointer
Introduction to Isight
L4.63
Uses proprietary algorithm to control selection and tuning of 4 complimentary optimization techniques
SIMULIA
Introduction to Isight
L4.64
Topography
Pointers Core Algorithms:
Linear simplex
L4.65
Smooth
Discontinuous
Unknown
Maximum allowable time
Uses all time given
Introduction to Isight
L4.66
Can handle many input parameters (> 20)20
Automatically switches techniques internally
Never assumes convergence continuing to try to find a better solution as long as it is running
Disadvantages
Requires many iterations so may be more difficult to apply to long running simulation codes
Introduction to Isight
L4.68
MOOP:
fm(x), m = 1, 2, , M;
gj(x) <= 0, j = 1, 2, , J;
satisfies inequality
and equality constraints
hk(x) = 0, k = 1, 2, , K;
And whose elements represent the objective functions. These functions form a mathematical description of
performance criteria which are usually in conflict with each other. Hence, the term optimize means finding
such a solution which would give the values of all the objective functions acceptable to the decision maker.
Introduction to Isight
L4.69
Concept of Domination
Most multi-objective optimization algorithm use the concept of
domination. In these algorithms, two solutions are compared on the
base of whether one dominates the other solution or not.
Any solution x(1) is said to dominate x(2) or x(1) is said to be nondominated by x(2) if both the condition 1 and 2 are true:
12 21
1. x(1) is no worse than x(2) in all objectives
1
2. x(1) is strictly better than x(2) in at least one objective
12
Introduction to Isight
L4.70
f1 (minimize)
21
Solution 3 dominate solution 1.
31
2
3
4
4123
f2 (minimize)
Introduction to Isight
L4.71
Pareto Optimality
pareto
f1 (minimize)
Pareto
Introduction to Isight
f2 (minimize)
f1 (minimize)
f2 (maximize)
L4.72
pareto
f1 (minimize)
f2 (minimize)
Introduction to Isight
L4.73
The fundamental difference between a single and multi-objective optimization task: All of the solution on
the PO front are optimal.
pareto
Depending on the stage of optimization where this high level information is used, there can be two possible
approaches to MOOP:
Decision-maker combines the differing objectives into a scalar cost function and convert MOOP to
single objective optimization problem. This procedure can be repeated again and again to find multi
trade-off solutions by using different cost function.
First a multi-objective optimizer is used to find multiple trade-off optimal solution with a wide range of
values for the objectives, then one solution is chosen from them using higher level information
Introduction to Isight
L4.74
MOOP
Minimize f1
Minimize fM
Subject to constraints
Single objective
optimization problem
Higher level
Information
Estimate a relative
Important vector
IDEAL
Multi-objective optimizer
Genetic
algorithms
Single objective
Optimizer
Higher level
Information
Introduction to Isight
L4.75
1. Approaching to Pareto
Front
Pareto
3. Uniform distribution on
Pareto front
Pareto
Introduction to Isight
L4.76
Pareto
Selection
Isight
Pareto
Crossover is more effective with individuals that have similar characteristics (neighbors)
Research group concluded, based on testing, that NCGA gives better results than NSGAII when:
Introduction to Isight
L4.77
Introduction to Isight
L4.78
Introduction to Isight
L4.79
Pareto
ParetoPareto
NSGAII
NCGA
Introduction to Isight
L4.80
Task: Find design variable values that result in a design with Mass less
than 700
700
Introduction to Isight
L4.81
Troubleshooting
Check the problem formulation
Is my objective well defined?
Included all critical independent variables?
Constraints?
Do the math models capture the physics?