Process Algebra Models of Population Dynamics
Process Algebra Models of Population Dynamics
复制标题
种群动态的过程代数模型
DOI：
--
复制
发表时间：
2008
期刊：
影响因子：
--
通讯作者：
C. Shankland
中科院分区：
文献类型：
--
作者：
C. McCaig;R. Norman;C. Shankland
众所周知，人口不可能无限制地增长，限制增长的是个人之间对资源的竞争。尽管几个世纪的兴趣，如何最好地模拟密度依赖的人口增长的问题仍然没有明确的答案。我们在这里解决这个问题，通过一些基于个人的模型表示使用进程代数WSCCS的人口。这些模型的优点是它们可以明确地基于对个体相互作用的观察。从我们的概率模型中，我们推导出方程表达整体人口动态，使用正式和严格的重写为基础的方法。这些方程很容易与传统上使用的确定性常微分方程模型进行比较，并允许评估这些ODE模型，挑战他们对系统动力学的假设。此外，该方法被应用于流行病学，将人口增长与疾病传播相结合。
It is well understood that populations cannot grow without bound and that it is competition between individuals for resources which restricts growth. Despite centuries of interest, the question of how best to model density dependent population growth still has no definitive answer. We address this question here through a number of individual based models of populations expressed using the process algebra WSCCS. The advantage of these models is that they can be explicitly based on observations of individual interactions. From our probabilistic models we derive equations expressing overall population dynamics, using a formal and rigorous rewriting based method. These equations are easily compared with the traditionally used deterministic Ordinary Differential Equation models and allow evaluation of those ODE models, challenging their assumptions about system dynamics. Further, the approach is applied to epidemiology, combining population growth with disease spread.