nach oben

Erschienen in:

2014 | OriginalPaper | Buchkapitel

4. Membrane System-Based Models for Specifying Dynamical Population Systems

verfasst von : M. A. Colomer-Cugat, M. García-Quismondo, L. F. Macías-Ramos, M. A. Martínez-del-Amor, I. Pérez-Hurtado, M. J. Pérez–Jiménez, A. Riscos-Núñez, L. Valencia-Cabrera

Erschienen in: Applications of Membrane Computing in Systems and Synthetic Biology

Verlag: Springer International Publishing

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config

KI-gestützte Suche

Aus

Abstract

Population Dynamics P systems (PDP systems, in short) provide a new formal bio-inspired modelling framework, which has been successfully used for modelling population dynamics on real ecosystems. The semantics of these systems is captured by the Direct distribution based on Consistent Blocks Algorithm (DCBA), which has been engineered into software simulation tools. In particular, MeCoSim (Membrane Computing Simulator) is a GUI developed in the framework of P-Lingua that can be used as a simulation environment for running virtual experiments. The parameters of each scenario to be simulated can be easily adjusted in a visual way, as well as the settings for the desired output format, thus facilitating the validation of the designed models against real data. The simulation of PDP systems is data intensive for large models. Therefore, the development of efficient simulators for this field is needed. In fact, the computational power of GPUs is currently being used to accelerate simulations of PDP systems. We illustrate the modelling framework presented with a case study concerning pandemics.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

über 102.000 Bücher
über 537 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Finance + Banking
Management + Führung
Marketing + Vertrieb
Maschinenbau + Werkstoffe
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 390 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Maschinenbau + Werkstoffe

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 340 Zeitschriften

aus folgenden Fachgebieten:

Bauwesen + Immobilien
Business IT + Informatik
Finance + Banking
Management + Führung
Marketing + Vertrieb
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Vorheriges Kapitel Molecular Diffusion and Compartmentalization in Signal Transduction Pathways: An Application of Membrane Systems to the Study of Bacterial Chemotaxis

Nächstes Kapitel Membrane Systems and Tools Combining Dynamical Structures with Reaction Kinetics for Applications in Chronobiology

P.J.E. Goss, J. Peccoud, Quantitative modelling of stochastic system in molecular biology by using stochastic Petri nets. Proc. Nat. Acad. Sci. U.S.A. 95, 6750–6755 (1998)CrossRef

A. Regev, E. Shapiro, The \(\pi \)-calculus as an abstraction for biomolecular systems, in Modelling in Molecular Biology, ed. by G. Ciobanu, G. Rozenberg (Springer, Berlin, 2004), pp. 219–266CrossRef

A. Regev, E.M. Panina, W. Silvermann, L. Cardelli, E. Shapiro, BioAmbients: an abstraction for biological compartments. Theoret. Comput. Sci. 325, 141–167 (2004)CrossRefMATHMathSciNet

L. Cardelli, Brane calculi: interactions of biological membranes. Lect. Notes Bioinf. 3082, 257–278 (2005)MathSciNet

V. Danos, C. Laneve, Formal molecular biology. Theoret. Comput. Sci. 325(1), 69–110 (2004)CrossRefMATHMathSciNet

D. Harel, Statecharts: a visual formalism for complex systems. Sci. Comput. Program. 8(3), 231–274 (1987)CrossRefMATHMathSciNet

M. Holcombe, M. Gheorghe, N. Talbot, A hybrid machine model of rice blast fungus, magnaphorte grisea. BioSystems 68(2–3), 223–228 (2003)

M.L. Shaffer, Determining minimum viable population sizes for the grizzly bear, in Proceedings International Conference on Bear Research and Management vol. 5, pp. 133–139 (1983)

M.E. Soulé (ed.), Viable Populations for Conservation (Cambridge University Press, Cambridge, 1987)

10.

Gh. Păun, Computing with membranes, J. Comput. Syst. Sci. 61(1), 108–143 (2000) and Turku Center for Computer Science-TUCS, Report No 208

