What You Should Know

吳晉賢 助理教授國立台灣科技大學 電子工程系

前言

歡迎研究生加入 Embedded Computing and Applications Lab ( 嵌入式計算暨應用實驗室 ) 。

下面投影片的內容主要針對本實驗室的研究方向，問題的難度，相關論文研究的工具，以及碩士班畢業的條件。

希望大家可以在這邊學到有用的知識跟學問。

研究方向

下面列的是有興趣的領域 : 嵌入式系統 (Embedded Systems)

多核心的軟硬體整合設計 (Multicore Hardware/Software

Co-Design) 即時系統 (Real-Time Systems)

普及運算 (Ubiquitous Computing)

快閃記憶體管理 (Flash-Memory Storage Systems)

檔案儲存系統 (File Systems)

畢業要求 ( 碩士班為主 )

有兩種畢業條件，選擇一種即可

做出好的研究論文至少需完成 10 頁的 2 column 格式的英文論

文刊登於有審稿的國際會議或期刊上

做出好的建教合作計劃若接建教合作計劃，須完成此計劃的目標

寫論文的工具

相關寫論文的工具 .WinEdt 及 MikTexVisio 2002Gnuplot

http://phi.sinica.edu.tw/aspac/reports/95/95006/GhostScript & GSview

英文論文寫作“ 英文科技寫作 – 文法與修辭原則” , 作者

是方克濤

問題的難度 請了解 P 、 NP 、 NP-hard 跟 NP-Complete 的

不同。 . P 是這個問題可以被 deterministic polynomial ti

me Turing machines 在多項式時間所解決。 NP 是這個問題可以被 nondeterministic polynom

ial time Turing machines 在多項式時間所解決，且答案正確性可以在多項式時間被驗證。

如果 L 是 NP-Hard ，則對任何問題 L’ 屬於 NP ，都可以將 L’ reduce to L 。

如果 L 是 NP-Complete ，代表 L 屬於 NP-Hard且 L 是一個 NP 問題。

Reduction

我們說一個問題 L’ 可以 reduce to L ，代表 L 的難度至少跟 L’ 一樣。

我們知道存在很多 NP-C 的問題，像 SAT ， TSP ， Bin-Packing, Knapsack… 等的問題。

因此一個問題如果找不出最解時，可試著證明是否存在一個 NP-C 的問題可以 reduce to 你的問題。

若可，則代表你的問題跟 NP-C 一樣難，則肯定不存在有任何 optimal solutions( 最佳解法 ) ，否則 P 就是 NP 了。

解決問題的層次 ( 一 )

Optimal Algorithms 一個問題如果是在 P ，則最好能證明你的解法是 opt

imal( 最佳 ) ，方法可能是數學歸納法或是反證法或是其它 ; 反證法通常先假設存在一個比你更好的方法，但最後要導出矛盾，如此就不存在比你更好的方法，因此你的就是最好的方法。

Approximation Algorithms 如果證明問題是一個 NP-C ，必然沒有 optimal 的解

法，如果可以證明你的方法算出來的值可以離最佳解有特定的範圍時，我們就稱之 ; 例如 2-approximation algorithm 代表離最佳解在 2 倍的範圍。

解決問題的層次 ( 二 )

On-Line Algorithms 有些問題的 input 是動態進來的，因此不可能看完所

有的 input 再來運算，而這些問題可能很難或是 NP-C 的問題，對於解決這些問題的演算法稱為 on-line algorithms ，跟 approximation algorithms 一樣， on-line algorithms 有時也會離最佳解有特定的範圍。例如， 2-competitive 代表離最佳解在 2 倍的範圍。

Heuristics Algorithms 如果我們找不到最佳解或者也沒法證明問題是一個 N

P-C ，因此我們會提出一個可以解的方法，但又不能證明它離最佳解差幾倍。通常這類的方法需要透過實驗來驗證其可行性及優越性。

論文 ( 一 )

一般論文會分為會議 (conference) 論文跟期刊 (journal) 論文，在電資領域裡，好的論文大多出自於 ACM 跟 IEEE 。

一般投稿到會議論文，大概 2~3 個月內就會公佈結果，而期刊論文則需 4 個月到 1年的期間才會有結果。

試著練習看論文及自己寫論文，論文的格式有它一定的脈絡，久了就會知道怎樣寫論文。

論文 ( 二 )

會議 : 可以花一點時間去看這些會議所需要的領域跟需求。ASPLOS, ICCAD, DAC, ASP-DAC ISLPED, ISCA, MICRORTSS, RTAS, ECRTS, RTCSA, SACCODES+ISSS, EMSOFT, CASES, DATES上面縮寫的全名可參考這網址 , 裡面還有其

它會議的排名 . http://www.ntu.edu.sg/home/assourav/crank.htm

論文 (三 )

期刊 : 只要是 IEEE 跟 ACM 的期刊，大都不錯。下面網址列出很多期刊，當然是找跟自己領域相關的。ACM:

http://www.acm.org/publications/journals IEEE:

http://www.ieee.org/web/publications/journmag/index.html

論文可以從我說的這些期刊跟會議去找， 找出自己相關或有興趣的。

找論文的網站

IEEE Xplorehttp://ieeexplore.ieee.org/Xplore/guesthome

.jsp

ACM Digital Libraryhttp://portal.acm.org/dl.cfm