基于结构化COSPANS和Julia的流行病学建模

这是一个奇妙的发展！Micah Halt和Evan Patterson将我与Kenny Courser在结构化COSPAN上的工作、与Jade Master的开放Petri网以及Joachim Kock的全粒Petri网结合起来，并将它们变成了一个实用的软件工具！

然后，他们利用这一点建立了一个工具，用来对传染病的传播进行“成分”建模。所谓“组合”，我的意思是它们通过将更小、更简单的模型粘合在一起，使得构建更复杂的模型变得容易。

更好的是，他们通过重建英国一直用来制定关于COVID19的政策决策的模型的一部分，说明了这一工具的使用。

我曾期望结构化的COSPs在编程和建模方面会有用，但我没想到它会这么快实现！

·Micah Halt和Evan Patterson，“使用结构化COSPAN的成分流行病学建模”，2020年10月17日。

抽象的。应用范畴理论(ACT)的目标是将科学和工程过程固有的组合性建立在坚实的数学基础上。在这篇文章中，我们展示了如何将ACT的数学运算用于以组合的方式建立复杂的流行病学模型。在前两节中，我们回顾了结构化COSPAN的概念，结构化COSPAN是一种将封闭系统转化为开放系统的形式化方法，并通过开放图的简单例子说明了它在Catlab中的应用。最后，我们将该机制应用于Petri网和流行病学模型的设置中。我们构造了新冠肺炎大流行的共存模型的一部分，并对所得的常微分方程进行了模拟。

我是有偏见的，但我认为这真的是很酷的尖端东西。如果你想做这些方面的工作，请在这里告诉我，我会让帕特森去看看。