面向空间显式生态模型的进程演算的平均场语义
计算机科学中的逻辑
2016-03-04 v1
摘要
我们为S-PALPS定义了一种平均场语义，S-PALPS是一种用于生态系统中空间显式、基于个体的建模的进程演算。S-PALPS的新语义允许将系统的平均行为解释为一组递推方程。递推方程在处理大量个体时是有用的近似，正如流行病学研究中的情况。作为案例研究，我们计算了一组递推方程，刻画了哥伦比亚安蒂奥基亚省贝洛市登革热传播基于个体模型中的动态。
引用
@article{arxiv.1603.00979,
title = {Mean-Field Semantics for a Process Calculus for Spatially-Explicit Ecological Models},
author = {Mauricio Toro and Anna Philippou and Sair Arboleda and María Puerta and Carlos M. Vélez S.},
journal= {arXiv preprint arXiv:1603.00979},
year = {2016}
}
备注
In Proceedings DCM 2015, arXiv:1603.00536