论文标题
组合科学模型的组成探索
Compositional Exploration of Combinatorial Scientific Models
论文作者
论文摘要
我们将模型搜索空间的新颖表示形式作为一类模型的图表，我们将注意力限制在\ c-set呈现的一系列结构的广泛模型上。 （CO）这些图类别中的限制允许从更原始空间创建复合模型空间。我们提出了有限呈现的类别和图表类别的计算机代数（包括它们的限制和colimits）的新颖实现，该类别和图表类别是正式的。这与促进这些模型空间中所需模型的选择的策略相结合。我们通过生成适合实验数据的工具，搜索与大规模动力学模型相关的流行病学子空间来证明我们的框架。
We implement a novel representation of model search spaces as diagrams over a category of models, where we have restricted attention to a broad class of models whose structure is presented by \C-sets. (Co)limits in these diagram categories allow the creation of composite model spaces from more primitive spaces. We present a novel implementation of the computer algebra of finitely presented categories and diagram categories (including their limits and colimits), which formalizes a notion of model space exploration. This is coupled with strategies to facilitate the selection of desired models from these model spaces. We demonstrate our framework by generating a tool which fits experimental data, searching an epidemiology-relevant subspace of mass-action kinetic models.
