Devito 是一种领域特定语言 (DSL) 和编译器，用于通过有限差分法解决 PDE 边值问题。高级 SymPy 风格 API 允许用户以类似于在“纸笔”上的方式形成模型及其离散解决方案。然后 Devito 处理这个高级规范，为目标架构生成高度优化的 C 代码。通过使用DSL，用户可以有效地解决一系列偏微分方程边值问题，特别是与地球物理成像问题（该框架的目标应用）相关的问题。

暑期学校将展示 Devito 在地震成像领域的高生产力和高性能方面。对于新用户，将提供构建和求解一系列模型的过程的演练。基本 API 和各种可用选项将在求解波动方程的上下文中进行举例说明。

经验丰富的用户将有机会根据自己的兴趣，通过一系列指导练习来扩展和探索更复杂的模型，探索子域等功能来实现更高级的边界条件，或者利用分布式内存并行性来解决更大的问题。问题。一旦新用户熟悉了 DSL 的基础，他们就会加入探索这些附加功能。

目标

暑期学校旨在将 Devito 经验很少或没有经验的地球物理学家提升到可以轻松使用 Devito 解决相关问题的水平。

暑期学校结束后，用户将

• 能够用DSL表达PDE边值问题及其解决方案
• 了解高级 API 选项如何影响生成的底层 C 代码
• 具有运行相关模型（例如基于波动方程的模拟）以及处理其输出的经验
• 根据自己的兴趣，深入研究了 Devito 的一些更高级的功能（例如向量和张量函数、子域、MPI 支持、编译器优化等）。