| |
|
|
【详细介绍】
| 为了更好的进行生物实验，可以通过计算机建模来指导生物实验，从而降低实验成本。由于定量分析的方法的一些限制，如何进行定性分析成为了新的研究方向。Notch 通路在生物细胞的分化中起着很重要的作用，比如神经干细胞的分化。这篇文章使用定性分析的方法来研究Notch 通路的一些性质。首先，介绍了关于Notch 通路的基础知识；然后简要说明了用于建模的系统——组织P 系统；建模完成后，使用线形时序逻辑(LTL)来描述Notch通路的性质，再利用基于重写逻辑、支持LTL 的语法的模型检测软件Maude 来进行检测。检测得出了Notch 通路抑制作用的结果，和实际相一致，从而说明了定性分析的方法是有效的。最后，做了一下总结和展望。 |
|
|