图基隐式求解器实现正向与逆向问题中带约束的自动微分

提出一种全可微分的图基隐式求解器，通过将大型方程组作为约束，支持线性与非线性偏微分方程的正向建模。 该方法在四项关键任务中表现优异，包括逆向问题系数与右端项估计，以及利用可学习图粗化加速正向计算。 其稳定性与可微性显著降低建模复杂度，成为地球物理等工程应用中降低模型不确定性的有力工具。