1 homeland security: what can mathematics do? examples from work at ccicada

74
1 Homeland Security: What can Mathematics Do? Examples from Work at CCICADA

Post on 19-Dec-2015

213 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: 1 Homeland Security: What can Mathematics Do? Examples from Work at CCICADA

1

Homeland Security: What can Mathematics

Do?

Examples from Work at CCICADA

Page 2: 1 Homeland Security: What can Mathematics Do? Examples from Work at CCICADA

2

Founded 2009 as a DHS University Center of Excellence

Page 3: 1 Homeland Security: What can Mathematics Do? Examples from Work at CCICADA

3

Why CCICADA? Methods of mathematics and computer science have become important tools in preparing plans for defense against terrorist attacks or natural disasters, especially when combined with powerful, modern computer methods for analysis and simulation.

Page 4: 1 Homeland Security: What can Mathematics Do? Examples from Work at CCICADA

4

Are you Serious?? What Can Mathematics do For Us?

Page 5: 1 Homeland Security: What can Mathematics Do? Examples from Work at CCICADA

5

Page 6: 1 Homeland Security: What can Mathematics Do? Examples from Work at CCICADA

6

.

After Pearl Harbor: Mathematics and mathematicians played a vitally important role in the US World War II effort.

Page 7: 1 Homeland Security: What can Mathematics Do? Examples from Work at CCICADA

7

Critical War-Effort Contributions Included:

•Code breaking.

•Creation of the mathematics-based field of Operations Research:

logistics

optimal scheduling

inventory

strategic planning

Enigma machine

Page 8: 1 Homeland Security: What can Mathematics Do? Examples from Work at CCICADA

8

But: Terrorism is Different.Can Math and Computer Science

Really Help?

5 + 2 = ? 1, 2, 3, …

Page 9: 1 Homeland Security: What can Mathematics Do? Examples from Work at CCICADA

9

I’ll Illustrate with Math and Computer Science Projects I’m

Involved in.

There are Many Others• I. Vaccination Strategies for Control of a Highly

Infectious Disease

• II. Inspecting Containers at Ports for Weapons of Mass Destruction

• III. Putting Nuclear Detectors in Taxicabs or Police Cars

• IV. Dealing with Climate Change

Page 10: 1 Homeland Security: What can Mathematics Do? Examples from Work at CCICADA

10

I. Vaccination Strategies for Control of a Highly Infectious Disease

Naturally occurring

Smallpox

Deliberately released by“bioterrorists”?

Page 11: 1 Homeland Security: What can Mathematics Do? Examples from Work at CCICADA

11

The Model: Moving From State to State

Diseases spread through social networksSocial Network = GraphNodes = PeopleEdges = contact

SI modelOnce in infected state, stay there.

Times are discrete: t = 0, 1, 2, …

t=0,1,2, …

= infected

= susceptible

Page 12: 1 Homeland Security: What can Mathematics Do? Examples from Work at CCICADA

12

Disease Process Highly Infectious Disease: You change your state from to at time t+1 if at least one of your neighbors have state at time t. You never leave state .

Page 13: 1 Homeland Security: What can Mathematics Do? Examples from Work at CCICADA

13

Vaccination Strategies

Let’s say you have a limited amount of vaccine available each time period, say v doses.Whom should you vaccinate?

Page 14: 1 Homeland Security: What can Mathematics Do? Examples from Work at CCICADA

14

Vaccination Strategies

More precisely: What vaccination strategy minimizes number of people ultimately infected if a disease breaks out with one infection?

Sometimes called the firefighter problem:

alternate fire spread and firefighter placement.

Page 15: 1 Homeland Security: What can Mathematics Do? Examples from Work at CCICADA

15

Some Results on the Firefighter Problem

Thanks toKah Loon Ng

DIMACSfor some of the following slides,

slightly modified by me

Page 16: 1 Homeland Security: What can Mathematics Do? Examples from Work at CCICADA

