12
Visual tools for understanding multi-dimensional parameter spaces Torsten Möller Graphics, Usability, and Visualization Lab Simon Fraser University Torsten Möller VisWeek 2012 Overview Case Studies - Tuner - Image segmentation - FluidExplorer - Fluid animation - Vismon - Fisheries science Abstraction - Sampling multi-d spaces - Exploring multi-d spaces - Trading off multiple objectives Challenges 2 Torsten Möller VisWeek 2012 Tuner Image segmentation 3 Torsten Möller VisWeek 2012 Image Segmentation Partitioning the image into disjoint regions of homogeneous properties Useful for statistical analysis, diagnosis, and treatment evaluation Image Segmentation 4 Tuner FluidExplorer Vismon Abstraction Challenges Torsten Möller VisWeek 2012 Segmentation by Thresholding traditionally - nding edges Canny edge detection ... needs thresholds! width of Gaussian low and high thresholds 5 Sigma = 1.0 courtesy of http://www.cs.washington.edu/research/imagedatabase/demo/edge/ Tuner FluidExplorer Vismon Abstraction Challenges Torsten Möller VisWeek 2012 Segmentation by Thresholding traditionally - nding edges Canny edge detection ... needs thresholds! width of Gaussian low and high thresholds 6 Sigma = 2.0 courtesy of http://www.cs.washington.edu/research/imagedatabase/demo/edge/ Tuner FluidExplorer Vismon Abstraction Challenges

Tuner FluidExplorer Vismon Abstraction Challenges Image

  • Upload
    others

  • View
    1

  • Download
    0

Embed Size (px)

Citation preview

Page 1: Tuner FluidExplorer Vismon Abstraction Challenges Image

Visual tools for understanding multi-dimensionalparameter spaces

Torsten MöllerGraphics, Usability, and Visualization Lab

Simon Fraser University

Torsten MöllerVisWeek 2012

Overview

• Case Studies

- Tuner - Image segmentation- FluidExplorer - Fluid animation- Vismon - Fisheries science

• Abstraction

- Sampling multi-d spaces- Exploring multi-d spaces- Trading off multiple objectives

• Challenges

2

Torsten MöllerVisWeek 2012

TunerImage segmentation

3Torsten MöllerVisWeek 2012

Image Segmentation• Partitioning the image into disjoint regions

of homogeneous properties• Useful for statistical analysis, diagnosis, and

treatment evaluation

Image Segmentation

4

Tuner FluidExplorer Vismon Abstraction Challenges

Torsten MöllerVisWeek 2012

Segmentation by Thresholding

• traditionally - finding edges• Canny edge detection ... needs

thresholds!• width of Gaussian• low and high thresholds

5

Sigma = 1.0

courtesy of http://www.cs.washington.edu/research/imagedatabase/demo/edge/

Tuner FluidExplorer Vismon Abstraction Challenges

Torsten MöllerVisWeek 2012

Segmentation by Thresholding

• traditionally - finding edges• Canny edge detection ... needs

thresholds!• width of Gaussian• low and high thresholds

6

Sigma = 2.0

courtesy of http://www.cs.washington.edu/research/imagedatabase/demo/edge/

Tuner FluidExplorer Vismon Abstraction Challenges

Page 2: Tuner FluidExplorer Vismon Abstraction Challenges Image

Torsten MöllerVisWeek 2012

• minimize energy

• often times:

• where- I - input image- φ - segmentation- α - different weights

Energy functionals

7

E(φ, I) = α1E1(φ, I) + α2E2(φ, I) + .... + αkEk(φ, I)

E(φ, I)

Tuner FluidExplorer Vismon Abstraction Challenges

Torsten MöllerVisWeek 2012

The Zen of tuning parameters!

• very tedious and time consuming

• loop over

- guess a parameter combination- wait for segmentation result (often

minutes)- evaluate result (often visually)

• did we reach a stable parameter region?

8

Tuner FluidExplorer Vismon Abstraction Challenges

Torsten MöllerVisWeek 2012

Parameter Tuning

9Torsten MöllerVisWeek 2012

Principle ideas

• Assumptions- ground truth is given- we use a quality measure (e.g. DICE-

coefficient or Precision-Recall)

• Requirements- No stone unturned- Separate the wheat from the chaff- Stability

