carla p. gomes, ashish sabharwal cornell university crocs-09 workshop at cp-09 lisbon, portugal

18
Optimizing Fish Passage Barrier Removal Using Mixed Integer Linear Programming [Preliminary Report] Carla P. Gomes, Ashish Sabharwal Cornell University CROCS-09 Workshop at CP-09 Lisbon, Portugal September 20, 2009

Upload: dewitt

Post on 23-Feb-2016

22 views

Category:

Documents


1 download

DESCRIPTION

Optimizing Fish Passage Barrier Removal Using Mixed Integer Linear Programming [Preliminary Report]. Carla P. Gomes, Ashish Sabharwal Cornell University CROCS-09 Workshop at CP-09 Lisbon, Portugal September 20, 2009. Overview : Stream Barriers and Fish Migration. - PowerPoint PPT Presentation

TRANSCRIPT

Page 1: Carla P. Gomes,  Ashish Sabharwal Cornell University CROCS-09 Workshop at CP-09 Lisbon, Portugal

Optimizing Fish Passage Barrier Removal Using Mixed Integer Linear Programming[Preliminary Report]

Carla P. Gomes, Ashish Sabharwal

Cornell University

CROCS-09 Workshop at CP-09Lisbon, PortugalSeptember 20, 2009

Page 2: Carla P. Gomes,  Ashish Sabharwal Cornell University CROCS-09 Workshop at CP-09 Lisbon, Portugal

Overview: Stream Barriers and Fish Migration

Artificial stream barriers (e.g., dams, levees, dikes, … [see next slide]) hinder upstream and downstream movement of migratory fish

Result: dramatic impact on fish populations worldwide

Extensive guidelines have been created for undertaking projects to Build new in-stream structures Retrofit existing barriers to enhance fish passage

Issue: limited budget; must prioritize Some attempts but no clear guideline on which projects to focus on

Optimization question, informally: Given a budget, a stream topology, a set of barriers, a set of restoration projects with costs and benefits, which projects should one undertake to maximize the “net benefit”?

CROCS-09 Workshop Ashish Sabharwal (joint work with Carla Gomes) 2

Page 3: Carla P. Gomes,  Ashish Sabharwal Cornell University CROCS-09 Workshop at CP-09 Lisbon, Portugal

Stream Barriers

CROCS-09 Workshop Ashish Sabharwal (joint work with Carla Gomes) 3

LeveeTexas City Dike,

Texas, U.S.

Hume Dam,South AustraliaCulvert

Saitama Floodgate,Japan

North Fork Weir,Alaska, U.S.

Page 4: Carla P. Gomes,  Ashish Sabharwal Cornell University CROCS-09 Workshop at CP-09 Lisbon, Portugal

Impact of Fish Barriers

Well-studied issue in environmental science and conservation biology Drastic population decline of fish such as salmon Artificial barriers identified as a key reason

Barriers result in direct impacts to migratory fish: Increased mortality and predation Decreased egg production

Indirect impacts: Artificial selection of better swimming fish / species Increased in-breeding among resident fish Lowered nutrient inputs to upstream fish from carcasses

Good news: barriers retrofitting has also been identified as the most cost-effective and beneficial way to mitigate the impact

CROCS-09 Workshop Ashish Sabharwal (joint work with Carla Gomes) 4

Page 5: Carla P. Gomes,  Ashish Sabharwal Cornell University CROCS-09 Workshop at CP-09 Lisbon, Portugal

Enhancing Fish Passage Through Barriers

Extensive guidelines available for Better design of barriers Retrofitting of barriers

so as to enhance fish passage through the barriers

E.g., for anadromous fish such as salmon,fish ladders are commonly used toassist with upstream migration for breeding

CROCS-09 Workshop Ashish Sabharwal (joint work with Carla Gomes) 5

Fish ladderat Ballard Locks, Seattle

Page 6: Carla P. Gomes,  Ashish Sabharwal Cornell University CROCS-09 Workshop at CP-09 Lisbon, Portugal

Setup: Upstream Problem, Tree-Topology

CROCS-09 Workshop Ashish Sabharwal (joint work with Carla Gomes) 6

Continuous auxiliary vars: accessibility immediately upstream of barrier j to region with volume vj

Discrete decision vars: should we undertake project i at barrier j ?

Page 7: Carla P. Gomes,  Ashish Sabharwal Cornell University CROCS-09 Workshop at CP-09 Lisbon, Portugal