11.

M. Cardona, M.A. Colomer, M.J. Pérez-Jiménez, D. Sanuy, A. Margalida, Modeling ecosystem using P systems: the bearded vulture, a case study. Lect. Notes Comput. Sci. 5391, 137–156 (2009)CrossRef

12.

M.A. Colomer, A. Margalida, D. Sanuy, M.J. Pérez-Jiménez, A bio-inspired computing model as a new tool for modeling ecosystems: the avian scavengers as a case study. Ecol. Model. 222(1), 33–47 (2011)CrossRef

13.

M. Cardona, M.A. Colomer, A. Margalida, A. Palau, I. Pérez-Hurtado, M.J. Pérez-Jiménez, D. Sanuy, A computational modeling for real ecosystems based on P systems. Nat. Comput. 10(1), 39–53 (2011)CrossRefMATHMathSciNet

14.

M.A. Colomer, A. Montori, I. Gaspa, C. Fondevilla. A computational model to study the dynamics of Pyrenean Newt (Calotriton asper), in Twelfth International Conference on Membrane, Computing (CMC12), ed. by M. Gheorghe, Gh. Păun, S. Verlan, pp. 485–496 (2011)

15.

Gh. Păun, Membrane Computing: An Introduction (Springer-Verlag, Berlin, 2002)

16.

M.A. Colomer, M.A. Martínez-del-Amor, I. Pérez-Hurtado, M.J. Pérez-Jiménez, A. Riscos-Núñez. A uniform framework for modeling based on P systems, in IEEE Fifth International Conference on Bio-inpired Computing: Theories and Applications (BIC-TA 2010), vol. 1, ed. by K. Li, Z. Tang, R. Li, A.K. Nagar, R. Thamburaj, pp. 616–621 (2010)

17.

S.E. Jørgensen, Ecological Modelling: An introduction (WIT press, Boston, 2009)

18.

M.A. Martínez-del-Amor, I. Pérez-Hurtado, M. García-Quismondo, L.F. Macías-Ramos, L. Valencia-Cabrera, A. Romero-Jiménez, C. Graciani, A. Riscos-Núñez, M.A. Colomer, M.J. Pérez-Jiménez, DCBA: simulating population dynamics P systems with proportional objects distribution. Lect. Notes Comput. Sci. 7762, 257–276 (2013)CrossRef

19.

M.A. Martínez-del-Amor, I. Pérez-Hurtado, M.J. Pérez-Jiménez, A. Riscos-Núñez, F. Sancho-Caparrini, A simulation algorithm for multienvironment probabilistic P systems: a formal verification. Int. J. Found. Comput. Sci. 22(1), 107–118 (2011)

20.

D. Díaz-Pernil, C. Graciani, M.A. Gutiérrez-Naranjo, I. Pérez-Hurtado, M.J. Pérez-Jiménez. Software for P systems, in The Oxford Handbook of Membrane Computing, Chapter 17, ed. by Gh. Păun, G. Rozenberg, A. Salomaa, (Oxford University Press, Oxford, 2009), pp. 437–454

21.

I. Pérez-Hurtado. Desarrollo y aplicaciones de un entorno de programación para computación celular: P-Lingua. Ph.D. Thesis, University of Seville, 2010

22.

The P-Lingua website. http://www.p-lingua.org

23.

GNU Public License. http://www.gnu.org/licenses/gpl.html

24.

M. Cardona, M.A. Colomer, A. Margalida, I. Pérez-Hurtado, M.J. Pérez-Jiménez, D. Sanuy, A P system based model of an ecosystem of some scavenger birds. Lect. Notes Comput. Sci. 5957, 182–195 (2010)CrossRef

25.

I. Pérez-Hurtado, L. Valencia-Cabrera, M.J. Pérez-Jiménez, M.A. Colomer, A. Riscos-Núñez. MeCoSim: a general purpose software tool for simulating biological phenomena by means of P systems, in IEEE Fifth International Conference on Bio-inspired Computing: Theories and Applications (BIC-TA 2010), vol. I, ed. by K. Li, Z. Tang, R. Li, A.K. Nagar, R. Thamburaj, pp. 637–643 (2010)

