1,614 research outputs found
Case Study of an Unusually Heavy Rain Event over Eastern Taiwan during the Mei-Yu Season
No full text
The Yeh-Stratton Criterion for Stress Concentrations in Fiber-Reinforced Composite Materials
No full textThe purpose of this study is to investigate the Yeh-Stratton Failure Criterion with the stress concentrations in fiber-reinforced composites materials under tensile loadings. The Yeh-Stratton Failure Criterion developed from the initial yielding of materials is based on a macromechanics point of view. To investigate this criterion, the influence of the material anisotropic properties and the far field loading on the composite materials with a central hole or a normal crack were studied. Special emphasis was placed on definng of the crack tip stress field and their applications.The study of the Yeh-Stratton criterion for damage zone stress field on fiber-reinforced composites under tensile loadings was compared with several other fracture criteria, including the Tasi-Wu Theory, the Hoffman Theory, the Fischer Criterion, and the Cowin Criterion. The theoretical predictions from these criteria are examined by experimental results.</jats:p
Author contributions
No full textPlease browse the "Files" tag to access the appendix specifying the author - Chen Hsi Tsai's contributions to the seven papers included in the thesis
Supporting Information: Equivalence of Discrete Fracture Network and Porous Media Models by Hydraulic Tomography
No full textSupporting Information README
2018-Jan-17
"Equivalence of Discrete Fracture Network and Porous Media Models by Hydraulic Tomography"
Yanhui Dong, Yunmei Fu, Tian-Chyi Jim Yeh, Yu-Li Wang, Yuanyuan Zha, Liheng Wang, Yonghong Hao
This file contains the supplementary data for this manuscript, including the locations and properties of fracture networks, the locations of observation wells and validation wells, the water head used in inverse model and validation tests, as well as the executive file used in the inverse model.</p
The monoclonal antibody GB 42--a useful marker for the differentiation of myofibroblasts
No full text
Improving Simulation-Based and Formal Verification Techniques by Automatic High-Level Design Intent and Invariant Extractions
No full text在此論文之中，我們建構了一個開放原始碼暫存器轉換階層(RTL)的架構－QuteRTL，在暫存器轉換階層的合成與驗證相關研究裡，它能作為一個前端處理器。使用者可以利用此架構解析出暫存器轉換階層的Verilog硬體設計，獲得此設計的控制與資料流程圖(CDFG)，並且得到高層次的設計資訊(例如:有限狀態機)，此外亦可利用QuteRTL合成出階層或展平式的邏輯電路，隨後與邏輯合成最佳化工具(例如:Berkeley ABC)搭配可得到最佳化後的邏輯電路。有許多的研究機會因QuteRTL而變的可行，諸如暫存器轉換階層的偵錯、解法器、設計抽象化…等。另外與開放源的邏輯合成最佳化工具搭配，可形成一個完整且開放源的暫存器轉換階層合成至最佳化邏輯電路工具組。在QuteRTL的架構下，我們進一步的提出系統化且健全的高階設計資訊萃取演算法，進而自動化地萃取資訊並應用在改善暫存器轉換階層的模擬與正規驗證上。
在幫助改善模擬驗證方面，本論文提出一套自動產生目標限制方程式的演算法技術，此技術能自動化地產生簡潔有效用的限制方程式來引導隨機測試向量的產生過程。在隨機向量的產生過程之中，設計者人工地撰寫測試環境與限制式為最花費時間且易錯的步驟，本技術目的即是為了改善此驗證瓶頸而生。我們自動化此耗時易錯的步驟，因而大大地降低設計者在人工撰寫測試限制式的重擔。我們實驗此技術在眾多不同設計之中，結果佐證了此技術在模擬時間與驗證完整度上皆能夠比隨機測試向量與設計者自行撰寫的測試向量還為優良。
另一方面，在改善正規驗證上，本論文提出了一套與驗證命題相關的循序不變量萃取演算法，並利用萃取出的不變量幫助改善歸納式證明演算(UMC)的效益。藉由分析驗證命題的組成述部，我們可以找出與其相關的有限狀態機與計數器，進而快速地找出相關的循序不變量，由於此不變量與欲驗證命題具有高度的關連性，往往能夠大大地幫助此命題的歸納證明。在傳統式歸納證法(induction-based UMC)之中，我們萃取出的不變量精練了歸納前提(inductive hypothesis)；在內插式歸納證法(interpolation-based UMC)，此不變量改善了可到達狀態集合的內差精準度。實驗結果顯示在大多數的證明命題中，我們所提出的技術勝過許多先進的證明解法器，特別在困難的證明命題更有顯著的效益。In the dissertation, we build an open source RTL framework, QuteRTL, which can serves as a front-end for the researches in RTL synthesis and verification. Users can use our framework to read in RTL Verilog designs, obtain CDFGs, extract high-level design information (e.g. FSM), generate hierarchical or flattened gate-level netlists, and link with logic synthesis tools (e.g. Berkeley ABC). Various research opportunities will be made possible by this framework, such as RTL debugging, word-level formal engines, design abstraction, and a complete open-source RTL-to-gate tool chain, etc. In addition, we also devise systematic and robust algorithms that can automatically extract high level design intents from complex RTL Designs, and then utilize them to assist both simulation and formal verification.
For simulation, we proposed an Automatic Target Constraint Generation (ATCG) technique to automatically generate compact and high-quality constraints for the guided random simulation environment. Our objective is to tackle the biggest bottleneck of the entire constrained random simulation process ─ the time-consuming and error-prone manual testbench composition process. The proposed approach alleviates the users’ burden in manually writing constraints for the constrained random simulation environment. Our experimental results show that ATCG can outperform both directed and random simulations in both coverage and simulation runtime for a variety of designs.
For formal verification, we propose a property-specific sequential invariant extraction algorithm to improve the performance of the SAT-based unbounded modeling checkers (UMCs). By analyzing the property-related predicates and their corresponding high-level design constructs such as FSMs and counters, we can quickly identify the sequential invariants that are useful in improving the property proving capabilities. We utilize these sequential invariants to refine the inductive hypothesis in induction-based UMCs, and to improve the accuracy of reachable state approximation in interpolation-based UMCs. The experimental results show that our tool can outperform a state-of-the-art UMC in most cases, especially for the difficult true properties
The Spatial Construction of Musical Body and Its Sense of Place: A Case Study of Musical Bodies at Lu-Ming Square
No full text音樂學研究中首先提出生活環境中聲響之研究的，是從1969年的雷蒙德‧穆雷‧沙菲爾（Raymond Murray Schafer）之音景（soundscape）概念開始。而史蒂芬‧費爾德（Steven Feld）的聲響意義學 （acoustemology），以及布魯斯‧R.‧史密斯 （Bruce R. Smith）的 「以聆聽為基礎的生態學」（an ecology based on listening），則更進一步去探究環境中的音樂、聲響對人們活動之影響與意義。同於前述研究以人的心智、思想的角度來闡述音樂與環境的關連，本文將以法國哲學家莫理斯．梅洛龐蒂（Maurice Merleau-Ponty）的《知覺現象學》中，身體感知、身體運動而產生的「身體空間」做為連結音樂與環境的基礎，並於台灣大學鹿鳴廣場、師大公園採集田野資料，說明音樂身體藉由運動與外在物品發生關係，延展或重組其音樂身體圖式，並建立音樂身體空間。音樂身體空間一方面是身體主體主動對音樂環境的理解，一方面也是對環境在空間與時間上的限制以及特質有所呼應。這兩方面的動態過程總和成為音樂地方感。以此一音樂地方感的模式比較鹿鳴廣場與師大公園，更能說明兩者之不同除了來自客觀物質條件，更來自音樂身體空間於其間實踐與互動的結果。In 1969, Raymond Murray Schafer developed an idea, soundscape, which is the first concept on sounds in our living environment in musicological field. Steven Feld’s “acoustemology” and Bruce R. Smith’s “an ecology based on listening” continued to discuss the meanings and influences of sounds in environment to human’s life and thinking. his thesis takes on a different path to investigate the relationship among musical sounds, human sensations, and the environment. Based on Maurice Merleau-Ponty’s “Phenomenology of Perception,” this thesis takes “bodily space” produced by body perception and body movement as the foundation connecting musical sounds and environment. hrough fieldwork at NTU’s Lu-Ming square and Shi-da park, the author found out that a body actively make relationship with objects in the process of movement to extend or reorder it’s musical body image, then construct it’s musical bodily space which represents body’s active comprehension of environment. The musical bodily space’s reliance to environment and body’s response to spatial and temporal characters of the environment thus construct musical sense of place together. Comparing Lu-Ming square and Shi-da park by musical sense of place, the author found out that the differences of two are not only from objective aspect, but also from the result of interaction of musical bodily space and environment.第一章 身體：探究音樂與環境關連的中介 1一節 整合音樂、環境與身體之各種可能的方式 1二節 身體：音樂與空間之間的連結線索 5三節 音樂聲響發生的已知空間：鹿鳴廣場與師大路公園 17四節 章節架構 18二章 音樂身體的穩定性、延展及重組 19一節 音樂身體與生活身體 20二節 音樂聲響發生的所在：鹿鳴廣場 27三節 音樂身體及生活身體的實際展現：以鹿鳴廣場為例 32四節 小結 58三章 音樂身體主動創造空間：音樂身體空間 59一節 身體空間 60二節 音樂身體空間 62三節 音樂身體空間的三種策略之實踐與空間特質 66四節 小結 91四章 音樂身體與環境之互動：音樂地方感 93一節 地方感的相關理論 95二節 音樂身體空間與音樂環境的結構特質互動而產生的音樂地方感 100三節 以音樂地方感比較兩個音樂表演場所 110四節 小結 124論 125考文獻 12
AGE-SPECIFIC ABUNDANCE INDICES OF YELLOWFIN TUNA FOR TAIWANESE LONGLINE FISHERY IN THE ATLANTIC
No full text- …
