-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathobservestate.html
214 lines (195 loc) · 8.32 KB
/
observestate.html
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN"
"http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
<html xmlns="http://www.w3.org/1999/xhtml">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8" />
<title>Observations of the State — Semi-Markov 1.0 documentation</title>
<link rel="stylesheet" href="_static/sphinxdoc.css" type="text/css" />
<link rel="stylesheet" href="_static/pygments.css" type="text/css" />
<script type="text/javascript">
var DOCUMENTATION_OPTIONS = {
URL_ROOT: './',
VERSION: '1.0',
COLLAPSE_INDEX: false,
FILE_SUFFIX: '.html',
HAS_SOURCE: true
};
</script>
<script type="text/javascript" src="_static/jquery.js"></script>
<script type="text/javascript" src="_static/underscore.js"></script>
<script type="text/javascript" src="_static/doctools.js"></script>
<script type="text/javascript" src="http://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML"></script>
<link rel="top" title="Semi-Markov 1.0 documentation" href="index.html" />
<link rel="up" title="Semi-Markov Library Manual" href="manual.html" />
<link rel="next" title="References" href="references.html" />
<link rel="prev" title="Simulating the Trajectory of a Semi-Markov GSPN" href="gspntrajectory.html" />
</head>
<body>
<div class="related">
<h3>Navigation</h3>
<ul>
<li class="right" style="margin-right: 10px">
<a href="genindex.html" title="General Index"
accesskey="I">index</a></li>
<li class="right" >
<a href="references.html" title="References"
accesskey="N">next</a> |</li>
<li class="right" >
<a href="gspntrajectory.html" title="Simulating the Trajectory of a Semi-Markov GSPN"
accesskey="P">previous</a> |</li>
<li><a href="index.html">Semi-Markov 1.0 documentation</a> »</li>
<li><a href="manual.html" accesskey="U">Semi-Markov Library Manual</a> »</li>
</ul>
</div>
<div class="sphinxsidebar">
<div class="sphinxsidebarwrapper">
<h4>Previous topic</h4>
<p class="topless"><a href="gspntrajectory.html"
title="previous chapter">Simulating the Trajectory of a Semi-Markov GSPN</a></p>
<h4>Next topic</h4>
<p class="topless"><a href="references.html"
title="next chapter">References</a></p>
<h3>This Page</h3>
<ul class="this-page-menu">
<li><a href="_sources/observestate.txt"
rel="nofollow">Show Source</a></li>
</ul>
<div id="searchbox" style="display: none">
<h3>Quick search</h3>
<form class="search" action="search.html" method="get">
<input type="text" name="q" />
<input type="submit" value="Go" />
<input type="hidden" name="check_keywords" value="yes" />
<input type="hidden" name="area" value="default" />
</form>
<p class="searchtip" style="font-size: 90%">
Enter search terms or a module, class or function name.
</p>
</div>
<script type="text/javascript">$('#searchbox').show(0);</script>
</div>
</div>
<div class="document">
<div class="documentwrapper">
<div class="bodywrapper">
<div class="body">
<div class="section" id="observations-of-the-state">
<h1>Observations of the State<a class="headerlink" href="#observations-of-the-state" title="Permalink to this headline">¶</a></h1>
<p>After each transition, we observe the state of the
system using the GSPN object and the GSPNState object.</p>
<dl class="class">
<dt id="afidd::smv::GSPNState:Marking.UserSate:">
<em class="property">class </em><tt class="descclassname">afidd::smv::</tt><tt class="descname">GSPNState<Marking, UserSate></tt><a class="headerlink" href="#afidd::smv::GSPNState:Marking.UserSate:" title="Permalink to this definition">¶</a></dt>
<dd><p>This class is the state of the system.</p>
</dd></dl>
<dl class="member">
<dt id="GSPNState::marking__Marking:Place.Tokens:">
Marking<Place, Tokens> <tt class="descclassname">GSPNState::</tt><tt class="descname">marking</tt><a class="headerlink" href="#GSPNState::marking__Marking:Place.Tokens:" title="Permalink to this definition">¶</a></dt>
<dd><p>The marking is saved as a <cite>marking</cite> member. The member function
<cite>state.marking.modified()</cite> will list which places changed
during the last transition.</p>
</dd></dl>
<dl class="function">
<dt id="GSPNState::current_timeC">
double <tt class="descclassname">GSPNState::</tt><tt class="descname">current_time</tt><big>(</big><big>)</big><tt class="descclassname"> const</tt><a class="headerlink" href="#GSPNState::current_timeC" title="Permalink to this definition">¶</a></dt>
<dd><p>The absolute time of the system.</p>
</dd></dl>
<dl class="member">
<dt id="GSPNState::user__UserState">
UserState <tt class="descclassname">GSPNState::</tt><tt class="descname">user</tt><a class="headerlink" href="#GSPNState::user__UserState" title="Permalink to this definition">¶</a></dt>
<dd><p>This member is an instance of the class <cite>UserState.</cite></p>
</dd></dl>
<p>For example, an instance of the following class observes
when the number of infected individuals within a population
has passed a given threshold:</p>
<div class="highlight-python"><div class="highlight"><pre>template<typename GSPN>
class SIROutputFunction
{
public:
typedef void result_type;
private:
size_t _pop_cnt;
size_t _ind_cnt;
size_t _threshold;
std::vector<size_t> _infected_per_pop;
std::vector<double> _first_passage_time;
std::vector<bool> _passed;
public:
SIROutputFunction(size_t population_cnt,
size_t individuals_per_metapopulation, size_t threshold_for_passage)
: _pop_cnt(population_cnt), _ind_cnt(individuals_per_metapopulation),
_threshold(threshold_for_passage),
_first_passage_time(population_cnt, 0), _passed(population_cnt, false),
_infected_per_pop(population_cnt, 0)
{
}
result_type operator()(const GSPN& gspn, const SIRState& state)
{
auto& modified=state.marking.modified();
for (auto place_idx : modified)
{
// Translate the internal place index into the PlaceKey
// used to define the GSPN when building the graph.
SIRPlace p=gspn.vertex_place(place_idx);
if (p.disease==1)
{
bool filled=(length<0>(state.marking, place_idx)>0);
if (filled)
{
_infected_per_pop[p.metapop]+=1;
if (_infected_per_pop[p.metapop]==_threshold)
{
_first_passage_time[p.metapop]=state.current_time();
_passed[p.metapop]=true;
BOOST_LOG_TRIVIAL(info)<<"Population "<<p.metapop
<<" at time "<<state.current_time();
}
}
}
}
}
};
</pre></div>
</div>
<p>We use such an object by calling it within the main loop:</p>
<div class="highlight-python"><div class="highlight"><pre>size_t transition_cnt=0;
auto nothing=[](SIRState&)->void {};
for ( ;
std::get<1>(next)<std::numeric_limits<double>::max();
next=propagate_competing_processes(system, nothing, rng))
{
BOOST_LOG_TRIVIAL(debug) << "trans " << std::get<0>(next) << " time " <<
std::get<1>(next);
++transition_cnt;
output(gspn, state);
}
</pre></div>
</div>
</div>
</div>
</div>
</div>
<div class="clearer"></div>
</div>
<div class="related">
<h3>Navigation</h3>
<ul>
<li class="right" style="margin-right: 10px">
<a href="genindex.html" title="General Index"
>index</a></li>
<li class="right" >
<a href="references.html" title="References"
>next</a> |</li>
<li class="right" >
<a href="gspntrajectory.html" title="Simulating the Trajectory of a Semi-Markov GSPN"
>previous</a> |</li>
<li><a href="index.html">Semi-Markov 1.0 documentation</a> »</li>
<li><a href="manual.html" >Semi-Markov Library Manual</a> »</li>
</ul>
</div>
<div class="footer">
© Copyright 2014, Andrew Dolgert, David Schneider.
Created using <a href="http://sphinx-doc.org/">Sphinx</a> 1.2.2.
</div>
</body>
</html>