Modelling the Dynamics of an Aedes albopictus Population

Computer Science – Computational Engineering – Finance – and Science

Scientific paper

Rate now

  [ 0.00 ] – not rated yet Voters 0   Comments 0

Details

In Proceedings AMCA-POP 2010, arXiv:1008.3147

Scientific paper

10.4204/EPTCS.33.2

We present a methodology for modelling population dynamics with formal means of computer science. This allows unambiguous description of systems and application of analysis tools such as simulators and model checkers. In particular, the dynamics of a population of Aedes albopictus (a species of mosquito) and its modelling with the Stochastic Calculus of Looping Sequences (Stochastic CLS) are considered. The use of Stochastic CLS to model population dynamics requires an extension which allows environmental events (such as changes in the temperature and rainfalls) to be taken into account. A simulator for the constructed model is developed via translation into the specification language Maude, and used to compare the dynamics obtained from the model with real data.

No associations

LandOfFree

Say what you really think

Search LandOfFree.com for scientists and scientific papers. Rate them and share your experience with other people.

Rating

Modelling the Dynamics of an Aedes albopictus Population does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Modelling the Dynamics of an Aedes albopictus Population, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Modelling the Dynamics of an Aedes albopictus Population will most certainly appreciate the feedback.

Rate now

     

Profile ID: LFWR-SCP-O-135146

  Search
All data on this website is collected from public sources. Our data reflects the most accurate information available at the time of publication.