乔治·阿格里斯；卢赫·拉富恩特，阿尔贝托；米尔科·特里巴斯通；马克斯·柴科夫斯基；安德烈·范丁 用反向布尔等价简化布尔网络。 （英语） Zbl 1491.92058号 Cinquemani，Eugenio（编辑）等人，《系统生物学中的计算方法》。第19届国际会议，CMSB 2021，波尔多，法国，2021年9月22日至24日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。12881, 1-18 (2021). 摘要：布尔网络是用来定性描述生物系统的模型。由于国家空间爆炸问题，对中型到大型BN的分析可能不可行。我们提出了一种新的还原技术，称为反向布尔等价（BBE），它保留了BN感兴趣的一些属性。特别是，简化的BN通过将变量分组来提供一种紧凑的表示，如果这些变量被同等初始化，则总是被同等更新。由此产生的简化状态空间是原始状态空间的子集，仅限于分组变量的相同初始化。可以精确地恢复原始BN的相应轨迹。通过对整个GINsim BN存储库进行大规模验证，我们展示了BBE的有效性。在选定的案例中，我们展示了我们的方法如何实现否则难以处理的分析。我们的方法补充并可以与文献中发现的其他还原方法相结合。关于整个系列，请参见[Zbl 1486.92002号]. 引用于2文件 MSC公司： 92立方厘米 系统生物学、网络 92-08 生物学问题的计算方法 关键词：布尔网络；状态转换图；吸引子分析；精确还原；GINsim存储库 软件：PyBoolNet网络；金西姆；小队；CoLoMoTo公司；侵蚀；z3（零3） PDF格式BibTeX公司 XML格式引用 \textit{G.Argyris}等人，Lect。票据计算。科学。12881，1-18（2021；Zbl 1491.92058） 全文： 内政部 arXiv公司 参考文献： [1] Argyris，G.、Lafuente，A.L.、Tribastone，M.、Tschaikowski，M.和Vandin，A.：用向后布尔等价还原布尔网络-扩展版本（2021）。https://arxiv.org/abs/2106.15476 [2] Bérenguier，D。；Chaouiya，C。；蒙泰罗，PT；Naldi，A。；雷米，E。；Thieffry博士。；Tichit，L.，大型细胞调控网络的动力学建模和分析，混沌。跨学科。非线性科学杂志。，23, 2, 025114 (2013) ·Zbl 1331.37134号 ·doi:10.1063/1.4809783 [3] Biere，A.、Biere、A.、Heule，M.、van Maaren，H.、Walsh，T.：可满足性手册：第185卷人工智能和应用的前沿。IOS出版社，NLD（2009）·Zbl 1183.68568号 [4] 比尔克，S。；Sjunnesson，F.，考夫曼模型的稳定性，物理学。E版，65，1，016129（2001）·doi:10.1103/PhysRevE.65.016129 [5] Cardelli，L.、Perez-Verona，I.C.、Tribastone，M.、Tschaikowski，M.，Vandin，A.、Waizmann，T.：通过物种集总实现随机反应网络的精确最大约简。生物信息学（2021）。doi:10.1093/bioinformatics/btab081 [6] Cardelli，L.、Tribastone，M.、Tschaikowski，M.和Vandin，A.：化学反应网络的正向和反向相互模拟。参见：第26届并发理论国际会议，CONCUR 2015，西班牙马德里，2015年9月1-4日，第226-239页（2015）。doi:10.4230/LIPIcs。合同2015.226·Zbl 1374.68204号 [7] Cardelli，L.、Tribastone，M.、Tschaikowski，M.和Vandin，A.：比较化学反应网络：分类和算法视角。摘自：2016年7月5日至8日在美国纽约州纽约市举行的第31届ACM/IEEE计算机科学逻辑研讨会论文集，2016年LICS，第485-494页（2016）。doi:10.1145/2933575.2935318·Zbl 1392.68188号 [8] Cardelli，L。；Tribastone，M。；Tschaikowski先生。；Vandin，A。；Chechik，M。；Raskin，J-F，微分方程的高效语法驱动集总，系统构建和分析的工具和算法，93-111（2016），海德堡：斯普林格·Zbl 1420.68241号 ·doi:10.1007/978-3-662-49674-96 [9] Cardelli，L.、Tribastone，M.、Tschaikowski，M.和Vandin，A.：微分等价的符号计算。摘自：第43届ACM SIGPLAN-SIGACT编程语言原则年度研讨会论文集，2016年POPL，美国佛罗里达州圣彼得堡，2016年1月20日至22日，第137-150页（2016）。doi:10.1145/2837614.2837649·兹比尔1347.68258 [10] Cardelli，L。；特里巴斯顿，M。；柴可夫斯基，M。；Vandin，A。；Legay，A。；Margaria，T.，ERODE:一种用于评估和简化常微分方程的工具，系统构建和分析的工具和算法，310-328（2017），海德堡：斯普林格·doi:10.1007/978-3-662-54580-5_19 [11] Cardelli，L。；特里巴斯顿，M。；柴可夫斯基，M。；Vandin，A.，多项式动力系统的最大聚集，Proc。美国国家科学院。科学。，1143810029-10034（2017）·doi:10.1073/pnas.1702697114 [12] Cardelli，L.、Tribastone，M.、Tschaikowski，M.和Vandin，A.：比较化学反应网络：分类和算法视角。西奥。计算。科学。765, 47-66 (2019). doi:10.1016/j.tcs.2017.12.018·Zbl 1423.68165号 [13] Cardelli，L.、Tribastone，M.、Tschaikowski，M.和Vandin，A.：微分等价的符号计算。西奥。计算。科学。777, 132-154 (2019). doi:10.1016/j.tcs.2019.03.018·Zbl 1425.68463号 [14] Chaouiya，C.，SBML定性模型：一种模型表示格式和基础设施，用于促进定性建模形式和工具之间的交互，BMC系统。生物，7，1，1-15（2013）·doi:10.1186/1752-0509-7-135 [15] Chaouiya，C.，Naldi，A.，Thieffry，D.：杜松子酒基因调控网络的逻辑建模。摘自：van Helden，J.、Toussaint，A.、Thieffry，D.（编辑）《细菌分子网络》，第463-479页。施普林格，纽约（2012）。doi:10.1007/978-1-61779-361-5-23 [16] Chaouiya，C。；雷米，E。；Thieffry，D.，生物调控网络的Petri网建模，J.离散算法，6，2，165-177（2008）·Zbl 1153.90336号 ·doi:10.1016/j.jda.2007.06.003 [17] de Moura，L。；比约纳，N。；罗马克里希南，CR；Rehof，J.，Z3:高效SMT求解器，系统构建和分析的工具和算法，337-340（2008），海德堡：施普林格·doi:10.1007/978-3-540-78800-3_24 [18] Delaplace，F。；Ivanov，S.，多值网络的双相似布尔化，生物系统，197，104205（2020）·doi:10.1016/j.biosystems.2020.1042005 [19] Di Cara，A。；加格，A。；De Micheli，G。；塞纳里奥斯，I。；Mendoza，L.，使用班对监管网络进行动态模拟，BMC生物信息学，8，1，462（2007）·doi:10.1186/1471-2105-8-462 [20] Drossel，B.，《随机布尔网络》，《非线性动力学评论》。复杂。，1, 69-110 (2008) ·Zbl 1255.37025号 ·数字对象标识代码：10.1002/9783527626359.ch3 [21] 杜布罗瓦，E。；Teslenko，M.，《在同步布尔网络中寻找吸引子的基于卫星的算法》，IEEE/ACM Trans。计算。生物信息学。，8, 5, 1393-1399 (2011) ·doi:10.1109/TCBB.2010.20 [22] 福雷，A。；Naldi，A。；Lopez，F。；Chaouiya，C。；Ciliberto，A。；Thieffry，D.，芽殖酵母细胞周期的模块化逻辑建模，分子生物学系统。，5, 1787-96 (2009) ·doi:10.1039/b910101米 [23] Figueiredo，D。；Botón-Fernández，M。；马丁·维德，C。；Santander-Jiménez，S。；Vega-Rodríguez，MA，《布尔网络模型中与吸引子相关的双模拟》，计算生物学算法，17-25（2016），查姆：斯普林格，查姆·Zbl 1346.92029号 ·doi:10.1007/978-3-319-38827-42 [24] Garg，A.，Di Cara，A.，Xenarios，I.，Mendoza，L.，De Micheli，G.：基因调控网络的同步与异步建模。生物信息学24（17），1917-1925（2008）。doi:10.1093/bioinformatics/btn336 [25] Giacomantonio，C.E.，Goodhill，G.J.：哺乳动物皮层区域发育的基因调控网络布尔模型。PLOS计算。生物学6（9），1-13（2010）。doi:10.1371/journal.pcbi.1000936 [26] Grieco，L。；Calzone，L。；伯纳德·皮罗特，I。；拉德瓦尼，F。；Kahn-Pelles，B。；Thieffry，D.，MAPK网络对癌细胞命运决定影响的综合建模，PLoS Compute。生物学，9，10，第1003286页（2013）·doi:10.1371/journal.pcbi.1003286 [27] 霍普芬西茨，M。；穆塞尔，C。；Maucher，M。；Kestler，HA，布尔网络中的吸引子：教程，计算。《统计》，第28、1、19-36页（2013年）·Zbl 1305.65044号 ·doi:10.1007/s00180-012-0324-2 [28] Kauffman，S.，随机构建遗传网络中的代谢稳定性和表观发生，J.Theor。《生物学》，22，3，437-467（1969）·doi:10.1016/0022-5193（69）90015-0 [29] 克拉姆特，S。；豪斯，UU；Theis，F.，Hypergraphs和蜂窝网络，PLoS Compute。生物，5，5，e1000385（2009）·doi:10.1371/journal.pcbi.1000385 [30] 克拉纳，H。；斯特雷克，A。；Siebert，H.，PyBoolNet:用于生成、分析和可视化布尔网络的Python包，生物信息学，33，5，770-772（2017） [31] Naldi，A。；Berenguier，D。；福雷，A。；Lopez，F。；Thieffry博士。；Chaouiya，C.，用GINsim 2.3对监管网络进行逻辑建模，生物系统，97，2，134-139（2009）·doi:10.1016/j.biosystems.2009.04.008 [32] Naldi，A。；蒙泰罗，PT；Chaouiya，C。；吉尔伯特，D。；Heiner，M.，《通过关注核心控制高效处理大型信号调节网络》，《系统生物学中的计算方法》，288-306（2012），海德堡：斯普林格·doi:10.1007/978-3-642-33636-2_17 [33] Naldi，A.，与colomoto合作开发逻辑建模标准和工具，生物信息学，31，7，1154-1159（2015）·doi:10.1093/bioinformatics/btv013 [34] Naldi，A。；雷米，E。；Thieffry博士。；Chaouiya，C.，逻辑调控图的动态一致约简，Theor。计算。科学。，412, 21, 2207-2218 (2011) ·Zbl 1211.92024号 ·doi:10.1016/j.tcs.2010.10.021 [35] Naldi，A.等人：科洛莫互动笔记本：定性生物网络的可访问和可复制的计算分析。前面。生理学。9680（2018）doi:10.3389/fphys.2018.00680 [36] 佩奇，R。；Tarjan，RE，三分区优化算法，SIAM J.Compute。，973-989年6月16日（1987年）·Zbl 0654.68072号 ·数字对象标识代码：10.1137/0216062 [37] Pérez-Verona，I.C.，Tribastone，M.，Vandin，A.：生物模型库中精确模型简化的大规模评估。摘自：《系统生物学中的计算方法——第17届国际会议》，CMSB 2019年，意大利的里雅斯特，2019年9月18日至20日，会议记录，第248-265页（2019）。doi:10.1007/978-3-030-31304-3_13·Zbl 1422.92072号 [38] Perez-Verona，I.C.，Tribastone，M.，Vandin，A.：生物模型库中定量模型准确集总的大规模评估。西奥。计算。科学。(2021). doi:10.1016/j.tcs.2021.06.026。https://www.sciencedirect.com/science/article/pii/S0304397521003716 ·Zbl 1518.92067号 [39] Richardson，KA，简化布尔网络，高级复杂系统。，8, 4, 365-381 (2005) ·Zbl 1109.37054号 ·doi:10.1142/S0219525905000518 [40] Rodríguez-Jorge，O.等人：T细胞受体和toll-like受体5信号传导对CD4+T细胞激活的协同作用。科学。信号。12（577），eaar3641（2019） [41] Saadatpour，A。；阿尔伯特·R。；Reluga，TC，一种被证明可以保存吸引子的布尔网络模型的约简方法，SIAM J.Appl。戴纳。系统。，12, 4, 1997-2011 (2013) ·Zbl 1308.92040号 ·数字对象标识码：10.1137/13090537X [42] Schwab，J.D.、Kühlwein，S.D.、Ikonomi，N.、Kúhl，M.、Kestler，H.A.：布尔网络建模中的概念：它们都意味着什么？计算。结构。生物技术。J.18，571-582（2020）。doi:10.1016/j.csbj.2020.03.001。http://www.sciencedirect.com/science/article/pii/S200103701930460X [43] 施穆列维奇，I。；急诊室Dougherty；Kim，S。；张伟，概率布尔网络：基因调控网络的基于规则的不确定性模型，生物信息学，18，2，261-274（2002）·doi:10.1093/bioinformatics/18.2.261 [44] Steggles，LJ；Banks，R.银行。；O·肖。；Wipat，A.，《遗传调控网络的定性建模和分析：petri网方法》，生物信息学，23，3，336-343（2007）·doi:10.1093/bioinformatics/btl596 [45] Su，C.，Pang，J.：具有临时和永久扰动的布尔网络的顺序控制。arXiv预印本arXiv:2004.07184（2020） [46] Thomas，R.，《被视为异步自动机的监管网络：逻辑描述》，J.Theor。《生物学》，153，1，1-23（1991）·doi:10.1016/S0022-5193（05）80350-9 [47] Thomas，R.：动力学逻辑：分析复杂调节系统的布尔方法。载：1977年9月6日至16日在布鲁塞尔举行的EMBO课程“基因调控的形式分析”会议记录，第29卷。斯普林格，海德堡（2013）。doi:10.1007/978-3-642-49321-8·Zbl 0413.92003号 [48] Veliz-Cuba，A.，布尔网络模型的简化，J.Theor。生物学，289167-172（2011）·Zbl 1397.92265号 ·doi:10.1016/j.jtbi.2011.08.042 [49] 威特曼，DM；Krumsiek，J。；Saez-Rodriguez，J。；劳芬伯格，DA；克拉姆特，S。；Theis，FJ，将布尔模型转换为连续模型：T细胞受体信号的方法和应用，BMC系统。生物，3，1，98（2009）·doi:10.1186/1752-0509-3-98 [50] Zañudo，J.G.T.，Albert，R.：一种有效的网络约简方法，用于发现离散动态网络的动态储备。混沌间盘。非线性科学杂志。23(2), 025111 (2013). doi:10.1063/1.4809777·Zbl 1331.92055号 [51] Zhang，R.，大颗粒淋巴细胞白血病生存信号网络模型，Proc。美国国家科学院。科学。，105, 42, 16308-16313 (2008) ·doi:10.1073/pnas.0806447105 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。