55 篇论文
本文提出了一种具有后验误差控制的稳定、自适应 RBF 无网格配点框架，该框架通过局部缩放、多项式增强和自动化细化循环，能够有效解决不规则几何形状上的非线性椭圆边值问题，并展现出优于均匀方法的准确性与效率。
本文确立了朗顿蚂蚁（Langton's Ant）中存在有限支撑周期高速公路的可判定充要条件，证明了对角漂移需要最小为六的宽度，并通过结合理论刚性定理与计算机辅助验证，排除了所有周期小于或等于 48 的情况。
本文提出了一种块 Paige-Saunders 双对角化框架，该框架将大规模核范数正则化最小二乘问题投影到块 Krylov 子空间中，通过原问题加速近端梯度法进行高效求解，其特点是具有已证的线性收敛性、用于管理内存的重启变体，并在数值实验中展示了卓越的计算效率。
本文提出了一种针对正规循环（normal cycles）具有理论保证的稀疏随机压缩算法，该算法利用 Nystrom 近似和岭杠杆得分（Ridge Leverage Score）采样，在保持极高压缩比下仍能维持高精度，从而显著加速了 LDDMM 框架下的大规模非线性形状配准任务。
本文通过分解技术和代数分支程序方法，建立关于表达式长度的最优上界与下界，从而研究有向三角网格图和国王图的正式路径表达式，同时将路径多项式分解与最小割及两端可靠性联系起来。
本文通过证明相关离散时间问题的可指数性，推导出一个显式的惠特尔指数（Whittle index），并通过仿真实验证明所得到的策略系统性地优于标准的 规则，从而解决了具有一般服务时间及 IHR 放弃时间的 M/G/N 排队系统的动态调度问题。
本文提出了一种预测性几何框架，该框架利用特征二次映射对偶数构成的结构规律性和宏观间距进行建模，从而提供了一种在传统素性测试极限之外估算高阶候选数的方法。
本文提出了一个耦合水库容积与治理质量的非线性动力学模型以分析稳定性，并证明了基于强化学习的管理策略相比于固定投入策略显著降低了控制成本，尽管这增加了接近枯竭时的风险，从而凸显了将治理视为水库管理内生状态的关键影响。
本文通过建立直接问题的适定性，将反问题表述为优化任务，并应用 Tikhonov 正则化结合梯度下降算法以实现稳定且准确的数值重建，解决了从含噪声末时刻数据中重构时空分数阶扩散方程中空间相关源项这一病态反问题。
本文建立了格拉斯曼流形上正交投影算子的完整算子扰动分析，证明了切空间结构的扰动会产生具有尖锐谱界限和稳定性判据的本质二次幂等缺陷，这与非切空间扰动引起的线性缺陷形成了对比。