mathematical models & optimization? mankind always sets itself only such problems as it can...

19
Mathematical Models & Optimization? Mankind always sets itself only such problems as it can solve… -Karl Marx (1859) Why build them? To study real-world phenomena where analytic techniques alone don’t work! To investigate relationships among parameters affecting the functioning of complex processes Where does optimization come in? The model is not usually an end in itself Model contains free parameters whose values have to be determined to produce an optimum measure of “goodness”

Upload: rudolph-thompson

Post on 13-Jan-2016

212 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: Mathematical Models & Optimization? Mankind always sets itself only such problems as it can solve… -Karl Marx (1859) Why build them? To study real-world

Mathematical Models & Optimization?

Mankind always sets itself only such problems as it can solve…-Karl Marx (1859)

Why build them?• To study real-world phenomena where analytic techniques

alone don’t work!• To investigate relationships among parameters affecting the

functioning of complex processesWhere does optimization come in?• The model is not usually an end in itself• Model contains free parameters whose values have to be

determined to produce an optimum measure of “goodness”

Page 2: Mathematical Models & Optimization? Mankind always sets itself only such problems as it can solve… -Karl Marx (1859) Why build them? To study real-world

The Data Modeling Process… who can tell

Which of her forms has shown her substance right?

- William Butler Yeats, in A Bronze Head (1933)

Gather DATA

Create alternative MODELS

Fit each MODEL to the DATA

Assign preferences to the alternative MODELS

Choose future actions

Choose what data to gather next

Decide whether to create new

models

Gather more data

Create new models

Page 3: Mathematical Models & Optimization? Mankind always sets itself only such problems as it can solve… -Karl Marx (1859) Why build them? To study real-world

Example

Phenomenon:Residential demand for electricity

Influencing factors:• Prices of electricity & competing energy sources• Socio-economic indicators (e.g. income)• Weather indicators (e.g. heating degree days)

Possible models:• Econometric (linear or nonlinear)• End-Use Model• Artificial Neural Network

Page 4: Mathematical Models & Optimization? Mankind always sets itself only such problems as it can solve… -Karl Marx (1859) Why build them? To study real-world

Example from your world

Phenomenon:Runoff

Influencing factors:• Slope• Cover• Rainfall

Possible models:• Linear model• Nonlinear model• Artificial Neural Network

Page 5: Mathematical Models & Optimization? Mankind always sets itself only such problems as it can solve… -Karl Marx (1859) Why build them? To study real-world

Linear Model:

2

44

33

2211

varianceand zeromean with error term :

parameters model :,

rainfall andcover slope, :inputs theoffunction any :

horizon timein thepoint :

coordinatesouth -north on theposition :

coordinate west -east on theposition :

,

