结合形式方法和贝叶斯方法,从稳定状态数据推断离散状态随机模型
Julia Klein1,2, Huy Phung1, Matej Hajnal1,2,3
1Department of Computer and Information Sciences, University of Konstanz, Konstanz, Germany.
PloS one
|November 13, 2023
概括
正式验证方法增强了对随机人口模型的参数推理. 这些技术提高了准确性和可扩展性,即使数据有限或参数无法识别.
科学领域:
- 计算生物学 计算生物学
- 系统生物学 系统生物学
- 正式方法 正式方法
背景情况:
- 随机人口模型在网络物理系统和集体动物行为等多个领域都至关重要.
- 定量分析受到大量人口状态和测量过渡参数的困难所阻碍.
- 参数推断在有限的人口级数据下具有挑战性,特别是在终端状态分布方面.
研究的目的:
- 研究在人口离散时间马尔科夫链中进行参数推理的正式验证方法的应用.
- 用有限的样本数据来确定地址参数的识别性和不确定性量化.
- 开发和评估用于增强参数推理的新方法.
主要方法:
- 在有限的数据背景下讨论参数识别性和不确定性量化.
- 应用现有的形式参数合成和贝叶斯推理技术.
- 提出并实施四种新的推理方法,其中三种使用正式参数合成作为预计算步骤.
主要成果:
- 采用正式参数合成的拟议方法显著提高了推断准确度,精度和可扩展性.
- 成功地捕获了符合数据参数的子空间在所需的置信级别,即使对于不可识别的参数.
- 在四个案例研究中的实证评估验证了性能增强.
结论:
- 正式验证方法为随机人口模型的参数推理提供了强大的方法.
- 将正式参数合成作为预计算步骤的整合是实现增强推理能力的关键.
- 这些方法为数据有限和参数识别挑战的场景提供了强大的解决方案.
相关概念视频
Model Approaches for Pharmacokinetic Data: Distributed Parameter Models
74
Pharmacokinetic models are mathematical constructs that represent and predict the time course of drug concentrations in the body, providing meaningful pharmacokinetic parameters. These models are categorized into compartment, physiological, and distributed parameter models.
The distributed parameter models are specifically designed to account for variations and differences in some drug classes. This model is particularly useful for assessing regional concentrations of anticancer or...
The distributed parameter models are specifically designed to account for variations and differences in some drug classes. This model is particularly useful for assessing regional concentrations of anticancer or...
74
Mechanistic Models: Compartment Models in Individual and Population Analysis
44
Mechanistic models are utilized in individual analysis using single-source data, but imperfections arise due to data collection errors, preventing perfect prediction of observed data. The mathematical equation involves known values (Xi), observed concentrations (Ci), measurement errors (εi), model parameters (ϕj), and the related function (ƒi) for i number of values. Different least-squares metrics quantify differences between predicted and observed values. The ordinary least...
44
Analysis Methods of Pharmacokinetic Data: Model and Model-Independent Approaches
140
Drug disposition in the body is a complex process and can be studied using two major approaches: the model and the model-independent approaches.
The model approach uses mathematical models to describe changes in drug concentration over time. Pharmacokinetic models help characterize drug behavior in patients, predict drug concentration in the body fluids, calculate optimum dosage regimens, and evaluate the risk of toxicity. However, ensuring that the model fits the experimental data accurately...
The model approach uses mathematical models to describe changes in drug concentration over time. Pharmacokinetic models help characterize drug behavior in patients, predict drug concentration in the body fluids, calculate optimum dosage regimens, and evaluate the risk of toxicity. However, ensuring that the model fits the experimental data accurately...
140
Mechanistic Models: Compartment Models in Algorithms for Numerical Problem Solving
57
Mechanistic models play a crucial role in algorithms for numerical problem-solving, particularly in nonlinear mixed effects modeling (NMEM). These models aim to minimize specific objective functions by evaluating various parameter estimates, leading to the development of systematic algorithms. In some cases, linearization techniques approximate the model using linear equations.
In individual population analyses, different algorithms are employed, such as Cauchy's method, which uses a...
In individual population analyses, different algorithms are employed, such as Cauchy's method, which uses a...
57
Model Approaches for Pharmacokinetic Data: Compartment Models
107
Compartmental analysis is a widely adopted approach to characterizing drug pharmacokinetics. It uses compartment models that conceptualize the body as a collection of reversibly communicating compartments, each representing a group of tissues exhibiting similar drug distribution characteristics. The movement rate of the drug between these compartments is typically described by first-order kinetics.
Two primary types of compartment models are recognized: mammillary and catenary. The more...
Two primary types of compartment models are recognized: mammillary and catenary. The more...
107
Model-Independent Approaches for Pharmacokinetic Data: Noncompartmental Analysis
68
Noncompartmental analyses offer an alternative method for describing drug pharmacokinetics without relying on a specific compartmental model. In this approach, the drug's pharmacokinetics are assumed to be linear, with the terminal phase log-linear. This assumption allows for simplified analysis and interpretation of the drug's behavior in the body.
One important characteristic of noncompartmental analyses is that drug exposure increases proportionally with increasing doses. This...
One important characteristic of noncompartmental analyses is that drug exposure increases proportionally with increasing doses. This...
68


