×
姆巴卡·马布罗基;马克·艾吉尔;Jean-Paul彗星;帕斯卡尔·勒加尔;理查德·阿德里安

嵌入生物监管网络和财产保护。 （英语） 1270.92024兹罗提

数学。计算。科学。 5，第3期，263-288（2011）.
摘要：在理解生物调控网络（BRN）的过程中，科学家通常从研究他们认为对代表生物功能特别重要的小型BRN开始，然后将其嵌入到更大的网络中。这样的减少可能会导致忽视相关法规，并研究一个网络，该网络的属性可能与该网络作为整体的一部分的属性有很大不同。我们从逻辑的角度研究了两个网络的相关条件，即BRN可以从子BRN继承属性。我们对网络嵌入的性质给出了一些条件，以确保嵌入子BRN的动态特性在整个BRN的层次上保持不变。

引用于1文件

MSC公司：

92立方厘米 系统生物学、网络
92D10型 遗传学和表观遗传学
68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等）
60年第68季度 规范和验证（程序逻辑、模型检查等）
03B80号 逻辑的其他应用

关键词：

网络嵌入;时间逻辑

软件：

RegulonDB公司;GNA公司
PDF格式BibTeX公司 XML格式引用
\textit{M.Mabrouki}等人，《数学》。计算。科学。5，第3号，263--288（2011；Zbl 1270.92024）
全文： DOI程序 链接

参考文献：