16

Three doses of vaccine per time period (v = 3)

Page 17: 1 Homeland Security: What can Mathematics Do? Examples from Work at CCICADA

17

v = 3

Page 18: 1 Homeland Security: What can Mathematics Do? Examples from Work at CCICADA

18

v = 3

Page 19: 1 Homeland Security: What can Mathematics Do? Examples from Work at CCICADA

19

v = 3

Page 20: 1 Homeland Security: What can Mathematics Do? Examples from Work at CCICADA

20

v = 3

Page 21: 1 Homeland Security: What can Mathematics Do? Examples from Work at CCICADA

21

v = 3

Page 22: 1 Homeland Security: What can Mathematics Do? Examples from Work at CCICADA

22

v = 3

Page 23: 1 Homeland Security: What can Mathematics Do? Examples from Work at CCICADA

23

v = 3

Page 24: 1 Homeland Security: What can Mathematics Do? Examples from Work at CCICADA

24

Some questions that can be asked (but not necessarily answered!)

• Can the fire be contained?• How many time steps are required before fire is

contained?• How many firefighters per time step are necessary?• What fraction of all nodes will be saved (burnt)?• Does where the fire breaks out matter?• Fire starting at more than 1 node?• What about other types of social networks?• How do we construct graphs to minimize damage?

Page 25: 1 Homeland Security: What can Mathematics Do? Examples from Work at CCICADA

25

Containing Fires in d-dimensional Grids

Fire starts at only one node:

d = 2: Impossible to contain the fire with 1 firefighter per time step

Page 26: 1 Homeland Security: What can Mathematics Do? Examples from Work at CCICADA

26

Containing Fires in d-dimensional Grids

d = 2: Two firefighters per time step needed to contain the fire.

8 time steps

18 burnt nodes

Page 27: 1 Homeland Security: What can Mathematics Do? Examples from Work at CCICADA

27

Firefighting on Trees

Epidemic starts at the root. Number doses of vaccine: v = 1

Page 28: 1 Homeland Security: What can Mathematics Do? Examples from Work at CCICADA

28

Firefighting on Trees

Greedy algorithm:

For each node x, define

weight (x) = number descendants of x + 1

Algorithm: At each time step, place firefighter at node that has not been saved such that weight (x) is maximized.

Page 29: 1 Homeland Security: What can Mathematics Do? Examples from Work at CCICADA

29

Firefighting on Trees

Firefighting on Trees:

78912 11

324161512 6

12 1131111 3 1

26

22

Page 30: 1 Homeland Security: What can Mathematics Do? Examples from Work at CCICADA

30

Firefighting on Trees

Greedy Optimal

= 7 = 9

Page 31: 1 Homeland Security: What can Mathematics Do? Examples from Work at CCICADA

31

Firefighting on Trees

Theorem (Hartnell and Li, 2000): For any tree with one fire starting at the root and one firefighter to be deployed per time step, the greedy algorithm always saves more than ½ of the nodes that any algorithm saves.

Page 32: 1 Homeland Security: What can Mathematics Do? Examples from Work at CCICADA

32

II. Algorithms for Port of Entry Inspection for WMDs

Page 33: 1 Homeland Security: What can Mathematics Do? Examples from Work at CCICADA

33

Port of Entry Inspection Algorithms•Goal: Find ways to intercept illicit nuclear materials and weapons

destined for the U.S. via the maritime transportation system

•Currently inspecting only small % of containers arriving at ports

•Even inspecting 8% of containers in Port of NY/NJ might bring international trade to a halt

•So we need faster and more efficient ways to do inspections.

Page 34: 1 Homeland Security: What can Mathematics Do? Examples from Work at CCICADA

34

Port of Entry Inspection Algorithms•My work on port of entry inspection has gotten me and my students to some remarkable places.

Me on a Coast Guardboat in a tour of theharbor in Philadelphia

