首页 > 最新文献

Siam-Asa Journal on Uncertainty Quantification最新文献

英文 中文
Perron–Frobenius Operator Filter for Stochastic Dynamical Systems 随机动态系统的佩伦-弗罗贝尼斯算子滤波器
IF 2 3区 工程技术 Q1 Mathematics Pub Date : 2024-03-15 DOI: 10.1137/23m1547391
Ningxin Liu, Lijian Jiang
SIAM/ASA Journal on Uncertainty Quantification, Volume 12, Issue 1, Page 182-211, March 2024.
Abstract.Filtering problems are derived from a sequential minimization of a quadratic function representing a compromise between the model and data. In this paper, we use the Perron–Frobenius operator in a stochastic process to develop a Perron–Frobenius operator filter. The proposed method belongs to Bayesian filtering and works for non-Gaussian distributions for nonlinear stochastic dynamical systems. The recursion of the filtering can be characterized by the composition of the Perron–Frobenius operator and likelihood operator. This gives a significant connection between the Perron–Frobenius operator and Bayesian filtering. We numerically fulfill the recursion by approximating the Perron–Frobenius operator by Ulam’s method. In this way, the posterior measure is represented by a convex combination of the indicator functions in Ulam’s method. To get a low-rank approximation for the Perron–Frobenius operator filter, we take a spectral decomposition for the posterior measure by using the eigenfunctions of the discretized Perron–Frobenius operator. The Perron–Frobenius operator filter employs data instead of flow equations to model the evolution of underlying stochastic dynamical systems. In contrast, standard particle filters require explicit equations or transition probability density for sampling. A few numerical examples are presented to illustrate the advantage of the Perron–Frobenius operator filter over the particle filter and extended Kalman filter.
SIAM/ASA 不确定性量化期刊》,第 12 卷第 1 期,第 182-211 页,2024 年 3 月。摘要.滤波问题是由代表模型与数据之间折衷的二次函数的连续最小化衍生出来的。本文利用随机过程中的 Perron-Frobenius 算子开发了一种 Perron-Frobenius 算子滤波器。所提出的方法属于贝叶斯滤波法,适用于非线性随机动力系统的非高斯分布。滤波的递归可以用 Perron-Frobenius 算子和似然算子的组成来表征。这给出了佩伦-弗罗贝尼斯算子与贝叶斯滤波之间的重要联系。我们通过乌拉姆法近似 Perron-Frobenius 算子,在数值上实现了递归。这样,Ulam 方法中的指标函数的凸组合就代表了后验度量。为了得到 Perron-Frobenius 算子滤波器的低阶近似值,我们利用离散化 Perron-Frobenius 算子的特征函数对后验量进行谱分解。Perron-Frobenius 算子滤波器利用数据而不是流动方程来模拟底层随机动力系统的演化。相比之下,标准粒子滤波器需要明确的方程或过渡概率密度来进行采样。本文列举了几个数值示例,以说明 Perron-Frobenius 算子滤波器相对于粒子滤波器和扩展卡尔曼滤波器的优势。
{"title":"Perron–Frobenius Operator Filter for Stochastic Dynamical Systems","authors":"Ningxin Liu, Lijian Jiang","doi":"10.1137/23m1547391","DOIUrl":"https://doi.org/10.1137/23m1547391","url":null,"abstract":"SIAM/ASA Journal on Uncertainty Quantification, Volume 12, Issue 1, Page 182-211, March 2024. <br/>Abstract.Filtering problems are derived from a sequential minimization of a quadratic function representing a compromise between the model and data. In this paper, we use the Perron–Frobenius operator in a stochastic process to develop a Perron–Frobenius operator filter. The proposed method belongs to Bayesian filtering and works for non-Gaussian distributions for nonlinear stochastic dynamical systems. The recursion of the filtering can be characterized by the composition of the Perron–Frobenius operator and likelihood operator. This gives a significant connection between the Perron–Frobenius operator and Bayesian filtering. We numerically fulfill the recursion by approximating the Perron–Frobenius operator by Ulam’s method. In this way, the posterior measure is represented by a convex combination of the indicator functions in Ulam’s method. To get a low-rank approximation for the Perron–Frobenius operator filter, we take a spectral decomposition for the posterior measure by using the eigenfunctions of the discretized Perron–Frobenius operator. The Perron–Frobenius operator filter employs data instead of flow equations to model the evolution of underlying stochastic dynamical systems. In contrast, standard particle filters require explicit equations or transition probability density for sampling. A few numerical examples are presented to illustrate the advantage of the Perron–Frobenius operator filter over the particle filter and extended Kalman filter.","PeriodicalId":56064,"journal":{"name":"Siam-Asa Journal on Uncertainty Quantification","volume":null,"pages":null},"PeriodicalIF":2.0,"publicationDate":"2024-03-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140152281","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"工程技术","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Stacking Designs: Designing Multifidelity Computer Experiments with Target Predictive Accuracy 堆叠设计:设计具有目标预测精度的多保真计算机实验
IF 2 3区 工程技术 Q1 Mathematics Pub Date : 2024-03-11 DOI: 10.1137/22m1532007
Chih-Li Sung, Yi (Irene) Ji, Simon Mak, Wenjia Wang, Tao Tang
SIAM/ASA Journal on Uncertainty Quantification, Volume 12, Issue 1, Page 157-181, March 2024.
Abstract. In an era where scientific experiments can be very costly, multifidelity emulators provide a useful tool for cost-efficient predictive scientific computing. For scientific applications, the experimenter is often limited by a tight computational budget, and thus wishes to (i) maximize predictive power of the multifidelity emulator via a careful design of experiments, and (ii) ensure this model achieves a desired error tolerance with some notion of confidence. Existing design methods, however, do not jointly tackle objectives (i) and (ii). We propose a novel stacking design approach that addresses both goals. A multilevel reproducing kernel Hilbert space (RKHS) interpolator is first introduced to build the emulator, under which our stacking design provides a sequential approach for designing multifidelity runs such that a desired prediction error of [math] is met under regularity assumptions. We then prove a novel cost complexity theorem that, under this multilevel interpolator, establishes a bound on the computation cost (for training data simulation) needed to achieve a prediction bound of [math]. This result provides novel insights on conditions under which the proposed multifidelity approach improves upon a conventional RKHS interpolator which relies on a single fidelity level. Finally, we demonstrate the effectiveness of stacking designs in a suite of simulation experiments and an application to finite element analysis.
SIAM/ASA 不确定性量化期刊》,第 12 卷,第 1 期,第 157-181 页,2024 年 3 月。 摘要。在科学实验可能非常昂贵的时代,多保真模拟器为具有成本效益的预测性科学计算提供了有用的工具。在科学应用中,实验者往往受限于紧张的计算预算,因此希望:(i) 通过精心的实验设计,最大限度地提高多保真模拟器的预测能力;(ii) 确保该模型达到预期的误差容限,并具有一定的置信度。然而,现有的设计方法无法同时解决目标 (i) 和 (ii) 的问题。我们提出了一种新颖的堆叠设计方法,可以同时实现这两个目标。我们首先引入多级再现核希尔伯特空间(RKHS)插值器来构建仿真器,在此基础上,我们的堆叠设计提供了一种设计多保真运行的顺序方法,从而在规则性假设下满足[math]的预期预测误差。然后,我们证明了一个新颖的成本复杂性定理,在这种多级插值器下,建立了实现[数学]预测界限所需的计算成本(训练数据模拟)界限。这一结果提供了新颖的见解,说明了在哪些条件下,所提出的多保真度方法可以改善依赖于单一保真度级别的传统 RKHS 内插器。最后,我们在一套模拟实验和有限元分析应用中展示了堆叠设计的有效性。
{"title":"Stacking Designs: Designing Multifidelity Computer Experiments with Target Predictive Accuracy","authors":"Chih-Li Sung, Yi (Irene) Ji, Simon Mak, Wenjia Wang, Tao Tang","doi":"10.1137/22m1532007","DOIUrl":"https://doi.org/10.1137/22m1532007","url":null,"abstract":"SIAM/ASA Journal on Uncertainty Quantification, Volume 12, Issue 1, Page 157-181, March 2024. <br/> Abstract. In an era where scientific experiments can be very costly, multifidelity emulators provide a useful tool for cost-efficient predictive scientific computing. For scientific applications, the experimenter is often limited by a tight computational budget, and thus wishes to (i) maximize predictive power of the multifidelity emulator via a careful design of experiments, and (ii) ensure this model achieves a desired error tolerance with some notion of confidence. Existing design methods, however, do not jointly tackle objectives (i) and (ii). We propose a novel stacking design approach that addresses both goals. A multilevel reproducing kernel Hilbert space (RKHS) interpolator is first introduced to build the emulator, under which our stacking design provides a sequential approach for designing multifidelity runs such that a desired prediction error of [math] is met under regularity assumptions. We then prove a novel cost complexity theorem that, under this multilevel interpolator, establishes a bound on the computation cost (for training data simulation) needed to achieve a prediction bound of [math]. This result provides novel insights on conditions under which the proposed multifidelity approach improves upon a conventional RKHS interpolator which relies on a single fidelity level. Finally, we demonstrate the effectiveness of stacking designs in a suite of simulation experiments and an application to finite element analysis.","PeriodicalId":56064,"journal":{"name":"Siam-Asa Journal on Uncertainty Quantification","volume":null,"pages":null},"PeriodicalIF":2.0,"publicationDate":"2024-03-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140107583","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"工程技术","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Adaptive Importance Sampling Based on Fault Tree Analysis for Piecewise Deterministic Markov Process 基于故障树分析的片断确定性马尔可夫过程的自适应重要性采样
IF 2 3区 工程技术 Q1 Mathematics Pub Date : 2024-03-07 DOI: 10.1137/22m1522838
Guillaume Chennetier, Hassane Chraibi, Anne Dutfoy, Josselin Garnier
SIAM/ASA Journal on Uncertainty Quantification, Volume 12, Issue 1, Page 128-156, March 2024.
Abstract. Piecewise deterministic Markov processes (PDMPs) can be used to model complex dynamical industrial systems. The counterpart of this modeling capability is their simulation cost, which makes reliability assessment untractable with standard Monte Carlo methods. A significant variance reduction can be obtained with an adaptive importance sampling method based on a cross-entropy procedure. The success of this method relies on the selection of a good family of approximations of the committor function of the PDMP. In this paper original families are proposed. Their forms are based on reliability concepts related to fault tree analysis: minimal path sets and minimal cut sets. They are well adapted to high-dimensional industrial systems. The proposed method is discussed in detail and applied to academic systems and to a realistic system from the nuclear industry.
SIAM/ASA 不确定性量化期刊》,第 12 卷第 1 期,第 128-156 页,2024 年 3 月。 摘要片断确定性马尔可夫过程(PDMP)可用于模拟复杂的动态工业系统。与这种建模能力相对应的是其仿真成本,这使得可靠性评估无法采用标准蒙特卡罗方法。基于交叉熵程序的自适应重要性采样方法可以显著降低方差。这种方法的成功依赖于选择一个良好的 PDMP 委托函数近似族。本文提出了新的近似族。它们的形式基于与故障树分析相关的可靠性概念:最小路径集和最小切割集。它们非常适合高维工业系统。本文对所提出的方法进行了详细讨论,并将其应用于学术系统和一个来自核工业的现实系统。
{"title":"Adaptive Importance Sampling Based on Fault Tree Analysis for Piecewise Deterministic Markov Process","authors":"Guillaume Chennetier, Hassane Chraibi, Anne Dutfoy, Josselin Garnier","doi":"10.1137/22m1522838","DOIUrl":"https://doi.org/10.1137/22m1522838","url":null,"abstract":"SIAM/ASA Journal on Uncertainty Quantification, Volume 12, Issue 1, Page 128-156, March 2024. <br/> Abstract. Piecewise deterministic Markov processes (PDMPs) can be used to model complex dynamical industrial systems. The counterpart of this modeling capability is their simulation cost, which makes reliability assessment untractable with standard Monte Carlo methods. A significant variance reduction can be obtained with an adaptive importance sampling method based on a cross-entropy procedure. The success of this method relies on the selection of a good family of approximations of the committor function of the PDMP. In this paper original families are proposed. Their forms are based on reliability concepts related to fault tree analysis: minimal path sets and minimal cut sets. They are well adapted to high-dimensional industrial systems. The proposed method is discussed in detail and applied to academic systems and to a realistic system from the nuclear industry.","PeriodicalId":56064,"journal":{"name":"Siam-Asa Journal on Uncertainty Quantification","volume":null,"pages":null},"PeriodicalIF":2.0,"publicationDate":"2024-03-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140053756","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"工程技术","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Multifidelity Bayesian Experimental Design to Quantify Rare-Event Statistics 量化罕见事件统计的多保真度贝叶斯实验设计
IF 2 3区 工程技术 Q1 Mathematics Pub Date : 2024-02-29 DOI: 10.1137/22m1503956
Xianliang Gong, Yulin Pan
SIAM/ASA Journal on Uncertainty Quantification, Volume 12, Issue 1, Page 101-127, March 2024.
Abstract. In this work, we develop a multifidelity Bayesian experimental design framework to efficiently quantify the rare-event statistics of an input-to-response (ItR) system with given input probability and expensive function evaluations. The key idea here is to leverage low-fidelity samples whose responses can be computed with a cost of a certain fraction of that for high-fidelity samples, in an optimized configuration to reduce the total computational cost. To accomplish this goal, we employ a multifidelity Gaussian process as the surrogate model of the ItR function and develop a new acquisition based on which the optimized next sample can be selected in terms of its location in the sample space and the fidelity level. In addition, we develop an inexpensive analytical evaluation of the acquisition and its derivative, avoiding numerical integrations that are prohibitive for high-dimensional problems. The new method is mainly tested in a bifidelity context for a series of synthetic problems with varying dimensions, low-fidelity model accuracy, and computational costs. Compared with the single-fidelity method and the bifidelity method with a predefined fidelity hierarchy, our method consistently shows the best (or among the best) performance for all the test cases. Finally, we demonstrate the superiority of our method in solving an engineering problem of estimating rare-event statistics of ship motion in irregular waves, using computational fluid dynamics with two different grid resolutions as the high- and low-fidelity models.
SIAM/ASA 不确定性量化期刊》,第 12 卷第 1 期,第 101-127 页,2024 年 3 月。 摘要在这项工作中,我们开发了一个多保真度贝叶斯实验设计框架,用于有效量化输入到响应(ItR)系统的罕见事件统计,该系统具有给定的输入概率和昂贵的函数评估。这里的关键思路是利用低保真样本,其响应的计算成本仅为高保真样本的几分之一,通过优化配置来降低总计算成本。为实现这一目标,我们采用多保真度高斯过程作为 ItR 函数的代理模型,并开发了一种新的采集方法,在此基础上,可根据样本空间中的位置和保真度水平选择优化的下一个样本。此外,我们还开发了一种对采集及其导数进行分析评估的廉价方法,避免了高维问题中令人望而却步的数值积分。新方法主要在双保真度背景下对一系列具有不同维度、低保真度模型精度和计算成本的合成问题进行了测试。与单一保真度方法和具有预定义保真度层次结构的双保真度方法相比,我们的方法在所有测试案例中始终表现出最佳(或数一数二)的性能。最后,我们利用两种不同网格分辨率的计算流体力学作为高保真和低保真模型,证明了我们的方法在解决估计不规则波浪中船舶运动罕见事件统计这一工程问题上的优越性。
{"title":"Multifidelity Bayesian Experimental Design to Quantify Rare-Event Statistics","authors":"Xianliang Gong, Yulin Pan","doi":"10.1137/22m1503956","DOIUrl":"https://doi.org/10.1137/22m1503956","url":null,"abstract":"SIAM/ASA Journal on Uncertainty Quantification, Volume 12, Issue 1, Page 101-127, March 2024. <br/> Abstract. In this work, we develop a multifidelity Bayesian experimental design framework to efficiently quantify the rare-event statistics of an input-to-response (ItR) system with given input probability and expensive function evaluations. The key idea here is to leverage low-fidelity samples whose responses can be computed with a cost of a certain fraction of that for high-fidelity samples, in an optimized configuration to reduce the total computational cost. To accomplish this goal, we employ a multifidelity Gaussian process as the surrogate model of the ItR function and develop a new acquisition based on which the optimized next sample can be selected in terms of its location in the sample space and the fidelity level. In addition, we develop an inexpensive analytical evaluation of the acquisition and its derivative, avoiding numerical integrations that are prohibitive for high-dimensional problems. The new method is mainly tested in a bifidelity context for a series of synthetic problems with varying dimensions, low-fidelity model accuracy, and computational costs. Compared with the single-fidelity method and the bifidelity method with a predefined fidelity hierarchy, our method consistently shows the best (or among the best) performance for all the test cases. Finally, we demonstrate the superiority of our method in solving an engineering problem of estimating rare-event statistics of ship motion in irregular waves, using computational fluid dynamics with two different grid resolutions as the high- and low-fidelity models.","PeriodicalId":56064,"journal":{"name":"Siam-Asa Journal on Uncertainty Quantification","volume":null,"pages":null},"PeriodicalIF":2.0,"publicationDate":"2024-02-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140002037","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"工程技术","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Projective Integral Updates for High-Dimensional Variational Inference 高维变量推理的投影积分更新
IF 2 3区 工程技术 Q1 Mathematics Pub Date : 2024-02-08 DOI: 10.1137/22m1529919
Jed A. Duersch
SIAM/ASA Journal on Uncertainty Quantification, Volume 12, Issue 1, Page 69-100, March 2024.
Abstract. Variational inference is an approximation framework for Bayesian inference that seeks to improve quantified uncertainty in predictions by optimizing a simplified distribution over parameters to stand in for the full posterior. Capturing model variations that remain consistent with training data enables more robust predictions by reducing parameter sensitivity. This work introduces a fixed-point optimization for variational inference that is applicable when every feasible log density can be expressed as a linear combination of functions from a given basis. In such cases, the optimizer becomes a fixed-point of projective integral updates. When the basis spans univariate quadratics in each parameter, the feasible distributions are Gaussian mean-fields and the projective integral updates yield quasi-Newton variational Bayes (QNVB). Other bases and updates are also possible. Since these updates require high-dimensional integration, this work begins by proposing an efficient quasirandom sequence of quadratures for mean-field distributions. Each iterate of the sequence contains two evaluation points that combine to correctly integrate all univariate quadratic functions and, if the mean-field factors are symmetric, all univariate cubics. More importantly, averaging results over short subsequences achieves periodic exactness on a much larger space of multivariate polynomials of quadratic total degree. The corresponding variational updates require four loss evaluations with standard (not second-order) backpropagation to eliminate error terms from over half of all multivariate quadratic basis functions. This integration technique is motivated by first proposing stochastic blocked mean-field quadratures, which may be useful in other contexts. A PyTorch implementation of QNVB allows for better control over model uncertainty during training than competing methods. Experiments demonstrate superior generalizability for multiple learning problems and architectures.
SIAM/ASA 不确定性量化期刊》,第 12 卷,第 1 期,第 69-100 页,2024 年 3 月。 摘要。变异推理是贝叶斯推理的一种近似框架,旨在通过优化参数的简化分布来代替全后验,从而提高预测的量化不确定性。捕捉与训练数据保持一致的模型变化,可以通过降低参数敏感性来实现更稳健的预测。这项工作为变分推理引入了一种定点优化方法,适用于每一个可行的对数密度都可以表达为给定基础函数的线性组合的情况。在这种情况下,优化器成为投影积分更新的定点。当基跨越每个参数的单变量二次方时,可行分布为高斯均值场,投影积分更新产生准牛顿变分贝叶斯(QNVB)。其他基数和更新也是可能的。由于这些更新需要高维积分,本研究首先提出了均值场分布的高效准随机序列。序列的每个迭代点都包含两个评估点,结合起来可以正确积分所有单变量二次函数,如果均值场因子是对称的,还可以正确积分所有单变量三次函数。更重要的是,对短子序列的结果求平均,可以在更大的二次总阶数多元多项式空间中实现周期精确性。相应的变分更新需要使用标准(非二阶)反向传播进行四次损失评估,才能消除一半以上多元二次基函数的误差项。这种积分技术的动机是首先提出随机阻塞均场四元数,这可能在其他情况下有用。与其他竞争方法相比,QNVB 的 PyTorch 实现可以在训练过程中更好地控制模型的不确定性。实验证明,QNVB 对多种学习问题和架构都有很好的通用性。
{"title":"Projective Integral Updates for High-Dimensional Variational Inference","authors":"Jed A. Duersch","doi":"10.1137/22m1529919","DOIUrl":"https://doi.org/10.1137/22m1529919","url":null,"abstract":"SIAM/ASA Journal on Uncertainty Quantification, Volume 12, Issue 1, Page 69-100, March 2024. <br/> Abstract. Variational inference is an approximation framework for Bayesian inference that seeks to improve quantified uncertainty in predictions by optimizing a simplified distribution over parameters to stand in for the full posterior. Capturing model variations that remain consistent with training data enables more robust predictions by reducing parameter sensitivity. This work introduces a fixed-point optimization for variational inference that is applicable when every feasible log density can be expressed as a linear combination of functions from a given basis. In such cases, the optimizer becomes a fixed-point of projective integral updates. When the basis spans univariate quadratics in each parameter, the feasible distributions are Gaussian mean-fields and the projective integral updates yield quasi-Newton variational Bayes (QNVB). Other bases and updates are also possible. Since these updates require high-dimensional integration, this work begins by proposing an efficient quasirandom sequence of quadratures for mean-field distributions. Each iterate of the sequence contains two evaluation points that combine to correctly integrate all univariate quadratic functions and, if the mean-field factors are symmetric, all univariate cubics. More importantly, averaging results over short subsequences achieves periodic exactness on a much larger space of multivariate polynomials of quadratic total degree. The corresponding variational updates require four loss evaluations with standard (not second-order) backpropagation to eliminate error terms from over half of all multivariate quadratic basis functions. This integration technique is motivated by first proposing stochastic blocked mean-field quadratures, which may be useful in other contexts. A PyTorch implementation of QNVB allows for better control over model uncertainty during training than competing methods. Experiments demonstrate superior generalizability for multiple learning problems and architectures.","PeriodicalId":56064,"journal":{"name":"Siam-Asa Journal on Uncertainty Quantification","volume":null,"pages":null},"PeriodicalIF":2.0,"publicationDate":"2024-02-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139766388","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"工程技术","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Analysis of a Computational Framework for Bayesian Inverse Problems: Ensemble Kalman Updates and MAP Estimators under Mesh Refinement 贝叶斯逆问题计算框架分析:网格细化下的集合卡尔曼更新和 MAP 估计器
IF 2 3区 工程技术 Q1 Mathematics Pub Date : 2024-02-02 DOI: 10.1137/23m1567035
Daniel Sanz-Alonso, Nathan Waniorek
SIAM/ASA Journal on Uncertainty Quantification, Volume 12, Issue 1, Page 30-68, March 2024.
Abstract. This paper analyzes a popular computational framework for solving infinite-dimensional Bayesian inverse problems, discretizing the prior and the forward model in a finite-dimensional weighted inner product space. We demonstrate the benefit of working on a weighted space by establishing operator-norm bounds for finite element and graph-based discretizations of Matérn-type priors and deconvolution forward models. For linear-Gaussian inverse problems, we develop a general theory for characterizing the error in the approximation to the posterior. We also embed the computational framework into ensemble Kalman methods and maximum a posteriori (MAP) estimators for nonlinear inverse problems. Our operator-norm bounds for prior discretizations guarantee the scalability and accuracy of these algorithms under mesh refinement.
SIAM/ASA 不确定性量化期刊》,第 12 卷,第 1 期,第 30-68 页,2024 年 3 月。 摘要本文分析了解决无限维贝叶斯逆问题的流行计算框架,即在有限维加权内积空间中离散先验和前向模型。我们通过为基于有限元和图的马特恩型先验离散化和去卷积前向模型建立算子规范边界,证明了在加权空间工作的好处。对于线性高斯反演问题,我们开发了一种通用理论,用于描述后验近似中的误差。我们还将计算框架嵌入到集合卡尔曼方法和非线性逆问题的最大后验(MAP)估计器中。我们对先验离散化的算子规范约束保证了这些算法在网格细化情况下的可扩展性和准确性。
{"title":"Analysis of a Computational Framework for Bayesian Inverse Problems: Ensemble Kalman Updates and MAP Estimators under Mesh Refinement","authors":"Daniel Sanz-Alonso, Nathan Waniorek","doi":"10.1137/23m1567035","DOIUrl":"https://doi.org/10.1137/23m1567035","url":null,"abstract":"SIAM/ASA Journal on Uncertainty Quantification, Volume 12, Issue 1, Page 30-68, March 2024. <br/> Abstract. This paper analyzes a popular computational framework for solving infinite-dimensional Bayesian inverse problems, discretizing the prior and the forward model in a finite-dimensional weighted inner product space. We demonstrate the benefit of working on a weighted space by establishing operator-norm bounds for finite element and graph-based discretizations of Matérn-type priors and deconvolution forward models. For linear-Gaussian inverse problems, we develop a general theory for characterizing the error in the approximation to the posterior. We also embed the computational framework into ensemble Kalman methods and maximum a posteriori (MAP) estimators for nonlinear inverse problems. Our operator-norm bounds for prior discretizations guarantee the scalability and accuracy of these algorithms under mesh refinement.","PeriodicalId":56064,"journal":{"name":"Siam-Asa Journal on Uncertainty Quantification","volume":null,"pages":null},"PeriodicalIF":2.0,"publicationDate":"2024-02-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139669988","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"工程技术","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Error Estimate of a Quasi-Monte Carlo Time-Splitting Pseudospectral Method for Nonlinear Schrödinger Equation with Random Potentials 带随机势能的非线性薛定谔方程准蒙特卡洛时间分割伪谱法的误差估计
IF 2 3区 工程技术 Q1 Mathematics Pub Date : 2024-01-30 DOI: 10.1137/22m1525181
Zhizhang Wu, Zhiwen Zhang, Xiaofei Zhao
SIAM/ASA Journal on Uncertainty Quantification, Volume 12, Issue 1, Page 1-29, March 2024.
Abstract. In this paper, we consider the numerical solution of a nonlinear Schrödinger equation with spatial random potential. The randomly shifted quasi-Monte Carlo (QMC) lattice rule combined with the time-splitting pseudospectral discretization is applied and analyzed. The nonlinearity in the equation induces difficulties in estimating the regularity of the solution in random space. By the technique of weighted Sobolev space, we identify the possible weights and show the existence of QMC that converges optimally at the almost-linear rate without dependence on dimensions. The full error estimate of the scheme is established. We present numerical results to verify the accuracy and investigate the wave propagation.
SIAM/ASA 不确定性量化期刊》,第 12 卷,第 1 期,第 1-29 页,2024 年 3 月。 摘要本文考虑了具有空间随机势的非线性薛定谔方程的数值求解。应用随机移动准蒙特卡罗(QMC)晶格规则结合时间分割伪谱离散化进行了分析。方程的非线性给估计随机空间解的正则性带来了困难。通过加权索波列夫空间技术,我们确定了可能的权重,并证明了 QMC 的存在,它以几乎线性的速度最佳收敛,且不依赖于维数。我们建立了该方案的全误差估计。我们给出了数值结果来验证其准确性,并研究了波的传播。
{"title":"Error Estimate of a Quasi-Monte Carlo Time-Splitting Pseudospectral Method for Nonlinear Schrödinger Equation with Random Potentials","authors":"Zhizhang Wu, Zhiwen Zhang, Xiaofei Zhao","doi":"10.1137/22m1525181","DOIUrl":"https://doi.org/10.1137/22m1525181","url":null,"abstract":"SIAM/ASA Journal on Uncertainty Quantification, Volume 12, Issue 1, Page 1-29, March 2024. <br/> Abstract. In this paper, we consider the numerical solution of a nonlinear Schrödinger equation with spatial random potential. The randomly shifted quasi-Monte Carlo (QMC) lattice rule combined with the time-splitting pseudospectral discretization is applied and analyzed. The nonlinearity in the equation induces difficulties in estimating the regularity of the solution in random space. By the technique of weighted Sobolev space, we identify the possible weights and show the existence of QMC that converges optimally at the almost-linear rate without dependence on dimensions. The full error estimate of the scheme is established. We present numerical results to verify the accuracy and investigate the wave propagation.","PeriodicalId":56064,"journal":{"name":"Siam-Asa Journal on Uncertainty Quantification","volume":null,"pages":null},"PeriodicalIF":2.0,"publicationDate":"2024-01-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139580631","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"工程技术","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Fully Bayesian Inference for Latent Variable Gaussian Process Models 潜变量高斯过程模型的完全贝叶斯推理
IF 2 3区 工程技术 Q1 Mathematics Pub Date : 2023-12-11 DOI: 10.1137/22m1525600
Suraj Yerramilli, Akshay Iyer, Wei Chen, Daniel W. Apley
SIAM/ASA Journal on Uncertainty Quantification, Volume 11, Issue 4, Page 1357-1381, December 2023.
Abstract. Real engineering and scientific applications often involve one or more qualitative inputs. Standard Gaussian processes (GPs), however, cannot directly accommodate qualitative inputs. The recently introduced latent variable Gaussian process (LVGP) overcomes this issue by first mapping each qualitative factor to underlying latent variables (LVs) and then uses any standard GP covariance function over these LVs. The LVs are estimated similarly to the other GP hyperparameters through maximum likelihood estimation and then plugged into the prediction expressions. However, this plug-in approach will not account for uncertainty in estimation of the LVs, which can be significant especially with limited training data. In this work, we develop a fully Bayesian approach for the LVGP model and for visualizing the effects of the qualitative inputs via their LVs. We also develop approximations for scaling up LVGPs and fully Bayesian inference for the LVGP hyperparameters. We conduct numerical studies comparing plug-in inference against fully Bayesian inference over a few engineering models and material design applications. In contrast to previous studies on standard GP modeling that have largely concluded that a fully Bayesian treatment offers limited improvements, our results show that for LVGP modeling it offers significant improvements in prediction accuracy and uncertainty quantification over the plug-in approach.
SIAM/ASA 不确定性量化期刊》,第 11 卷第 4 期,第 1357-1381 页,2023 年 12 月。 摘要。实际工程和科学应用往往涉及一个或多个定性输入。然而,标准高斯过程(GPs)无法直接适应定性输入。最近推出的潜变量高斯过程(LVGP)克服了这一问题,它首先将每个定性因子映射到底层潜变量(LVs),然后使用这些 LVs 上的任何标准 GP 协方差函数。LVs 的估计方法与其他 GP 超参数类似,都是通过最大似然估计,然后插入预测表达式。然而,这种插入式方法不会考虑 LV 估计中的不确定性,尤其是在训练数据有限的情况下,这种不确定性可能非常大。在这项工作中,我们为 LVGP 模型开发了一种完全贝叶斯方法,并通过其 LVs 直观显示定性输入的效果。我们还开发了 LVGP 放大近似值和 LVGP 超参数的全贝叶斯推断。我们进行了数值研究,在一些工程模型和材料设计应用中比较了插件推断和完全贝叶斯推断。以往对标准 GP 建模的研究大多认为全贝叶斯方法的改进有限,与此不同的是,我们的研究结果表明,对于 LVGP 建模,全贝叶斯方法比插件方法在预测精度和不确定性量化方面都有显著改进。
{"title":"Fully Bayesian Inference for Latent Variable Gaussian Process Models","authors":"Suraj Yerramilli, Akshay Iyer, Wei Chen, Daniel W. Apley","doi":"10.1137/22m1525600","DOIUrl":"https://doi.org/10.1137/22m1525600","url":null,"abstract":"SIAM/ASA Journal on Uncertainty Quantification, Volume 11, Issue 4, Page 1357-1381, December 2023. <br/> Abstract. Real engineering and scientific applications often involve one or more qualitative inputs. Standard Gaussian processes (GPs), however, cannot directly accommodate qualitative inputs. The recently introduced latent variable Gaussian process (LVGP) overcomes this issue by first mapping each qualitative factor to underlying latent variables (LVs) and then uses any standard GP covariance function over these LVs. The LVs are estimated similarly to the other GP hyperparameters through maximum likelihood estimation and then plugged into the prediction expressions. However, this plug-in approach will not account for uncertainty in estimation of the LVs, which can be significant especially with limited training data. In this work, we develop a fully Bayesian approach for the LVGP model and for visualizing the effects of the qualitative inputs via their LVs. We also develop approximations for scaling up LVGPs and fully Bayesian inference for the LVGP hyperparameters. We conduct numerical studies comparing plug-in inference against fully Bayesian inference over a few engineering models and material design applications. In contrast to previous studies on standard GP modeling that have largely concluded that a fully Bayesian treatment offers limited improvements, our results show that for LVGP modeling it offers significant improvements in prediction accuracy and uncertainty quantification over the plug-in approach.","PeriodicalId":56064,"journal":{"name":"Siam-Asa Journal on Uncertainty Quantification","volume":null,"pages":null},"PeriodicalIF":2.0,"publicationDate":"2023-12-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"138567754","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"工程技术","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Space-time Multilevel Quadrature Methods and their Application for Cardiac Electrophysiology 时空多层正交方法及其在心脏电生理研究中的应用
IF 2 3区 工程技术 Q1 Mathematics Pub Date : 2023-12-05 DOI: 10.1137/21m1418320
Seif Ben Bader, Helmut Harbrecht, Rolf Krause, Michael D. Multerer, Alessio Quaglino, Marc Schmidlin
SIAM/ASA Journal on Uncertainty Quantification, Volume 11, Issue 4, Page 1329-1356, December 2023.
Abstract. We present a novel approach which aims at high-performance uncertainty quantification for cardiac electrophysiology simulations. Employing the monodomain equation to model the transmembrane potential inside the cardiac cells, we evaluate the effect of spatially correlated perturbations of the heart fibers on the statistics of the resulting quantities of interest. Our methodology relies on a close integration of multilevel quadrature methods, parallel iterative solvers, and space-time finite element discretizations, allowing for a fully parallelized framework in space, time, and stochastics. Extensive numerical studies are presented to evaluate convergence rates and to compare the performance of classical Monte Carlo methods such as standard Monte Carlo (MC) and quasi-Monte Carlo (QMC), as well as multilevel strategies, i.e., multilevel Monte Carlo (MLMC) and multilevel quasi-Monte Carlo (MLQMC) on hierarchies of nested meshes. We especially also employ a recently suggested variant of the multilevel approach for nonnested meshes to deal with a realistic heart geometry.
SIAM/ASA不确定度量化杂志,第11卷,第4期,1329-1356页,2023年12月。摘要。我们提出了一种新的方法,旨在为心脏电生理模拟提供高性能的不确定度量化。利用单域方程来模拟心脏细胞内的跨膜电位,我们评估了心脏纤维的空间相关扰动对产生的感兴趣量的统计的影响。我们的方法依赖于多层正交方法、并行迭代求解器和时空有限元离散化的紧密集成,允许在空间、时间和随机性上完全并行化的框架。广泛的数值研究提出了评估收敛速度和比较经典蒙特卡罗方法,如标准蒙特卡罗(MC)和准蒙特卡罗(QMC),以及多层策略,即多层蒙特卡罗(MLMC)和多层拟蒙特卡罗(MLQMC)在嵌套网格层次上的性能。我们还特别采用了最近提出的一种针对非嵌套网格的多层方法的变体来处理逼真的心脏几何形状。
{"title":"Space-time Multilevel Quadrature Methods and their Application for Cardiac Electrophysiology","authors":"Seif Ben Bader, Helmut Harbrecht, Rolf Krause, Michael D. Multerer, Alessio Quaglino, Marc Schmidlin","doi":"10.1137/21m1418320","DOIUrl":"https://doi.org/10.1137/21m1418320","url":null,"abstract":"SIAM/ASA Journal on Uncertainty Quantification, Volume 11, Issue 4, Page 1329-1356, December 2023. <br/> Abstract. We present a novel approach which aims at high-performance uncertainty quantification for cardiac electrophysiology simulations. Employing the monodomain equation to model the transmembrane potential inside the cardiac cells, we evaluate the effect of spatially correlated perturbations of the heart fibers on the statistics of the resulting quantities of interest. Our methodology relies on a close integration of multilevel quadrature methods, parallel iterative solvers, and space-time finite element discretizations, allowing for a fully parallelized framework in space, time, and stochastics. Extensive numerical studies are presented to evaluate convergence rates and to compare the performance of classical Monte Carlo methods such as standard Monte Carlo (MC) and quasi-Monte Carlo (QMC), as well as multilevel strategies, i.e., multilevel Monte Carlo (MLMC) and multilevel quasi-Monte Carlo (MLQMC) on hierarchies of nested meshes. We especially also employ a recently suggested variant of the multilevel approach for nonnested meshes to deal with a realistic heart geometry.","PeriodicalId":56064,"journal":{"name":"Siam-Asa Journal on Uncertainty Quantification","volume":null,"pages":null},"PeriodicalIF":2.0,"publicationDate":"2023-12-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"138512777","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"工程技术","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Parameter Selection in Gaussian Process Interpolation: An Empirical Study of Selection Criteria 高斯过程插值参数选择:选择标准的实证研究
IF 2 3区 工程技术 Q1 Mathematics Pub Date : 2023-12-04 DOI: 10.1137/21m1444710
Sébastien J. Petit, Julien Bect, Paul Feliot, Emmanuel Vazquez
SIAM/ASA Journal on Uncertainty Quantification, Volume 11, Issue 4, Page 1308-1328, December 2023.
Abstract. This article revisits the fundamental problem of parameter selection for Gaussian process interpolation. By choosing the mean and the covariance functions of a Gaussian process within parametric families, the user obtains a family of Bayesian procedures to perform predictions about the unknown function and must choose a member of the family that will hopefully provide good predictive performances. We base our study on the general concept of scoring rules, which provides an effective framework for building leave-one-out selection and validation criteria and a notion of extended likelihood criteria based on an idea proposed by Fasshauer et al. [“Optimal” scaling and stable computation of meshfree kernel methods, 2009], which makes it possible to recover standard selection criteria, such as the generalized cross-validation criterion. Under this setting, we empirically show on several test problems of the literature that the choice of an appropriate family of models is often more important than the choice of a particular selection criterion (e.g., the likelihood versus a leave-one-out selection criterion). Moreover, our numerical results show that the regularity parameter of a Matérn covariance can be selected effectively by most selection criteria.
SIAM/ASA不确定度量化杂志,第11卷,第4期,1308-1328页,2023年12月。摘要。本文重新讨论了高斯过程插值参数选择的基本问题。通过在参数族中选择高斯过程的均值和协方差函数,用户获得一组贝叶斯过程来对未知函数进行预测,并且必须选择一组有望提供良好预测性能的贝叶斯过程。我们的研究基于评分规则的一般概念,它为构建留一选择和验证标准提供了一个有效的框架,并基于Fasshauer等人提出的思想提出了扩展似然标准的概念。[无网格核方法的“最优”缩放和稳定计算,2009],这使得恢复标准选择标准成为可能,例如广义交叉验证标准。在这种情况下,我们在文献的几个测试问题上经验地表明,选择合适的模型族通常比选择特定的选择标准更重要(例如,可能性与留一个选择标准)。此外,我们的数值结果表明,大多数选择准则都可以有效地选择出mat协方差的正则性参数。
{"title":"Parameter Selection in Gaussian Process Interpolation: An Empirical Study of Selection Criteria","authors":"Sébastien J. Petit, Julien Bect, Paul Feliot, Emmanuel Vazquez","doi":"10.1137/21m1444710","DOIUrl":"https://doi.org/10.1137/21m1444710","url":null,"abstract":"SIAM/ASA Journal on Uncertainty Quantification, Volume 11, Issue 4, Page 1308-1328, December 2023. <br/> Abstract. This article revisits the fundamental problem of parameter selection for Gaussian process interpolation. By choosing the mean and the covariance functions of a Gaussian process within parametric families, the user obtains a family of Bayesian procedures to perform predictions about the unknown function and must choose a member of the family that will hopefully provide good predictive performances. We base our study on the general concept of scoring rules, which provides an effective framework for building leave-one-out selection and validation criteria and a notion of extended likelihood criteria based on an idea proposed by Fasshauer et al. [“Optimal” scaling and stable computation of meshfree kernel methods, 2009], which makes it possible to recover standard selection criteria, such as the generalized cross-validation criterion. Under this setting, we empirically show on several test problems of the literature that the choice of an appropriate family of models is often more important than the choice of a particular selection criterion (e.g., the likelihood versus a leave-one-out selection criterion). Moreover, our numerical results show that the regularity parameter of a Matérn covariance can be selected effectively by most selection criteria.","PeriodicalId":56064,"journal":{"name":"Siam-Asa Journal on Uncertainty Quantification","volume":null,"pages":null},"PeriodicalIF":2.0,"publicationDate":"2023-12-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"138512773","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"工程技术","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 2
期刊
Siam-Asa Journal on Uncertainty Quantification
全部 Acc. Chem. Res. ACS Applied Bio Materials ACS Appl. Electron. Mater. ACS Appl. Energy Mater. ACS Appl. Mater. Interfaces ACS Appl. Nano Mater. ACS Appl. Polym. Mater. ACS BIOMATER-SCI ENG ACS Catal. ACS Cent. Sci. ACS Chem. Biol. ACS Chemical Health & Safety ACS Chem. Neurosci. ACS Comb. Sci. ACS Earth Space Chem. ACS Energy Lett. ACS Infect. Dis. ACS Macro Lett. ACS Mater. Lett. ACS Med. Chem. Lett. ACS Nano ACS Omega ACS Photonics ACS Sens. ACS Sustainable Chem. Eng. ACS Synth. Biol. Anal. Chem. BIOCHEMISTRY-US Bioconjugate Chem. BIOMACROMOLECULES Chem. Res. Toxicol. Chem. Rev. Chem. Mater. CRYST GROWTH DES ENERG FUEL Environ. Sci. Technol. Environ. Sci. Technol. Lett. Eur. J. Inorg. Chem. IND ENG CHEM RES Inorg. Chem. J. Agric. Food. Chem. J. Chem. Eng. Data J. Chem. Educ. J. Chem. Inf. Model. J. Chem. Theory Comput. J. Med. Chem. J. Nat. Prod. J PROTEOME RES J. Am. Chem. Soc. LANGMUIR MACROMOLECULES Mol. Pharmaceutics Nano Lett. Org. Lett. ORG PROCESS RES DEV ORGANOMETALLICS J. Org. Chem. J. Phys. Chem. J. Phys. Chem. A J. Phys. Chem. B J. Phys. Chem. C J. Phys. Chem. Lett. Analyst Anal. Methods Biomater. Sci. Catal. Sci. Technol. Chem. Commun. Chem. Soc. Rev. CHEM EDUC RES PRACT CRYSTENGCOMM Dalton Trans. Energy Environ. Sci. ENVIRON SCI-NANO ENVIRON SCI-PROC IMP ENVIRON SCI-WAT RES Faraday Discuss. Food Funct. Green Chem. Inorg. Chem. Front. Integr. Biol. J. Anal. At. Spectrom. J. Mater. Chem. A J. Mater. Chem. B J. Mater. Chem. C Lab Chip Mater. Chem. Front. Mater. Horiz. MEDCHEMCOMM Metallomics Mol. Biosyst. Mol. Syst. Des. Eng. Nanoscale Nanoscale Horiz. Nat. Prod. Rep. New J. Chem. Org. Biomol. Chem. Org. Chem. Front. PHOTOCH PHOTOBIO SCI PCCP Polym. Chem.
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1