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 条

[31] Aedes albopictus in Africa
Gubler, DJ
[J]. LANCET INFECTIOUS DISEASES, 2003, 3 (12): : 751 - 752
[32] Could Sterile Aedes albopictus Male Releases Interfere with Aedes aegypti Population in Reunion Island?
Andrianjakarivony, Harilanto Felana
Damiens, David
Marquereau, Lucie
Gaudillat, Benjamin
Habchi-Hanriot, Nausicaa
Gouagna, Louis-Clement
[J]. INSECTS, 2022, 13 (02)
[33] Abiotic factors and population dynamic of Aedes aegypti and Aedes albopictus in an endemic area of dengue in Brazil
de Oliveira Custodio, Jeniffer Michelline
Serpa Nogueira, Livia Maria
Souza, Daiana Alovisi
Fernandes, Magda Freitas
Oshiro, Elisa Teruya
de Oliveira, Everton Falcao
Piranda, Eliane Mattos
de Oliveira, Alessandra Gutierrez
[J]. REVISTA DO INSTITUTO DE MEDICINA TROPICAL DE SAO PAULO, 2019, 61
[34] Influence of Temperature on the Life-Cycle Dynamics of Aedes albopictus Population Established at Temperate Latitudes: A Laboratory Experiment
Marini, Giovanni
Manica, Mattia
Arnoldi, Daniele
Inama, Enrico
Rosa, Roberto
Rizzoli, Annapaola
[J]. INSECTS, 2020, 11 (11) : 1 - 17
[35] Larval Mosquito Habitat Utilization and Community Dynamics of Aedes albopictus and Aedes japonicus (Diptera: Culicidae)
Bartlett-Healy, Kristen
Unlu, Isik
Obenauer, Peter
Hughes, Tony
Healy, Sean
Crepeau, Taryn
Farajollahi, Ary
Kesavaraju, Banu
Fonseca, Dina
Schoeler, George
Gaugler, Randy
Strickman, Daniel
[J]. JOURNAL OF MEDICAL ENTOMOLOGY, 2012, 49 (04) : 813 - 824
[36] Duel patterns of pupation, emergence, and oviposition in a laboratory population of Aedes albopictus
Xue, RD
Barnard, DR
[J]. JOURNAL OF THE AMERICAN MOSQUITO CONTROL ASSOCIATION, 1997, 13 (02) : 205 - 207
[37] RELATIVE POPULATION DENSITIES OF AEDES-ALBOPICTUS AND A-GUAMENSIS ON GUAM
ROZEBOOM, LE
BRIDGES, JR
[J]. BULLETIN OF THE WORLD HEALTH ORGANIZATION, 1972, 46 (04) : 477 - &
[38] A climate-driven mechanistic population model of Aedes albopictus with diapause
Pengfei Jia
Liang Lu
Xiang Chen
Jin Chen
Li Guo
Xiao Yu
Qiyong Liu
[J]. Parasites & Vectors, 9
[39] A climate-driven mechanistic population model of Aedes albopictus with diapause
Jia, Pengfei
Lu, Liang
Chen, Xiang
Chen, Jin
Guo, Li
Yu, Xiao
Liu, Qiyong
[J]. PARASITES & VECTORS, 2016, 9
[40] Population genetics of an invasive mosquito vector, Aedes albopictus in the Northeastern USA
Gloria-Soria, Andrea
Shragai, Talya
Ciota, Alexander
Duval, Todd B.
Alto, Barry W.
Martins, Ademir J.
Westby, Kathleen M.
Medley, Kim A.
Unlu, Isik
Campbell, Scott R.
Kawalkowski, Malgorzata
Tsuda, Yoshio
Higa, Yukiko
Indelicato, Nicholas
Leisnham, Paul T.
Caccone, Adalgisa
Armstrong, Philip M.
[J]. NEOBIOTA, 2022, 78 : 99 - 127

← 1 2 3 4 5 →