10

Tuner FluidExplorer Vismon Abstraction Challenges

Torsten MöllerVisWeek 2012

Sampling high-D space

11

Tuner FluidExplorer Vismon Abstraction Challenges

Torsten MöllerVisWeek 2012

Apply (black-box) Segmentation

12

Tuner FluidExplorer Vismon Abstraction Challenges

Page 3: Tuner FluidExplorer Vismon Abstraction Challenges Image

Torsten MöllerVisWeek 2012

Compare to ground-truth

13

Tuner FluidExplorer Vismon Abstraction Challenges

Torsten MöllerVisWeek 2012

Build an estimator

14

Tuner FluidExplorer Vismon Abstraction Challenges

Torsten MöllerVisWeek 2012

Case study -Brain dynamic PET

• 46 time steps

• very noisy

• challenging to segment

• 8 energy model to explore

15

Tuner FluidExplorer Vismon Abstraction Challenges

Torsten MöllerVisWeek 2012

50 samples

16

Tuner FluidExplorer Vismon Abstraction Challenges

Torsten MöllerVisWeek 201217

Torsten MöllerVisWeek 201218

Page 4: Tuner FluidExplorer Vismon Abstraction Challenges Image

Torsten MöllerVisWeek 201219

Torsten MöllerVisWeek 201220

Torsten MöllerVisWeek 201221

Torsten MöllerVisWeek 201222

Torsten MöllerVisWeek 201223

Torsten MöllerVisWeek 201224

Page 5: Tuner FluidExplorer Vismon Abstraction Challenges Image

Torsten MöllerVisWeek 201225

FluidExplorerFluid animation

Torsten MöllerVisWeek 2012

Special effects

26

• Fluid simulation is heavily used in the motion picture industry

• Most common animation packages include solvers or offer add-ons

• Problem: Difficult to control for visual effects artists

Tuner FluidExplorer Vismon Abstraction Challenges

Torsten MöllerVisWeek 2012

Special effects (2)

27

Autodesk Maya 2010

Special effects (2)effeccts ((2))c

Autodesk Maya 2010

•Tens of parameters

•Hard to predict results

•Time-consuming trial & error

Tuner FluidExplorer Vismon Abstraction Challenges

Torsten MöllerVisWeek 2012

Overview

28

Tuner FluidExplorer Vismon Abstraction Challenges

Torsten MöllerVisWeek 2012

Visualization

29

Tuner FluidExplorer Vismon Abstraction Challenges

Torsten MöllerVisWeek 201230

Video

Tuner FluidExplorer Vismon Abstraction Challenges

Page 6: Tuner FluidExplorer Vismon Abstraction Challenges Image

Torsten MöllerVisWeek 2012

VismonFisheries science

31Torsten MöllerVisWeek 2012

Politics of Fisheries Management

• policymaker goal- make well-informed decisions based on large amounts of quantitative

information

• changing political context- more accountability for decision making

• evolution over time- command and control• we have the data and we decide

- decide, announce, defend• after push for public consultations

- multistakeholder consultation• new ideal: include many stakeholders in analysis process itself

• new need- support not only communication to, but also analysis with, multiple

stakeholders

Tuner FluidExplorer Vismon Abstraction Challenges

Torsten MöllerVisWeek 2012

Roles• fisheries managers- choose actions to best meet management objectives• maintain sufficient spawners• allocate catches among competing interest groups

• stakeholders- environmentalists- fishing interest groups• commercial fishing industry• subsistence (First Nations) fishing communities• recreational fishers

• fisheries scientists- provide fisheries managers with extensive quantitative

information to support decision making, via simulation

Tuner FluidExplorer Vismon Abstraction Challenges

Torsten MöllerVisWeek 2012

Simulation

• For each management option

- Calculated average of each indicator across 500 Monte Carlo trials

• do this over 100 years

34

0 10 20 30 40 50 60 70 80 90 100Year

Tuner FluidExplorer Vismon Abstraction Challenges

Torsten MöllerVisWeek 2012

Management Options

• Constant escapement goal (target number of spawners)

• Constant harvest rate on returns that are surplus to the target escapement

35

Tuner FluidExplorer Vismon Abstraction Challenges

Torsten MöllerVisWeek 2012