Page 35: 1 Homeland Security: What can Mathematics Do? Examples from Work at CCICADA

35

Page 36: 1 Homeland Security: What can Mathematics Do? Examples from Work at CCICADA

36

Sequential Decision Making Problem•Containers arriving to be classified into categories.•Simple case: 0 = “okay”, 1 = “suspicious”

•Inspection scheme: specifies which inspections are to be made based on previous observations. You don’t have to do every inspection on every container.

Page 37: 1 Homeland Security: What can Mathematics Do? Examples from Work at CCICADA

37

Sequential Decision Making Problem

•Containers have attributes:–Does ship’s manifest set off an “alarm”?

Yes = 1, No = 0–What is the neutron or Gamma emission count? Is it above threshold?

Yes = 1, No = 0–Does a radiograph image come up positive?

Yes = 1, No = 0–Does an induced fission test come up positive?

Yes = 1, No = 0

Page 38: 1 Homeland Security: What can Mathematics Do? Examples from Work at CCICADA

38

Sequential Decision Making Problem•Then: Container corresponds to a binary string (bit string) like 011001•This container has a “Yes” on the second, third, and sixth attributes.•So: Container classification takes a bit string and decides if the container is “suspicious” (call it 1) or “okay” (call it 0).•A decision rule F takes a bit string and decides if it corresponds to a suspicious or okay container.

011001 F(011001)

If attributes 2, 3, and 6 are present, assign container to category F(011001).

Page 39: 1 Homeland Security: What can Mathematics Do? Examples from Work at CCICADA

39

Sequential Decision Making Problem

•Given a container, test its attributes until know enough to calculate whether it is suspicious or okay.

•An inspection scheme tells us in which order to test the attributes to minimize cost.

•Even this simplified problem is hard computationally.

Page 40: 1 Homeland Security: What can Mathematics Do? Examples from Work at CCICADA

40

Binary Decision Tree Approach•Tests measure presenceor absence of attributes: so 0 or 1•Classification is 1 or 0

•Binary Decision Tree: –Nodes are tests a0, a1, etc. or categories 1 or 0–Two arrows (“arcs”) exit from each test node, labeled left and right.–Take the right arc when test says the attribute is present (1), left arc otherwise

Page 41: 1 Homeland Security: What can Mathematics Do? Examples from Work at CCICADA

41

Binary Decision Tree Approach

•Reach category 1 from the root only through the path a0 to a1 to 1.

•Container is classified in category 1 iff it has both attributes a0 and a1 .

•Corresponding Decision Rule• F(11) = 1, F(10) = F(01) = F(00) = 0.

Figure 1

Page 42: 1 Homeland Security: What can Mathematics Do? Examples from Work at CCICADA

42

Binary Decision Tree Approach

•Reach category 1 from the root only through the path a1 to a0 to 1.

•Container is classified in category 1 iff it has both attributes a0 and a1 .

•Corresponding Decision Rule:• F(11) = 1, F(10) = F(01) = F(00) = 0. •Note: Different tree, same Decision Rule

Figure 2

Page 43: 1 Homeland Security: What can Mathematics Do? Examples from Work at CCICADA

43

Binary Decision Tree Approach•Reach category 1 from the root by:a0 L to a1 R a2 R 1 ora0 R a2 R1

•Container classified in category 1 iff it hasa1 and a2 and not a0 or a0 and a2 and possibly a1.

•Corresponding Decision Rule:• F(111) = F(101) = F(011) = 1, F(abc) = 0 otherwise.

Figure 3

Page 44: 1 Homeland Security: What can Mathematics Do? Examples from Work at CCICADA

44

Binary Decision Tree Approach•This binary decision tree corresponds to the same Decision rule

F(111) = F(101) = F(011) = 1, F(abc) = 0 otherwise.

However, it has one less test node ai. So, it is more efficient if all tests are equally costly and equally likely.

Figure 4

Page 45: 1 Homeland Security: What can Mathematics Do? Examples from Work at CCICADA