Optimization question:Given budget b a stream topology set of barriers j J

- immediately upstream region volume vj set of potential repair/restoration projects i Aj for each barrier j

Decide which project to undertake at which barriers in order to maximize the net “accessibility”

CROCS-09 Workshop Ashish Sabharwal (joint work with Carla Gomes) 7

Setup: Upstream Problem, Tree-Topology

= j vj (fraction of fish that can access vj)

Page 8: Carla P. Gomes,  Ashish Sabharwal Cornell University CROCS-09 Workshop at CP-09 Lisbon, Portugal

Traditional (and real-world) Approaches

Most approaches focus on simplicity and scalability

Use domain experts to identify

ci,j : cost of undertaking project i at barrier jpi,j : resulting “passability” of barrier j

Note: domain experts = land use planners, environmental scientists, conservation planners, wildlife service, etc.; usually not applied mathematicians or computer scientists

Scoring and Ranking Method: Consider each project in isolationi. identify the one (or a few) with locally the most “bang for the buck”ii. undertake this project, re-visit the problem with the residual budget

akin to the greedy approach for fractional bin-packing

CROCS-09 Workshop Ashish Sabharwal (joint work with Carla Gomes) 8

[e.g., Pess et al, 1998]

Page 9: Carla P. Gomes,  Ashish Sabharwal Cornell University CROCS-09 Workshop at CP-09 Lisbon, Portugal

Traditional (and real-world) Approaches

Well-understood issue:This ignores key spatial arrangement between the barriersand can lead to highly sub-optimal solutions

E.g. a high-cost high-benefit project at an upstream barrier is not very fruitful if all barriers downstream are left with low passabilities

[O’Hanley-Tomberlin-2005]: First clear optimization model

• for the upstream problem with tree-like topology Examples to show that simple Scoring and Ranking in isolation can be

arbitrarily far from the optimal Created a high-degree Mixed Integer Program (Non-Linear MIP)

[ degree = number of barriers on a path from stream origin to ocean/sea ] Dynamic programming exact solution method Greedy approximation solution method

CROCS-09 Workshop Ashish Sabharwal (joint work with Carla Gomes) 9

Page 10: Carla P. Gomes,  Ashish Sabharwal Cornell University CROCS-09 Workshop at CP-09 Lisbon, Portugal

This Work: Goals

Extend O’Hanley-Tomberlin-2005 approach in the following ways:

A. Linearize their upstream model for tree-like stream topology

B. Use efficient MIP (Linear) solvers such as Cplex More flexibility, e.g., could easily add incidental constraints or tweak the

optimization function Better scalability than their exact dynamic programming approach For large problems, closer approximation than their greedy heuristic

C. Extend to downstream migration accessibility raises new modeling issues simultaneous upstream + downstream migration

D. Relax tree-like topology restriction i.e., allow streams in the model to split and merge

CROCS-09 Workshop Ashish Sabharwal (joint work with Carla Gomes) 10

Key issues identifiedfor practical utility

[Olivero et al, 2009;The Nature Conservancy]

Page 11: Carla P. Gomes,  Ashish Sabharwal Cornell University CROCS-09 Workshop at CP-09 Lisbon, Portugal

MIP (Linear) for Upstream, Tree-Topology

CROCS-09 Workshop Ashish Sabharwal (joint work with Carla Gomes) 11

Net accessibility to upstream regions

≤ 1 project per barrier

total cost ≤ budget

decision variables(discrete)

auxiliary variables(continuous)

accessibility immediatelyupstream of barrier j

[ constraints to compute yj for each barrier j ]

Page 12: Carla P. Gomes,  Ashish Sabharwal Cornell University CROCS-09 Workshop at CP-09 Lisbon, Portugal

O’Hanley-Tomberlin-05 proposed Non-Linear constraints for computingyj = net accessibility immediately upstream of barrier j

Actually, they computed j = net increase in accessibility immediately upstream of barrier j

CROCS-09 Workshop Ashish Sabharwal (joint work with Carla Gomes) 12

MIP (Linear) for Upstream, Tree-Topology

product over all barriers kdownstream of j

original passability ofbarrier k

new passability ofbarrier k if project i

is undertaken

Page 13: Carla P. Gomes,  Ashish Sabharwal Cornell University CROCS-09 Workshop at CP-09 Lisbon, Portugal

