• 文献检索
  • 文档翻译
  • 深度研究
  • 学术资讯
  • Suppr Zotero 插件Zotero 插件
  • 邀请有礼
  • 套餐&价格
  • 历史记录
应用&插件
Suppr Zotero 插件Zotero 插件浏览器插件Mac 客户端Windows 客户端微信小程序
定价
高级版会员购买积分包购买API积分包
服务
文献检索文档翻译深度研究API 文档MCP 服务
关于我们
关于 Suppr公司介绍联系我们用户协议隐私条款
关注我们

Suppr 超能文献

核心技术专利:CN118964589B侵权必究
粤ICP备2023148730 号-1Suppr @ 2026

文献检索

告别复杂PubMed语法,用中文像聊天一样搜索,搜遍4000万医学文献。AI智能推荐,让科研检索更轻松。

立即免费搜索

文件翻译

保留排版,准确专业,支持PDF/Word/PPT等文件格式,支持 12+语言互译。

免费翻译文档

深度研究

AI帮你快速写综述,25分钟生成高质量综述,智能提取关键信息,辅助科研写作。

立即免费体验

基于半定规划的完整参数区域的高效分类

Efficient classification of complete parameter regions based on semidefinite programming.

作者信息

Kuepfer Lars, Sauer Uwe, Parrilo Pablo A

机构信息

Institute of Molecular Systems Biology, ETH Zürich, CH-8093 Zürich, Switzerland.

出版信息

BMC Bioinformatics. 2007 Jan 15;8:12. doi: 10.1186/1471-2105-8-12.

DOI:10.1186/1471-2105-8-12
PMID:17224043
原文链接:https://pmc.ncbi.nlm.nih.gov/articles/PMC1800867/
Abstract

BACKGROUND

Current approaches to parameter estimation are often inappropriate or inconvenient for the modelling of complex biological systems. For systems described by nonlinear equations, the conventional approach is to first numerically integrate the model, and then, in a second a posteriori step, check for consistency with experimental constraints. Hence, only single parameter sets can be considered at a time. Consequently, it is impossible to conclude that the "best" solution was identified or that no good solution exists, because parameter spaces typically cannot be explored in a reasonable amount of time.

RESULTS

We introduce a novel approach based on semidefinite programming to directly identify consistent steady state concentrations for systems consisting of mass action kinetics, i.e., polynomial equations and inequality constraints. The duality properties of semidefinite programming allow to rigorously certify infeasibility for whole regions of parameter space, thus enabling the simultaneous multi-dimensional analysis of entire parameter sets.

CONCLUSION

Our algorithm reduces the computational effort of parameter estimation by several orders of magnitude, as illustrated through conceptual sample problems. Of particular relevance for systems biology, the approach can discriminate between structurally different candidate models by proving inconsistency with the available data.

摘要

背景

当前的参数估计方法对于复杂生物系统的建模往往不合适或不方便。对于由非线性方程描述的系统,传统方法是首先对模型进行数值积分,然后在第二步后验步骤中检查与实验约束的一致性。因此,一次只能考虑单个参数集。因此,不可能得出已确定“最佳”解决方案或不存在良好解决方案的结论,因为通常无法在合理的时间内探索参数空间。

结果

我们引入了一种基于半定规划的新方法,以直接确定由质量作用动力学组成的系统的一致稳态浓度,即多项式方程和不等式约束。半定规划的对偶性质允许严格证明参数空间的整个区域不可行,从而能够对整个参数集进行同时多维分析。

结论

我们的算法将参数估计的计算工作量减少了几个数量级,如概念性示例问题所示。对于系统生物学特别相关的是,该方法可以通过证明与现有数据不一致来区分结构不同的候选模型。

https://cdn.ncbi.nlm.nih.gov/pmc/blobs/e880/1800867/bb76a5317a15/1471-2105-8-12-6.jpg
https://cdn.ncbi.nlm.nih.gov/pmc/blobs/e880/1800867/3f67ade93d83/1471-2105-8-12-2.jpg
https://cdn.ncbi.nlm.nih.gov/pmc/blobs/e880/1800867/bb76a5317a15/1471-2105-8-12-6.jpg
https://cdn.ncbi.nlm.nih.gov/pmc/blobs/e880/1800867/3f67ade93d83/1471-2105-8-12-2.jpg
https://cdn.ncbi.nlm.nih.gov/pmc/blobs/e880/1800867/bb76a5317a15/1471-2105-8-12-6.jpg

