Devito adalah bahasa khusus domain (DSL) dan kompiler untuk memecahkan masalah nilai batas PDE melalui metode perbedaan hingga. API gaya SymPy tingkat tinggi memungkinkan pengguna untuk membentuk model dan solusi terdiskritisasi mereka dengan cara yang mirip dengan yang mereka lakukan pada 'pena dan kertas'. Devito kemudian memproses spesifikasi tingkat tinggi ini untuk menghasilkan kode-c yang sangat optimal untuk arsitektur target. Dengan perintah DSL, pengguna dapat secara efisien memecahkan berbagai masalah nilai batas PDE, khususnya yang berkaitan dengan masalah pencitraan geofisika, yang merupakan target penerapan kerangka kerja tersebut.

Summer School akan menampilkan aspek produktivitas tinggi dan kinerja tinggi Devito dalam bidang pencitraan seismik. Untuk pengguna baru, panduan proses pembuatan dan penyelesaian berbagai model akan diberikan. API dasar dan berbagai opsi yang tersedia akan dicontohkan dalam konteks penyelesaian persamaan gelombang.

Pengguna dengan lebih banyak pengalaman akan memiliki kesempatan untuk mengembangkan dan mengeksplorasi model yang lebih rumit melalui serangkaian latihan yang dipandu sesuai dengan minat mereka, baik itu menjelajahi fitur seperti sub-domain untuk menerapkan kondisi batas yang lebih maju atau memanfaatkan paralelisme memori terdistribusi untuk menyelesaikan masalah yang lebih besar. masalah. Setelah pengguna baru merasa nyaman dengan dasar-dasar DSL, mereka kemudian akan ikut menjelajahi fitur tambahan ini.

Tujuan

Sekolah Musim Panas dimaksudkan untuk membawa Ahli Geofisika dengan sedikit atau tanpa pengalaman sebelumnya dengan Devito ke tingkat di mana mereka merasa nyaman memecahkan masalah yang relevan dengan menggunakannya.

Setelah menyelesaikan Sekolah Musim Panas, pengguna akan

• Mampu mengungkapkan masalah nilai batas PDE dan solusinya dalam DSL
• Pahami bagaimana opsi API tingkat tinggi memengaruhi kode-c dasar yang dihasilkan
• Berpengalaman dalam menjalankan model yang relevan, seperti simulasi berbasis persamaan gelombang, dan menangani keluarannya
• Telah mempelajari beberapa fitur Devito yang lebih canggih (misalnya fungsi Vektor dan Tensor, Subdomain, dukungan MPI, pengoptimalan kompiler, dll.) bergantung pada minat mereka.