Document 13356104

advertisement
Benchmarking Multidisciplinary
Design Optimization Algorithms
16.842 Fundamentals of Systems Engineering
Alessandro Aliakbargolkar, Rhea Liem, Brian Yutko
October 16, 2009
Tedford, Nathan, and Joaquim R. R. A. Martins. "Benchmarking Multidisciplinary Design
Optimization Algorithms." (2007): 1-30.
1
Intro/Objective
• Traditional sequential optimization
– Can’t find true optimum in MD systems
– Consider interdisciplinary interactions  true optimum
• Various MDO architectures developed
– Monolithic (MDF, SAND)
• Good for small systems – scale poorly
• Poor for industrial settings where disciplines act largely indep
– System-level (CO, BLISS)
• Method selection is typically done ad hoc
– Performance dependent on implementation
– Comparison of results between studies is difficult
πMDO
• Provide a framework to facilitate benchmarking architectures
• Describe the problem once and implement MDO methods
automatically
Sequential Optimization
Image by MIT OpenCourseWare.
• Wing sweep is a global
variable
• Wing thickness is local
to structures
• Wing twist is local to
aerodynamics
Sequential Optimization (cont)
Aerodynamic
Optimization
• Max Range
• w.r.t twist
• s.t. lift = weight
Forces
Drag
Structural
Optimization
Displacements
Weight
• Max Range
• w.r.t thickness
• s.t. stress constraints
Always results in an elliptical lift distribution.
Non-hierarchical vs Hierarchical MDO Architectures
Distributed Analysis – Non-hierarchical
• analysis performed in disciplinary models
• “centralized” optimization  system level
Distributed Design – Hierarchical
• disciplinary model performs design tasks
• bilevel optimization
System Level Optimizer
System Level Optimizer
Analysis 1
Analysis 2
e.g., MDF, IDF, SAND
Opt. 1
Opt. 2
Opt. 3
An. 1
An. 2
An. 3
Analysis 3
e.g., CO, CSSO
Multidisciplinary Feasible (MDF)
x: Local Design Variable
z: Global Design Variable
y: Discipline states and coupling variables
Optimizer
f, c
z2, x2
z1, x1
y1
Discipline 1
z3, x3
MDA
y1
y2
Discipline 2
y2
y3
Discipline 3
• MDA solves all governing eqns using design variables until coupling
variables converge
• Objectives and constraints then computed
• Requiring MDA solution at each design point  iteration is MD Feasible
Aero/Structural MDF
6
x 104
5
Lift (N)
4
Sequential
MDF
3
Elliptical Distribution
2
1
0
2
4
6
8
10
12
14
16
18
20
Spanwise distance (m) - [Root at left, Tip at right]
Image by MIT OpenCourseWare.
• MDF method differs up to 33% with non-MDO analysis
• Development of MDA is costly
– Sensitivity analysis is especially expensive
• No parallel computation outside MDA module
Individual Discipline Feasible (IDF)
Optimizer
f, c
x: Local Design Variable
z: Global Design Variable
yt: Coupling variable estimates (targets)
yi: Coupling variable outputs
z, x, yt
z1, x1, y2t, y3t
y1
z2, x2, y1t, y3t
Discipline 1
y2
Discipline 2
y3
•
z3, x3, y1t, y2t
Discipline 3
Decoupled version of MDF
– Coupling variables are passed with design variables. Optimizer provides estimates.
– Enforces discipline feasibility rather than multidiscipline feasibility
•
To ensure multidiscipline feasibility one constraint added for each coupling variable
– At optimum, coupling estimate = coupling variable computed at the discipline
•
Requiring MDA solution at each design point  iteration is MD Feasible
Simultaneous Analysis and Design (SAND)
z: common variable
x: local variable
y: coupling variable
u: State
System Level
Optimizer
• governing equations
As equality
constraints
z, x1, u
z, x2, u
z, x3, u
• optimization
Compute:
• objective function
• global constraint
• discipline constraint
y1
Discipline 1
y2
y3
•
•
•
Discipline 2
Discipline 3
Not always easy to compute the residuals
Discipline feasibility is not generally attained at intermediate design points
Residual constraints  increase dimensionality
– Sensitivity analyses can be very expensive
Collaborative Optimization (CO)
System Level
Optimizer
Global & compatibility
constraints
J1*
z, y2t, y3t
z, x1,
y2t, y3t
Optimizer 1
y1
z, y1t, y3t
Independent
optimization
subproblems
Discipline 1
J2*
Optimizer 2
y2
J3*
•
z, x2,
y1t, y3t
Discipline 2
Optimizer 3
y3
Ji* : interdisciplinary compatibility
–
•
•
•
z, y1t, y2t
Minimize Ji = [discipline variable – target
variable]2
z, x3,
y1t, y2t
Discipline 3
(Alexandrov and Lewis, 1999)
Discipline feasibility is always maintained
Multidisciplinary feasibility is achieved when converged compatibility constraints
Typical industry practice, parallelizable
Concurrent Subspace Optimization (CSSO) (1/2)
x : local design variables
z : global design variables
System level optimizer
ỹ : coupling variables
Responsible for satisfying
global and local constraints
System
level optimizer
z, x
f,c
z i : global variables assigned to discipline i
ỹ j : coupling variables assigned to discipline i
z, x
f,c
~y
x i : local variables assigned to discipline i
0 : variable held constant during optimization
RS
minimize : f(z,x, y˜ )
w.r.t.:
z,x
s.t.:
c(z,x, y˜ )  0
Subspace level optimizer
Optimizer 1
z1, x1
f,c
f,c
~y23
z1, x1
z1, x1
~y23
RS
Efficiency depends on
the cost of producing
response
y1
Discipline 1
the response surface
surface
(MDA calls)
minimize : f(z i ,z 0,x i ,x0 ,y i (z i ,z 0 ,xi ,x 0, y˜ j ), y˜ j )
w.r.t.:
s.t.:
zi ,xi
c(zi ,z 0 ,x i ,x 0 ,y i (z i ,z 0 ,xi ,x 0 , y˜ j ), y˜ j )  0
(CSSO diagram from J. Martins, ESD.77 lecture, April 2008)
• Non-local variables are calculated
through a quadratic response surface
(N^2/2 function calls, N=number of
variables);
•Response surface is created by
completing an MDA through a
number of design points.
Optimizer 2
z2, x2
f,c
f,c
~y23
z2, x2
RS
y2
z2, x2
~y23
Discipline 2
Image by MIT OpenCourseWare.
Concurrent Subspace Optimization (CSSO) (2/2)
System Analysis
• Non hierarchical structure
• Bi-level
• Concurrent architecture
Model Update
Approximation
System 1
Approximation
System 2
Approximation
System 3
Approximation
Optimizer
Optimizer
Optimizer
System 1
Analysis
System 2
Analysis
System 3
Analysis
Model Update
System
Approximation
System
Optimizer
Image by MIT OpenCourseWare.
(CSSO diagram from J. Martins, ESD.77 lecture, April 2008)
Method Comparison
MDF
IDF
SAND
CO
CSSO
Parallelizability
Discipline
feasibility
Not always
Multidisciplinary
feasibility
Computational
cost
≈ MDA
module cost
Not always
Not always
Ensured at
convergence
≈ # of coupling
variables
≈ residual
comp. cost
≈ # of coupling
variables
 Additional
