摘要
提出了一种基于概率模型检测技术的新方法用于解决生物工程中基因调控网络探查吸引子这一关键问题.以大鼠干细胞基因调控网络的吸引子找寻这样一个具体问题为例,将布尔网络表示的基因调控网络的更新函数通过对应的真值表,转换为离散时间马尔科夫链,写入模型检测工具PRISM中;之后通过验证模型的系统性质的技术去验证每个基因在很长一段时间之后的激活概率,以此找到基因调控网络中的吸引子.同时,通过添加基因扰动的方式,改变每个基因的激活/抑制概率,可以找到每个基因对其他基因的促进/抑制关系.实验表明,大鼠干细胞基因中有7个基因在一段时间后状态不变,剩余基因的变化共同构成了一个吸引环.整个检测流程简洁易用,可以直接找出吸引子.进一步地,实验准确地找出了大鼠干细胞中Gatal基因的抑制/促进对象,此实验结果对解决大鼠的白血球减少症有着治疗方面的意义.
This paper proposes a new method based on probabilistic model checking technique to solve the problem of detecting attractors in gene regulatory networks which is vital in bio-engineering.We transform a gene regulatory network into a discrete-time Markov chains(DTMC for short)by using truth table.We verify the possibility of gene activation in some“long term”through a model checker named PRISM,which help us to find attractors of the gene regulatory network.In this paper,we show the whole procedure using the example of mice stem cell gene regulatory networks.Meanwhile,we make a new technique of detecting the promotion/inhibition relations between genes by adding gene disturbance and modifying gene activation/suppression probability.We show that in the mice regulatory network,seven genes will remain their invariable states in some”long term”,then the rest of“changing”genes forms a cyclic attractor.The experiment shows that our method can find the attractors easily and directly.Moreover,our experiment successfully finds those genes affected by gene Gata1,which would be helpful for studying the mice leucopenia.
作者
吕悦
张敏
秦旭东
严佳
LYU Yue;ZHANG Min;QIN Xu-dong;YAN Jia(Shanghai Key Laboratory of Trustworthy Computing, East China Normal University,Shanghai 200062, China;School of Computer Science and Software Engineering, East China Normal University,Shanghai 200062, China)
出处
《华东师范大学学报（自然科学版）》
CAS
CSCD
北大核心
2018年第1期59-75,90,共18页
Journal of East China Normal University(Natural Science)
基金
国家自然科学基金(6167202)
