Modelling the Dynamics of an Aedes albopictus Population

被引：4

作者：

Basuki, Thomas Anung ^{[1
]}

Cerone, Antonio ^{[1
]}

Barbuti, Roberto ^{[2
]}

Maggiolo-Schettini, Andrea ^{[2
]}

Milazzo, Paolo ^{[2
]}

Rossi, Elisabetta ^{[3
]}

机构：

[1] United Nations Univ, Int Inst Software Technol UNU IIST, Macau, Peoples R China

[2] Univ Pisa, Dipartimento Informat, Pisa, Italy

[3] Univ Pisa, Dipartimento Coltivaz & Difesa Specie Legnose, Pisa, Italy

来源：

ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE | 2010年 / 33期

关键词：

D O I：

10.4204/EPTCS.33.2

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

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 languageMaude, and used to compare the dynamics obtained from the model with real data.

引用

页码：18 / 36

页数：19

共 50 条

[1] CHIKUNGUNYA VIRUS POPULATION DYNAMICS IN CELLS AND AEDES ALBOPICTUS
Coffey, Lark L.
Vignuzzi, Marco
[J]. AMERICAN JOURNAL OF TROPICAL MEDICINE AND HYGIENE, 2009, 81 (05): : 197 - 198
[2] Large-Scale Modelling of the Environmentally-Driven Population Dynamics of Temperate Aedes albopictus (Skuse)
Erguler, Kamil
Smith-Unna, Stephanie E.
Waldock, Joanna
Proestos, Yiannis
Christophides, George K.
Lelieveld, Jos
Parham, Paul E.
[J]. PLOS ONE, 2016, 11 (02):
[3] Population impacts of Wolbachia on Aedes albopictus
Mains, James W.
Brelsfoard, Corey L.
Crain, Philip R.
Huang, Yunxin
Dobson, Stephen L.
[J]. ECOLOGICAL APPLICATIONS, 2013, 23 (02) : 493 - 501
[4] The effects of simulated rainfall on immature population dynamics of Aedes albopictus and female oviposition
Hamady Dieng
G. M. Saifur Rahman
A. Abu Hassan
M. R. Che Salmah
Tomomitsu Satho
Fumio Miake
Michael Boots
AbuBakar Sazaly
[J]. International Journal of Biometeorology, 2012, 56 : 113 - 120
[5] The effects of simulated rainfall on immature population dynamics of Aedes albopictus and female oviposition
Dieng, Hamady
Rahman, G. M. Saifur
Abu Hassan, A.
Salmah, M. R. Che
Satho, Tomomitsu
Miake, Fumio
Boots, Michael
Sazaly, AbuBakar
[J]. INTERNATIONAL JOURNAL OF BIOMETEOROLOGY, 2012, 56 (01) : 113 - 120
[6] POPULATION-DYNAMICS OF AEDES (STEGOMYIA) ALBOPICTUS (SKUSE) UNDER LABORATORY CONDITIONS
LIU, ZW
ZHANG, YJ
YANG, YZ
[J]. ACTA ENTOMOLOGICA SINICA, 1985, 28 (03) : 274 - 280
[7] Potential effects of heat waves on the population dynamics of the dengue mosquito Aedes albopictus
Jia, Pengfei
Liang, Lu
Tan, Xiaoyue
Chen, Jin
Chen, Xiang
[J]. PLOS NEGLECTED TROPICAL DISEASES, 2019, 13 (07):
[8] On the Analysis of Parasite Effect for Aedes aegypti and Aedes albopictus Population
Kallista, Meta
Aldila, Dipo
Nuraini, Nuning
Soewono, Edy
[J]. 4TH INTERNATIONAL CONFERENCE ON MATHEMATICS AND NATURAL SCIENCES (ICMNS 2012)L: SCIENCE FOR HEALTH, FOOD AND SUSTAINABLE ENERGY, 2014, 1589 : 472 - 475
[9] Modelling the probability of presence of Aedes aegypti and Aedes albopictus in Iran until 2070
Sedaghat, Mohammad Mehdi
Omid, Faramarz Bozorg
Karimi, Mohammad
Haghi, Sajjad
Hanafi-Bojd, Ahmad Ali
[J]. ASIAN PACIFIC JOURNAL OF TROPICAL MEDICINE, 2023, 16 (01) : 16 - 25
[10] Modelling the probability of presence of Aedes aegypti and Aedes albopictus in Iran until 2070
Mohammad Mehdi Sedaghat
Faramarz Bozorg Omid
Mohammad Karimi
Sajjad Haghi
Ahmad Ali Hanafi-Bojd
[J]. Asian Pacific Journal of Tropical Medicine, 2023, 16 (01) : 16 - 25

← 1 2 3 4 5 →