我已经使用这个精确的工作流程来求解 FEniCS 中的 Navier-Stokes 方程。

几乎可以肯定，该过程中最困难的部分将是实施数值求解方法；FEniCS 中没有开箱即用的支持（当然，您需要的所有差分运算符都可用）。作为参考，请查看为FEniCS编写的 Navier-Stokes 基准测试套件 nsbench。它具有一组常见的数值求解方法，并针对许多示例问题对其进行了测试。另请查看FEniCS 书，第 21 章。根据您要模拟的流动的雷诺数，您可能需要使用例如SUPG来稳定数值解。

与 COMSOL 相比，使用 FEniCS 完成任务肯定需要更好地理解 Navier-Stokes 方程、数值求解方法和适当的边界条件。

至于边界条件的规范，我认为dolfin-convert仍然没有将标签信息从 Gmsh 网格传递到 dolfin 格式。如果您的域不是太复杂，手动重新标记 FEniCS 中的边界应该是可行的。