以震波層析成像為應用之特定領域語言實作與分析

以作者查詢圖書館館藏

、以作者查詢臺灣博碩士

、以作者查詢全國書目

、勘誤回報

、線上人數：25

、訪客IP：3.133.139.164

姓名

李偉泰(Wei-Tai Lee) 查詢紙本館藏

畢業系所

資訊工程學系

論文名稱

以震波層析成像為應用之特定領域語言實作與分析
(The Implementation and Analysis of an Internal DSL for Application in Seismic Tomography)

相關論文

★ 條件判斷式事件驅動程式設計之C語言擴充	★ 基于小波变换的指纹活度检测,具有聚集 LPQ 和 LBP 特征
★ 應用自動化測試於異質環境機器學習管道之 MLOps 系統	★ 提升乳癌篩檢效率之批次排程框架
★ 設計具有可視化思維工具和程式作為單一步的輔助學習程式之棋盤式遊戲	★ TOCTOU 漏洞的靜態分析與實作
★ 用於繪製風力發電控制邏輯之特定領域語言	★ 在Java程式語言中以雙向結構表達數學公式間關聯之設計與實作
★ 支援模組化規則製作之程式碼轉換工具	★ 基於替代語意的 pandas DataFrame 靜態型別檢查器
★ 自動化時間複雜度分析的設計與實作–從軟體層面評估嵌入式系統的功率消耗	★ 用特徵選擇減少疲勞偵測腦電圖通道數
★ 一個應用紙本運算與數位化於程式設計學習使程序性思維可視化的機制	★ 基於抽象語法樹的陣列形狀錯誤偵測
★ 從合作學習角色分工獲得函式程式設計思維學習遞迴程式的機制	★ 基於抽象語法樹的深度複製及彈性別名之所有權系統解決 Java 表示暴露問題

檔案

[Endnote RIS 格式]

[Bibtex 格式]

[相關文章]

[文章引用]

[完整記錄]

[館藏目錄]

至系統瀏覽論文 (2025-8-1以後開放)

摘要(中)

FDtomo是一個使用多年，以三維震波層析成像 (Seismic Tomography)為目的的程式。FDtomo在設計上，由多個以 Fortran 程式語言撰寫之模組組合而成，使用者通常將這些模組編譯成執行檔，並且對這些執行檔進行控制。而這種對執行檔進行控制的方法，限縮了一些使用上的便利性，讓使用者通常會透過輔助工具來完成操作的行為。另外FDtomo為前人所架構，讓它在使用上並沒有善用現今各式硬體架構的效能，造成等待計算的時間過長。雖然現在存在許多可以提升程式效能的平行工具，但是要使用工具需要相關的背景知識，而這並不容易上手。因此本研究提供一個基於FDtomo設計之上的工具STFlow (Seismic Tomography Flow)，這個工具在層析成像的領域上定義一些相關資料結構，並且提供一個特定領域語言(Domain Specific Language, DSL)。除了透過提供各式的資料結構，讓使用者能以更具抽象性的方式來進行層析成像的計算，DSL的設計也讓使用者在不具備平行程式撰寫知識的情況，卻可以增進程式執行的效率。

摘要(英)

FDtomo is a tool for seismic tomography that is used for many years. In the design of FDtomo, it divides FDtomo into multiple modules written in the programming language Fortran. The users of FDtomo usually compile these modules into executable binaries, and operate the binaries; however, the way users do makes usage of FDtomo inconvenient, which have users accomplish the operation through other aid tools. Moreover, FDtomo has been developed about 10 years ago, so that it does not benefit from a variety of modern hardware and takes users a lot of time to wait for calculation. Although there are sorts of parallel tools that can improve performance of program, it’s hard for people who do not have related knowledge. As a result, this research provides a tool based on FDtomo called STFlow (Seismic Tomography Flow). It defines related data structures for tomography domain, and provides a Domain Specific Language, DSL. The design of our DSL not only provides various data structures that make users can accomplish calculation of tomography with higher-level abstraction, but also improves the performance of running tomography while hiding the details of parallel programming

關鍵字(中)

★ 特定領域語言
★ 震波層析成像
★ 平行計算

關鍵字(英)

★ Domain Specific Language
★ seismic tomography
★ parallel computing

論文目次

摘要 v
Abstract vi
目錄 vii
圖目錄 ix
表目錄 x
一、緒論 1
1-1 簡介 1
1-1-1 FDtomo的工作流程 1
1-1-2 FDtomo的限制 3
1-2 特定領域語言 4
1-2-1 甚麼是DSL? 4
1-2-2 基於語言的支持，對DSL的分類: 5
1-2-3 基於語意跟語法的關係，對DSL的分類: 6
1-3 平行計算 6
二、動機 8
2-1 抽象性的限制 8
2-2 效能的限制 10
三、方法 12
3-1 DSL表達型式與範例 13
3-2 文法 17
3-3 文法剖析層 18
四、實作 19
4-1 宿主語言: Python 19
4-2 如何以Builder建立剖析層 20
4-2-1 建立Builders，以及Builder之間的關係 20
4-2-2 如何撰寫DSL腳本 21
4-2-3 Builders之間的轉換 23
4-2-4 文法轉成語意模型 24
4-3 語意模型 25
4-4 平行計算方法 26
五、評估 28
5-1 抽象性比較 28
5-2 效能比較 30
六、結論與展望 35
七、參考文獻 36
八、附錄 38

參考文獻

M. Fowler, Domain Specific Language, Addison-Wesley Professional, September 24, 2010.
J. Hole and B. Zelt, "3-D finite-difference reflection travel-times," Geophysical Journal International., p. 427–434, May 1995.
J. Vidale, "Finite-difference calculation of travel-times," Bulletin of the Seismological Society of America, p. 2062–2076, December 1988.
S. Roecker, C. Thurber, K. Roberts and L. Powell, "Refining the image of the San Andreas Fault near Parkfield, California using a finite difference travel time computation technique.," Tectonophysics, pp. 189-205, 2006.
C. Paige and M. Saunders, "LSQR: an algorithm for sparse," ACM Trans. Math., pp. 43-71, 1982.
Y. Zhuang, C.-W. Ho, D.-Y. He, W.-T. Lee, Y.-N. Tseng and M.-Y. Lu, "Revising and optimizing a useful implementation for finite difference tomography.".unpublished.
D. Brown, J. Levine and T. Mason, Lex & Yacc, USA: Oreilly & Associates Inc, 1992.
B. Barney, "Introduction to parallel computing," Lawrence Livermore National Laboratory, [Online]. Available: https://computing.llnl.gov/tutorials/parallel_comp/. [Accessed 31 5 2020].
"openmp.org," [Online]. Available: https://www.openmp.org/. [Accessed 31 5 2020].
B. Barney, "Message Passing Interface (MPI)," [Online]. Available: https://computing.llnl.gov/tutorials/mpi/. [Accessed 31 5 2020].
"CFFI," [Online]. Available: https://cffi.readthedocs.io/en/latest/. [Accessed 31 5 2020].
"TIOBE," [Online]. Available: https://www.tiobe.com/tiobe-index/. [Accessed 31 5 2020].
"mpi4py," [Online]. Available: https://mpi4py.readthedocs.io/en/stable/. [Accessed 31 5 2020].
J. Fenlason, "GNU gprof," [Online]. Available: https://sourceware.org/binutils/docs/gprof/index.html. [Accessed 22 07 2020].

指導教授

莊永裕(YungYu Zhuang)

審核日期

2020-7-28

推文