相似文献

1
Efficient classification of complete parameter regions based on semidefinite programming.基于半定规划的完整参数区域的高效分类
BMC Bioinformatics. 2007 Jan 15;8:12. doi: 10.1186/1471-2105-8-12.
2
Parameter identification, experimental design and model falsification for biological network models using semidefinite programming.使用半定规划进行生物网络模型的参数识别、实验设计和模型伪造。
IET Syst Biol. 2010 Mar;4(2):119-30. doi: 10.1049/iet-syb.2009.0030.
3
Computational procedures for optimal experimental design in biological systems.生物系统中最优实验设计的计算程序。
IET Syst Biol. 2008 Jul;2(4):163-72. doi: 10.1049/iet-syb:20070069.
4
The Beta Workbench: a computational tool to study the dynamics of biological systems.贝塔工作台:一种用于研究生物系统动力学的计算工具。
Brief Bioinform. 2008 Sep;9(5):437-49. doi: 10.1093/bib/bbn023. Epub 2008 May 7.
5
Complexity reduction of biochemical rate expressions.生化反应速率表达式的复杂度降低
Bioinformatics. 2008 Mar 15;24(6):848-54. doi: 10.1093/bioinformatics/btn035. Epub 2008 Feb 10.
6
Estimating parameters and hidden variables in non-linear state-space models based on ODEs for biological networks inference.基于常微分方程的非线性状态空间模型中估计参数和隐藏变量以进行生物网络推断。
Bioinformatics. 2007 Dec 1;23(23):3209-16. doi: 10.1093/bioinformatics/btm510.
7
Experiment design through dynamical characterisation of non-linear systems biology models utilising sparse grids.利用稀疏网格对非线性系统生物学模型进行动态特征化的实验设计。
IET Syst Biol. 2010 Jul;4(4):249-62. doi: 10.1049/iet-syb.2009.0031.
8
Stochastic P systems and the simulation of biochemical processes with dynamic compartments.随机P系统与具有动态隔室的生化过程模拟。
Biosystems. 2008 Mar;91(3):458-72. doi: 10.1016/j.biosystems.2006.12.009. Epub 2007 Jul 17.
9
Biological networks in metabolic P systems.代谢P系统中的生物网络。
Biosystems. 2008 Mar;91(3):489-98. doi: 10.1016/j.biosystems.2006.11.009. Epub 2007 Jul 14.
10
A structured approach for the engineering of biochemical network models, illustrated for signalling pathways.一种用于生化网络模型构建的结构化方法,以信号通路为例进行说明。
Brief Bioinform. 2008 Sep;9(5):404-21. doi: 10.1093/bib/bbn026. Epub 2008 Jun 23.

引用本文的文献

1
Comprehensive Review of Models and Methods for Inferences in Bio-Chemical Reaction Networks.生化反应网络推理模型与方法综述
Front Genet. 2019 Jun 14;10:549. doi: 10.3389/fgene.2019.00549. eCollection 2019.
2
Systems biology as an integrated platform for bioinformatics, systems synthetic biology, and systems metabolic engineering.系统生物学作为一个集成平台,融合了生物信息学、系统综合生物学和系统代谢工程。
Cells. 2013 Oct 11;2(4):635-88. doi: 10.3390/cells2040635.
3
Identification of growth phases and influencing factors in cultivations with AGE1.HN cells using set-based methods.

本文引用的文献

