基于概率模型检测的基因调控网络优化控制问题研究

摘要

基因调控网络是一类基本且重要的生物网络，通过对其控制可以实现生物系统功能的调节。在系统生物学中，通过外部的干预控制构造关于基因调控网络的控制理论成为一个非常热门的主题。该控制理论有助于发展未来的基因治疗技术以及解决一些生命科学问题。目前，布尔网络和概率布尔网络作为重要的网络模型已经被广泛地用于基因调控网络优化控制问题的研究中。
　　基因调控网络的优化控制问题是指寻找有效的控制策略使得网络按照期望的方式演变，同时最小化控制成本。由于采取不同的控制时长，优化控制问题可以分为有限范围优化控制问题和无限范围优化控制问题。根据两类优化控制问题的定义，本文提出了以概率模型检测技术为基础的解决方法。
　　针对有限范围的优化控制问题，本文提出了一种以概率模型检测为基础求解最优期望总成本以及相应优化控制策略的方法。首先，该方法使用概率模型检测器PRISM提供的建模语言描述在具有控制输入情况下带有干扰且上下文相关的概率布尔网络。然后，归约优化控制中定义的最优期望总成本为马尔科决策过程上的最小可达性回报。最后，在PRISM中，reward结构用于描述优化控制中的定量信息，最小可达性回报属性使用概率计算树逻辑公式表达并且通过模型检测算法实现自动求解。获取到的有限范围优化控制策略能够有效地改变网络的短期运行行为。提出的方法被应用到细胞凋亡网络和WNT5A网络中。实验结果证明了方法的正确性和有效性。进一步，本文还考虑了使用该方法求解带有硬性约束条件的有限范围优化控制问题，并在实验中证明了方法的灵活性。
　　针对无限范围的优化控制问题，本文提出了一种以遗传算法和概率模型检测器PRISM相结合的方式求解最优期望总成本以及相应优化控制策略的方法。无限范围控制策略是一种固定控制策略，即不依赖控制时间，确定在每个网络状态上的控制决策。首先，该方法归约无限范围控制中定义的期望总成本为离散时间马尔科夫链上的平稳状态回报。其次，构建包含固定控制策略的带有干扰且上下文相关概率布尔网络的PRISM模型。然后，为了求解无限范围优化控制问题，固定控制策略被编码为遗传算法解空间中的一个个体。个体的适应度值在PRISM中被计算。最后，遗传算法在解空间上迭代地执行遗传操作从而获取最优解。获取到的无限范围优化控制策略能够有效地改变网络长期运行行为。提出的方法被应用到WNT5A网络中。实验结果证明了方法的正确性和有效性。

目录

声明

缩略词

第一章 绪论

1.1 课题的研究背景和意义

1.2课题的研究现状

1.3 论文的研究内容

第二章 背景知识

2.1 基因调控网络模型

2.2 概率模型检测

2.3 概率模型检测器PRISM

2.4 本章小结

第三章 概率布尔网络动态行为的分析和控制

3.1 预备知识

3.2 DTMC理论分析概率布尔网络

3.3 MDP理论分析概率布尔网络的控制

3.4 本章小结

第四章有限范围优化控制问题

4.1 预备知识

4.2有限范围优化控制的分析和建模

4.3硬性约束问题的求解

4.4案例研究

4.5 本章小结

第五章 无限范围优化控制问题

5.1 预备知识

5.2无限范围优化控制的分析和求解

5.3案例研究

5.4 本章小结

第六章 总结与展望

参考文献

致谢

在学期间的研究成果及发表的学术论文