生物系统定性模型的抽象理论
计算工程、金融与科学
2010-11-03 v1 离散数学
摘要
多值网络模型是生物学界广泛使用的一种重要的定性建模方法。在本文中，我们考虑为多值网络模型开发一种抽象理论，允许在保留模型关键性质的同时缩减模型的状态空间。这非常重要，因为它有助于多值网络的分析与比较，特别是有助于解决与此类分析相关的著名的状态空间爆炸问题。我们还考虑开发高效识别抽象的技术，从而为该任务的自动化提供基础。我们通过研究已发表的 λ 噬菌体裂解-溶原开关的两个 MVN 模型的抽象识别，来说明所开发的理论与技术。
引用
@article{arxiv.1011.0489,
title = {An Abstraction Theory for Qualitative Models of Biological Systems},
author = {Richard Banks and L. Jason Steggles},
journal= {arXiv preprint arXiv:1011.0489},
year = {2010}
}
备注
In Proceedings MeCBIC 2010, arXiv:1011.0051