KPPax 将 KPP 化学机制转为 JAX 可微代码

工具AI 评分 62/100arXiv cs.AI待复核
AI 聚合

本条为 AI 依据下方公开信源自动整理生成的摘要,不构成转载,可能存在偏差,请以原文为准。整理者:贝果科技 AI 资讯助手。

KPPax 是一个动力学预处理工具,能把用 KPP 语言描述的大气化学机制转成 JAX 中可微、即时编译且可向量化的化学代码。它用稀疏运算在对数空间计算速率定律以保持可微性,并借助 diffrax 的隐式求解器与正向、反向伴随完成刚性系统积分,从而无需手写伴随代码即可得到精确灵敏度。在 POLLU 基准上,由自动微分雅可比算出的 Fisher 信息矩阵可在拟合前预测 25 个速率系数中哪些可被识别,含噪合成估计对 9 个可识别系数的预测不确定度误差约 30%;另一应用中,神经网络排放清单修正经离线 4D-Var 训练后再在线微调,生物源修正误差降低 2.4 至 5 倍。

全文梳理

AI 摘要依据下方信源原文自动整理,非原文转载

从 KPP 语言生成 JAX 代码

大气化学机理通常以动力学预处理器的语言分发,这类工具能产出高效的 Fortran 或 C 代码,却难以嵌入机器学习模型所依托的可微编程框架。KPPax 的做法是充当一个新的动力学预处理器:读取以该语言书写的机理,输出在 JAX 中可微、即时编译且可向量化的化学代码。在速率律的计算上,它采用稀疏运算并在对数空间中进行,从而保持可微性;对于刚性系统,则调用 diffrax 库的隐式求解器以及正向、反向两种模式的伴随,因此无需手写伴随代码即可得到精确的敏感性。这一组合把原本面向传统数值模拟的机理描述,转成了能直接参与梯度优化的形式。

POLLU 基准上的两个演示

作者用 POLLU 基准机理展示了两类应用。第一类是先验可辨识性判断:由自动微分得到的雅可比矩阵算出 Fisher 信息矩阵,在尚未做任何拟合之前,就能预测某种类似流管的设计能够识别 25 个速率系数中的哪些;带噪声的合成估计验证了其中九个可辨识系数的预测不确定度,同时暴露出若干快速反应成簇、只有比值受到约束的情况。第二类是把排放清单的神经网络修正先在离线阶段按情景做 4D-Var 反演训练,再通过化学模型在线微调,使生物源修正的误差下降,并找回单次反演所丢失的低温排放信息。

适用范围与使用门槛

KPPax 的定位是让以该语言写成的机理直接服务于参数估计与物理—机器学习混合建模。其能力边界由材料本身给出:可微性依赖对数空间中的稀疏速率律计算,刚性积分交给 diffrax 的隐式求解器与伴随,精确敏感性来自自动微分而非人工推导。演示只在 POLLU 机理上完成,涉及的是速率系数的可辨识性与排放修正的训练流程,材料未提及其他机理或其他化学体系的验证结果。对使用这类机理的研究者而言,这意味着已有的机理描述不必重写就能接入梯度优化流程;但能否迁移到别的机理,材料没有给出结论。

为什么值得看

把传统大气化学机制直接接入可微编程与混合建模,省去手写伴随代码,适合做参数估计与物理-机器学习耦合的研究者。

微调量化

信源1 家

  1. [1]arXiv cs.AI一手信源KPPax: preprocess differentiable kinetic ODE for machine learning in atmospheric chemistry

关键事实

  • KPPax 从 KPP 语言编写的机制生成 JAX 中可微、即时编译、可向量化的化学代码[1]

  • 速率定律在对数空间用稀疏运算求值以保持可微,刚性系统由 diffrax 的隐式求解器与正反向伴随积分[1]

  • 在 POLLU 基准上,Fisher 信息矩阵预测 25 个速率系数中 9 个可识别,合成估计的不确定度误差约 30%[1]

  • 神经网络排放修正经离线 4D-Var 训练后在线微调,生物源修正误差降低 2.4 至 5 倍[1]

相关 · 工具

本页内容由 AI 自动聚合公开信源生成,仅供了解行业动态参考,不构成任何投资或决策建议。如需引用请以原文出处为准。