Lecture - Sophia Antipolis

advertisement

Using Complex Networks for Mobility Modeling

Thrasyvoulos (Akis) Spyropoulos

EURECOM www.eurecom.fr/~spyropou

Thrasyvoulos Spyropoulos / spyropoul@eurecom.fr

Eurecom, Sophia-Antipolis

Many domains

Network Design user on the phone

Thrasyvoulos Spyropoulos / spyropou@eurecom.fr

Eurecom, Sophia-Antipolis 2

Mobility Models are Required For:

 Performance evaluation

Analytical Models

• System dynamics must be tractable in order to derive characteristics of interest

Simulations

• Often used as an alternative when models are too complex (no analytical derivation)

• But still complementary to the analytical approach

 Algorithm Design

Networking solutions should be designed according to mobility characteristics

Thrasyvoulos Spyropoulos / spyropou@eurecom.fr

Eurecom, Sophia-Antipolis 3

Evaluation of Cellular Networks

 Aim at providing integrated communications (i.e., voice, video, and data) between nomadic subscribers in a seamless fashion

Mobile user will generate handoffs

VLR

Mobile

Switching

Center

HLR

 Input

Arrival rate of new calls (traffic) Mobile user

Generates new call

Arrival rate of handoffs (mobility)

 Output

HLR load, probability of call rejection, mean download per file

Keeps current

User location

4 Thrasyvoulos Spyropoulos / spyropou@eurecom.fr

Eurecom, Sophia-Antipolis

(Direct) Device-to-Device Communication

Thrasyvoulos Spyropoulos / spyropou@eurecom.fr

Eurecom, Sophia-Antipolis 5

Data/Malware Spreading Over D2D

D

F

E

D

A

D

D

B

D

D

C

Contact Process: Due to node mobility

Q: How long until X% of nodes “infected”?

Thrasyvoulos Spyropoulos / spyropou@eurecom.fr

Eurecom, Sophia-Antipolis 6

Random Waypoint (RWP) Model (1)

Random Way Point: Basics

Thrasyvoulos Spyropoulos / spyropou@eurecom.fr

Eurecom, Sophia-Antipolis 7

Random Waypoint (RWP) Model (2)

1.

2.

3.

4.

A node chooses a random destination anywhere in the network field

The node moves towards that destination with a velocity chosen randomly from [0, Vmax]

After reaching the destination, the node stops for a duration defined by the “pause time” parameter.

This procedure is repeated until the simulation ends

Parameters: Pause time T, max velocity Vmax

Thrasyvoulos Spyropoulos / spyropou@eurecom.fr

Eurecom, Sophia-Antipolis 8

RWP Model Shortcomings

1) RWP leads to non-uniform distribution of nodes due to bias towards the center of the area, due to non-uniform direction selection .

2) Average speed decays over time due to nodes getting ‘stuck’ at low speeds

Thrasyvoulos Spyropoulos / spyropou@eurecom.fr

Eurecom, Sophia-Antipolis 9

Random (RW) Walk Model (1)

 Similar to RWP but

Nodes change their speed/direction every time slot

New direction  is chosen randomly between (0,2  ]

New speed chosen from uniform (or Gaussian) distribution

When node reaches boundary it bounces back with (   )

Thrasyvoulos Spyropoulos / spyropou@eurecom.fr

Eurecom, Sophia-Antipolis 10

Random Walk (2)

Exercise: Does this resolve the 2 RWP problems?

Thrasyvoulos Spyropoulos / spyropou@eurecom.fr

Eurecom, Sophia-Antipolis 11

Understanding mobility is complex

Thrasyvoulos Spyropoulos / spyropou@eurecom.fr

Eurecom, Sophia-Antipolis 12

Realistic Models Quickly Get VERY complicated!

Thrasyvoulos Spyropoulos / spyropou@eurecom.fr

Eurecom, Sophia-Antipolis 13

Classification of Mobility Models

 Scale

Microscopic

- accurately describes the motion of mobile individuals

Macroscopic

- considers the displacement of mobile entities (e.g., pedestrians, vehicles, animals) at a coarse grain, for example in the context of large geographic areas such as adjacent regions or cells

 Inputs

Standard Parameters: speed, direction, …

Additional Inputs: map, topology, preferred/popular locations…

Behavioral: intention, social relations, time-of-day schedule,…

Inherent Randomness: stochastic models (Markov, ODEs, Queuing)

14 Thrasyvoulos Spyropoulos / spyropou@eurecom.fr

Eurecom, Sophia-Antipolis

A Macroscopic Mob. Model for Cell. Networks

 A simple handover model

 cell -> state need to find transition probabilities depend on road structure, user profile, statistics

0.8

0.2

user on the phone

0.6

0.4

0.5

0.3

0.4

0.2

0.7

0.15

0.2

Cellular Network

Thrasyvoulos Spyropoulos / spyropou@eurecom.fr

Markov Chain

Eurecom, Sophia-Antipolis 15

Quick Primer on Markov Chains

P 

0.8

0.6

0.2

0.4

 (π sunny

, π rainy

)  (3/4,1/4)

Stationary Eq.

π i

= Σ j

π j p ji or π = π·P and Σ i

π i

= 1

1) Transitions probabilities can be measured

 get

P  find cell occupancy π

2) Design matrix

P  fit any desired cell occupancy (e.g. “hotspots”)