Performance Indicators

• Escapement (spawners)

• Subsistence catch

• Commercial catch

36

Tuner FluidExplorer Vismon Abstraction Challenges

Page 7: Tuner FluidExplorer Vismon Abstraction Challenges Image

Torsten MöllerVisWeek 2012

Target spawners (in 1000’s)

Harvest rate on run exceeding

target spawners

500 Monte Carlo trials for each management option

Tuner FluidExplorer Vismon Abstraction Challenges

Torsten MöllerVisWeek 2012

Average spawners (1000s)Yukon R.fall chumsalmon

Target spawners (in 1000’s)

Harvest rate on run

exceeding target

spawners

Tuner FluidExplorer Vismon Abstraction Challenges

Torsten MöllerVisWeek 2012

Demo

39

Tuner FluidExplorer Vismon Abstraction Challenges

Torsten MöllerVisWeek 2012

Abstraction

40

Torsten MöllerVisWeek 201241

• abstracted (black-box) scheme:

• we can tell Inputs from Outputs• we can query this box at every “point”

Rn Rm

Domain RangeMappingfunction

f

Tuner FluidExplorer Vismon Abstraction Challenges

Torsten MöllerVisWeek 201242

• abstracted (black-box) scheme:

• we can tell Inputs from Outputs• we can query this box at every “point”

Rn Rm

Domain RangeMappingfunction

Complexobjectf d

Objectivemeasures

Tuner FluidExplorer Vismon Abstraction Challenges

Page 8: Tuner FluidExplorer Vismon Abstraction Challenges Image

Torsten MöllerVisWeek 2012

• well chosen by the scientist, i.e. people care about their inputs

• normally continuous (quantitative data)- need to sample the space

• categorical data common too (e.g. use of a different algorithm)

43

InputsTuner FluidExplorer Vismon Abstraction Challenges

Torsten MöllerVisWeek 2012

• experimental design literature:

- control variables (or engineering v. or manufacturing variables) are variables the user has a direct input on

- environmental variables (or noise variables) are variables specific to the environment of the design and can be measured in the real world (e.g. temperature)

- model parameters (or tuning parameters) describe the uncertainty in the mathematical modeling (e.g. thresholds)

44

Input groupingsTuner FluidExplorer Vismon Abstraction Challenges

Torsten MöllerVisWeek 2012

Outputs

• typically very complex, e.g.

- 2D, 3D images (Tuner)- animations (FluidExplorer)- performance graphs (fuel cells)- social networks- robot simulation (Player/Stage)

• hard to evaluate / compare many complex outputs

45

Tuner FluidExplorer Vismon Abstraction Challenges

Torsten MöllerVisWeek 2012

Objective measure

• one-dimensional (“goodness”) rating: d(object) = quantitative grade

• two-dimensional comparison: d(O1, O2) = quantitative similarity

• objective measures can be- exact (reliable)- approximate - about right, but not 100%

precise- unknown (active learning)

46

Tuner FluidExplorer Vismon Abstraction Challenges

Torsten MöllerVisWeek 201247

Tasks that arise

• Optimization

• Partitioning / Grouping

• Fitting

• Steering

• Sensitivity

Tuner FluidExplorer Vismon Abstraction Challenges

Torsten MöllerVisWeek 201248

Task 1 - Optimization

Page 9: Tuner FluidExplorer Vismon Abstraction Challenges Image

Torsten MöllerVisWeek 201249

“Find the best parameter combination given some objectives.”

• objectives need to be formulated (as an objective function)

• often times multiple objectives that need to be balanced- one: no Vis, just use some optimization toolbox- two: Pareto analysis (e.g. Tuner)- multiple: facilitate multi-objective trade-off (e.g.

Vismon)

Tuner FluidExplorer Vismon Abstraction Challenges

Torsten MöllerVisWeek 2012

Task 2 - Segmentation

50

Torsten MöllerVisWeek 201251

“How many different types of behaviors are possible?”

• essentially find a segmentation (or clustering) of the output space

• apply to input space

• user wants to know the parameter combinations (and ranges) that create one particular output behavior

• e.g. ParaGlide

Tuner FluidExplorer Vismon Abstraction Challenges

Torsten MöllerVisWeek 2012