45

Binary Decision Tree Approach•So we have seen that a given Decision Rule may correspond to different binary decision trees.•How do we find a binary decision tree corresponding to a Decision Rule?•How do we find a least cost one?

Port of Long Beach

Page 46: 1 Homeland Security: What can Mathematics Do? Examples from Work at CCICADA

46

Binary Decision Tree Approach

•For small n = number of attributes, can try to find least cost binary decision tree by trying all possible binary decision trees corresponding to the Decision Rule F. •Even for n = 4, not practical. (n = 4 at Port of Long Beach-Los Angeles)•Methods developed at CCICADA work for n up to 20.

Port of Long Beach

Page 47: 1 Homeland Security: What can Mathematics Do? Examples from Work at CCICADA

47

III. Nuclear Detection using Taxicabsand/or Police Cars

Page 48: 1 Homeland Security: What can Mathematics Do? Examples from Work at CCICADA

48

Nuclear Detection Using Vehicles• Distribute GPS tracking and nuclear detection devices to

taxicabs or police cars in a metropolitan area.– Feasibility: New technologies are making devices

portable, powerful, and cheaper.– Some police departments are already experimenting

with nuclear detectors. • Taxicabs are a good example because their movements

are subject to considerable uncertainty – confusing the “bad guys” as to where we are searching.

• Send out signals if the vehicles are getting close to nuclear sources.

• Analyze the information (both locations and nuclear signals) to detect potential location of a source.

Page 49: 1 Homeland Security: What can Mathematics Do? Examples from Work at CCICADA

49

Nuclear Detection Using VehiclesIssues of Concern in our Project:

• Our discussions with law enforcement suggest reluctance to depend on the private sector (e.g., taxicab drivers) in surveillance

• However, are there enough police cars to get sufficient “coverage” in a region?

• How many vehicles are needed for sufficient coverage?• How does the answer depend upon:

– Routes vehicles take?– Range of the detectors?– False positive and false negative rates of detectors?

Page 50: 1 Homeland Security: What can Mathematics Do? Examples from Work at CCICADA

50

Detectors in Vehicles – Model Components

• In our early work, we did not have a specific model of vehicle movement.

• We assumed that vehicles are randomly moved to new locations in the region being monitored each time period.

• If there are many vehicles with sufficiently random movements, this is a reasonable first approximation.

• It is probably ok for taxicabs, less so for police cars.

Page 51: 1 Homeland Security: What can Mathematics Do? Examples from Work at CCICADA

51

Vehicles – Clustering of Events• Definition of Clusters:

– Unusually large number of events/patterns clumping within a small region of time, space or location in a sequence

– A cluster of alarms suggests there is a source

• Use statistical methods developed at CCICADA to see if there is a cluster:

• Statistical methods we use are called Scan Statistics– Scan entire study area and seek to locate region(s)

with unusually high likelihood of events/alarms

Page 52: 1 Homeland Security: What can Mathematics Do? Examples from Work at CCICADA

52A simulation of taxicab locations

at morning rush hour

Manhattan, New York City

...........

.

.

.

.. .

.

.

.

.

.

..

.. .

.

.

.

..

+GPS tracking

deviceNuclear sensor

device

dirty bomb?

Nuclear Detectionusing Taxicabs

Page 53: 1 Homeland Security: What can Mathematics Do? Examples from Work at CCICADA

53

Number of Vehicles Needed • The required number of vehicles in the surveillance network

can be determined by statistical power analysis – The larger # of vehicles, the higher power of detection

• An illustrative example: – A surveillance network covers area 4000 ft by 10000 ft

Roughly equal to the area of the roads and sidewalks of Mid/Downtown Manhattan

– N vehicles are randomly moving around in the area Fix key parameters

– Effective range of a working detector– False positive & false negative rates for detectors– The ranges and rates we used are not realistic, but we

wanted to test general methods, & not be tied to today’s technology

