well calibrated and validated against test cases to as-
sess its reliability, cf. e.g. (DelNegro et al., 2008)
(Rongo et al., 2008) (Vicari et al., 2007). Another
desirable characteristic should be the model’s effi-
ciency since, depending on the extent of the consid-
ered area, a great number of simulations could be
required (D’Ambrosio et al., 2006), (Crisci et al.,
2010). A first computational model of basaltic lava
flows, based on the Cellular Automata computational
paradigm and, specifically, on the Macroscopic Cel-
lular Automata approach for the modeling of spatially
extended dynamical systems, was proposed in (Crisci
et al., 1982) called SCIARA. In the following years,
the SCIARA family of lava flows simulation mod-
els have been improved and applied with success to
the simulation of different Etnean cases of study, e.g.
(Crisci et al., 2004) (Rongo et al., 2008).
Cellular Automata (CA) (Neumann, 1966) were
introduced in 1947 by the John von Neumann in
his attempt to understand and formalise the under-
ling mechanisms that regulate the auto-reproduction
of living beings. After the publication of his stud-
ies, Cellular Automata quickly came to the attention
of the Scientific Community both as powerful paral-
lel computational models and as convenient tools for
modelling and simulating several types of complex
physical phenomena (Chorpard and Droz, 1998).
Classical Cellular Automata can be viewed as an
n-dimensional space, R, subdivided in cells of uni-
forms shape and size. Each cell embeds an identical
finite automaton (fa), whose state accounts for the
temporary features of the cell; Q is the finite set of
states. The fa input is given by the states of a set
of neighbouring cells, including the central cell it-
self. The neighbourhood conditions are determined
by a geometrical pattern, X, which is invariant in time
and space. The fa have an identical state transition
function τ : Q
♯X
→ Q, where ♯X is the cardinality of
the set of neighbouring cells, which is simultaneously
applied to each cell. At step t = 0, fa are in arbitrary
states and the CA evolves by changing the state of all
fa simultaneously at discrete times, according to τ.
Macroscopic Cellular Automata (MCA) (DiGre-
gorio and Serra, 1999) introduce some extensions to
the classical CA formal definition. In particular, the
Q of state of the cell is decomposed in r substates,
Q
1
, Q
2
,..., Q
r
, each one representing a particular
feature of the phenomenon to be modelled (e.g. for
lava flow models, cell temperature, lava content, out-
flows, etc). The overall state of the cell is thus ob-
tained as the Cartesian product of the considered sub-
states: Q = Q
1
× Q
2
× ... × Q
r
. A set of parameters,
P = {p
1
, p
2
,..., p
p
}, is furthermore considered, which
allow to “tune”the model for reproducing different
dynamical behaviours of the phenomenon of interest
(e.g. for lava flow models, the Stephan-Boltzmann
constant, lava density, lava soldification temperature,
etc). As the set of state is split in substates, also the
state transition function τ is split in elementary pro-
cesses, τ
1
,τ
2
,...,τ
s
, each one describing a particular
aspect that rules the dynamic of the considered phe-
nomenon. Eventually, G ⊂ R is a subset of the cel-
lular space that is subject to external influences (e.g.
for lava flow models, the crater cells), specified by the
supplementary function γ. External influences are in-
troduced in order to model features which are not easy
to be described in terms of local interactions.
In the MCA approach, by opportunely discretiz-
ing the surface on which the phenomenon evolves, the
dynamics of the system can be described in terms of
flows of some quantity from one cell to the neigh-
bouring ones. Moreover, as the cell dimension is a
constant value throughout the cellular space, it is pos-
sible to consider characteristics of the cell (i.e. sub-
states), typically expressed in terms of volume (e.g.
lava volume), in terms of thickness. This simple as-
sumption permits to adopt a straightforward but effi-
cacious strategy that computes outflows from the cen-
tral cell to the neighbouring ones in order to minimize
the non-equilibrium conditions.
Still, owing to their intrinsic parallelism, both CA
and MCA models implementation on parallel com-
puters is straightforward, and the simulation dura-
tion can be reduced almost proportionally to the num-
ber of available processors (D’Ambrosio and Spataro,
2007).
In this work, the latest release of the SCIARA Cel-
lular Automata model for simulating lava flows was
adopted. Specifically, a Bingham-like rheology has
been introduced for the first time as part of the Min-
imization Algorithm of the Differences (DiGregorio
and Serra, 1999), which is applied for computing lava
outflows from the generic cell towards its neighbors.
Besides, the hexagonal cellular space adopted in the
previous releases (Crisci et al., 2004) of the model
for mitigating the anisotropic flow direction problem
has been replaced by a square one, nevertheless by
producing an even better solution for the anisotropic
effect. The model has been calibrated by consider-
ing three important real cases of studies, the 1981,
2001 and 2006 lava flows at Mt Etna (Italy), and on
ideal surfaces in order to evaluate the magnitude of
anisotropic effects. Even if major details of this ad-
vanced model can be found in (Spataro et al., 2010),
we briefly outline it’s main specifications.
In formal terms, the SCIARA MCA model is de-
fined as:
SCIARA =< R, L,X,Q,P,τ, γ > (1)
SIMULTECH 2011 - 1st International Conference on Simulation and Modeling Methodologies, Technologies and
Applications
38