26.

MeCoSim website. http://www.p-lingua.org/mecosim

27.

M.A. Martínez-del-Amor, I. Karlin, R.E. Jensen, M.J. Pérez-Jiménez, A.C. Elster. Parallel simulation of probabilistic P systems on multicore platforms, in Tenth Brainstorming Week on Membrane Computing (BWMC 2012), vol. II, ed. by M. García, L.F. Macías, Gh. Păun, L. Valencia, pp. 17–26 (2012)

28.

M. Harris, Mapping Computational Concepts to GPUs (ACM SIGGRAPH 2005 Courses, NY, 2005)

29.

F. Cabarle, H. Adorna, M.A. Martínez-del-Amor, M.J. Pérez-Jiménez, Improving GPU simulations of Spiking Neural P systems. Rom. J. Inform. Sci. Technol. 15(1), 5–20 (2012)

30.

J.M. Cecilia, J.M. García, G.D. Guerrero, M.A. Martínez-del-Amor, I. Pérez-Hurtado, M.J. Pérez-Jiménez, Simulation of P systems with active membranes on CUDA. Briefings Bioinf. 11(3), 313–322 (2010)CrossRef

31.

J.M. Cecilia, J.M. García, G.D. Guerrero, M.A. Martínez-del-Amor, I. Pérez-Hurtado, M.J. Pérez-Jiménez, Simulating a P system based efficient solution to SAT by using GPUs. J. Logic Algebraic Program. 79(6), 317–325 (2010)CrossRefMATH

32.

D. Kirk, W. Hwu, Programming Massively Parallel Processors: A Hands On Approach (Morgan Kauffman, Boston, 2010)

33.

Ø. Krog, A.C. Elster, Fast GPU-based fluid simulations using SPH. Lect. Notes Comput. Sci. 7134, 98–108 (2012)CrossRef

34.

M.A. Martínez-del-Amor, I. Pérez-Hurtado, A. Gastalver-Rubio, A.C. Elster, M.J. Pérez-Jiménez, population dynamics P systems on CUDA. Lect. Notes Bioinf. 7605, 247–266 (2012)

35.

The PMCGPU project website. http://sourceforge.net/p/pmcgpu

36.

The Pandemic model in MeCoSim. http://www.p-lingua.org/mecosim/doc/case_studies/pandemics.html

37.

H. Yasuda, K. Suzuki, Measures against transmission of pandemic H1N1 influenza in Japan in 2009: simulation model. Euro Surveill 14, 44 (2009), pii=19385

38.

H.W. Hethcote, Three basic epidemiological models. Appl. Math. Ecol. 18, 119–144 (1989)CrossRefMathSciNet

39.

M. Qiao, A. Liu, U. Foryś, Qualitative analysis of the SICR epidemic model with impulsive vaccinations. Math. Methods Appl. Sci. 36(6), 695–706 (2013)CrossRefMATHMathSciNet

Titel: Membrane System-Based Models for Specifying Dynamical Population Systems
verfasst von: M. A. Colomer-Cugat
M. García-Quismondo
L. F. Macías-Ramos
M. A. Martínez-del-Amor
I. Pérez-Hurtado
M. J. Pérez–Jiménez
A. Riscos-Núñez
L. Valencia-Cabrera
Verlag: Springer International Publishing
Buch: Applications of Membrane Computing in Systems and Synthetic Biology
Print ISBN: 978-3-319-03190-3

Electronic ISBN: 978-3-319-03191-0

Copyright-Jahr: 2014
DOI: https://doi.org/10.1007/978-3-319-03191-0_4

Springer Professional

Abstract

Bitte loggen Sie sich ein, um Zugang zu Ihrer Lizenz zu erhalten.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Springer Professional "Technik"

Springer Professional "Wirtschaft"