3 ADJUSTMENT OF TIME STEP
SIZE
3.1 Finer Step Model
In the original model, each pair of infectious (I) and
susceptible (S) in contact are associated with a trans-
mission probability P
IS
. In each half-day step, we it-
erate through all pairs of infectious and susceptible
in contact, and for each pair, decide whether S is in-
fected by I with probability P
IS
. Now, for each P
IS
,
we derive a k-hour transmission probability, p
IS
k
, that
satisfies
(1 − p
IS
k
)
12
k
= 1 − P
IS
(1)
where k is a factor of 12 (we use the term, granular-
ity of the system, to denote the smallest unit of time
interval in which an event to be modelled could take
place). The probability p
IS
k
is derived such that the
overall probability of S getting infected by I does not
change if S is decided for infection with probability
p
IS
k
every k hour(s), provided that no change in state
occurs in each half-day step. Notice that this deriva-
tion also makes the assumptions that the probability
of transmitting a disease is uniform in the half-day
step and independent among each smaller sub-steps.
That is, we use the same p
IS
k
for all sub-steps, in-
stead of a number of different (conditional) probabili-
ties. These may be debatable assumptions, depending
upon what events are being modelled.
The probability p
IS
k
is derived between each IS-
pair; we would like the probabilities of transmitting
a disease (between any pair) in each step to be the
same as the original probability, P
IS
in cases of mul-
tiple pairs of infectious and susceptible agents in con-
tact. Now we show that this is indeed the case. More
formally, the probability of each susceptible agent S
getting infected remains the same as long as the du-
ration of contact between each IS-pair is unchanged
and a multiple of 12-hour. Notice that it suffices to
demonstrate the case where there are more than one
infectious agents in contact with only one suscepti-
ble agent, as susceptible agents do not influence each
other. This is an immediate result from the assumed
independence of infection events by different infec-
tious agents and the commutative property of mul-
tiplication. Suppose there are n infectious agents,
I
1
,...,I
n
and one susceptible agent S in contact in some
arbitrary half-day step. Let S
t
and S
t
denote the events
S gets infected at t and S gets infected by t, respec-
tively. Also, we use ¬ to denote logical negation.
Then,
Pr{S infected} = 1 − Pr{S not infected}
= 1 − Π
12
t
j
= jk, j∈N
Pr{¬S
t
j
|¬S
t
j−1
}
= 1 − Π
12
t
j
= jk j∈N
Π
n
i=1
Pr{¬S
t
j
by I
i
|¬S
t
j−1
}
= 1 − Π
n
i=1
Π
12
t
j
= jk, j∈N
(1 − p
I
i
S
k
)
= 1 − Π
n
i=1
(1 − P
I
i
S
)
Notice that in the derivation above, we split one half-
day into 12/k sub-steps of k hour(s) each. The same
approach could be used for splitting a time step of any
size into any integral number of equally spaced sub-
steps.
This refinement does not introduce any conceptu-
ally new artefact into the model. All it does is to per-
form the simulation with shorter time step size, and
in each time step, the probabilities for events to occur
are altered. Specifically, in Algorithm 1, we substitute
a step with a smaller sub-step in the outermost loop,
and use p
IS
k
instead of P
IS
when deciding infection
(line 4). Regarding the two concerns we have at the
end section 2, the first is solved as we can now model
any events that take place with periods greater than
or equal to the granularity of the system (k hours in
this example). This approach does not deal with the
second concern directly. However, by reducing the
time step size (and thus the transmission probability
in a step), the chances of simultaneous events could
be reduced significantly.
Now a new issue concerning efficiency is intro-
duced. Typically, in a large scale agent-based sim-
ulation system, the number of possible interactions
among agents or other events (line 2 in Algorithm 1)
is very large in each step. Therefore, after applying
this technique to reduce the step size, we will exam-
ine, in each step, a long list of possible events, of
which most will not take place due to the reduced
probabilities. In response to this efficiency issue, in
section 3.2 we introduce techniques in implementa-
tion, which allow the system to run almost as fast as
with the coarser time step, but achieve the benefits
produced by the finer time step.
3.2 Efficient Implementation
Our goal in this section is to implement the refined
model more efficiently. For the ease of description,
we refer to the original time step (e.g. half-day in
the model above) as step, and the finer time step (e.g.
k hour(s)) as sub-step, and also maintain the use of P
and p
k
to denote the transmission probabilities in each
step and sub-step, respectively. The challenge is that
we wish to achieve the effect of advancing the sys-
tem every sub-step unit of time, but we do not want
to examine all possible transmission events such fre-
SIMULTECH2012-2ndInternationalConferenceonSimulationandModelingMethodologies,Technologiesand
Applications
44