mirror of
https://github.com/gsi-upm/soil
synced 2024-11-25 04:12:29 +00:00
1351 lines
47 KiB
Plaintext
1351 lines
47 KiB
Plaintext
{
|
|
"cells": [
|
|
{
|
|
"cell_type": "markdown",
|
|
"metadata": {
|
|
"ExecuteTime": {
|
|
"end_time": "2017-10-19T12:41:48.007238Z",
|
|
"start_time": "2017-10-19T14:41:47.980725+02:00"
|
|
}
|
|
},
|
|
"source": [
|
|
"# Soil Tutorial"
|
|
]
|
|
},
|
|
{
|
|
"cell_type": "markdown",
|
|
"metadata": {
|
|
"ExecuteTime": {
|
|
"end_time": "2017-07-02T16:44:14.120953Z",
|
|
"start_time": "2017-07-02T18:44:14.117152+02:00"
|
|
}
|
|
},
|
|
"source": [
|
|
"## Introduction"
|
|
]
|
|
},
|
|
{
|
|
"cell_type": "markdown",
|
|
"metadata": {
|
|
"cell_style": "center",
|
|
"collapsed": true
|
|
},
|
|
"source": [
|
|
"This notebook is an introduction to the soil agent-based social network simulation framework.\n",
|
|
"In particular, we will focus on a specific use case: studying the propagation of news in a social network.\n",
|
|
"\n",
|
|
"The steps we will follow are:\n",
|
|
"\n",
|
|
"* Modelling the behavior of agents\n",
|
|
"* Running the simulation using different configurations\n",
|
|
"* Analysing the results of each simulation"
|
|
]
|
|
},
|
|
{
|
|
"cell_type": "markdown",
|
|
"metadata": {
|
|
"ExecuteTime": {
|
|
"end_time": "2017-07-03T13:38:48.052876Z",
|
|
"start_time": "2017-07-03T15:38:48.044762+02:00"
|
|
}
|
|
},
|
|
"source": [
|
|
"But before that, let's import the soil module and networkx."
|
|
]
|
|
},
|
|
{
|
|
"cell_type": "code",
|
|
"execution_count": 1,
|
|
"metadata": {
|
|
"ExecuteTime": {
|
|
"end_time": "2017-11-03T10:58:13.451481Z",
|
|
"start_time": "2017-11-03T11:58:12.643469+01:00"
|
|
}
|
|
},
|
|
"outputs": [
|
|
{
|
|
"name": "stdout",
|
|
"output_type": "stream",
|
|
"text": [
|
|
"Populating the interactive namespace from numpy and matplotlib\n"
|
|
]
|
|
}
|
|
],
|
|
"source": [
|
|
"import soil\n",
|
|
"import networkx as nx\n",
|
|
" \n",
|
|
"%load_ext autoreload\n",
|
|
"%autoreload 2\n",
|
|
"\n",
|
|
"%pylab inline\n",
|
|
"# To display plots in the notebooed_"
|
|
]
|
|
},
|
|
{
|
|
"cell_type": "markdown",
|
|
"metadata": {
|
|
"ExecuteTime": {
|
|
"end_time": "2017-07-03T13:41:19.788717Z",
|
|
"start_time": "2017-07-03T15:41:19.785448+02:00"
|
|
}
|
|
},
|
|
"source": [
|
|
"## Basic concepts"
|
|
]
|
|
},
|
|
{
|
|
"cell_type": "markdown",
|
|
"metadata": {},
|
|
"source": [
|
|
"There are three main elements in a soil simulation:\n",
|
|
" \n",
|
|
"* The network topology. A simulation may use an existing NetworkX topology, or generate one on the fly\n",
|
|
"* Agents. There are two types: 1) network agents, which are linked to a node in the topology, and 2) environment agents, which are freely assigned to the environment.\n",
|
|
"* The environment. It assigns agents to nodes in the network, and stores the environment parameters (shared state for all agents).\n",
|
|
"\n",
|
|
"Soil is based on ``simpy``, which is an event-based network simulation library.\n",
|
|
"Soil provides several abstractions over events to make developing agents easier.\n",
|
|
"This means you can use events (timeouts, delays) in soil, but for the most part we will assume your models will be step-based.\n"
|
|
]
|
|
},
|
|
{
|
|
"cell_type": "markdown",
|
|
"metadata": {
|
|
"ExecuteTime": {
|
|
"end_time": "2017-07-02T15:55:12.933978Z",
|
|
"start_time": "2017-07-02T17:55:12.930860+02:00"
|
|
}
|
|
},
|
|
"source": [
|
|
"## Modeling behaviour"
|
|
]
|
|
},
|
|
{
|
|
"cell_type": "markdown",
|
|
"metadata": {
|
|
"ExecuteTime": {
|
|
"end_time": "2017-07-03T13:49:31.269687Z",
|
|
"start_time": "2017-07-03T15:49:31.257850+02:00"
|
|
}
|
|
},
|
|
"source": [
|
|
"Our first step will be to model how every person in the social network reacts when it comes to news.\n",
|
|
"We will follow a very simple model (a finite state machine).\n",
|
|
"\n",
|
|
"There are two types of people, those who have heard about a newsworthy event (infected) or those who have not (neutral).\n",
|
|
"A neutral person may heard about the news either on the TV (with probability **prob_tv_spread**) or through their friends.\n",
|
|
"Once a person has heard the news, they will spread it to their friends (with a probability **prob_neighbor_spread**).\n",
|
|
"Some users do not have a TV, so they only rely on their friends.\n",
|
|
"\n",
|
|
"The spreading probabilities will change over time due to different factors.\n",
|
|
"We will represent this variance using an environment agent."
|
|
]
|
|
},
|
|
{
|
|
"cell_type": "markdown",
|
|
"metadata": {},
|
|
"source": [
|
|
"### Network Agents"
|
|
]
|
|
},
|
|
{
|
|
"cell_type": "markdown",
|
|
"metadata": {
|
|
"ExecuteTime": {
|
|
"end_time": "2017-07-03T14:03:07.171127Z",
|
|
"start_time": "2017-07-03T16:03:07.165779+02:00"
|
|
}
|
|
},
|
|
"source": [
|
|
"A basic network agent in Soil should inherit from ``soil.agents.BaseAgent``, and define its behaviour in every step of the simulation by implementing a ``run(self)`` method.\n",
|
|
"The most important attributes of the agent are:\n",
|
|
"\n",
|
|
"* ``agent.state``, a dictionary with the state of the agent. ``agent.state['id']`` reflects the state id of the agent. That state id can be used to look for other networks in that specific state. The state can be access via the agent as well. For instance:\n",
|
|
"```py\n",
|
|
"a = soil.agents.BaseAgent(env=env)\n",
|
|
"a['hours_of_sleep'] = 10\n",
|
|
"print(a['hours_of_sleep'])\n",
|
|
"```\n",
|
|
" The state of the agent is stored in every step of the simulation:\n",
|
|
" ```py\n",
|
|
" print(a['hours_of_sleep', 10]) # hours of sleep before step #10\n",
|
|
" print(a[None, 0]) # whole state of the agent before step #0\n",
|
|
" ```\n",
|
|
"\n",
|
|
"* ``agent.env``, a reference to the environment. Most commonly used to get access to the environment parameters and the topology:\n",
|
|
" ```py\n",
|
|
" a.env.G.nodes() # Get all nodes ids in the topology\n",
|
|
" a.env['minimum_hours_of_sleep']\n",
|
|
"\n",
|
|
" ```\n",
|
|
"\n",
|
|
"Since our model is a finite state machine, we will be basing it on ``soil.agents.FSM``.\n",
|
|
"\n",
|
|
"With ``soil.agents.FSM``, we do not need to specify a ``step`` method.\n",
|
|
"Instead, we describe every step as a function.\n",
|
|
"To change to another state, a function may return the new state.\n",
|
|
"If no state is returned, the state remains unchanged.[\n",
|
|
"It will consist of two states, ``neutral`` (default) and ``infected``.\n",
|
|
"\n",
|
|
"Here's the code:"
|
|
]
|
|
},
|
|
{
|
|
"cell_type": "code",
|
|
"execution_count": 2,
|
|
"metadata": {
|
|
"ExecuteTime": {
|
|
"end_time": "2017-11-03T10:58:16.051690Z",
|
|
"start_time": "2017-11-03T11:58:16.006044+01:00"
|
|
},
|
|
"collapsed": true
|
|
},
|
|
"outputs": [],
|
|
"source": [
|
|
"import random\n",
|
|
"\n",
|
|
"class NewsSpread(soil.agents.FSM):\n",
|
|
" @soil.agents.default_state\n",
|
|
" @soil.agents.state\n",
|
|
" def neutral(self):\n",
|
|
" r = random.random()\n",
|
|
" if self['has_tv'] and r < self.env['prob_tv_spread']:\n",
|
|
" return self.infected\n",
|
|
" return\n",
|
|
" \n",
|
|
" @soil.agents.state\n",
|
|
" def infected(self):\n",
|
|
" prob_infect = self.env['prob_neighbor_spread']\n",
|
|
" for neighbor in self.get_neighboring_agents(state_id=self.neutral.id):\n",
|
|
" r = random.random()\n",
|
|
" if r < prob_infect:\n",
|
|
" neighbor.state['id'] = self.infected.id\n",
|
|
" return\n",
|
|
" "
|
|
]
|
|
},
|
|
{
|
|
"cell_type": "markdown",
|
|
"metadata": {
|
|
"ExecuteTime": {
|
|
"end_time": "2017-07-02T12:22:53.931963Z",
|
|
"start_time": "2017-07-02T14:22:53.928340+02:00"
|
|
}
|
|
},
|
|
"source": [
|
|
"### Environment agents"
|
|
]
|
|
},
|
|
{
|
|
"cell_type": "markdown",
|
|
"metadata": {},
|
|
"source": [
|
|
"Environment agents allow us to control the state of the environment.\n",
|
|
"In this case, we will use an environment agent to simulate a very viral event.\n",
|
|
"\n",
|
|
"When the event happens, the agent will modify the probability of spreading the rumor."
|
|
]
|
|
},
|
|
{
|
|
"cell_type": "code",
|
|
"execution_count": 3,
|
|
"metadata": {
|
|
"ExecuteTime": {
|
|
"end_time": "2017-11-03T10:58:17.653736Z",
|
|
"start_time": "2017-11-03T11:58:17.612944+01:00"
|
|
},
|
|
"collapsed": true
|
|
},
|
|
"outputs": [],
|
|
"source": [
|
|
"NEIGHBOR_FACTOR = 0.9\n",
|
|
"TV_FACTOR = 0.5\n",
|
|
"class NewsEnvironmentAgent(soil.agents.BaseAgent):\n",
|
|
" def step(self):\n",
|
|
" if self.now == self['event_time']:\n",
|
|
" self.env['prob_tv_spread'] = 1\n",
|
|
" self.env['prob_neighbor_spread'] = 1\n",
|
|
" elif self.now > self['event_time']:\n",
|
|
" self.env['prob_tv_spread'] = self.env['prob_tv_spread'] * TV_FACTOR\n",
|
|
" self.env['prob_neighbor_spread'] = self.env['prob_neighbor_spread'] * NEIGHBOR_FACTOR"
|
|
]
|
|
},
|
|
{
|
|
"cell_type": "markdown",
|
|
"metadata": {
|
|
"ExecuteTime": {
|
|
"end_time": "2017-07-02T11:23:18.052235Z",
|
|
"start_time": "2017-07-02T13:23:18.047452+02:00"
|
|
}
|
|
},
|
|
"source": [
|
|
"### Testing the agents"
|
|
]
|
|
},
|
|
{
|
|
"cell_type": "markdown",
|
|
"metadata": {
|
|
"ExecuteTime": {
|
|
"end_time": "2017-07-02T16:14:54.572431Z",
|
|
"start_time": "2017-07-02T18:14:54.564095+02:00"
|
|
}
|
|
},
|
|
"source": [
|
|
"Feel free to skip this section if this is your first time with soil."
|
|
]
|
|
},
|
|
{
|
|
"cell_type": "markdown",
|
|
"metadata": {},
|
|
"source": [
|
|
"Testing agents is not easy, and this is not a thorough testing process for agents.\n",
|
|
"Rather, this section is aimed to show you how to access internal pats of soil so you can test your agents."
|
|
]
|
|
},
|
|
{
|
|
"cell_type": "markdown",
|
|
"metadata": {
|
|
"cell_style": "split"
|
|
},
|
|
"source": [
|
|
"First of all, let's check if our network agent has the states we would expect:"
|
|
]
|
|
},
|
|
{
|
|
"cell_type": "code",
|
|
"execution_count": 4,
|
|
"metadata": {
|
|
"ExecuteTime": {
|
|
"end_time": "2017-11-03T10:58:19.781155Z",
|
|
"start_time": "2017-11-03T11:58:19.754362+01:00"
|
|
},
|
|
"cell_style": "split"
|
|
},
|
|
"outputs": [
|
|
{
|
|
"data": {
|
|
"text/plain": [
|
|
"{'infected': <function __main__.NewsSpread.infected>,\n",
|
|
" 'neutral': <function __main__.NewsSpread.neutral>}"
|
|
]
|
|
},
|
|
"execution_count": 4,
|
|
"metadata": {},
|
|
"output_type": "execute_result"
|
|
}
|
|
],
|
|
"source": [
|
|
"NewsSpread.states"
|
|
]
|
|
},
|
|
{
|
|
"cell_type": "markdown",
|
|
"metadata": {
|
|
"cell_style": "split"
|
|
},
|
|
"source": [
|
|
"Now, let's run a simulation on a simple network. It is comprised of three nodes:\n"
|
|
]
|
|
},
|
|
{
|
|
"cell_type": "code",
|
|
"execution_count": 5,
|
|
"metadata": {
|
|
"ExecuteTime": {
|
|
"end_time": "2017-11-03T10:58:20.791777Z",
|
|
"start_time": "2017-11-03T11:58:20.565173+01:00"
|
|
},
|
|
"cell_style": "split",
|
|
"scrolled": false
|
|
},
|
|
"outputs": [
|
|
{
|
|
"data": {
|
|
"image/png": "iVBORw0KGgoAAAANSUhEUgAAAX8AAAD8CAYAAACfF6SlAAAABHNCSVQICAgIfAhkiAAAAAlwSFlz\nAAALEgAACxIB0t1+/AAAHNVJREFUeJzt3X+UFOWd7/H3VwaYGY1kVNBBGSARE1hBXRtd70ZlV9gg\nyYr8SBYjCl4JN7je/WMPnstc1xh1z8EfmL33nkQM111B9mx0FRaIAUWJGJMVnGHVQSAK4i8Cl0EX\nJ+rMiMD3/lE12jTd0z1T1T0/6vM6p09Xdz1d9XUYP13z1FNPmbsjIiLJckJXFyAiIqWn8BcRSSCF\nv4hIAin8RUQSSOEvIpJACn8RkQRS+IuIJJDCX0QkgRT+IiIJVNbVBeRy2mmn+bBhw7q6DBGRHmXL\nli3vu/vAfO26bfgPGzaM+vr6ri5DRKRHMbN3Cmmnbh8RkQRS+IuIJJDCX0QkgRT+IiIJpPAXEUkg\nhb+ISAIp/EVEEiiW8DeziWb2upntMrMFWdb/rZltN7MGM9tgZkPj2K+IiHRO5PA3sz7AT4ErgVHA\nNWY2KqPZy0DK3ccATwD3Rt2viIh0XhxH/hcBu9x9t7sfAh4FJqc3cPfn3L05fLkJOCuG/YqISCfF\nMb3DmcB7aa/3ABe30/5GYF0M+5WkaWyEpUuhoQGammDAABgzBm64AQbmncpERNLEEf6W5T3P2tBs\nJpACLs+xfi4wF6CmpiaG0qRXqKuDhQthXXjM0Nr6xbqVK+H22+HKK6G2FsaO7ZoaRXqYOLp99gBD\n0l6fBezNbGRm44Fbgavc/dNsG3L3Je6ecvfUQB3JCcDixTBuHKxaFYR+evADtLQE761aFbRbvLgr\nqhTpceII/zpghJkNN7N+wAxgTXoDM7sA+BlB8DfGsE9JgsWLYf58aG4Gz/rH5Bfcg3bz5+sLQKQA\nkcPf3Q8DNwNPAzuAf3X3bWZ2p5ldFTa7DzgJeNzMXjGzNTk2JxKoq/si+NN8BziRoK/x7Gyfa/sC\n0HTgIu2KZT5/d18LrM1474dpy+Pj2I8kyMKFQZdOhuHA3xD8aZm17xCCzy1cCCtWFK8+kR6u297M\nRRKssTE4uZulq6ftApEXgP+X6/PusHYtHDigUUAiOWh6B+l+li6Nvg2zeLYj0ksp/KX7aWg4flRP\nR7W0wNat8dQj0gsp/KX7aWqKZzsHD8azHZFeSOEv3c+AAfFsp6oqnu2I9EIKf+l2WkaM4LM+fbKu\nawU+BI4AR8PlrB1EFRUwenSxShTp8RT+0i0cOnSIe++9l3POOYdhP/oRR44cydpuIlBFMDvgW+Hy\nxGwN3WH27CJVK9LzKfwlp8ZtB7h30kZmDv8Nf3n6ZmYO/w33TtrIgR3vx7L9o0eP8vDDD3PBBRdQ\nUVHBHXfcwciRI/llXR3lU6YEI3YybCSYOCr9sTGzkRlMmqRhniLtcfdu+bjwwgtdusZLS7f5lOoX\nvZwWL+cTDw6jg0cFn3g5zT6l+kV/aem2Tm3/F7/4hV966aVeVlbmffv29XHjxvlTTz2VUcRL7pWV\nfszOC31UVrrX1cXwkxDpeYB6LyBjdeQvx1h8zfOMmz2UVfvG0ko5rVQes76FSlqpYNW+sYybPZTF\n1zxf0HY3b97Mt7/9bSorK5k8eTLNzc08/PDDtLa28txzz/HNb37z2A+MHQuLFkFlZfYN5lJZGXwu\nlerY50SSppBviK546Mi/9B6YsdEr+bhjB9l87A/M2Jh1e2+88YZfe+21PmDAADcz/9rXvub333+/\nf/rppx0o6oHgSN6s/ULMgnYPPBDTT0OkZ6LAI/8uD/lcD4V/ab20dFuO4N/lUB12r/dxuCnrF0Dd\nsqALaP/+/X7zzTf7oEGDHPAhQ4Z4bW2tNzU1db64ujr3qVPdy8vdKyqO3XlFRfD+1Knq6hHxwsNf\nc/sIAAtr/0AL5VnW/DnBFFD7gJXAXwN/QfqdOlsop/av97Dzh5N45513GDhwINOmTeO2225j8ODB\n0YtLpYJJ2g4cCKZs2Lo1uICrqioYzjl7tk7uinSQBV8U3U8qlfJ6TctbEo3bDjD03C/Relz4NwKn\nA08BbX3yXwEGEQy2/EJ/Wpg+8b9x649rGTlyZLFLFpEczGyLu+c96aUTvsLSW7YRXDKVaUP4nH4y\ndhTBCPtjnYBz3gn/VcEv0kMo/IWGHWXHjeoJfMDxvyKnkG0m/RYq2bpDvYgiPYXCX2hq7ptjzakc\n/xfBQaB/1tYHP8m1HRHpbnSo1lUaG4OTlw0NwSyWAwbAmDFwww0lO3l59OhRXnzxRQ635Lpi94rw\n+RlgQri8neB+WserOvGzeAsUkaJR+JdaXV1wi8F164LX6fPWr1wJt98OV14JtbXBhU4xam5u5vHH\nH2f16tXU1dWxd+9eAMaX1VLOhCxdP4OAIcAcoA5YAewGfnzctitoZvTIw7HWKyLFo/AvpcWLg5uL\nt7RkvUXh5/esXbUKnn46uFJ13rxO7+6tt97ikUceYf369Wzfvp0PP/yQ8vJyhg8fzre+9S1mzJjB\nZZddxvs7PmDoubl6AJ8DvkEw6qcPcBPpwzzbOMbsRed2ulYRKbFCLgbI9yCYWPF1YBewIMv6y4D/\nAA4D0wvZZq+7yKvtStXw4qQm8BHgfcL5ySrA78g2R02BV6weOXLE169f73PmzPGvf/3r3r9/fwe8\nqqrKv/GNb/hdd93lb7/9ds7PT6l+0Y3DnZpKxzjsUwf/e1w/KRGJgFJd4UtwOPgmwQDwfsCrwKiM\nNsOAMcAjiQz/LJOU7Qe/HPwF8M/Abwu/BF4ocJKypqYmf/DBB33SpEleXV3tZuZ9+vTxIUOG+LRp\n03z58uXe0tJSeIk5r/DN/0i/wldEulah4R9Ht89FwC533w1gZo8S9AtsT/vr4u1wXbbB5L3fwoVf\ndOmEBnHsVMR3AvcBqwk6WT7X0gILF7Lj7/+e5cuX8+yzz/K73/2Ojz76iIqKCs4++2ymT5/Otdde\ny8UXX9zpEsfOGsWip55n/qMpmjmx4M9V8gmLZtSTuv7yTu9bREovjvA/E3gv7fUeoFMpZGZzgbkA\nNTU10SvrDhobg5O7ea6kfo3gjlR/lrnCnZaVK7ls5Ur81FM577zzuO2227juuus444wzYi113s8v\nB4IvgBbKcbLfTQvAOEIFrSyaUR9+TkR6kjjC//g7bgRdGB3m7kuAJRBM7xClqM919ZDKpUvzNmkm\nOCnydWBSlvV9+/Vj3x13ULZgQby1ZTHv55cz9srtLKxtYu3e8zGclrRRQBU04xiTBr9C7cIBOuIX\n6aHiCP89BOMB25wF7I1hu9F04ZDKYzQ0HLvvDIcJQr8M2JKjTdmhQ7B9e4618UtdP4oV18OBHe+z\ndP5rbN1RxsFP+lJ14meMHnmY2YvOZeDIS0pWj4jEL47wrwNGmNlw4PfADOB7MWy380o8pDKX5uZm\nPtyxg1zzWh4FRgIfEZwxb/e2JQcPxlxdfgNHnsYtvxxX8v2KSPFFnt7B3Q8DNwNPAzuAf3X3bWZ2\np5ldBWBmY81sD/Ad4Gdmti3qfnNqC/7m5rz97LgH7ebPDz4XQWtrKytWrGDOnDmMGTOGk046iRNP\nPJGNL7+c8zPnEkyUvINgxpx2VVVFqk9EJF0sF3m5+1pgbcZ7P0xbriPoDiquurovgj/NcOBdgiPt\nvsA1wLL0Bm1fAGPHFnT7v0OHDrFu3TqefPJJXnrpJXbv3s3HH39M3759GTx4MOeddx7f//73mTZt\nGoP/+Z+DLqaMrp/fEoQ+QHXa+/OABzJ3WFERzFsvIhKT3jWf/9SpQVdOxn/TaoJRNCcTfEP9JUH4\nz0xvZAZTpgQ3DUlz6NAh1q9fz5NPPsnmzZt58803+eijj+jbty/V1dWMHj2a8ePHM3Xq1OwjlBob\nYejQdvv98yovh3ff1Q1LRCSvQufz7z3TO7QzpDJ9MoK2oUlbyAh/d3ztWn716KOs+PWv2bRpE2++\n+SZ/+MMfKCsr+zzoZ86cyfTp0xk6dGhhdQ0aFJxYzvKlVBAzmDRJwS8iseo94Z9nSOW5QNuJhgrg\nf2Rp09LayvrvfY81gwczevRoZsyYwbRp0/jqV78arbba2uDEckZ3VEEqKoLPi4jEqPeEf54hla8B\nh4CHCO5Ee3KWNpXAPTNncs8jj8Rb29ixwYiiLOcj2lVZGXyugPMQIiId0Xtu5tLUlLdJP4I5KfcC\n1+VqVKwhlfPmBUFeWRl05bTH7IvgL8IQVBGR3hP+AwYU3PQIwbj6rIo5pHLePHj++eDEcnl50KWT\nrqIieH/KlKCdgl9EiqT3dPuMGROM1Mno+tkG/Az4nwRj6e8D3gCy9qKXYkhlKhXUeeBAcJ5i69bg\nr42qqmDfs2fr5K6IFF3vGeqZY0jlDuASoK1TqD/wXYK5pY+jIZUi0sMVOtSz93T7tA2pzOhPHwl8\nSDhZPsHMmVmDX0MqRSRBek/4QzAkMrMfvVAaUikiCdK7wr9tSGVlu1OkHU9DKkUkYXrPCd82bSNk\n2pvVs41ZcMSvIZUikjC968i/jYZUioi0q/cd+bfRkEoRkZx6b/i3GTgQbrmlq6sQEelWeme3j4iI\ntEvhLyKSQAp/EZEEUviLiCRQLOFvZhPN7HUz22VmC7Ks729mj4XrN5vZsDj2KyIinRM5/M2sD/BT\n4EpgFHCNmY3KaHYjcNDdzwb+Abgn6n5FRKTz4jjyvwjY5e673f0Q8CjH3jaX8PWycPkJ4AqzfHc0\nERGRYokj/M8E3kt7vSd8L2sbdz9MMMPyqZkbMrO5ZlZvZvUHDhyIoTQREckmjvDPdgSfOaFOIW1w\n9yXunnL31EBdfSsiUjRxhP8eYEja67MIbpObtY2ZlQEDgP+MYd8iItIJcYR/HTDCzIabWT9gBrAm\no80aYFa4PB34lXfXW4iJiCRA5Ll93P2wmd0MPA30Af7J3beZ2Z1AvbuvAf4RWG5muwiO+GdE3a+I\niHReLBO7uftaYG3Gez9MW24FvhPHvkREJDpd4SsikkAKfxGRBFL4i4gkkMJfRCSBFP4iIgmk8BcR\nSSCFv4hIAin8RUQSSOEvIpJACn8RkQRS+IuIJJDCX0QkgRT+IiIJpPAXEUkghb+ISAIp/EVEEkjh\nLyKSQAp/EZEEUviLiCRQpPA3s1PM7Bkz2xk+V+Vo95SZfWhmT0bZn4iIxCPqkf8CYIO7jwA2hK+z\nuQ+4LuK+REQkJlHDfzKwLFxeBlydrZG7bwA+irgvERGJSdTwP93d9wGEz4OilyQiIsVWlq+BmT0L\nnJFl1a1xF2Nmc4G5ADU1NXFvXkREQnnD393H51pnZvvNrNrd95lZNdAYpRh3XwIsAUilUh5lWyIi\nklvUbp81wKxweRawOuL2RESkBKKG/93ABDPbCUwIX2NmKTN7qK2Rmb0APA5cYWZ7zOybEfcrIiIR\n5O32aY+7fwBckeX9emBO2utLo+xHRETipSt8RUQSSOEvIpJACn8RkQRS+IuIJJDCX0QkgRT+IiIJ\npPAXEUkghb+ISAIp/EVEEkjhLyKSQAp/EZEEUviLiCSQwl9EJIEU/iIiCaTwFxFJIIW/iEgCKfxF\nRBJI4S8ikkAKfxGRBIoU/mZ2ipk9Y2Y7w+eqLG3ON7MXzWybmTWY2V9F2aeIiEQX9ch/AbDB3UcA\nG8LXmZqB6939j4CJwP8ysy9H3K+IiEQQNfwnA8vC5WXA1ZkN3P0Nd98ZLu8FGoGBEfcrIiIRRA3/\n0919H0D4PKi9xmZ2EdAPeDPifkVEJIKyfA3M7FngjCyrbu3IjsysGlgOzHL3oznazAXmAtTU1HRk\n8yIi0gF5w9/dx+daZ2b7zaza3feF4d6Yo93JwC+Bv3P3Te3sawmwBCCVSnm+2kREpHOidvusAWaF\ny7OA1ZkNzKwf8G/AI+7+eMT9iYhIDKKG/93ABDPbCUwIX2NmKTN7KGzzXeAyYLaZvRI+zo+4XxER\nicDcu2fvSiqV8vr6+q4uQ0SkRzGzLe6eytdOV/iKiCSQwl9EJIEU/iIiCaTwFxFJIIW/iEgCKfxF\nRBJI4S8ikkAKfxGRBFL4i4gkkMJfRCSBFP4iIgmk8BcRSSCFv4hIAin8RUQSSOEvIpJACn8RkQRS\n+IuIJJDCX0QkgRT+IiIJFCn8zewUM3vGzHaGz1VZ2gw1sy3hjdu3mdkPouxTRESii3rkvwDY4O4j\ngA3h60z7gP/i7ucDFwMLzGxwxP2KiEgEUcN/MrAsXF4GXJ3ZwN0Pufun4cv+MexTREQiihrEp7v7\nPoDweVC2RmY2xMwagPeAe9x9b8T9iohIBGX5GpjZs8AZWVbdWuhO3P09YEzY3bPKzJ5w9/1Z9jUX\nmAtQU1NT6OZFRKSD8oa/u4/Ptc7M9ptZtbvvM7NqoDHPtvaa2TbgUuCJLOuXAEsAUqmU56tNREQ6\nJ2q3zxpgVrg8C1id2cDMzjKzinC5CvhT4PWI+xURkQiihv/dwAQz2wlMCF9jZikzeyhsMxLYbGav\nAs8Di9x9a8T9iohIBHm7fdrj7h8AV2R5vx6YEy4/A4yJsh8REYmXhl2KiCSQwl9EJIEU/iIiCaTw\nFxFJIIW/iEgCKfxFRBJI4S8ikkAKfxGRBFL4i4gkkMJfRCSBFP4iIgmk8BcRSSCFv4hIAin8RUQS\nSOEvIpJACn8RkQRS+IuIJJDCX0QkgRT+IiIJFCn8zewUM3vGzHaGz1XttD3ZzH5vZj+Jsk8REYku\n6pH/AmCDu48ANoSvc7kLeD7i/kREJAZRw38ysCxcXgZcna2RmV0InA6sj7g/ERGJQdTwP93d9wGE\nz4MyG5jZCcD9wC0R9yUiIjEpy9fAzJ4Fzsiy6tYC93ETsNbd3zOzfPuaC8wFqKmpKXDzIiLSUXnD\n393H51pnZvvNrNrd95lZNdCYpdklwKVmdhNwEtDPzD529+POD7j7EmAJQCqV8kL/I0REpGPyhn8e\na4BZwN3h8+rMBu5+bduymc0GUtmCX0RESidqn//dwAQz2wlMCF9jZikzeyhqcSIiUhzm3j17V1Kp\nlNfX13d1GSIiPYqZbXH3VL52usJXRCSBovb5i4hIRzU2wtKl0NAATU0wYACMGQM33AADB5akBIW/\niEip1NXBwoWwbl3wurX1i3UrV8Ltt8OVV0JtLYwdW9RS1O0jIlIKixfDuHGwalUQ+unBD9DSEry3\nalXQbvHiopajI38RkWJbvBjmz4fm5vxt3YN28+cHr+fNK0pJOvIXESmmurp2g/8ZwIDhmSvavgCK\nNOpR4S8iUkwLFwZdOjnMAE7OtbKlJfh8ESj8RUSKpbExOLmb43qqvwEqgQtyfd4d1q6FAwdiL03h\nLyJSLEuX5ly1B3gQeCLfNsza3U5nKfxFRIqloeH4UT2hbwNXABfn20ZLC2zdGnNhGu0jIlI8TU1Z\n334M+B3wm0K3c/BgTAV9QeEvIlIsAwZkfftR4FOgbe3R8LkSyDomqCrn7dE7Td0+IiLFMmYMlJcf\n9/b/BV4FXg4fFwJnAluybaOiAkaPjr00hb+ISLHMnp317dOAMWmPk4C+wMhsjd1zbicKhb+ISLEM\nGhTM1ZPnFrYbgbeyrTCDSZOKMtmbwl9EpJhqa4Oum86oqAg+XwQKfxGRYho7FhYtgsrKjn2usjL4\nXCrvfVk6RaN9RESKrW1ytvnzg3H77d1B0Sw44l+0qGiTuoGO/EVESmPePHj+eZgyJRgBlNkVVFER\nvD9lStCuiMEPOvIXESmdVApWrAjm6lm6NLhy9+DBYBz/6NHBqJ6ecCcvMzuF4GK1YcDbwHfd/bhL\n0czsCNB2ffK77n5VlP2KiPRoAwfCLbd0aQlRu30WABvcfQSwIXydTYu7nx8+FPwiIl0savhPBpaF\ny8uAqyNuT0RESiBq+J/u7vsAwudBOdqVm1m9mW0ys5xfEGY2N2xXf6AI81eLiEggb5+/mT0LnJFl\n1a0d2E+Nu+81s68AvzKzre7+ZmYjd18CLAFIpVLtjIUSEZEo8oa/u4/Ptc7M9ptZtbvvM7NqoDHH\nNvaGz7vNbCPBjWuOC38RESmNqN0+a4BZ4fIsYHVmAzOrMrP+4fJpwJ8C2yPuV0REIoga/ncDE8xs\nJzAhfI2ZpczsobDNSKDezF4FngPudneFv4hIF4o0zt/dPyC4E1nm+/XAnHD534H4J6MWEZFO0/QO\nIiIJpPAXEUkg8/Zml+tCZnYAeKeDHzsNeL8I5USlugrXHWsC1dVR3bGu7lgTxF/XUHfPO0FQtw3/\nzjCzencvzuTXEaiuwnXHmkB1dVR3rKs71gRdV5e6fUREEkjhLyKSQL0t/Jd0dQE5qK7CdceaQHV1\nVHesqzvWBF1UV6/q8xcRkcL0tiN/EREpQI8OfzM7xcyeMbOd4XNVjnY1ZrbezHaY2XYzG9Yd6grb\nnmxmvzeznxSzpkLrMrPzzexFM9tmZg1m9ldFqmWimb1uZrvM7LibAJlZfzN7LFy/udj/Zh2o62/D\n36EGM9tgZkO7Q11p7aabmZtZ0UePFFKTmX03/HltM7N/KXZNhdQV5sFzZvZy+O84qQQ1/ZOZNZrZ\naznWm5n9n7DmBjP742LXhLv32AdwL7AgXF4A3JOj3UZgQrh8ElDZHeoK1/9v4F+An3SHnxdwDjAi\nXB4M7AO+HHMdfQhmdf0K0A94FRiV0eYm4MFweQbwWAl+PoXU9Wdtvz/AvO5SV9juS8CvgU1Aqqtr\nAkYALwNV4etB3eFnRdDHPi9cHgW8XYK6LgP+GHgtx/pJwDrAgD8BNhe7ph595E8BdxIzs1FAmbs/\nA+DuH7t7c1fXFdZ2IXA6sL7I9RRcl7u/4e47w+W9BNN0x31H6YuAXe6+290PAY+GteWq9QngCjOz\nmOvocF3u/lza788m4Kwi11RQXaG7CL7gW7tJTd8Hfurhfb3dPeuU711QlwMnh8sDgL3FLsrdfw38\nZztNJgOPeGAT8OVwmvyi6enhX8idxM4BPjSzleGfefeZWZ+ursvMTgDuB0p5F+dC77wGgJldRHD0\nFPe9F84E3kt7vSd8L2sbdz8MNAGnxlxHZ+pKdyPB0Vqx5a3LzC4Ahrj7kyWop6CaCP7fO8fMfhve\nxW9iN6nrR8BMM9sDrAX+ewnqyqejv3uRRZrVsxRiuJNYGXApwQ1k3gUeA2YD/9jFdd0ErHX39+I8\noI3pzmuERx3LgVnufjSO2tI3n+W9zGFnhbSJW8H7NLOZQAq4vKgVhbvL8t7ndYUHEv9A8HtdKoX8\nrMoIun7GEfyF9IKZnevuH3ZxXdcAS939fjO7BFge1hX373lHlPz3vduHv0e/k9ge4GV33x1+ZhVB\nn1qk8I+hrkuAS83sJoLzEP3M7GN3z3kyr0R1YWYnA78E/i78EzRue4Ahaa/P4vg/vdva7DGzMoI/\nz9v7s7lUdWFm4wm+TC9390+LXFMhdX0JOBfYGB5InAGsMbOrPJhevStqamuzyd0/A94ys9cJvgzq\nilRToXXdCEwEcPcXzaycYH6dUnRL5VLQ716cenq3T947iRH8olWZWVu/9Z9T/DuJ5a3L3a919xp3\nHwbMJ+jvixT8cdRlZv2AfwvrebxIddQBI8xseLi/GWFtuWqdDvzKwzNjRZS3rrB75WfAVSXqw85b\nl7s3uftp7j4s/H3aFNZXrODPW1NoFcEJ8ra7+J0D7C5iTYXW9S7hfUjMbCRQDhwocl35rAGuD0f9\n/AnQ1NZFWzTFPqNczAdBH/AGYGf4fEr4fgp4KK3dBKAB2AosBfp1h7rS2s+mNKN98tYFzAQ+A15J\ne5xfhFomAW8QnE+4NXzvToLQguB/yMeBXcBLwFdK9DuVr65ngf1pP5s13aGujLYbKfJonwJ/Vgb8\nmOBgayswozv8rAhG+PyWYCTQK8BflKCmnxOMnPuM4Cj/RuAHwA/SflY/DWveWop/P13hKyKSQD29\n20dERDpB4S8ikkAKfxGRBFL4i4gkkMJfRCSBFP4iIgmk8BcRSSCFv4hIAv1/syJYL4EBOagAAAAA\nSUVORK5CYII=\n",
|
|
"text/plain": [
|
|
"<matplotlib.figure.Figure at 0x7f1b7c04fcc0>"
|
|
]
|
|
},
|
|
"metadata": {},
|
|
"output_type": "display_data"
|
|
}
|
|
],
|
|
"source": [
|
|
"G = nx.Graph()\n",
|
|
"G.add_edge(0, 1)\n",
|
|
"G.add_edge(0, 2)\n",
|
|
"G.add_edge(2, 3)\n",
|
|
"G.add_node(4)\n",
|
|
"pos = nx.spring_layout(G)\n",
|
|
"nx.draw_networkx(G, pos, node_color='red')\n",
|
|
"nx.draw_networkx(G, pos, nodelist=[0], node_color='blue')"
|
|
]
|
|
},
|
|
{
|
|
"cell_type": "markdown",
|
|
"metadata": {
|
|
"ExecuteTime": {
|
|
"end_time": "2017-07-03T11:53:30.997756Z",
|
|
"start_time": "2017-07-03T13:53:30.989609+02:00"
|
|
},
|
|
"cell_style": "split"
|
|
},
|
|
"source": [
|
|
"Let's run a simple simulation that assigns a NewsSpread agent to all the nodes in that network.\n",
|
|
"Notice how node 0 is the only one with a TV."
|
|
]
|
|
},
|
|
{
|
|
"cell_type": "code",
|
|
"execution_count": 7,
|
|
"metadata": {
|
|
"ExecuteTime": {
|
|
"end_time": "2017-11-03T10:58:55.517768Z",
|
|
"start_time": "2017-11-03T11:58:55.424083+01:00"
|
|
},
|
|
"cell_style": "split"
|
|
},
|
|
"outputs": [
|
|
{
|
|
"name": "stderr",
|
|
"output_type": "stream",
|
|
"text": [
|
|
"INFO:soil:Starting simulation UnnamedSimulation at 1509706735.4865255.\n",
|
|
"INFO:soil:Starting Simulation UnnamedSimulation trial 0 at 1509706735.489935.\n",
|
|
"INFO:soil:Finished Simulation UnnamedSimulation trial 0 in 0.022043228149414062 seconds\n",
|
|
"INFO:soil:NOT dumping results\n",
|
|
"INFO:soil:Finished simulation UnnamedSimulation in 0.026972055435180664 seconds\n"
|
|
]
|
|
}
|
|
],
|
|
"source": [
|
|
"env_params = {'prob_tv_spread': 0,\n",
|
|
" 'prob_neighbor_spread': 0}\n",
|
|
"\n",
|
|
"MAX_TIME = 100\n",
|
|
"EVENT_TIME = 10\n",
|
|
"\n",
|
|
"sim = soil.Simulation(topology=G,\n",
|
|
" num_trials=1,\n",
|
|
" max_time=MAX_TIME,\n",
|
|
" environment_agents=[{'agent_type': NewsEnvironmentAgent,\n",
|
|
" 'state': {\n",
|
|
" 'event_time': EVENT_TIME\n",
|
|
" }}],\n",
|
|
" network_agents=[{'agent_type': NewsSpread,\n",
|
|
" 'weight': 1}],\n",
|
|
" states={0: {'has_tv': True}},\n",
|
|
" dry_run=True,\n",
|
|
" default_state={'has_tv': False},\n",
|
|
" environment_params=env_params)\n",
|
|
"env = sim.run_simulation()[0]"
|
|
]
|
|
},
|
|
{
|
|
"cell_type": "markdown",
|
|
"metadata": {
|
|
"cell_style": "split"
|
|
},
|
|
"source": [
|
|
"Now we can access the results of the simulation and compare them to our expected results"
|
|
]
|
|
},
|
|
{
|
|
"cell_type": "code",
|
|
"execution_count": 8,
|
|
"metadata": {
|
|
"ExecuteTime": {
|
|
"end_time": "2017-11-03T10:59:01.577474Z",
|
|
"start_time": "2017-11-03T11:59:01.414215+01:00"
|
|
},
|
|
"cell_style": "split",
|
|
"scrolled": false
|
|
},
|
|
"outputs": [
|
|
{
|
|
"ename": "AssertionError",
|
|
"evalue": "",
|
|
"output_type": "error",
|
|
"traceback": [
|
|
"\u001b[0;31m----------------------------------------------------------------------\u001b[0m",
|
|
"\u001b[0;31mAssertionError\u001b[0m Traceback (most recent call last)",
|
|
"\u001b[0;32m<ipython-input-8-e08fafc133f0>\u001b[0m in \u001b[0;36m<module>\u001b[0;34m()\u001b[0m\n\u001b[1;32m 4\u001b[0m \u001b[0;32mfor\u001b[0m \u001b[0mt\u001b[0m \u001b[0;32min\u001b[0m \u001b[0mrange\u001b[0m\u001b[0;34m(\u001b[0m\u001b[0;36m10\u001b[0m\u001b[0;34m)\u001b[0m\u001b[0;34m:\u001b[0m\u001b[0;34m\u001b[0m\u001b[0m\n\u001b[1;32m 5\u001b[0m \u001b[0;32mfor\u001b[0m \u001b[0ma\u001b[0m \u001b[0;32min\u001b[0m \u001b[0magents\u001b[0m\u001b[0;34m:\u001b[0m\u001b[0;34m\u001b[0m\u001b[0m\n\u001b[0;32m----> 6\u001b[0;31m \u001b[0;32massert\u001b[0m \u001b[0ma\u001b[0m\u001b[0;34m[\u001b[0m\u001b[0;34m'id'\u001b[0m\u001b[0;34m,\u001b[0m \u001b[0mt\u001b[0m\u001b[0;34m]\u001b[0m \u001b[0;34m==\u001b[0m \u001b[0ma\u001b[0m\u001b[0;34m.\u001b[0m\u001b[0mneutral\u001b[0m\u001b[0;34m.\u001b[0m\u001b[0mid\u001b[0m\u001b[0;34m\u001b[0m\u001b[0m\n\u001b[0m\u001b[1;32m 7\u001b[0m \u001b[0;34m\u001b[0m\u001b[0m\n\u001b[1;32m 8\u001b[0m \u001b[0;31m# After the event, the node with a TV is infected, the rest are not\u001b[0m\u001b[0;34m\u001b[0m\u001b[0;34m\u001b[0m\u001b[0m\n",
|
|
"\u001b[0;31mAssertionError\u001b[0m: "
|
|
]
|
|
}
|
|
],
|
|
"source": [
|
|
"agents = list(env.network_agents)\n",
|
|
"\n",
|
|
"# Until the event, all agents are neutral\n",
|
|
"for t in range(10):\n",
|
|
" for a in agents:\n",
|
|
" assert a['id', t] == a.neutral.id\n",
|
|
"\n",
|
|
"# After the event, the node with a TV is infected, the rest are not\n",
|
|
"assert agents[0]['id', 11] == NewsSpread.infected.id\n",
|
|
"\n",
|
|
"for a in agents[1:4]:\n",
|
|
" assert a['id', 11] == NewsSpread.neutral.id\n",
|
|
"\n",
|
|
"# At the end, the agents connected to the infected one will probably be infected, too.\n",
|
|
"assert agents[1]['id', MAX_TIME] == NewsSpread.infected.id\n",
|
|
"assert agents[2]['id', MAX_TIME] == NewsSpread.infected.id\n",
|
|
"\n",
|
|
"# But the node with no friends should not be affected\n",
|
|
"assert agents[4]['id', MAX_TIME] == NewsSpread.neutral.id\n",
|
|
" "
|
|
]
|
|
},
|
|
{
|
|
"cell_type": "code",
|
|
"execution_count": 13,
|
|
"metadata": {
|
|
"ExecuteTime": {
|
|
"end_time": "2017-11-03T11:09:23.581734Z",
|
|
"start_time": "2017-11-03T12:09:23.559473+01:00"
|
|
}
|
|
},
|
|
"outputs": [
|
|
{
|
|
"data": {
|
|
"text/plain": [
|
|
"{0: 'neutral'}"
|
|
]
|
|
},
|
|
"execution_count": 13,
|
|
"metadata": {},
|
|
"output_type": "execute_result"
|
|
}
|
|
],
|
|
"source": [
|
|
"a['id', t]"
|
|
]
|
|
},
|
|
{
|
|
"cell_type": "markdown",
|
|
"metadata": {
|
|
"ExecuteTime": {
|
|
"end_time": "2017-07-02T16:41:09.110652Z",
|
|
"start_time": "2017-07-02T18:41:09.106966+02:00"
|
|
},
|
|
"cell_style": "split"
|
|
},
|
|
"source": [
|
|
"Lastly, let's see if the probabilities have decreased as expected:"
|
|
]
|
|
},
|
|
{
|
|
"cell_type": "code",
|
|
"execution_count": null,
|
|
"metadata": {
|
|
"ExecuteTime": {
|
|
"end_time": "2017-11-01T14:07:55.288616Z",
|
|
"start_time": "2017-11-01T15:07:55.241116+01:00"
|
|
},
|
|
"cell_style": "split",
|
|
"collapsed": true
|
|
},
|
|
"outputs": [],
|
|
"source": [
|
|
"assert abs(env.environment_params['prob_neighbor_spread'] - (NEIGHBOR_FACTOR**(MAX_TIME-1-10))) < 10e-4\n",
|
|
"assert abs(env.environment_params['prob_tv_spread'] - (TV_FACTOR**(MAX_TIME-1-10))) < 10e-6"
|
|
]
|
|
},
|
|
{
|
|
"cell_type": "markdown",
|
|
"metadata": {},
|
|
"source": [
|
|
"## Running the simulation"
|
|
]
|
|
},
|
|
{
|
|
"cell_type": "markdown",
|
|
"metadata": {
|
|
"ExecuteTime": {
|
|
"end_time": "2017-07-03T11:20:28.566944Z",
|
|
"start_time": "2017-07-03T13:20:28.561052+02:00"
|
|
},
|
|
"cell_style": "split"
|
|
},
|
|
"source": [
|
|
"To run a simulation, we need a configuration.\n",
|
|
"Soil can load configurations from python dictionaries as well as JSON and YAML files.\n",
|
|
"For this demo, we will use a python dictionary:"
|
|
]
|
|
},
|
|
{
|
|
"cell_type": "code",
|
|
"execution_count": null,
|
|
"metadata": {
|
|
"ExecuteTime": {
|
|
"end_time": "2017-11-01T14:07:57.008940Z",
|
|
"start_time": "2017-11-01T15:07:56.966433+01:00"
|
|
},
|
|
"cell_style": "split",
|
|
"collapsed": true
|
|
},
|
|
"outputs": [],
|
|
"source": [
|
|
"config = {\n",
|
|
" 'name': 'ExampleSimulation',\n",
|
|
" 'max_time': 20,\n",
|
|
" 'interval': 1,\n",
|
|
" 'num_trials': 1,\n",
|
|
" 'network_params': {\n",
|
|
" 'generator': 'complete_graph',\n",
|
|
" 'n': 500,\n",
|
|
" },\n",
|
|
" 'network_agents': [\n",
|
|
" {\n",
|
|
" 'agent_type': NewsSpread,\n",
|
|
" 'weight': 1,\n",
|
|
" 'state': {\n",
|
|
" 'has_tv': False\n",
|
|
" }\n",
|
|
" },\n",
|
|
" {\n",
|
|
" 'agent_type': NewsSpread,\n",
|
|
" 'weight': 2,\n",
|
|
" 'state': {\n",
|
|
" 'has_tv': True\n",
|
|
" }\n",
|
|
" }\n",
|
|
" ],\n",
|
|
" 'environment_agents':[\n",
|
|
" {'agent_type': NewsEnvironmentAgent,\n",
|
|
" 'state': {\n",
|
|
" 'event_time': 10\n",
|
|
" }\n",
|
|
" }\n",
|
|
" ],\n",
|
|
" 'states': [ {'has_tv': True} ],\n",
|
|
" 'environment_params':{\n",
|
|
" 'prob_tv_spread': 0.01,\n",
|
|
" 'prob_neighbor_spread': 0.5\n",
|
|
" }\n",
|
|
"}"
|
|
]
|
|
},
|
|
{
|
|
"cell_type": "markdown",
|
|
"metadata": {
|
|
"ExecuteTime": {
|
|
"end_time": "2017-07-03T11:57:34.219618Z",
|
|
"start_time": "2017-07-03T13:57:34.213817+02:00"
|
|
},
|
|
"cell_style": "split"
|
|
},
|
|
"source": [
|
|
"Let's run our simulation:"
|
|
]
|
|
},
|
|
{
|
|
"cell_type": "code",
|
|
"execution_count": null,
|
|
"metadata": {
|
|
"ExecuteTime": {
|
|
"end_time": "2017-11-01T14:08:34.312637Z",
|
|
"start_time": "2017-11-01T15:07:57.774458+01:00"
|
|
},
|
|
"cell_style": "split",
|
|
"collapsed": true
|
|
},
|
|
"outputs": [],
|
|
"source": [
|
|
"soil.simulation.run_from_config(config, dump=False)"
|
|
]
|
|
},
|
|
{
|
|
"cell_type": "markdown",
|
|
"metadata": {
|
|
"ExecuteTime": {
|
|
"end_time": "2017-07-03T12:03:32.183588Z",
|
|
"start_time": "2017-07-03T14:03:32.167797+02:00"
|
|
},
|
|
"cell_style": "split",
|
|
"collapsed": true
|
|
},
|
|
"source": [
|
|
"In real life, you probably want to run several simulations, varying some of the parameters so that you can compare and answer your research questions.\n",
|
|
"\n",
|
|
"For instance:\n",
|
|
" \n",
|
|
"* Does the outcome depend on the structure of our network? We will use different generation algorithms to compare them (Barabasi-Albert and Erdos-Renyi)\n",
|
|
"* How does neighbor spreading probability affect my simulation? We will try probability values in the range of [0, 0.4], in intervals of 0.1."
|
|
]
|
|
},
|
|
{
|
|
"cell_type": "code",
|
|
"execution_count": null,
|
|
"metadata": {
|
|
"ExecuteTime": {
|
|
"end_time": "2017-11-01T14:10:38.099667Z",
|
|
"start_time": "2017-11-01T15:10:06.008314+01:00"
|
|
},
|
|
"cell_style": "split",
|
|
"collapsed": true,
|
|
"scrolled": true
|
|
},
|
|
"outputs": [],
|
|
"source": [
|
|
"network_1 = {\n",
|
|
" 'generator': 'erdos_renyi_graph',\n",
|
|
" 'n': 500,\n",
|
|
" 'p': 0.1\n",
|
|
"}\n",
|
|
"network_2 = {\n",
|
|
" 'generator': 'barabasi_albert_graph',\n",
|
|
" 'n': 500,\n",
|
|
" 'm': 2\n",
|
|
"}\n",
|
|
"\n",
|
|
"\n",
|
|
"for net in [network_1, network_2]:\n",
|
|
" for i in range(5):\n",
|
|
" prob = i / 10\n",
|
|
" config['environment_params']['prob_neighbor_spread'] = prob\n",
|
|
" config['network_params'] = net\n",
|
|
" config['name'] = 'Spread_{}_prob_{}'.format(net['generator'], prob)\n",
|
|
" s = soil.simulation.run_from_config(config, parallel=True)"
|
|
]
|
|
},
|
|
{
|
|
"cell_type": "markdown",
|
|
"metadata": {
|
|
"ExecuteTime": {
|
|
"end_time": "2017-07-03T11:05:18.043194Z",
|
|
"start_time": "2017-07-03T13:05:18.034699+02:00"
|
|
},
|
|
"cell_style": "center"
|
|
},
|
|
"source": [
|
|
"The results are conveniently stored in pickle (simulation), and sqlite (history of agent and environment state).\n",
|
|
"\n",
|
|
"You can also export the results to GEXF format (dynamic network) and CSV using .`run_from_config(config, dump=['gexf', 'csv'])` or the command line flags `--graph --csv`."
|
|
]
|
|
},
|
|
{
|
|
"cell_type": "code",
|
|
"execution_count": null,
|
|
"metadata": {
|
|
"ExecuteTime": {
|
|
"end_time": "2017-11-01T14:05:56.404540Z",
|
|
"start_time": "2017-11-01T15:05:56.122876+01:00"
|
|
},
|
|
"cell_style": "split",
|
|
"collapsed": true,
|
|
"scrolled": true
|
|
},
|
|
"outputs": [],
|
|
"source": [
|
|
"!tree soil_output\n",
|
|
"!du -xh soil_output/*"
|
|
]
|
|
},
|
|
{
|
|
"cell_type": "markdown",
|
|
"metadata": {
|
|
"ExecuteTime": {
|
|
"end_time": "2017-07-02T10:40:14.384177Z",
|
|
"start_time": "2017-07-02T12:40:14.381885+02:00"
|
|
}
|
|
},
|
|
"source": [
|
|
"## Analysing the results"
|
|
]
|
|
},
|
|
{
|
|
"cell_type": "markdown",
|
|
"metadata": {},
|
|
"source": [
|
|
"### Loading data"
|
|
]
|
|
},
|
|
{
|
|
"cell_type": "markdown",
|
|
"metadata": {},
|
|
"source": [
|
|
"Once the simulations are over, we can use soil to analyse the results.\n",
|
|
"\n",
|
|
"Soil allows you to load results for specific trials, or for a set of trials if you specify a pattern. The specific methods are:\n",
|
|
"\n",
|
|
"* `analysis.read_data(<directory pattern>)` to load all the results from a directory. e.g. `read_data('my_simulation/')`. For each trial it finds in each folder matching the pattern, it will return the dumped configuration for the simulation, the results of the trial, and the configuration itself. By default, it will try to load data from the sqlite database. \n",
|
|
"* `analysis.read_csv(<csv_file>)` to load all the results from a CSV file. e.g. `read_csv('my_simulation/my_simulation_trial0.environment.csv')`\n",
|
|
"* `analysis.read_sql(<sqlite_file>)` to load all the results from a sqlite database . e.g. `read_sql('my_simulation/my_simulation_trial0.db.sqlite')`"
|
|
]
|
|
},
|
|
{
|
|
"cell_type": "markdown",
|
|
"metadata": {
|
|
"ExecuteTime": {
|
|
"end_time": "2017-07-03T14:44:30.978223Z",
|
|
"start_time": "2017-07-03T16:44:30.971952+02:00"
|
|
}
|
|
},
|
|
"source": [
|
|
"Let's see it in action by loading the stored results into a pandas dataframe:"
|
|
]
|
|
},
|
|
{
|
|
"cell_type": "code",
|
|
"execution_count": null,
|
|
"metadata": {
|
|
"ExecuteTime": {
|
|
"end_time": "2017-10-19T15:57:43.662893Z",
|
|
"start_time": "2017-10-19T17:57:43.632252+02:00"
|
|
},
|
|
"cell_style": "center",
|
|
"collapsed": true
|
|
},
|
|
"outputs": [],
|
|
"source": [
|
|
"from soil.analysis import *"
|
|
]
|
|
},
|
|
{
|
|
"cell_type": "code",
|
|
"execution_count": null,
|
|
"metadata": {
|
|
"ExecuteTime": {
|
|
"end_time": "2017-10-19T15:57:44.101253Z",
|
|
"start_time": "2017-10-19T17:57:44.039710+02:00"
|
|
},
|
|
"collapsed": true,
|
|
"scrolled": true
|
|
},
|
|
"outputs": [],
|
|
"source": [
|
|
"df = read_csv('soil_output/Spread_barabasi_albert_graph_prob_0.0/Spread_barabasi_albert_graph_prob_0.0_trial_0.environment.csv', keys=['id'])\n",
|
|
"df"
|
|
]
|
|
},
|
|
{
|
|
"cell_type": "markdown",
|
|
"metadata": {},
|
|
"source": [
|
|
"Soil can also process the data for us and return a dataframe with as many columns as there are attributes in the environment and the agent states:"
|
|
]
|
|
},
|
|
{
|
|
"cell_type": "code",
|
|
"execution_count": null,
|
|
"metadata": {
|
|
"ExecuteTime": {
|
|
"end_time": "2017-10-19T15:57:45.777794Z",
|
|
"start_time": "2017-10-19T17:57:45.698020+02:00"
|
|
},
|
|
"collapsed": true,
|
|
"scrolled": true
|
|
},
|
|
"outputs": [],
|
|
"source": [
|
|
"env, agents = process(df)\n",
|
|
"agents"
|
|
]
|
|
},
|
|
{
|
|
"cell_type": "markdown",
|
|
"metadata": {
|
|
"ExecuteTime": {
|
|
"end_time": "2017-10-18T14:01:00.669671Z",
|
|
"start_time": "2017-10-18T16:01:00.635624+02:00"
|
|
}
|
|
},
|
|
"source": [
|
|
"The index of the results are the simulation step and the agent_id. Hence, we can access the state of the simulation at a given step: "
|
|
]
|
|
},
|
|
{
|
|
"cell_type": "code",
|
|
"execution_count": null,
|
|
"metadata": {
|
|
"ExecuteTime": {
|
|
"end_time": "2017-10-19T15:57:47.132212Z",
|
|
"start_time": "2017-10-19T17:57:47.084737+02:00"
|
|
},
|
|
"collapsed": true,
|
|
"scrolled": true
|
|
},
|
|
"outputs": [],
|
|
"source": [
|
|
"agents.loc[0]"
|
|
]
|
|
},
|
|
{
|
|
"cell_type": "markdown",
|
|
"metadata": {},
|
|
"source": [
|
|
"Or, we can perform more complex tasks such as showing the agents that have changed their state between two simulation steps:"
|
|
]
|
|
},
|
|
{
|
|
"cell_type": "code",
|
|
"execution_count": null,
|
|
"metadata": {
|
|
"ExecuteTime": {
|
|
"end_time": "2017-10-19T15:57:48.168805Z",
|
|
"start_time": "2017-10-19T17:57:48.113961+02:00"
|
|
},
|
|
"collapsed": true
|
|
},
|
|
"outputs": [],
|
|
"source": [
|
|
"changed = agents.loc[1]['id'] != agents.loc[0]['id']\n",
|
|
"agents.loc[0][changed]"
|
|
]
|
|
},
|
|
{
|
|
"cell_type": "markdown",
|
|
"metadata": {},
|
|
"source": [
|
|
"To focus on specific agents, we can swap the levels of the index:"
|
|
]
|
|
},
|
|
{
|
|
"cell_type": "code",
|
|
"execution_count": null,
|
|
"metadata": {
|
|
"ExecuteTime": {
|
|
"end_time": "2017-10-19T15:57:49.046261Z",
|
|
"start_time": "2017-10-19T17:57:49.019721+02:00"
|
|
},
|
|
"collapsed": true
|
|
},
|
|
"outputs": [],
|
|
"source": [
|
|
"agents1 = agents.swaplevel()"
|
|
]
|
|
},
|
|
{
|
|
"cell_type": "code",
|
|
"execution_count": null,
|
|
"metadata": {
|
|
"ExecuteTime": {
|
|
"end_time": "2017-10-19T15:57:49.459500Z",
|
|
"start_time": "2017-10-19T17:57:49.420016+02:00"
|
|
},
|
|
"collapsed": true,
|
|
"scrolled": true
|
|
},
|
|
"outputs": [],
|
|
"source": [
|
|
"agents1.loc['0'].dropna(axis=1)"
|
|
]
|
|
},
|
|
{
|
|
"cell_type": "markdown",
|
|
"metadata": {
|
|
"ExecuteTime": {
|
|
"end_time": "2017-10-19T10:35:40.140920Z",
|
|
"start_time": "2017-10-19T12:35:40.106265+02:00"
|
|
}
|
|
},
|
|
"source": [
|
|
"### Plotting data"
|
|
]
|
|
},
|
|
{
|
|
"cell_type": "markdown",
|
|
"metadata": {},
|
|
"source": [
|
|
"If you don't want to work with pandas, you can also use some pre-defined functions from soil to conveniently plot the results:"
|
|
]
|
|
},
|
|
{
|
|
"cell_type": "code",
|
|
"execution_count": null,
|
|
"metadata": {
|
|
"ExecuteTime": {
|
|
"end_time": "2017-10-19T15:57:52.271094Z",
|
|
"start_time": "2017-10-19T17:57:51.102434+02:00"
|
|
},
|
|
"collapsed": true
|
|
},
|
|
"outputs": [],
|
|
"source": [
|
|
"plot_all('soil_output/Spread_barabasi_albert_graph_prob_0.0/', get_count, 'id');"
|
|
]
|
|
},
|
|
{
|
|
"cell_type": "code",
|
|
"execution_count": null,
|
|
"metadata": {
|
|
"ExecuteTime": {
|
|
"end_time": "2017-10-19T15:57:57.982007Z",
|
|
"start_time": "2017-10-19T17:57:52.273160+02:00"
|
|
},
|
|
"collapsed": true,
|
|
"scrolled": false
|
|
},
|
|
"outputs": [],
|
|
"source": [
|
|
"plot_all('soil_output/Spread_barabasi*', get_count, 'id');"
|
|
]
|
|
},
|
|
{
|
|
"cell_type": "code",
|
|
"execution_count": null,
|
|
"metadata": {
|
|
"ExecuteTime": {
|
|
"end_time": "2017-10-19T15:58:26.903783Z",
|
|
"start_time": "2017-10-19T17:57:57.983957+02:00"
|
|
},
|
|
"collapsed": true,
|
|
"scrolled": true
|
|
},
|
|
"outputs": [],
|
|
"source": [
|
|
"plot_all('soil_output/Spread_erdos*', get_value, 'prob_tv_spread');"
|
|
]
|
|
},
|
|
{
|
|
"cell_type": "markdown",
|
|
"metadata": {},
|
|
"source": [
|
|
"### Manually plotting with pandas"
|
|
]
|
|
},
|
|
{
|
|
"cell_type": "markdown",
|
|
"metadata": {
|
|
"ExecuteTime": {
|
|
"end_time": "2017-10-19T11:00:37.003972Z",
|
|
"start_time": "2017-10-19T13:00:36.983128+02:00"
|
|
}
|
|
},
|
|
"source": [
|
|
"Although the simplest way to visualize the results of a simulation is to use the built-in methods in the analysis module, sometimes the setup is more complicated and we need to explore the data a little further.\n",
|
|
"\n",
|
|
"For that, we can use native pandas over the results.\n",
|
|
"\n",
|
|
"Soil provides some convenience methods to simplify common operations:\n",
|
|
"\n",
|
|
"* `analysis.split_df` to separate a history dataframe into environment and agent parameters.\n",
|
|
"* `analysis.get_count` to get a dataframe with the value counts for different attributes during the simulation.\n",
|
|
"* `analysis.get_value` to get the evolution of the value of an attribute during the simulation.\n",
|
|
"\n",
|
|
"And, as we saw earlier, `analysis.process` can turn a dataframe in canonical form into a dataframe with a column per attribute.\n"
|
|
]
|
|
},
|
|
{
|
|
"cell_type": "code",
|
|
"execution_count": null,
|
|
"metadata": {
|
|
"ExecuteTime": {
|
|
"end_time": "2017-10-19T15:59:15.791793Z",
|
|
"start_time": "2017-10-19T17:59:15.604960+02:00"
|
|
},
|
|
"collapsed": true
|
|
},
|
|
"outputs": [],
|
|
"source": [
|
|
"p = read_sql('soil_output/Spread_barabasi_albert_graph_prob_0.0/Spread_barabasi_albert_graph_prob_0.0_trial_0.db.sqlite')\n",
|
|
"env, agents = split_df(p);"
|
|
]
|
|
},
|
|
{
|
|
"cell_type": "markdown",
|
|
"metadata": {},
|
|
"source": [
|
|
"Let's look at the evolution of agent parameters in the simulation"
|
|
]
|
|
},
|
|
{
|
|
"cell_type": "code",
|
|
"execution_count": null,
|
|
"metadata": {
|
|
"ExecuteTime": {
|
|
"end_time": "2017-10-19T15:59:17.153282Z",
|
|
"start_time": "2017-10-19T17:59:16.830872+02:00"
|
|
},
|
|
"collapsed": true
|
|
},
|
|
"outputs": [],
|
|
"source": [
|
|
"res = agents.groupby(by=['t_step', 'key', 'value']).size().unstack(level=[1,2]).fillna(0)\n",
|
|
"res.plot();"
|
|
]
|
|
},
|
|
{
|
|
"cell_type": "markdown",
|
|
"metadata": {
|
|
"ExecuteTime": {
|
|
"end_time": "2017-10-19T11:10:36.086913Z",
|
|
"start_time": "2017-10-19T13:10:36.058547+02:00"
|
|
}
|
|
},
|
|
"source": [
|
|
"As we can see, `event_time` is cluttering our results, "
|
|
]
|
|
},
|
|
{
|
|
"cell_type": "code",
|
|
"execution_count": null,
|
|
"metadata": {
|
|
"ExecuteTime": {
|
|
"end_time": "2017-10-19T15:59:18.418348Z",
|
|
"start_time": "2017-10-19T17:59:18.143443+02:00"
|
|
},
|
|
"collapsed": true
|
|
},
|
|
"outputs": [],
|
|
"source": [
|
|
"del res['event_time']\n",
|
|
"res.plot()"
|
|
]
|
|
},
|
|
{
|
|
"cell_type": "code",
|
|
"execution_count": null,
|
|
"metadata": {
|
|
"ExecuteTime": {
|
|
"end_time": "2017-10-19T15:59:42.750011Z",
|
|
"start_time": "2017-10-19T17:59:42.649353+02:00"
|
|
},
|
|
"collapsed": true
|
|
},
|
|
"outputs": [],
|
|
"source": [
|
|
"processed = process_one(agents);\n",
|
|
"processed"
|
|
]
|
|
},
|
|
{
|
|
"cell_type": "markdown",
|
|
"metadata": {},
|
|
"source": [
|
|
"Which is equivalent to:"
|
|
]
|
|
},
|
|
{
|
|
"cell_type": "code",
|
|
"execution_count": null,
|
|
"metadata": {
|
|
"ExecuteTime": {
|
|
"end_time": "2017-10-19T15:59:51.165806Z",
|
|
"start_time": "2017-10-19T17:59:50.886780+02:00"
|
|
},
|
|
"collapsed": true
|
|
},
|
|
"outputs": [],
|
|
"source": [
|
|
"get_count(agents, 'id', 'has_tv').plot()"
|
|
]
|
|
},
|
|
{
|
|
"cell_type": "code",
|
|
"execution_count": null,
|
|
"metadata": {
|
|
"ExecuteTime": {
|
|
"end_time": "2017-10-19T15:59:55.203641Z",
|
|
"start_time": "2017-10-19T17:59:54.950046+02:00"
|
|
},
|
|
"collapsed": true
|
|
},
|
|
"outputs": [],
|
|
"source": [
|
|
"get_value(agents, 'event_time').plot()"
|
|
]
|
|
},
|
|
{
|
|
"cell_type": "markdown",
|
|
"metadata": {},
|
|
"source": [
|
|
"## Dealing with bigger data"
|
|
]
|
|
},
|
|
{
|
|
"cell_type": "code",
|
|
"execution_count": null,
|
|
"metadata": {
|
|
"ExecuteTime": {
|
|
"end_time": "2017-10-19T16:00:18.148006Z",
|
|
"start_time": "2017-10-19T18:00:18.117654+02:00"
|
|
},
|
|
"collapsed": true
|
|
},
|
|
"outputs": [],
|
|
"source": [
|
|
"from soil import analysis"
|
|
]
|
|
},
|
|
{
|
|
"cell_type": "code",
|
|
"execution_count": null,
|
|
"metadata": {
|
|
"ExecuteTime": {
|
|
"end_time": "2017-10-19T16:00:18.636440Z",
|
|
"start_time": "2017-10-19T18:00:18.504421+02:00"
|
|
},
|
|
"collapsed": true
|
|
},
|
|
"outputs": [],
|
|
"source": [
|
|
"!du -xsh ../rabbits/soil_output/rabbits_example/"
|
|
]
|
|
},
|
|
{
|
|
"cell_type": "markdown",
|
|
"metadata": {
|
|
"ExecuteTime": {
|
|
"end_time": "2017-10-19T11:22:22.301765Z",
|
|
"start_time": "2017-10-19T13:22:22.281986+02:00"
|
|
}
|
|
},
|
|
"source": [
|
|
"If we tried to load the entire history, we would probably run out of memory. Hence, it is recommended that you also specify the attributes you are interested in."
|
|
]
|
|
},
|
|
{
|
|
"cell_type": "code",
|
|
"execution_count": null,
|
|
"metadata": {
|
|
"ExecuteTime": {
|
|
"end_time": "2017-10-19T16:00:25.080582Z",
|
|
"start_time": "2017-10-19T18:00:19.594165+02:00"
|
|
},
|
|
"collapsed": true,
|
|
"scrolled": false
|
|
},
|
|
"outputs": [],
|
|
"source": [
|
|
"p = analysis.plot_all('../rabbits/soil_output/rabbits_example/', analysis.get_count, 'id')"
|
|
]
|
|
},
|
|
{
|
|
"cell_type": "code",
|
|
"execution_count": null,
|
|
"metadata": {
|
|
"ExecuteTime": {
|
|
"end_time": "2017-10-19T16:00:38.434367Z",
|
|
"start_time": "2017-10-19T18:00:33.645762+02:00"
|
|
},
|
|
"collapsed": true
|
|
},
|
|
"outputs": [],
|
|
"source": [
|
|
"df = analysis.read_sql('../rabbits/soil_output/rabbits_example/rabbits_example_trial_0.db.sqlite', keys=['id', 'rabbits_alive'])"
|
|
]
|
|
},
|
|
{
|
|
"cell_type": "code",
|
|
"execution_count": null,
|
|
"metadata": {
|
|
"ExecuteTime": {
|
|
"end_time": "2017-10-19T16:00:39.160418Z",
|
|
"start_time": "2017-10-19T18:00:38.436153+02:00"
|
|
},
|
|
"collapsed": true,
|
|
"scrolled": true
|
|
},
|
|
"outputs": [],
|
|
"source": [
|
|
"states = analysis.get_count(df, 'id')\n",
|
|
"states.plot()"
|
|
]
|
|
},
|
|
{
|
|
"cell_type": "code",
|
|
"execution_count": null,
|
|
"metadata": {
|
|
"ExecuteTime": {
|
|
"end_time": "2017-10-19T16:00:39.515032Z",
|
|
"start_time": "2017-10-19T18:00:39.162240+02:00"
|
|
},
|
|
"collapsed": true
|
|
},
|
|
"outputs": [],
|
|
"source": [
|
|
"alive = analysis.get_value(df, 'rabbits_alive', 'rabbits_alive', aggfunc='sum').apply(pd.to_numeric)\n",
|
|
"alive.plot()"
|
|
]
|
|
},
|
|
{
|
|
"cell_type": "code",
|
|
"execution_count": null,
|
|
"metadata": {
|
|
"ExecuteTime": {
|
|
"end_time": "2017-10-19T16:00:58.815038Z",
|
|
"start_time": "2017-10-19T18:00:58.566807+02:00"
|
|
},
|
|
"collapsed": true
|
|
},
|
|
"outputs": [],
|
|
"source": [
|
|
"h = alive.join(states);\n",
|
|
"h.plot();"
|
|
]
|
|
},
|
|
{
|
|
"cell_type": "code",
|
|
"execution_count": null,
|
|
"metadata": {
|
|
"ExecuteTime": {
|
|
"end_time": "2017-10-19T16:01:01.195253Z",
|
|
"start_time": "2017-10-19T18:01:01.142907+02:00"
|
|
},
|
|
"collapsed": true,
|
|
"scrolled": true
|
|
},
|
|
"outputs": [],
|
|
"source": [
|
|
"states[[('id','newborn'),('id','fertile'),('id', 'pregnant')]].sum(axis=1).sub(alive['rabbits_alive'], fill_value=0)"
|
|
]
|
|
}
|
|
],
|
|
"metadata": {
|
|
"kernelspec": {
|
|
"display_name": "Python 3",
|
|
"language": "python",
|
|
"name": "python3"
|
|
},
|
|
"language_info": {
|
|
"codemirror_mode": {
|
|
"name": "ipython",
|
|
"version": 3
|
|
},
|
|
"file_extension": ".py",
|
|
"mimetype": "text/x-python",
|
|
"name": "python",
|
|
"nbconvert_exporter": "python",
|
|
"pygments_lexer": "ipython3",
|
|
"version": "3.6.3"
|
|
},
|
|
"toc": {
|
|
"colors": {
|
|
"hover_highlight": "#DAA520",
|
|
"navigate_num": "#000000",
|
|
"navigate_text": "#333333",
|
|
"running_highlight": "#FF0000",
|
|
"selected_highlight": "#FFD700",
|
|
"sidebar_border": "#EEEEEE",
|
|
"wrapper_background": "#FFFFFF"
|
|
},
|
|
"moveMenuLeft": true,
|
|
"nav_menu": {
|
|
"height": "31px",
|
|
"width": "252px"
|
|
},
|
|
"navigate_menu": true,
|
|
"number_sections": true,
|
|
"sideBar": true,
|
|
"threshold": 4,
|
|
"toc_cell": false,
|
|
"toc_position": {
|
|
"height": "867px",
|
|
"left": "0px",
|
|
"right": "1670px",
|
|
"top": "106px",
|
|
"width": "250px"
|
|
},
|
|
"toc_section_display": "block",
|
|
"toc_window_display": false,
|
|
"widenNotebook": false
|
|
}
|
|
},
|
|
"nbformat": 4,
|
|
"nbformat_minor": 2
|
|
}
|