流体力学¶
examples/fluid/ 中收录了一系列完整的纳维-斯托克斯算例,从顶盖驱动方腔基准(2D 与 3D)到耦合动量与能量的瑞利-贝纳德对流问题。它们都共享同一套底层方案——在算例文件中定义的自定义 NavierStokesAssembler(或其瞬态版本)、用于等阶 P1-P1 单元的 SUPG/PSPG 稳定化、稳态求解的 Picard 线性化、瞬态求解的隐式欧拉法——因此一旦你读过 顶盖驱动方腔,其余算例本质上只是几何和边界条件上的变体。
NavierStokesAssembler 本身位于算例文件夹中,而不在 tensormesh.assemble 里。这是有意为之的示例级实现:当面向向量值问题的装配器 API 稳定后,生产级版本将会迁入核心库。
顶盖驱动方腔
Re=100 的稳态纳维-斯托克斯,SUPG/PSPG 稳定化,Picard 迭代——用同一个维度通用的装配器同时处理 2D 与 3D。
圆柱绕流(涡脱落)
瞬态 DFG 基准,隐式欧拉法,阻力/升力/斯特劳哈尔数的后处理。
绕多个障碍物的流动
Re=150 的稳态通道流,绕六个圆形障碍物,网格通过 MeshGen 的 CSG 构造。
瑞利-贝纳德对流
布西内斯克近似耦合动量与热输运,浮力驱动的流动。
泰勒-格林涡
具有精确解的衰减涡——收敛性研究的范例。