1
Identification of metabolic system parameters using global optimization methods.使用全局优化方法识别代谢系统参数。
Theor Biol Med Model. 2006 Jan 27;3:4. doi: 10.1186/1742-4682-3-4.
2
Metabolic functions of duplicate genes in Saccharomyces cerevisiae.酿酒酵母中重复基因的代谢功能。
Genome Res. 2005 Oct;15(10):1421-30. doi: 10.1101/gr.3992505.
3
Approximative kinetic formats used in metabolic network modeling.代谢网络建模中使用的近似动力学格式。
采用基于设定的方法鉴定 AGE1.HN 细胞培养物的生长阶段和影响因素。
PLoS One. 2013 Aug 2;8(8):e68124. doi: 10.1371/journal.pone.0068124. Print 2013.
4
A Unifying Mathematical Framework for Genetic Robustness, Environmental Robustness, Network Robustness and their Trade-offs on Phenotype Robustness in Biological Networks. Part III: Synthetic Gene Networks in Synthetic Biology.用于遗传鲁棒性、环境鲁棒性、网络鲁棒性及其在生物网络表型鲁棒性中的权衡的统一数学框架。第三部分:合成生物学中的合成基因网络。
Evol Bioinform Online. 2013;9:87-109. doi: 10.4137/EBO.S10686. Epub 2013 Feb 26.
5
Workflow for generating competing hypothesis from models with parameter uncertainty.从具有参数不确定性的模型生成竞争假设的工作流程。
Interface Focus. 2011 Jun 6;1(3):438-49. doi: 10.1098/rsfs.2011.0015. Epub 2011 Mar 30.
6
Set-base dynamical parameter estimation and model invalidation for biochemical reaction networks.生化反应网络的基于集合的动力学参数估计与模型验证
BMC Syst Biol. 2010 May 25;4:69. doi: 10.1186/1752-0509-4-69.
7
A systematic design method for robust synthetic biology to satisfy design specifications.一种用于稳健合成生物学以满足设计规范的系统设计方法。
BMC Syst Biol. 2009 Jun 30;3:66. doi: 10.1186/1752-0509-3-66.
8
Robust synthetic biology design: stochastic game theory approach.稳健的合成生物学设计:随机博弈论方法
Bioinformatics. 2009 Jul 15;25(14):1822-30. doi: 10.1093/bioinformatics/btp310. Epub 2009 May 12.
9
On validation and invalidation of biological models.论生物模型的验证与失效
BMC Bioinformatics. 2009 May 7;10:132. doi: 10.1186/1471-2105-10-132.
10
Optimization in computational systems biology.计算系统生物学中的优化
BMC Syst Biol. 2008 May 28;2:47. doi: 10.1186/1752-0509-2-47.
Biotechnol Bioeng. 2005 Sep 5;91(5):534-45. doi: 10.1002/bit.20558.
4
Investigating the dynamic behavior of biochemical networks using model families.使用模型族研究生化网络的动态行为。
Bioinformatics. 2005 Apr 15;21(8):1617-25. doi: 10.1093/bioinformatics/bti225. Epub 2004 Dec 16.
5
Robustness of cellular functions.细胞功能的稳健性。
Cell. 2004 Sep 17;118(6):675-85. doi: 10.1016/j.cell.2004.09.008.
6
Mathematical modeling reveals threshold mechanism in CD95-induced apoptosis.数学建模揭示了CD95诱导凋亡中的阈值机制。
J Cell Biol. 2004 Sep 13;166(6):839-51. doi: 10.1083/jcb.200404158.
7
A benchmark for methods in reverse engineering and model discrimination: problem formulation and solutions.逆向工程与模型判别方法的基准:问题表述与解决方案
Genome Res. 2004 Sep;14(9):1773-85. doi: 10.1101/gr.1226004.
8
Robustness properties of circadian clock architectures.生物钟架构的稳健性特性。
Proc Natl Acad Sci U S A. 2004 Sep 7;101(36):13210-5. doi: 10.1073/pnas.0401463101. Epub 2004 Aug 30.
9
Decoupling dynamical systems for pathway identification from metabolic profiles.从代谢谱中解耦动态系统以进行通路识别。
Bioinformatics. 2004 Jul 22;20(11):1670-81. doi: 10.1093/bioinformatics/bth140. Epub 2004 Feb 26.
10
Parameter estimation in biochemical pathways: a comparison of global optimization methods.生化途径中的参数估计:全局优化方法的比较
Genome Res. 2003 Nov;13(11):2467-74. doi: 10.1101/gr.1262503. Epub 2003 Oct 14.