– A fixed nuclear source randomly placed in the area

Page 54: 1 Homeland Security: What can Mathematics Do? Examples from Work at CCICADA

54

Number of Vehicles Needed First Model

• Effective range of detector: 150 ft.• False positive rate 2%• False negative rate 5%• Varied number of vehicles (= number of

sensors) and ran at least 50 computer simulations for each number of vehicles.

• For each, measure the power = P(D=1/S=1) = probability of detection of a source.

Page 55: 1 Homeland Security: What can Mathematics Do? Examples from Work at CCICADA

55

Number of Vehicles (Sensors) Needed• Sensor range=150 feet, false positive=2%, false negative=5%.

Detection Power

0

0.1

0.2

0.3

0.4

0.5

0.6

0.7

0.8

1500 2000 2500 3000 3500 4000

Number of Sensors

Po

we

r

Conclusion: Need 4000 vehicles to even get 75% power.

Page 56: 1 Homeland Security: What can Mathematics Do? Examples from Work at CCICADA

56

Number of Vehicles Needed • NYPD has 3000+ vehicles in 76 precincts in 5

boroughs. Perhaps 500 to 750 are in streets of Mid/Downtown Manhattan at one time.

• Preliminary conclusion: The number of police cars in Manhattan would not be sufficient to even give 30% power.

• So, if we want to use vehicles, we need a larger fleet, as in taxicabs.

Modified Model• What if we have a better detector, say with an

effective range of 250 ft.?• Don’t change assumptions about false positive

and false negative rates.

Page 57: 1 Homeland Security: What can Mathematics Do? Examples from Work at CCICADA

57

Number of Vehicles (Sensors) Needed•Sensor range=250 feet, false positive=2%, false negative=5%.

Detection Power

0.86

0.88

0.9

0.92

0.94

0.96

0.98

1

1.02

1500 2000 2500 3000 3500 4000

Number of Sensors

Po

wer

Conclusion: 2000 vehicles already give 93% power.

Page 58: 1 Homeland Security: What can Mathematics Do? Examples from Work at CCICADA

58

Number of Vehicles Needed

• There are not enough police cars to accomplish this kind of coverage.

• Taxicabs could do it.• There are other problems with our model as it relates to police cars:

– Police cars tend to remain in their own region/precinct.

– Police cars don’t move around as randomly or as frequently as taxicabs

Page 59: 1 Homeland Security: What can Mathematics Do? Examples from Work at CCICADA

59

Hybrid Model: Police Cars + Taxicabs

• Keeping detectors with effective range of 250 ft., false positive and false negative rates of 2% and 5%, respectively.

• Use 500 police cars split into 25 in each of 20 regions.

• In addition, use 2000 taxicabs ranging through the whole region.

• Now get 98% power.

Page 60: 1 Homeland Security: What can Mathematics Do? Examples from Work at CCICADA

60

Detectors in Cell Phones

• Similar ideas for placing sensors in cell phones have been proposed and tested by the Radiation Laboratory at Purdue University and at Lawrence Livermore.

• At a meeting with the NYC Police Department, where we presented our taxicab and police car work, we were encouraged to explore applying our methods to the cell phone idea.

Page 61: 1 Homeland Security: What can Mathematics Do? Examples from Work at CCICADA

61

IV: Dealing with Climate Change

Page 62: 1 Homeland Security: What can Mathematics Do? Examples from Work at CCICADA

62

Climate and Health

Concerns about global warming.

Resulting impact on health

–Of people

–Of animals

–Of plants

–Of ecosystems

Page 63: 1 Homeland Security: What can Mathematics Do? Examples from Work at CCICADA

63

Climate and Health•Some early warning signs:

–1995 extreme heat event in Chicago514 heat-related deaths3300 excess emergency admissions

–2003 heat wave in Europe35,000 deaths

–Food spoilage on Antarctica

expeditionsNot cold enough to store

food in the ice

