×

兹马思-数学第一资源

基于查询的生化系统中定性趋势和振荡的验证。(英语) Zbl 1209.68310
摘要:我们研究了基于查询的验证在生化系统随机模型行为趋势分析中的应用。我们推导出了时间逻辑特性来解决特定的行为问题,例如物种达到峰值/死锁状态的可能性,或表现出单调/振荡趋势的可能性。我们介绍了一个特定的建模惯例,通过这个惯例,生物化学系统的随机模型适用于我们定义的行为查询的验证。基于我们识别的查询,我们定义了一个分类过程,在给定随机模型的情况下,允许识别有意义的定性行为趋势。我们以生化系统的一些简单抽象模型来说明所提出的基于查询的分类。

理学硕士:
68Q60型 规范和验证(程序逻辑、模型检查等)
68U99 计算方法与应用
PDF格式 BibTeX公司 XML 引用
全文: 内政部
参考文献:
[1] 阿齐兹,A。;坎瓦尔,K。;辛加尔,V。;布莱顿,V.,验证连续时间马尔可夫链,(),第269-276页
[2] C。Baier,概率系统的算法验证方法,适应论论文,博士。论文,Fakultaet fuer Mathematik Informatik,曼海姆大学,1998年。
[3] 拜尔,C。;布,L。;哈弗科特,不列颠哥伦比亚省。;昆茨,M。;Siegle,M.,带动作和状态标签的马尔可夫链模型检验,IEEE trans。软。工程学,33224,(2007年)
[4] 拜尔,C。;哈弗科特,B。;赫尔曼,H。;Katoen,J.-P.,连续时间马尔可夫链的模型检验算法,IEEE trans。软。工程学,29,6,524-541,(2003年)
[5] P。巴拉里尼,M。福林,T。马扎,D。普兰迪,生物化学网络的有效并行统计模型检验,载:验证中的并行和分布式方法论文集,理论计算机科学电子论文集,2009年。
[6] 巴拉里尼,P。;马扎,T。;帕米萨诺,A。;李国平,等.酵母萌芽细胞周期中cdk与APC相互作用的不可逆性研究,(),第39-53页
[7] L。卡德利,人工生物化学。技术报告,微软研究院-CoSBi,2006年。
[8] 乔切塔,F。;吉尔摩,S。;格雷里罗,M.L。;《生化系统分析的综合模拟与模型检验》,第17-38页
[9] 克拉克,E。;格鲁贝格,O。;Peled,D.,模型检查,(1999),麻省理工学院出版社
[10] R。唐纳森,D。Gilbert,具有数值约束的概率LTL的蒙特卡罗模型检验器,技术报告TR-2008-282,格拉斯哥大学计算科学系,2008年。
[11] 邓拉普,J.P。;洛罗斯,J.L。;DeCoursey,P.J.,《时间生物学:生物计时》(2003),Sinauer
[12] 法格斯,F。;索利曼,S。;Chabrier Rivier,N.,生化抽象机中交互网络的建模和查询。生物。物理。《化学》,4,2,64-73,(2004年)
[13] 吉列斯皮,D.T.,耦合化学反应的精确随机模拟,J。物理。《化学》,81,25,2340-2361,(1977年)
[14] 《生物化学振荡与细胞节律:周期与混沌行为的分子基础》(1997),剑桥大学出版社
[15] Guerriero,M.L.,gp130/JAK/STAT信号通路生物PEPA模型的定性和定量分析,反式。计算机。系统。生物学,8,90-115,(2009年)
[16] 古纳万,R。;曹,Y。;佩佐德,L。;Doyle,F.J.,离散随机系统的敏感性分析,生物物理学杂志,88,4,2530-2540,(2005)
[17] 汉森,H.A。;《时间与可靠性的推理框架》,第102-111页
[18] 哈弗科特,不列颠哥伦比亚省。;布,L。;赫尔曼,H。;卡托恩,J.-P.,《模型检验性能特性》,第103-112页
[19] 希思,J.K。;奎亚特科夫斯卡,M。;诺曼,G。;帕克,D。;Tymchyshyn,O.,复杂生物途径的概率模型检验,Theoret。计算机。《科学》,319,239-257,(2008年)·Zbl 1133.68043
[20] 海纳,M。;吉尔伯特,D。;唐纳森,R.,《系统与合成生物学的Petri网》,第215-264页
[21] 辛顿,A。;奎亚特科夫斯卡,M。;诺曼,G。;Parker,D.,PRISM:概率系统自动验证的工具,(),441-444
[22] ()
[23] 奎亚特科夫斯卡,M。;诺曼,G。;Parker,D.,《用PRISM进行概率符号模型检验:混合方法》,第52-66页·Zbl 1043.68576
[24] 奎亚特科夫斯卡,M。;诺曼,G。;Parker,D.,随机模型检验,(),第220-270页·Zbl 1323.68379
[25] 蒙泰罗,P.T。;罗普斯,D。;马特斯库,R。;弗雷塔斯,A.T。;de Jong,H.,用于查询细胞交互网络动态模型的时序逻辑模式,Eccb,24227-233,(2008)
[26] NuSMV主页。http://nit.nus/。
[27] 《并发程序的时间语义》,理论网。计算机。科学,13,45-60,(1981)·Zbl 0441.68010
[28] PRISM主页。http://www.prismodelchecker.org。
[29] Schlögl,F.,非平衡相变的化学反应模型,Z。物理学,253147-161,(1972)
[30] 伊伯,J.C。;Tyson,J.J.,数学建模作为研究细胞周期控制网络的工具,方法,41238-247,(2007)
[31] Stewart,W.J.,马尔可夫链数值解导论,(1994),普林斯顿大学·Zbl 0821.65099
[32] BIOCHAM主页。http://containes.inria.fr/BIOCHAM/。
[33] MC2(PLTLc)主页。http://www.brc.dcs.gla.ac.uk/software/mc2/。
[34] 维莱拉,M。;钱,H.双稳态化学系统的随机动力学和非平衡态热力学:Schlögl模型重访,J。R。soc。接口(2008)
[35] Volterra,V.,《生活在一起的动物物种个体数量的变化和波动》,动物生态学,(1931)
此参考列表基于出版商或数字数学图书馆提供的信息。它的项被试探性地匹配到zbMATH标识符,并且可能包含数据转换错误。它试图尽可能准确地反映原始论文中列出的参考文献,而不要求匹配的完整性或精确性。