.....)),(cover),,(slope(

)),(rainfall(

)),(cover()),(slope(),,(Runoff

i

jf

t

y

x

where

yxyxf

yxf

yxfyxftyx

Page 6: Mathematical Models & Optimization? Mankind always sets itself only such problems as it can solve… -Karl Marx (1859) Why build them? To study real-world

Given that the linear model is the right model to account for runoff:

Values for slope, cover, rainfall and the corresponding observes runoff are collected at

different (x,y) locations and over time

Model parameters are estimated to minimize the discrepancies between the predicted

runoff (model output) and the observed runoff over the collected sample

This is what you call “modern calibration”

This estimation problem could be formulated as:

Squares)-Least (e.g.y discrepanc of measure some :

,

rainfall and cover, slope,on sconstraint possible Subject to

runoff) predicted runoff, (observed Minimizing

,....,,, Find 21

where

m

This is an optimization problem

Page 7: Mathematical Models & Optimization? Mankind always sets itself only such problems as it can solve… -Karl Marx (1859) Why build them? To study real-world

The Optimization Problem

lllixg

lixg

ts

Rx

xfMin

i

i

N

,....,1, 0)(

,....,2,1 0)(

..

)(

''

'

Page 8: Mathematical Models & Optimization? Mankind always sets itself only such problems as it can solve… -Karl Marx (1859) Why build them? To study real-world

Mapping the jargon

Optimization lingo

Function being optimized Objective function

Model parameters Decision variables

Constraints on model parameters constraints

Simple constraints on simple bounds or

The range of model parameters box constraints

Objective function describes a response surface

Intersection of constraints in the decision variable space

Defines the feasible region or the search space

Page 9: Mathematical Models & Optimization? Mankind always sets itself only such problems as it can solve… -Karl Marx (1859) Why build them? To study real-world

2

1

2421 516

2

1),(

:function a takesLet'

kkkk xxxxxf

Page 10: Mathematical Models & Optimization? Mankind always sets itself only such problems as it can solve… -Karl Marx (1859) Why build them? To study real-world

Classification of optimization problems

Properties of f(x)

Functional form exists:

LinearSum of squares of linear functionsQuadratic functionSum of squares of linear functionsQuadratic functionSum of squares of nonlinear functionsSmooth nonlinear functionNon-smooth nonlinear function

Functional form does not exist:

Output of a black box

Unimodal:

The exists only one optimum

Multimodal:

There exist more than one optimumat different objective function values

Page 11: Mathematical Models & Optimization? Mankind always sets itself only such problems as it can solve… -Karl Marx (1859) Why build them? To study real-world

Classification of optimization problems Cont.

Properties of gi(x) Nature of x

No constraints

Simple bounds

Linear functions

Sparse linear functions

Smooth nonlinear functions

Sparse nonlinear functions

Non-smooth non-linear functions

Continuous

Discrete

Mixed

Page 12: Mathematical Models & Optimization? Mankind always sets itself only such problems as it can solve… -Karl Marx (1859) Why build them? To study real-world

Stopping Criteria:Necessary conditions for a minimum at x*

In the univariate case:

In the multivariate case:

0)(

and ,0)(*''

*'

xf

xf

p.s.d. is )(

0)(

*

*

xH

xg

Page 13: Mathematical Models & Optimization? Mankind always sets itself only such problems as it can solve… -Karl Marx (1859) Why build them? To study real-world

What if no gradient info. Is available?

• How hard we want to work on the problem (e.g. computing time)

• No improving for the last N6 iterations

What if there are more than one minimum?

• Only under restricted conditions can we guarantee the “global” minimum!

Page 14: Mathematical Models & Optimization? Mankind always sets itself only such problems as it can solve… -Karl Marx (1859) Why build them? To study real-world

Overview of existing solution methods

Local Search Methods Global Search Methods

(e.g. gradient descent)

Deterministic Probabilistic

Page 15: Mathematical Models & Optimization? Mankind always sets itself only such problems as it can solve… -Karl Marx (1859) Why build them? To study real-world

More on probabilistic global search methods

Possibilities:

• Tabu Search

• Simulated Annealing

• Genetic Algorithms

Page 16: Mathematical Models & Optimization? Mankind always sets itself only such problems as it can solve… -Karl Marx (1859) Why build them? To study real-world

Stimulated Annealing(kirkpatrick, Gelatt, and Vecchi, 1983)

• Motivated by the behavior of systems in thermal equilibrium at a finite temperature (statistical mechanics)

• Was initially designed for optimization problems with discrete decision variables. Extensions to continuous problems have been introduced (e.g. Goffe et al., 1994)

• Allows non improving moves with a non-zero probability

Page 17: Mathematical Models & Optimization? Mankind always sets itself only such problems as it can solve… -Karl Marx (1859) Why build them? To study real-world

General outline of Algorithm(for a minimization problem)

Report

LOOP END

1or TT :p.adjust tem moves, Neach After 5.

KIncrement .4

set then )f(x)f(x If .3

O.W.

epy probabilit with Accept

)()f(- criterion) metropolis the(use Else

accept ,)()( If.2

of odneighborho in the randomly 1.Generate

ECONVERGENC until Loop

set ,0 ,0 , re”“temperatu initial & point initialan Pick

n1n

11k

1k

1k

KH

11

1

0*00

k

k

n

K

kkk

kk

T

f

xxfxf

xx

x xnkTx

Cooling schedule

Page 18: Mathematical Models & Optimization? Mankind always sets itself only such problems as it can solve… -Karl Marx (1859) Why build them? To study real-world

Important issues:

• Choice of Initial temperature and cooling schedule

• Stopping criteria

• Diversification Vs. intensification of search

Page 19: Mathematical Models & Optimization? Mankind always sets itself only such problems as it can solve… -Karl Marx (1859) Why build them? To study real-world

Where can you go for more info?• Literature?

– Numerous books & textbooks on optimization and mathematical modeling (not as much on global optimization!)

– A host of publications. Check journals by INFORMS and the European Society of Operational Research

• Software packages & computer code on the net– Cplex for linear programming, GAMS as an interface to a

variety of linear and nonlinear solvers (available on ECN)– Libraries like IMSL– Various codes written for SA & GAs available free of

charge on the internet

• Resources on the internet– Do a keyword search and you’ll locate quite a few links.