Page 64: 1 Homeland Security: What can Mathematics Do? Examples from Work at CCICADA

64

Climate and Health•Some early warning signs:

–Malaria in the African Highlands

–Dengue epidemics

–Floods, hurricanes

Page 65: 1 Homeland Security: What can Mathematics Do? Examples from Work at CCICADA

65

Extreme Events due to Global Warming•We anticipate an increase in number and severity of extreme events due to global warming.

•More heat waves.

•More floods, hurricanes.

Page 66: 1 Homeland Security: What can Mathematics Do? Examples from Work at CCICADA

66

Extreme Events due to Global WarmingAreas of Emphasis At CCICADA

•Evacuations during extreme heat events•Rolling power blackouts during extreme heat events•Emergency vehicle rerouting after floods

•Note: similar emphasis on “heat events” at the Centers for Disease Control and Prevention (CDC)•We work with the CDC and our students have interned there.

Page 67: 1 Homeland Security: What can Mathematics Do? Examples from Work at CCICADA

67

Evacuations during Extreme Heat Events

One response to such events: evacuation of most vulnerable individuals to climate controlled environments.

Mathematical challenges:Where to locate the evacuation centers?

Whom to send where?

Goals include minimizing travel time, keeping facilities to their maximum capacity

Page 68: 1 Homeland Security: What can Mathematics Do? Examples from Work at CCICADA

68

• Work based in Newark NJ• Data includes locations of potential shelters, travel

distance from each city block to potential shelters, and population size and demographic distribution on each city block.

• Determined “at risk” age groups and their likely levels of healthcare needed to avoid serious problems

• Computing optimal routing plans for at-risk population to minimize adverse health outcomes and travel time

• Using techniques of probabilistic mixed integer programming and aspects of location theory constrained by shelter capacity (based on predictions of duration, onset time, and severity of heat events)

Optimal Locations for Shelters in Extreme Heat Events

Page 69: 1 Homeland Security: What can Mathematics Do? Examples from Work at CCICADA

69

Location Theory

• Old problem in Operations research: Where to locate facilities (fire houses, garbage dumps, evacuation centers, etc.) to best serve “users”

• Often deal with a network with nodes, edges, and distances along edges

• Users (evacuees) u1, u2, …, un are located at nodes

• One approach: locate the facility at node x chosen so that sum of distances to users is minimized.

n

• Minimize: d(x,ui) where d(x,ui) is distance x to ui

i=1

Page 70: 1 Homeland Security: What can Mathematics Do? Examples from Work at CCICADA

70

Location Theory

a

e

d c

b

f

1

1

1

1

1

1

1’s represent distances along edges

Nodes are placesfor users/evacuees or facilities

Page 71: 1 Homeland Security: What can Mathematics Do? Examples from Work at CCICADA

71

Location Theory

a

e

d c

b

f

1

1

1

1

1

1

1’s represent distances along edges

d(x,y) = length of shortest routefrom x to ySo, d(a,c) = 2.

Page 72: 1 Homeland Security: What can Mathematics Do? Examples from Work at CCICADA

72

a

e

d c

b

f

1

1

1

1

1

1 u1

u3

u2

Given evacuees at u1, u2, u3, where do we place a facility to minimize the sum of distances to the people being evacuated?

Page 73: 1 Homeland Security: What can Mathematics Do? Examples from Work at CCICADA

73

a

e

d c

b

f

1

1

1

1

1

1 u1

u3

u2

x=a: d(x,ui)=1+1+2=4x=b: d(x,ui)=2+0+1=3

x=c: d(x,ui)=3+1+0=4x=d: d(x,ui)=2+2+1=5

x=e: d(x,ui)=1+3+2=6x=f: d(x,ui)=0+2+3=5

x=b is optimal

Page 74: 1 Homeland Security: What can Mathematics Do? Examples from Work at CCICADA

74

Mathematics, computer science, and homeland security: What can you do to make the world a safer place?