计算机科学 ›› 2017, Vol. 44 ›› Issue (5): 193-198.doi: 10.11896/j.issn.1002-137X.2017.05.035
郭宗豪,魏欧
GUO Zong-hao and WEI Ou
摘要: 系统生物学期望对复杂生物系统建立一个真实的、可计算的模型,以便于以系统的角度去理解生物系统的演变过程。在系统生物学中,一个重要的主题是通过外部的干预控制发展关于基因调控网络的控制理论,以作为未来基因治疗技术。目前,布尔网络及其扩展的概率布尔网络已经被广泛用于对基因调控网络进行建模。在控制问题的研究中,概率布尔控制网络的状态迁移本质上构成一条有限状态空间的离散时间马尔科夫决策过程。依据马尔科夫决策过程的理论,通过概率模型检测方法解决网络中有限范围优化控制问题和无限范围优化控制问题。针对带有随机干扰且上下文相关的概率布尔控制网络,使用概率模型检测器PRISM对其进行形式化建模,然后将两类优化控制问题描述为相应的时序逻辑公式,最后通过模型检测寻找出最优解。实验结果表明,提出的方法可以有效地用于生物网络的分析和优化控制。
[1] LI P,ZHANG C,PERKINS E J,et al.Comparison of probabilistic Boolean network and dynamic Bayesian network approaches for inferring gene regulatory networks[J].BMC Bioinformatics,2007,8(1):S13. [2] STEGGLES L J,BANKS R,SHAW O,et al.Qualitatively mo-delling and analysing genetic regulatory networks:a Petri net approach[J].Bioinformatics,2007,23(3):336-343. [3] KOBAYASHI K,HIRAISHI K.Optimal control of gene regulatory networks with effectiveness of multiple drugs:a Boolean network approach[J].Biomed Research International,2013,2013(23):10233-10240. [4] SHMULEVICH I,DOUGHERTY E R,KIM S,et al.Probabilistic Boolean Networks:a rule-based uncertainty model for gene regulatory networks[J].Bioinformatics,2002,18(2):261-274. [5] CHING W K,ZHANG S Q,JIAO Y,et al.Optimal finite-horizon control for probabilistic Boolean networks with hard constraints[C]∥International Symposium on Optimization & Systems Biology.Beijing,China,2007:21-28. [6] PAL R,DATTA A,DOUGHERTY E R.Optimal infinite-horizon control for probabilistic Boolean networks[J].IEEE Tran-sactions on Signal Processing,2006,54(6):2375-2387. [7] CIESINSK F,GRβER M.On Probabilistic Computation Tree Logic[M]∥Validation of Stochastic Systems.Berlin Heidelberg:Springer,2004:147-188. [8] ZHANG H,WANG X,LIN X.Synchronization of Boolean Networks with Different Update Schemes[J].IEEE/ACM Transactions on Computational Biology & Bioinformatics,2014,11(5):965-972. [9] ZHU P,HAN J.Asynchronous stochastic Boolean networks as gene network models[J].Journal of Computational Biology,2014,21(10):771-783. [10] FARYABI B,VAHEDI G,CHAMBERLAND J F,et al.Intervention in Context-Sensitive Probabilistic Boolean Networks Revisited[J].Eurasip Journal on Bioinformatics & Systems Biology,2009,2009(1):1-13. [11] SHMULEVICH I,DOUGHERTY E R,ZHANG W.Gene perturbation and interventionin probabilistic Boolean networks[J].Bioinformatics,2002,8(10):1319-1331. [13] KWIATKOWSKA M,NORMAN G,PARKER D.StochasticModel Checking[M].REMKE A,STOELINGA M,eds.Berlin Heidelberg:Springer,2014. [14] DATTA A,CHOUDHARY A,BITTNER M L,et al.External Control in Markovian Genetic Regulatory Networks[J].Journal of Chemical Physics,2003,109(11):4569-4575. [15] TOURNIER L,CHAVES M.Uncovering operational interac-tions in genetic networks using asynchronous boolean dynamics[J].Journal of Theoretical Biology,2009,260(2):196-209. [17] FENG J,YAO J,PENG C.Singular Boolean networks:Semi-tensor product approach[J].Science China(Information Scien-ces),2013,56(11):1-14. [19] KOBAYASHI K,HIRAISHI K.Verification and Optimal Control of Context-Sensitive Probabilistic Boolean Networks Using Model Checking and Polynomial Optimization[J].The Scientific World Journal,2014,2014(2):295-318. [20] LIU Q,GUO X,ZHOU T.Optimal control for probabilisticBoolean networks[J].IET Systems Biology,2010,4(2):99-107. |
No related articles found! |
|