清華大學資訊工程學系所學位論文
國立清華大學,正常發行
選擇卷期
- 學位論文
能源採集技術由於維修和充電成本低、永續性佳且不會受到壽命限制等等優點，逐漸 取代傳統電池成為新興的供電方式。使用能源採集技術的偵測器也被用在各種即時系統 的應用中，例如空氣品質、水庫水質、森林大火、交通狀況、人體數值監測等等。這些 偵測器由於供電受到環境影響而較微弱且不穩定、造成系統間歇的執行，需要等待下次 能源充足時方能繼續執行。採集的資料常常因為無法被如期的即時傳送而失真，因此資 料新鮮度是一個很重要的考量。本文提出一種新穎的演算法能夠最小化系統的資料年齡， 使得採集而來的資料得以盡可能的維持新鮮度，藉由對偵測器行為的預測和更新頻率的 平均，本篇的方法經由實驗結果表明得以有效的降低資料平均年齡，相比其他現有方法 更能維持資料新鮮度。
- 學位論文
本論文提出以匹配兼取代方式編輯圖形的一套系統。正如正則表式(regular expressions)廣泛被使用於文字資料的編輯，本論文採取此類搜尋兼替代編輯方式的優點。匹配型樣和取代規則皆可精簡、精準額外描述，即使新增客製功能，也不會影響到改寫器的核心功能，不會需要撰寫新的程式碼，只需要改型樣即可。如此政策與機制的分離可使軟體更容易維護與演進。但是，目前鮮少有此類「圖形文法」的編輯系統，難點在於圖形不是線性結構，不容易以公式表達，而且又分有向與無向，階層或扁平、含權重或其他屬性、有埠或無埠、一體或成叢林、還有許多其他特性，導致一套通用的圖形改寫系統變得很有挑戰性。為了解決這個問題，我們提出一套圖形正則表式(GraphRE)的系統，其RE部份指的是以文字版為比喻的可擴充式、以規則為基準的編輯器。GraphRE遵照我們以自定圖形型樣描述語言所訂規則，將一個圖形轉換成另一個圖形。GraphRE把規則編譯成一個可將讀取的圖形轉換為比子圖同構更通用的演算法。我們認為，這種匹配取代的優勢在於模組化會高於完全依賴命令式語言表達圖形重寫的傳統圖形文法系統。實驗結果顯示，GraphRE的確能夠實作出一個圖形編輯程式的編輯動作。本技術將會朝向可對不同種類示意圖定義以可程式化載入的圖形編輯器邁向一大步，避免把圖形邏輯以手刻程式碼作為唯一的實作方式。