[1] Aiguier，M.，Le Gall，P.，Mabrouki，M.：复杂软件的正式定义，第三届软件工程进展国际会议，IEEE计算机学会出版社（2008）·Zbl 1171.92302号
[2] Aiguier M.、Le Gall P.、Mabrouki M.：复杂软件系统：形式化和应用。国际期刊高级软件。2(1), 47–62 (2009)
[3] Batt G.，Belta C.，Weiss R.：参数不确定性下基因网络的时间逻辑分析。IEEE传输。自动化。控制53（z1），215–229（2008）·Zbl 1366.92077号 ·doi:10.1109/TAC.2007.911330
[4] Batt G.、Ropers D.、De Jong H.、Geiselmann J.、Mateescu R.、Page M.、Schneider D.：通过模型检查验证遗传调控网络的定性模型：大肠杆菌营养应激反应的分析。生物信息学21（补充1），i19（2005）·Zbl 1078.93555号 ·doi:10.1093/bioinformatics/bti1048
[5] Bernot G.，Comet J.P.，Richard A.，Guespin J.：形式方法在生物调控网络中的应用：用时间逻辑扩展Thomas的异步逻辑方法。J.西奥。生物.229（3），339–347（2004）·doi:10.1016/j.jtbi.2004.04.003
[6] Bernot G.，Tahi F.：嵌入更大网络时生物调控网络的行为保护。Fundam。Inf.91（3-4），463-485（2009）·Zbl 1175.92017年
[7] Corblin F.、Fanchon E.、Trilling L.：形式方法在解读离散遗传网络中的应用。BMC生物信息。11, 385 (2010) ·doi:10.1186/1471-2105-11-385
[8] Corblin F.、Tripodi S.、Fanchon E.、Ropers D.、Trilling L.：一种基于声明约束的方法，用于分析离散遗传调控网络。生物系统98（2），91–104（2009）·doi:10.1016/j.biosystems.2009.07.007
[9] Cormen T.H.，Leiserson C.E.，Rivest R.L.，Stein C.：算法导论，第二版。麻省理工学院出版社，剑桥（2001）·Zbl 1047.68161号
[10] De Jong H.：基因调控系统的建模和模拟：文献综述。J.计算。生物学9（1），67-103（2002）·doi:10.1089/10665270252833208
[11] De Jong H.，Geiselmann J.，Hernandez C.，Page M.：网络分析仪：遗传调控网络的定性模拟。生物信息学19（3），336–344（2003）·doi:10.1093/bioinformatics/btf851
[12] De Jong H.、GouzéJ.L.、Hernandez C.、Page M.、Sari T.、Geiselmann J.：使用分段线性模型对遗传调控网络进行定性模拟。牛市。数学。生物学66（2），301–340（2004）·Zbl 1334.92282号 ·doi:10.1016/j.bulm.2003.08.010
[13] De Nicola R.，Vaandrager F.：分支互模拟的三种逻辑。J.ACM 42（2），458–487（1995）·Zbl 0886.68064号 ·数字对象标识代码：10.1145/201019.201032
[14] 爱默生E.A.：《理论计算机科学手册》，b卷：形式模型和语义。时间和模态逻辑，第995-1072页。麻省理工学院出版社，剑桥（1990）·Zbl 0900.03030号
[15] Fages，F.，Soliman，S.：生物炉中的正式细胞生物学。计算系统生物学的形式方法。参加：第八届计算机、通信和软件系统设计形式方法国际学校，SFM 2008，高级讲座。计算机科学课堂讲稿，第5016卷，第54-80页。柏林施普林格出版社（2008）
[16] Gama-Castro，S.、Salgado，H.、Peralta-Gil，M.、Santos-Zavaleta、A.Muniz-Rascado，L.、Solano-Lira，H.，Jimenez-Jacinto，V.、Weiss，V.，GarcíA-Sotelo，J.S.、Lopez-Fuentes，A.、Porrón-Sotelo des-Martínez，C。，Miranda-Ríos，J.、Huerta，A.M.、Mendoza Vargas，A.、Collado Torres，L.、Taboada，B.、Vega Alvarado，L.、Olvera，M.、Olvera，L.、Grande，R.、Morett，E.、Collado Vides，J.:Regulondb 7.0版：整合在遗传感觉反应单元（gensor单元）内的大肠杆菌k-12的转录调控。，《核酸研究》39（2011），第号，数据库，D98–105，http://regulondb.ccg.unam.mx/
[17] Giacomantonio C.E.、Goodhill G.J.、Friston K.J.：哺乳动物皮层区域发育的基因调控网络布尔模型。公共科学图书馆计算。生物学6（9），251-262（2010）
[18] Glabbeck，V.R.，Weijland，W.P.：分支时间语义的细化。程序。IFIP Conf.613–18（1989）
[19] Glass L.，Kauffman S.A.：连续非线性生物化学控制网络的逻辑分析。J.西奥。生物学39，103–129（1973）·doi:10.1016/0022-5193（73）90208-7
[20] Goguen J.A.，Burstall R.M.：机构：规范和编程的抽象模型理论。《美国医学会杂志》39（1），95–146（1992）·Zbl 0799.68134号 ·数字对象标识代码：10.1145/147508.147524
[21] Jacob F.，Monod J.：蛋白质合成中的遗传调控机制。分子生物学杂志。3, 318–356 (1961) ·doi:10.1016/S0022-2836（61）80072-7
[22] Khalis Z.、Comet J.P.、Richard A.、Bernot G.：发现基因调控网络模型的SMBioNet方法。Genes Genomes Genomics 3（特刊1），15-22（2009）
[23] Mabrouki M.、Aiguier M.、Comet J.P.、Le Gall P.：生物调控网络嵌入过程中的财产保护AB。收录：Horimoto，K.、Regensburger，G.、Rosenkranz，M.、Yoshida，H.（编辑）《计算机科学讲义》，第5147卷，第125-138页。柏林施普林格出版社（2008）·Zbl 1171.92302号
[24] Mateescu R.、Sighireanu M.：定期无交替微积分的有效飞行模型检查。科学。计算。程序。46, 255–281 (2003) ·Zbl 1026.68098号 ·doi:10.1016/S0167-6423（02）00094-1
[25] Mateus D.、Gallois J.-P.、Comet J.-P.和Le Gall P.：基因调控网络的符号建模。J.生物信息。计算。生物学5（2B），627–640（2007）·doi:10.1142/S0219720007002850
[26] Schlitt T.，Brazma A.：基因调控网络建模的当前方法。BMC生物信息。8（补充6），–S9（2007）·doi:10.1186/1471-2105-8-S6-S9
[27] Siebert H.：从子网络动力学推导布尔型生物调控网络的行为。数学。计算。科学。2, 421–442 (2009) ·Zbl 1205.37097号 ·doi:10.1007/s11786-008-0064-4
[28] Thieffry D.：从全球表达数据到基因网络。生物论文21（11），895–899（1999）·doi:10.1002/（SICI）1521-1878（199911）21:11<895:：AID-BIES1>3.0.CO；2楼
[29] 托马斯·R：对包含反馈回路的系统进行逻辑分析。J.西奥。生物学73（4），631–656（1978）·doi:10.1016/0022-5193（78）90127-3
[30] Thomas R.，d'Ari R.：生物反馈。CRC出版社，博卡拉顿（1990）·Zbl 0743.92003号
[31] Wehrheim，H.：时序逻辑属性的继承。FMOODS，第79-93页（2003年）·Zbl 1253.68223号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。