教育學院

Permanent URI for this communityhttp://rportal.lib.ntnu.edu.tw/handle/20.500.12235/1

教育學院成立於民國44年6月5日,時值臺灣省立師範學院改制為臺灣省立師範大學,初設教育、社會教育、體育衛生教育、家政教育、工業教育五個學系,發展迄今,本院共設有7個學系(均含學士、碩士及博士班)、5個獨立研究所、1個院級在職碩士專班。

本院為國內歷史最久之教育學院,系所規模、師資,及學生品質向為國內首屈一指,培育英才無數,畢業校友或擔任政府教育行政單位首長及中堅人才、或為大學校長及教育相關領域研究人員、或為國內中等教育師資之骨幹、或投入民間文教事業相關領域,皆為提升我國教育品質竭盡心力。此外,本學院長期深耕學術,研究領域多元,發行4本 TSSCI 期刊,學術聲望備受國內外學界肯定,根據 2015 年 QS 世界大學各學科排名結果,本校在教育學科名列第22名,不僅穩居臺灣第一,更躍居亞洲師範大學龍頭。

Browse

Search Results

Now showing 1 - 1 of 1
  • Item
    模擬結合局部性分析
    (2007) 李俊佑; Chun Yu Li
    近年來,局部性分析在自動化軟體檢驗領域中佔有一席之地,是相當有前景的研究方向。局部性分析能夠成功的關鍵在於被檢驗的系統有良好的模組架構。利用合併及最小化的技術,我們可以取得子系統的介面行程。介面行程可以忽略內部行為而代表子系統,如此重覆進行局部性分析可以藉此減緩組態爆炸。 模擬是一種樂觀性的品質保證,雖然不能證明錯誤不存在,但是它的實用性在產業界和應用領域已得到很好的例證。模擬的好處之一在於其避免記錄大量的狀態而造成實體記憶體不夠的問題。只要盡可能花時間檢驗系統模型,對系統本身的正確性就更有信心。 在本篇論文中,我們將模擬和局部性分析結合在一起。利用局部性分析所取得的介面行程,只要模擬的路徑行經它,就可以視為已經拜訪過該介面行程所代表的子系統。這樣做的好處可以大大縮減模擬拜訪的深度。我們的simulator建立在既有的ArCats架構之上,運用物件導向的多型技巧,讓模擬運行在CFG(Control Flow Graph)與CCS(Calculus of Communicating System)兩種CFSM中。本篇論文會以實際的例子說明模擬結合局部性分析的好處,同時在實驗中評估其價值。