保存此搜索
研究论文 2024年9月 水热碳化产物在连续厌氧消化器中产生沼气的模型 厌氧消化与水热碳化(HTC)的耦合是可持续能源生产的一种很有前景的替代方法。 本研究提出了一个针对实验室规模的厌氧消化池操作HTC产品的动态模型。。。 研究论文 2024年9月 刚刚接受 NeuralCODE:用于可解释流行病预测的具有AutoML的神经区间常微分方程模型 为了防止疫情再次出现,预测疫情趋势,同时深入了解影响疫情的内在因素,是城市治理中的一个关键问题。 传统的类SIR隔间模型提供了对解释性。。。 研究论文 2024年9月 刚刚接受 利用张量核加速张量积运算 在本文中,我们利用NVIDIA A100 GPU张量核的计算能力,探索了有限元方法中张量积运算的加速。 我们提供了必要的数学背景和。。。 研究论文 2024年8月 基于学习广义测地距离函数的图节点特征增强方法 流形上的测地距离在图像处理、计算机图形学和计算机视觉中有许多应用。 在这项工作中,我们引入了一种称为“LGGD”的方法( 学习的广义测地距离 ). 此方法涉及生成节点。。。 研究论文 2024年8月 CONFIDE:PDE的上下文有限差分建模 我们介绍了一种基于学习的上下文,从之前未见过的动力学生成的数据样本推断显式PDE的方法。 训练阶段将方程形式的知识与微分方案结合起来,而。。。 -
扩展摘要 2024年8月 使用DaCe实现计算流体动力学的高性能便携式内核 随着Nvidia和AMD GPU等新型高性能计算(HPC)加速器的兴起,针对不同硬件加速器的高效代码需求对HPC应用程序开发人员提出了严峻挑战。 这种硬件多样性。。。 研究论文 2024年8月 几何处理中具有内边界条件流形上偏微分方程的最近点方法 许多几何处理技术需要求解嵌入在ℝ中的流形上的偏微分方程(PDE) 2 或ℝ 三 ,例如曲线或曲面。 这样 歧管PDE 通常涉及规定的边界条件(例如Dirichlet或Neumann)。。。 研究论文 2024年7月 广义符号距离的热方法 我们介绍了一种近似被孔洞、噪声或自相交破坏的几何体的有符号距离函数(SDF)的方法。 该方法隐式定义形状的完整版本,而不是显式修复给定的输入。 我们的。。。 研究论文 2024年7月 将定向场提升至最小截面 方向场(包括单位向量、直线和交叉场)是几何处理工具包中的基本工具。 方向场的拓扑结构以其奇异性为特征。 而奇点在……中起着重要作用。。。 研究论文 2024年7月 Walkin’Robin:具有Robin边界条件的行走恒星 许多科学和工程应用都需要解决涉及椭圆偏微分方程(如拉普拉斯方程或泊松方程)的边值问题(BVP),这些方程位于几何复杂的区域上。 我们开发了蒙特卡洛。。。 研究论文 2024年7月 SONC在动力系统Lyapunov稳定性中的初步应用 在控制理论和系统分析中,证明动力系统的稳定性是一项具有挑战性的中心任务。 为了解决这些问题,我们提出了一种求多项式Lyapunov函数的算法。 我们的方法依赖于…的总和。。。 研究论文 2024年7月 三阶微分方程的Liouvillian解 考虑一个三阶线性微分方程L(f)=0,其中<Formula format=“inline”><TexMath><? TeX$L\in\mathbb{Q}(z)[\partial_z]$?></ TexMath><AltText>Math 1</AltText><文件名=“issac24-37-inline1”type=“svg”/></Formula>。 我们设计了一个。。。 研究论文 2024年7月 达布多项式存在性的自动推理 给定一个多项式常微分方程(ODE),我们设计了通用的多项式归约算法来自动研究(非平凡的)Darboux多项式的总次数与多项式之间的交织关系。。。 研究论文 2024年7月 基于符号计算的常微分方程系统雅可比稳定性分析 在微分几何中发展起来的Kosambi–Cartan–Chern(KCC)经典理论为分析动力系统的行为提供了强有力的方法。 在KCC理论中,动力学系统的性质是用五个…来描述的。。。 研究论文 2024年7月 基于线性符号矩阵的非线性微分代数方程结构预处理方法 微分代数方程(DAE)已被用于科学和工程中各种动力学系统的建模。在对DAE进行数值模拟之前,需要使用几种预处理方法,例如一致性。。。 研究论文 2024年7月 泊松方程的微分蒙特卡罗解法 泊松方程是一个重要的偏微分方程(PDE),在物理、工程和计算机图形学中有许多应用。 泊松方程的传统解需要离散区域或其边界,这可以。。。 研究论文 2024年7月 基于速度的蒙特卡罗流体 我们提出了一种基于速度的蒙特卡罗流体求解器,它克服了现有基于涡度的求解器的局限性。 由于基于速度的公式在图形中更常用,因此我们的蒙特卡罗求解器可以很容易地扩展。。。 研究论文 2024年7月 ODE模型参数化的端到端统计模型检验及稳定性分析 我们提出了一种基于仿真的参数化常微分方程及其稳定性分析技术。 该技术是统计模型检验的一种改进,常用于验证生物模型的有效性。。。 研究论文 2024年6月 离散域上抛物型偏微分方程的一个求解框架 我们介绍了一个求解三角网格曲面上一类抛物型偏微分方程的框架,其中包括哈密尔顿-雅可比方程和福克-普朗克方程。 这类偏微分方程通常具有非线性或刚性项,这些项是不可能的。。。 短纸 2024年8月 使用混合精度算法加速超声神经刺激 超声神经刺激是一种调节大脑电活动的技术,已成为药物干预耐药病例的重要辅助治疗选择。 通过应用。。。