空间显式生态模型的过程演算
A Process Calculus for Spatially-explicit Ecological Models
摘要：
我们提出了PALPS，一个人口系统的位置过程代数。PALPS允许我们产生空间上明确的、基于个体的模型，并对它们的行为进行推理。我们的演算有两个层次：在第一个层次上，我们可以定义种群中个体的行为，而在第二个层次上，我们可以将系统定义为位于空间中的各种物种的个体的集合，如果它们愿意的话，在它们的生存周期中移动，同时改变它们的位置，并以各种方式相互作用，例如相互捕食。此外，我们提出了一个概率时态逻辑推理PALPS过程的行为。我们说明了我们的框架，通过模型的扩散集合种群。
英文摘要：
We propose PALPS, a Process Algebra with Locations for Population Systems. PALPS allows us to produce spatially-explicit, individual-based models and to reason about their behavior. Our calculus has two levels: at the first level we may define the behavior of an individual of a population while, at the second level, we may specify a system as the collection of individuals of various species located in space, moving through their life cycle while changing their location, if they so wish, and interacting with each other in various ways such as preying on each other. Furthermore, we propose a probabilistic temporal logic for reasoning about the behavior of PALPS processes. We illustrate our framework via models of dispersal in metapopulations.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
