Diferencia entre revisiones de «Cálculo de procesos con ubicaciones para sistemas poblacionales»
creación Etiqueta: sin categorizar |
Sin resumen de edición |
||
Línea 1: | Línea 1: | ||
''Cálculo de procesos con ubicaciones para sistemas |
''Cálculo de procesos con ubicaciones para sistemas poblacionales'' (en Inglés, ''Process algebra with locations for population systems'') es una extensión del |
||
[[Cálculo de sistemas comunicantes]] de [[Robin Milner]] con escogencia probabilística, y con ubicaciones y atributos para las ubicaciones<ref>{{cita web|título=Simulation and Verification in a Process Calculus for Spatially-Explicit Ecological Models|url=http://www.info.uaic.ro/bin/Annals/Article?v=XXIII1&a=3|fechaacceso=8 de marzo de 2017}}</ref>. El cálculo de procesos con ubicaciones para sistemas poblaciones fue desarrollado por [[Anna Philippou]] y [[Mauricio toro bermúdez]]. El cálculo de procesos con ubicaciones para sistemas |
[[Cálculo de sistemas comunicantes]] de [[Robin Milner]] con escogencia probabilística, y con ubicaciones y atributos para las ubicaciones<ref>{{cita web|título=Simulation and Verification in a Process Calculus for Spatially-Explicit Ecological Models|url=http://www.info.uaic.ro/bin/Annals/Article?v=XXIII1&a=3|fechaacceso=8 de marzo de 2017}}</ref>. El cálculo de procesos con ubicaciones para sistemas poblaciones fue desarrollado por [[Anna Philippou]] y [[Mauricio toro bermúdez]]. El cálculo de procesos con ubicaciones para sistemas poblacionales es el primer cálculo de procesos que fue desarrollado especificamente para razonar sobre modelos de ecosistemas<ref>{{cita web|título=Process Ordering in a Process Calculus for Spatially-Explicit Ecological Models|url=http://link.springer.com/chapter/10.1007/978-3-319-05032-4_25|fechaacceso=8 de marzo de 2017}}</ref>. La novedad de este cálculo es la forma en que trata el estado, en particular, que es capaz de expresar comportamiento que dependen del estado de una ubicación en el ecosistema<ref>{{cita web|título=Anna Philippou's slides for ICTAC 2014|url=http://fmi.unibuc.ro/ictac2014/slides/anna.pptx|fechaacceso=8 de marzo de 2017}}</ref>. |
||
Este cálculo ha sido usado para desarrollar un modelo y analizar la dinámica poblacional del [[dengue]] en [[Colombia]] <ref>{{cita web|título=Mean-Field Semantics for a Process Calculus for Spatially-Explicit Ecological Models|url=https://arxiv.org/abs/1603.00979|fechaacceso=8 de marzo de 2017}}</ref> y para el estudio del [[Falco eleonorae]] en el [[Mar Mediterráneo]]<ref>{{cita web|título=Synchronous Parallel Composition in a Process Calculus for Ecological Models|url=http://link.springer.com/chapter/10.1007/978-3-319-10882-7_25|fechaacceso=8 de marzo de 2017}}</ref>. |
Este cálculo ha sido usado para desarrollar un modelo y analizar la dinámica poblacional del [[dengue]] en [[Colombia]] <ref>{{cita web|título=Mean-Field Semantics for a Process Calculus for Spatially-Explicit Ecological Models|url=https://arxiv.org/abs/1603.00979|fechaacceso=8 de marzo de 2017}}</ref> y para el estudio del [[Falco eleonorae]] en el [[Mar Mediterráneo]]<ref>{{cita web|título=Synchronous Parallel Composition in a Process Calculus for Ecological Models|url=http://link.springer.com/chapter/10.1007/978-3-319-10882-7_25|fechaacceso=8 de marzo de 2017}}</ref>. |
Revisión del 20:21 3 abr 2017
Cálculo de procesos con ubicaciones para sistemas poblacionales (en Inglés, Process algebra with locations for population systems) es una extensión del Cálculo de sistemas comunicantes de Robin Milner con escogencia probabilística, y con ubicaciones y atributos para las ubicaciones[1]. El cálculo de procesos con ubicaciones para sistemas poblaciones fue desarrollado por Anna Philippou y Mauricio toro bermúdez. El cálculo de procesos con ubicaciones para sistemas poblacionales es el primer cálculo de procesos que fue desarrollado especificamente para razonar sobre modelos de ecosistemas[2]. La novedad de este cálculo es la forma en que trata el estado, en particular, que es capaz de expresar comportamiento que dependen del estado de una ubicación en el ecosistema[3].
Este cálculo ha sido usado para desarrollar un modelo y analizar la dinámica poblacional del dengue en Colombia [4] y para el estudio del Falco eleonorae en el Mar Mediterráneo[5].
References
- ↑ «Simulation and Verification in a Process Calculus for Spatially-Explicit Ecological Models». Consultado el 8 de marzo de 2017.
- ↑ «Process Ordering in a Process Calculus for Spatially-Explicit Ecological Models». Consultado el 8 de marzo de 2017.
- ↑ «Anna Philippou's slides for ICTAC 2014». Consultado el 8 de marzo de 2017.
- ↑ «Mean-Field Semantics for a Process Calculus for Spatially-Explicit Ecological Models». Consultado el 8 de marzo de 2017.
- ↑ «Synchronous Parallel Composition in a Process Calculus for Ecological Models». Consultado el 8 de marzo de 2017.