Un nou model formal per simular allaus emprant un autòmat cel·lular multicapa

Abstract

L’article introdueix un nou mètode per simular la dinàmica d’una allau de neu de placa. L’estructura del model està basada en una generalització d’autòmat cel·lular (AC) que permet utilitzar diferents capes (mn-CAk). Cada una d’aquestes capes representa la informació geogràfica necessària per caracteritzar l’evolució de l’allau. El model s’ha formalitzat usant Specification and Description Language (SDL) i implementat en C++. La clara separació entre la definició del model i la implementació del mateix simplifica la comprensió del comportament del model, en aquest cas concret de les regles d’evolució de l’AC. Es proposen dos paràmetres a calibrar mitjançant la validació dels resultats d’una sèrie d’experiments. Per la validació de les simulacions s’han utilitzat informes d’allaus reals recollits per un equip de la facultat de Geologia de la UB i l’Institut Geològic de Catalunya (IGC).