Beruflich Dokumente
Kultur Dokumente
INDUSTRIAL PROCESSES
Antoni Guasch
1
Objective
Optimization is the art and science of allocating scarce resources to the best
possible effect. Optimization techniques are called into play every day in industrial
planning problems, industrial design, resource allocation, scheduling, decision-
making, etc. For example: how does an airliner know how to route its planes and
schedule its crews at minimum cost; while meeting constraints on airplane flight
hours between maintenance and maximum flight time for crews? Another example
could be how to schedule body cars into a painting line such as the planned
production can be achieved? The main goals of this course will be:
1) recognize problems that can be tackled using the tools of applied optimization,
2) formulate optimization problems correctly and appropriately,
3) solve optimization problems, primarily by selecting and applying the correct
solvers.
Antoni Guasch
2
Objective
This year the focus will be on Airline Operations and Scheduling. Many of
optimization problems in this area are common to other application areas:
• Network flows
• Flight scheduling
• Fleet assignment
• Aircraft routing
• Crew scheduling
• Manpower planning
• Fuel management systems
• Gate assignment
Antoni Guasch
3
Bibliography & Software
• Atenea documentation
• Web links
Antoni Guasch
4
Decision problems
Antoni Guasch
5
Optimization
http://en.wikipedia.org/wiki/Optimization
Antoni Guasch
6
Optimum (global), optimal and locally optimum solutions
. (http://en.wikipedia.org/wiki/Global_optimum)
. (http://en.wikipedia.org/wiki/Local_optimum)
Antoni Guasch
7
Classification of Optimization models
Optimization
As opposed to discrete optimization, the
variables used in the objective function can
Continuous assume real values, e.g., values from
intervals of the real line
Antoni Guasch
8
Continuous optimization example
Antoni Guasch
9
Continuous optimization problem
http://en.wikipedia.org/wiki/Optimization_problem
Antoni Guasch
10
Continuous optimization models
• Nonlinear equations
• Nonlinear least squares
Unconstrained
• Global optimization
• Nondifferentiable optimization
Continuous
Optimization
• Linear programming (LP)
• Nonlinear constrained
Constrained • Network programming
Antoni Guasch
11
AMPL
Antoni Guasch
12
Software: AMPL
Lets try AMPL. Execute ampl.exe at the AMPL folder and try
Antoni Guasch
13
Software: AMPL ID
Antoni Guasch
14
Example linear model: prod0.mod
Linear constraints
Antoni Guasch
15
Example linear model: prod0.mod
Syntax:
Antoni Guasch
16
Example linear model: prod0.mod
An steel company must decide how to allocate next week’s time on a rolling mill. The mill can
produce bands and coils. The mill’s two products come off the rolling line at different rates.
Tons per hour: Bands 200; Coils 140
and they also have different profitabilities:
Profit per ton: Bands $25; Coils $30
To further complicate matters, the following weekly production amounts are the most that
can be justified in light of the currently booked orders:
Maximum tons: Bands 6,000; Coils 4,000
The question facing the company is as follows: If 40 hours of production time are available
this week, how many tons of bands and how many tons of coils should be produced
to bring in the greatest total profit?
Antoni Guasch
17
Example linear model: prod0.mod
Time constraint
Antoni Guasch
18
Example linear model: prod0.mod
Antoni Guasch
19
Example linear model: prod0.mod
Antoni Guasch
20
Example linear model: prod.mod
Algebraic
notation
Antoni Guasch
21
Example linear model: prod.mod
Algebraic notation
Antoni Guasch
22
Example linear model: prod.mod
Prod.mod
Prod.dat
Antoni Guasch
23
Example linear model: prod0.mod
Antoni Guasch
24
Atenea milestone #1
Antoni Guasch
25
Discrete optimization example
Maria wants to travel from Diamond to Einstein. The quickest route takes 31 minutes.
Highlight this route (http://www.oecd.org/pisa/test/)
Antoni Guasch
26
Discrete optimization models
Discrete
Antoni Guasch
27
Network flows and integer programming models
Nodes
http://en.wikipedia.org/wiki/Graph_theory
http://en.wikipedia.org/wiki/Flow_network
Antoni Guasch
28
Network terminology
Antoni Guasch
29
Network terminology
115
−50
Antoni Guasch
30
Network terminology
Antoni Guasch
32
Shortest path problem
Antoni Guasch
33
Shortest path problem
# PINEAPPLE1.MOD
var X12 binary;
var X13 binary;
var X14 binary;
var X25 binary;
var X26 binary;
var X35 binary;
var X36 binary;
var X37 binary;
var X46 binary;
var X47 binary;
var X58 binary;
var X68 binary;
var X78 binary;
minimize Distance: 105*X12+75*X13+65*X14+45*X25+56*X26+71*X35+48*X36+63*X37...;
subject to Source: X12+X13+X14=1;
subject to Destination: X58+X68+X78=1;
subject to Tras2: X12-X25-X26=0;
subject to Tras3: X13-X35-X36-X37=0;
subject to Tras4: X14-X46-X47=0;
subject to Tras5: X25+X35-X58=0;
subject to Tras6: X26+X36+X46-X68=0;
subject to Tras7: X37+X47-X78=0;
Antoni Guasch
34
Shortest path problem
Antoni Guasch
35
Shortest path problem (SPP) general mathematical model
𝑗∈𝑀 𝑥1,𝑗 =1 j≠ 1
𝑗∈𝑀 𝑥𝑖,𝑗 - 𝑘∈𝑀 𝑥𝑘,𝑖 = 0 ∀𝑖, 𝑖 ≠ 1 𝑎𝑛𝑑 𝑖 ≠ 𝑚 Constraints
𝑖∈𝑀 𝑥𝑖,𝑗 =1 i≠ 𝑚
Antoni Guasch
36
Shortest path problem (SPP) general mathematical model
# PINEAPPLE2.MOD
set M; # intersections
param entr symbolic in M; # entrance to road network
param exit symbolic in M, <> entr; # exit from road network
set FLIGHTS within (M diff {exit}) cross (M diff {entr});
param time {FLIGHTS} >= 0; # times to travel roads
var Use {(i,j) in FLIGHTS} binary; # 1 iff (i,j) in shortest path
data;
set M := m1 m2 m3 m4 m5 m6 m7 m8;
param entr := m1 ;
param exit := m8 ;
Antoni Guasch
37
Shortest path problem (SPP): general mathematical model
9 80
30
Add the new node in the previous two models and obtain the solution
Antoni Guasch
39
Minimum cost flow problem
http://en.wikipedia.org/wiki/Minimum-
cost_flow_problem
Antoni Guasch
40
Minimum cost flow problem
5 50
1
5
75 1 3 5
8 8 60
6
7 3
4
75 2 4
4
5
7 40
Antoni Guasch
41
Minimum cost flow problem
# variables definition
var X13 integer;
var X14 integer;
# more variables ...
Antoni Guasch
42
Minimum cost flow problem: general mathematical form
Antoni Guasch
43
Atenea milestone #2
Build a model for the minimum cost flow problem presented before using
general mathematical form
Antoni Guasch
44