Issues: a) 1-2 potentially hard to implement b) Is the model “realistic”?

16 Eurecom, Sophia-Antipolis Thrasyvoulos Spyropoulos / spyropou@eurecom.fr

Device-to-Device Networks: Macroscopic View

Connect devices to each other

 Bluetooth, WiFi direct

 It’s all about Contacts!

 Opportunities to exchange data

Contacts are driven by our mobility in a social context!

Thrasyvoulos Spyropoulos / spyropou@eurecom.fr

Eurecom, Sophia-Antipolis 17

The Contact Graph

Thrasyvoulos Spyropoulos / spyropou@eurecom.fr

Eurecom, Sophia-Antipolis 18

Contact Graph Representation of Mobility

 Represent Mobility using a Social/Complex Graph

Physics, Sociology discipline study of large graphs scale-free, small-world, navigation, etc, strong tie between nodes

• social (friends)

• geographic (familiar strangers) time

Actual Graph (over time) aggregate

Conceptual Graph

Thrasyvoulos Spyropoulos / spyropou@eurecom.fr

Eurecom, Sophia-Antipolis 19

Time-based Aggregation

(used by SimBet, BubbleRap)

 „Growing Time Window“ : Edges for all contacts in [0, T]

 „Sliding Time Window“ : Edges for all contacts in [TΔT, T]

Example: ETH trace, 20 nodes on one floor

ΔT = 1h

ΔT = 2h

ΔT = 72h

!

Different networks need different time windows

Thrasyvoulos Spyropoulos / spyropou@eurecom.fr

Eurecom, Sophia-Antipolis 20

20

!

Social Properties of Real Mobility Datasets

 Different origins: AP associations, Bluetooth scans and self- reported

 Gowalla dataset

 ~ 440’000 users

 ~ 16.7 Mio check-ins to ~ 1.6 Mio spots

 473 “power users” who check-in 5/7 days

Thrasyvoulos Spyropoulos / spyropou@eurecom.fr

Eurecom, Sophia-Antipolis 21

It’s a “small world” after all!

 Small numbers (in parentheses) are for random graph

 Clustering is high and paths are short!

Thrasyvoulos Spyropoulos / spyropou@eurecom.fr

Eurecom, Sophia-Antipolis 22

Community Structure

 Louvain community detection algorithm

 All datasets are strongly modular!  clear community structure exists

Thrasyvoulos Spyropoulos / spyropou@eurecom.fr

Eurecom, Sophia-Antipolis 23

Do Random Walk Models have Social Behavior?

 „Growing Time Window“ : Edges for all contacts in [0, T]

 „Sliding Time Window“ : Edges for all contacts in [TΔT, T]

Thrasyvoulos Spyropoulos / spyropou@eurecom.fr

Eurecom, Sophia-Antipolis

24

24

Making Mobility Models “Social”

Random Walk leads to random contact graphs:

Real Mobility leads to contact graphs like this:

3 State-of-the-art Mobility Models

 TVCM: [Hsu et al., Trans. on Networking ‘09] (location-driven, simple)

 Ghost-Simps: [Borrel et al., Trans. on Networking ‘09] (location-driven, complex)

 CMM/HCMM: [Musolesi et al, ACM Realman ‘06] (social/location-driven)

TVCM HCMM

Thrasyvoulos Spyropoulos / spyropou@eurecom.fr

Eurecom, Sophia-Antipolis 25

What about Data Spreading via Contacts?

Assumption 1) Underlay Graph  Erdos-Renyi (Poisson)

Assumption 2) Contact Process  Poisson(λ ij

), Indep.

Assumption 3) Contact Rate  λ ij

= λ (homogeneous)

ET dst

1

λ ln(N)

N

Thrasyvoulos Spyropoulos / spyropou@eurecom.fr

Eurecom, Sophia-Antipolis

26

How realistic is this?

A Poisson Graph

Thrasyvoulos Spyropoulos / spyropou@eurecom.fr

A Real Contact Graph

(ETH Wireless LAN trace)

Eurecom, Sophia-Antipolis 27

Arbitrary Contact Graphs

Thrasyvoulos Spyropoulos / spyropou@eurecom.fr

Eurecom, Sophia-Antipolis 28

Bounding the Transition Delay

E [ T k , k

1

C a

]

 i

C a

1

,

 ij j

C a

 max

C a

 i

C a

1

,

 ij j

C a

 min

C a

1

 i

C a

,

 ij j

C a

 What are we really saying here??

 Let a = 3  how can split the graph into a subgraph of 3 and a subgraph of N-3 node, by removing a set of edges whose weight sum is minimum ?

Thrasyvoulos Spyropoulos / spyropou@eurecom.fr

Eurecom, Sophia-Antipolis 29

A 2nd Bound on Epidemic Delay

  min a

 min

C a a ( N i

C a

,

 ij j

C a

 a )

E [ D epid

]

 a

N 

1 a ( N

1

 a )

 a

 a

N 

1 a ( N

1

 a )

1

 ln N

N

 Φ – conductance: relates to “ min-cut ” of the contact graph

 It also relates to the graph “spectrum” (i.e., eigenvalues )

Thrasyvoulos Spyropoulos / spyropou@eurecom.fr

Eurecom, Sophia-Antipolis 30

MERCI!

Thrasyvoulos Spyropoulos / spyropou@eurecom.fr

Eurecom, Sophia-Antipolis 31

Download