feasibility
constraint
Typically the
best
≈ response
surface cost
MDA at
initialization:
limit N ≤ 20
Sensitivity
analysis
Semi-analytic
Semi-analytic
Expensive (SA
of residuals)
Semi-analytic
Does not
really matter
(using
response
surface)
Convergence
OK
OK
OK
Slow
Slow
Application 1: Combustion of Propane
• Objective: optimize the combustion of propane in air;
• Propane + Air  10 combustion products
• Traditional approach: nonlinear system of 11 equations
– 1 equation per combustion product
– 1 equation for chemical equilibrium (sum of products)
– Design constants (8):
• pressure (p)
• air to fuel ratio (R)
• empirical constants (6)
• MDO approach:
– Equations partitioned in 3 disciplines
• Partitioned so to couple disciplines and system-level objective
Application 1: Computational performance comparison
the table shows
the number of
required residual
evaluations per
method per disc.
102
Notice the difference in time
required. Take away message:
Optimal MDO architecture selection
depends on problem formulation
Relative error
100
10-2
CSSO
MDF
10-4
CO
10-6
SAND
IDF
10-8
0
1
2
3
Time (s)
4
5
6
Image by MIT OpenCourseWare.
Application 2: Scalable problem
• Objective
– A sensitivity analysis to increasing dimensionality while managing the
computational requirements;
• Parameters of the problem
1.
2.
3.
4.
5.
Number of disciplines
Number of output coupling variables associated with each discipline
Number of local design variables associated with each discipline
Number of global design variables
Strength of coupling between the disciplines
• Objective Function: Quadratic
• Disciplines Dependence: Linear
• Disciplines Equations: Linear systems dependent on global/local design
variables and non-local coupling variables;
• Constraints: Local on each coupling variable
Application 2: Formulation
N
minimize : z z +  y Ti y i
T
i=1
w.r.t.: z,x
s.t.: 1-
yi
 0, i  1,...,N
Ci
discipline i equation :
y i (z, x i , y j )  
1
Cz z  Cx i x i  C y j y j
Cy i


(C are matrices of random positive
coefficients generated before the optimization)
Application 2: Sensitivity to the # of design variables
Scalable problem - effect of number of design variables
Optimization Time (s)
103
MDF
102
IDF
101
SAND
100
100
101
102
103
Number of Local Design Variables
Design variables per discipline
2
20
200
MDF
10348
305145
515264
**
IDF
1493
12202
30918
350782
**
**
25637
**
SAND
Image by MIT OpenCourseWare.
2000
Application 2: Sensitivity to the # of coupling variables
Scalable problem - effect of number of coupling variables
Optimization Time (s)
104
103
MDF
102
IDF
101
SAND
100
100
101
102
Number of Coupling Variables
Coupling variables per discipline
103
2
20
200
MDF
55722
134653
136262
IDF
2724
9421
33934
SAND
1921
5351
**
Image by MIT OpenCourseWare.
Conclusion
• MDO platform provides ease in the development,
benchmarking, and use of MDO architectures
• The performance of each architecture is dependent on:
– Characteristics of the problem
– Optimization algorithm
– Sensitivity analysis method
• Scalable problem  enables studies on the effect of number
of local and coupling variables on the optimization time
Discussion points
• How extensive are the MDO applications (industrial, design projects, …)?
And if MDO is still not extensively used at a design stage:
– What are the limiting factors?
– Too complex, too expensive, too mathematical, …?
• How applicable is MDO in real-world problems?
– How do the nice and elegant MDO algorithms behave under the complexities
of real-world problems?
– Presence of multiple local minima, islands of feasibility, combination of
continuous and discrete variables, …
• What is the best way to define the boundary between systems
architecting (SA) and MDO?
• How to improve the interactions between SA and MDO in the early
stages of the design?
21
MIT OpenCourseWare
http://ocw.mit.edu
16.842 Fundamentals of Systems Engineering
Fall 2009
For information about citing these materials or our Terms of Use, visit: http://ocw.mit.edu/terms.
Download