(3.235.139.152) 您好!臺灣時間:2021/05/08 19:19
字體大小: 字級放大   字級縮小   預設字形  
回查詢結果

詳目顯示:::

我願授權國圖
: 
twitterline
研究生:李偉泰
研究生(外文):Wei-Tai Lee
論文名稱:以震波層析成像為應用之特定領域語言實作與分析
論文名稱(外文):The Implementation and Analysis of an Internal DSL for Application in Seismic Tomography
指導教授:莊永裕
指導教授(外文):YungYu Zhuang
學位類別:碩士
校院名稱:國立中央大學
系所名稱:資訊工程學系
學門:工程學門
學類:電資工程學類
論文出版年:2020
畢業學年度:108
語文別:中文
論文頁數:55
中文關鍵詞:特定領域語言震波層析成像平行計算
外文關鍵詞:Domain Specific Languageseismic tomographyparallel computing
相關次數:
  • 被引用被引用:0
  • 點閱點閱:36
  • 評分評分:系統版面圖檔系統版面圖檔系統版面圖檔系統版面圖檔系統版面圖檔
  • 下載下載:0
  • 收藏至我的研究室書目清單書目收藏:0
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
摘要 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].
電子全文 電子全文(網際網路公開日期:20250801)
連結至畢業學校之論文網頁點我開啟連結
註: 此連結為研究生畢業學校所提供,不一定有電子全文可供下載,若連結有誤,請點選上方之〝勘誤回報〞功能,我們會盡快修正,謝謝!
QRCODE
 
 
 
 
 
                                                                                                                                                                                                                                                                                                                                                                                                               
第一頁 上一頁 下一頁 最後一頁 top
無相關論文
 
無相關期刊
 
無相關點閱論文
 
系統版面圖檔 系統版面圖檔