Task 3 - Fitting

52

Torsten MöllerVisWeek 201253

“Where in the parameter space fall actual measured data?”

• Data fitting - given real inputs and their outputs, improve the understanding / modeling

• Inverse Problem (level sets) - given ONLY the outputs, what inputs would yield this behavior?

• could be formulated as an optimization problem

• e.g. HyperMoVal

Tuner FluidExplorer Vismon Abstraction Challenges

Torsten MöllerVisWeek 2012

Task 4 - Steering

54

Page 10: Tuner FluidExplorer Vismon Abstraction Challenges Image

Torsten MöllerVisWeek 201255

User wants to change the parameter settings during the simulation run.

• control variables - typically no steering (afaik)

• environmental variables - “simulation steering” (e.g. real-time simulators, like {flight, ship, driving}-simulators, or World Lines)

• model / tuning parameters - “computational steering” (e.g. change the grid size, time-stepping, etc.) OR when simulation is expensive, watch while running and stop if no insight

thanks to Andreas Gerndt

Tuner FluidExplorer Vismon Abstraction Challenges

Torsten MöllerVisWeek 2012

Task 5 - Sensitivity

56

Torsten MöllerVisWeek 201257

• cross-cutting through all other tasks

• Optimization - “How stable are my optimal parameter settings?”

• Segmentation - “How quick/slow are the transition from one behavior to another?”

• Fitting - “How close does the simulation come to the actual measured data?”

• Steering - not so sure, no experience

Tuner FluidExplorer Vismon Abstraction Challenges

Torsten MöllerVisWeek 2012

Challenges

58

Torsten MöllerVisWeek 2012

It is a ...

• sampling problem

• rendering problem

• cognitive problem

• design problem

• interface problem

59

Tuner FluidExplorer Vismon Abstraction Challenges

Torsten MöllerVisWeek 2012

Sampling

• trading-off time and accuracy

• time - would like to get an answer in less than a day (samples are expensive!)

• accuracy - would like to have as dense a sampling as possible

• typically reconstruct / infer values at non-sampled values from sampled neighbors

60

Tuner FluidExplorer Vismon Abstraction Challenges

Page 11: Tuner FluidExplorer Vismon Abstraction Challenges Image

Torsten MöllerVisWeek 2012

Rendering

61

Tuner FluidExplorer Vismon Abstraction Challenges

Torsten MöllerVisWeek 2012

Cognition

• how to understand multi-dimensional spaces?

• facilitating sensitivity

• facilitating trade-offs

62

Tuner FluidExplorer Vismon Abstraction Challenges

Torsten MöllerVisWeek 2012

Design

• every application is different - user-centered design!

• understanding the goals of the users, employing the tool and refining the design can be a long-haul

• facilitating the discourse during decision making

- Vismon: managers vs. commercial vs. subsistance

- FluidExplorer: animator vs. supervisor

63

Tuner FluidExplorer Vismon Abstraction Challenges

Torsten MöllerVisWeek 2012

Interface

• navigating multi-dimensional spaces

• slices vs. scatterplots

• multi-dimensional Pareto panels

• specifying neighborhoods in multi-dim

64

Tuner FluidExplorer Vismon Abstraction Challenges

Torsten MöllerVisWeek 2012

Summary

65

• understanding parameter space - an essential task of computational science

• understanding trade-off of multiple objectives is tough

• “This reduced the work of days to a couple of hours.”

Torsten MöllerVisWeek 2012

Acknowledgments

Michael SedlmairUBC

Tamara MunznerUBC

Thomas-Torsney WeirSFU

Maryam BooshehrianSFU

Melanie ToryU Victoria

Steven BergnerSFU

Stefan BrucknerTU Wien

66

Stephen IngramUBC

Page 12: Tuner FluidExplorer Vismon Abstraction Challenges Image

Torsten MöllerVisWeek 2012

Collaborators

Hans-Christian HegeZuse I Berlin

Ahmed SaadSFU

Jean-Marc VerbavatzMPI-CBG Dresden

Britta WeberZuse I Berlin

67

A. Cooper, S. Cox, R. Peterman, REM

Blair TennessySpinPro

Torsten MöllerVisWeek 2012

Questions?

[email protected]

http://gruvi.cs.sfu.ca

68