Our proposal: linear constraints for computingyj = net accessibility immediately upstream of barrier j If repair/restoration project i is carried out at barrier j, then

accessibility immediately upstream of j is pi,j times the accessibilityimmediately downstream of j

CROCS-09 Workshop Ashish Sabharwal (joint work with Carla Gomes) 13

Works because yj and pi,j yparent(j) are both between 0 and 1 their difference is bounded above by 1 unconstrained when xi,j=0 but must be equal when xi,j=1

MIP (Linear) for Upstream, Tree-Topology

Page 14: Carla P. Gomes,  Ashish Sabharwal Cornell University CROCS-09 Workshop at CP-09 Lisbon, Portugal

Lesson?

Experts in conservation biology and other core sustainability fields are often unaware of the computational and algorithmic aspects of the mathematical models they are trying to work with(e.g., high non-linearity often doesn’t “bother” them)

CROCS-09 Workshop Ashish Sabharwal (joint work with Carla Gomes) 14

Sustainability researchers

•Generally use predictions based on model simulations or, at best, simulated annealing style methods

•Often work with highly complex dynamical models

•See no “need” to create computationally simple models

Computer Scientists

•Generally like simple, “clean”, abstract models that they can be analyzed and optimized (or approximated within control)

•Perhaps a bit too willing to give up on many details

•Highly concerned with computational difficulty

Need close collaboration to createmeaningful yet tractable models and solutions.

Page 15: Carla P. Gomes,  Ashish Sabharwal Cornell University CROCS-09 Workshop at CP-09 Lisbon, Portugal

Extending to Downstream, Tree-Topology

E.g., catadromous fish migrate downstream for breeding and/or in the winter season – need downstream accessibility as well!

Raises several design issues to begin with, e.g.1. Multiple “parents” for any barrier2. Different initial fish populations at various upstream starting points

(rather than a single fish mass in the ocean wanting to migrate upstream) can’t simply work with fractions of fish mass; must take actual initial mass distribution into account

3. “Utility” of reaching a downstream region varies from region to regionE.g., being able to reach a region immediately downstream may be much less beneficial than reaching a warm region very close to sea

Have created a linear MIP model to take these considerations into account(messy but with similar ideas as before)

CROCS-09 Workshop Ashish Sabharwal (joint work with Carla Gomes) 15

Page 16: Carla P. Gomes,  Ashish Sabharwal Cornell University CROCS-09 Workshop at CP-09 Lisbon, Portugal

Extending to General Acyclic Topology

Streams may split and merge – not too often, but does happen Need to relax tree-like topology assumption

Raises more design issues, e.g. Multiple paths between two points

(rather than a unique “parent” where fish always arrive from)

how should accessibility along different paths be combined? max? min? average? should passability of the initial few barriers along each path matter?

Key is to to balance reality (obtained from domain experts) with what’s computationally feasible

(still in progress)

CROCS-09 Workshop Ashish Sabharwal (joint work with Carla Gomes) 16

Page 17: Carla P. Gomes,  Ashish Sabharwal Cornell University CROCS-09 Workshop at CP-09 Lisbon, Portugal

Empirical Evaluation: Ongoing

Currently looking at “real” data used by O’Hanley-Tomberlin-05 from Washington state, U.S. From real life but still simplified to a very small scale

(solved within seconds) The Nature Conservancy, e.g., would like much larger data sets

– hundreds of stream barriers, several potential projects at each[Olivero et al, 2009]

Computational scalability issues often not studied at all need to develop reasonable parameterized models to help evaluate and tune solvers

Lesson: Gathering real data for sustainability problems is critical + time consuming Conservation planners and other sustainability researchers often spend

months and years of field work to collect data Naturally, not shared as easily as computer scientists are used to

CROCS-09 Workshop Ashish Sabharwal (joint work with Carla Gomes) 17

Page 18: Carla P. Gomes,  Ashish Sabharwal Cornell University CROCS-09 Workshop at CP-09 Lisbon, Portugal

Summary

Optimization for fish barrier removal is an important environmental problem

Many guidelines on possibly restoration projects to undertake

Not much know about which projects to undertake

Natural role for constraint reasoning and optimization to enable the best use of given resources in order to maximize migratory fish accessibility

CROCS-09 Workshop Ashish Sabharwal (joint work with Carla Gomes) 18