待验证50% 置信事实精确时间
BDF（Backward Differentiation Formula）和Radau等隐式刚性求解器通过每步隐式求解方程组来无条件稳定地处理快分量，允许步长由精度需求而非稳定性需求决定
1
来源数
50%
置信度
长期有效
时效性
2026/10/8
首次发现
来源
涉及实体
相关事实
待验证重要性采样的数学基础是Radon-Nikodym定理与测度变换，通过似然比w=p(x)/q(x)对样本重加权实现无偏估计60% 相似待验证蒙特卡洛PDE求解器的可微性来自其估计量本身是参数的光滑函数，可通过重参数化技巧或似然比方法直接获得无偏梯度估计，无需回溯大规模线性系统的中间状态60% 相似待验证模型若要真正泛化模块化算术任务，需要隐式地发现离散傅里叶变换等周期性表示，而非死记每对输入的答案60% 相似待验证LQR最优策略是状态的线性函数，其解析解通过求解代数Riccati方程获得59% 相似待验证将连续的几何约束离散化或区间化后交由求解器处理，可将几何问题转化为可自动判定的约束求解任务59% 相似
引用此条事实
Stable URI
https://kongchang.com/claim/986553API
curl https://kongchang.com/api/v1/knowledge/claims/986553MCP
get_claim(id=986553)