理學院
Permanent URI for this communityhttp://rportal.lib.ntnu.edu.tw/handle/20.500.12235/3
學院概況
理學院設有數學系、物理學系、化學系、生命科學系、地球科學系、資訊工程學系6個系(均含學士、碩士及博士課程),及科學教育研究所、環境教育研究所、光電科技研究所及海洋環境科技就所4個獨立研究所,另設有生物多樣性國際研究生博士學位學程。全學院專任教師約180人,陣容十分堅強,無論師資、學術長現、社會貢獻與影響力均居全國之首。
特色理學院位在國立臺灣師範大學分部校區內,座落於臺北市公館,佔地約10公頃,是個小而美的校園,內含國際會議廳、圖書館、實驗室、天文臺等完善設施。
理學院創院已逾六十年,在此堅固基礎上,理學院不僅在基礎科學上有豐碩的表現,更在臺灣許多研究中獨占鰲頭,曾孕育出五位中研院院士。近年來,更致力於跨領域研究,並在應用科技上加強與業界合作,院內教師每年均取得多項專利,所開發之商品廣泛應用於醫、藥、化妝品、食品加工業、農業、環保、資訊、教育產業及日常生活中。
在科學教育研究上,臺灣師大理學院之排名更高居世界第一,此外更有獨步全臺的科學教育中心,該中心就中學科學課程、科學教與學等方面從事研究與推廣服務;是全國人力最充足,設備最完善,具有良好服務品質的中心。
在理學院紮實、多元的研究基礎下,學生可依其性向、興趣做出寬廣之選擇,無論對其未來進入學術研究領域、教育界或工業界工作,均是絕佳選擇。
Browse
1333 results
Search Results
Item 以SIP為基礎建立視訊串流系統之研究(2009) 楊家璿; Chia-Hsuan Yang本研究提出一個簡易的架構,期望建立包含廣播、點播及直播功能的視訊串流伺服器(Video Streaming Server),並且希望藉由使用自由免費軟體(open source)的安裝及結合,來降低建立視訊串流伺服器的複雜度。本研究使用會談起始協議(Session Initiation Protocol)技術以及JAIN SIP語法的支援,使得視訊串流伺服器能夠取得遠端Web-CAM的位址,並且對此影像做視訊格式的設定在做串流輸出。 在本研究的架構下,我們希望利用較少的成本及設備,並且不需要繁複的操作即可讓相關研究人員能夠建立視訊串流系統。Item 整合Google Map 與Location-Based Workflow Service之平台建置與探討(2009) 許儷玶; Liping Syu近年來由於網際網路和資訊科技的快速演進與蓬勃發展,新科技時代的來臨,改變了人們的日常生活型態,也促進了人與人之間的溝通。此外行動定位服務(Location-based Service, LBS)的普及應用提供了使用者額外的加值服務,它整合可定位的行動裝置,諸如個人數位助理(Personal Digital Assistant, PDA)、手機、筆記型電腦、掌上型電腦等,並利用全球衛星系統(Global Positioning System, GPS)所提供的定位資訊加以輔佐,允許人們隨時隨地可透過無線通訊網路或行動裝置本身獲取所需的資訊,例如查詢餐廳資訊、訂票的相關服務、旅遊行程的規劃、緊急事故的呼叫救援、路況查詢服務等。故本研究以行動裝置定位服務結合Google Map,包含圖形化的操作介面,視覺化的旅遊資訊呈現,客製化的行程規劃,提供個人化的服務,讓使用者可獲取所需資訊,查詢相關的資料,供使用者選取喜好景點,量身訂做專屬的個人行程,並動態建立工作流程,依據使用者選取的工作流程模組,透過本研究所定義的網路服務流程模組語言(Web Service Workflow Control Pattern Language, WCPL),動態產生網路服務商業流程(Web Service Business Process Execution Language, WS-BPEL),連結相關的網路服務(Web Service),進行預訂的程序,提供使用者一套個人化的專屬服務。Item RST不變性數位浮水印技術(2009) 黃靖雅; Ching-Ya Huang網際網路的發達,使得聲音、影像及影片等多媒體資料容易被取得,甚至於遭到有意及無意的破壞與盜用。為了使多媒體資料原創者著作權受到保護,不論影像遭到旋轉、縮放及位移處理後,仍可以準確辨識該影像著作權,本研究以適用於浮水印之尺度(Scale)不變特徵值轉換,擷取影像中較穩定的特徵值,並分別在影像空間域及頻率域上,配合浮水印量化及中頻係數選取,在特徵值周圍進行嵌入與萃取浮水印訊息,以有效抵抗RST攻擊。 實驗結果顯示,影像經過旋轉(Rotation)攻擊,例如旋轉30度以上,或是受到放大2倍以上之縮放(Scaling)攻擊,其整體浮水印萃取效能(Performance)為75%及89%。從結果可知,不論在空間域或是頻率域浮水印技術,我們都可使浮水印萃取之效能較為強韌。Item 無線資料下載服務之排程感知功率控制(2009) 林景輝; Jing-Huei Lin在高速資料蜂巢式網路中,如HDR系統,採用的是分時多工(TDM)的技術來達到高速下載的目的。而在TDM系統中,時間被分隔為許多的時間槽(time slots),且在每一個時間槽中只有一位使用者可以被其基地台服務。而這位被服務的使用者是根據基地台的排程策略來挑選。因此我們提出根據此排程使用者的頻道品質狀況(channel condition)來調整基地台的傳輸功率(transmission power),此外,我們將基地台的流量負載(traffic loading)也一併考慮到我們的演算法中。我們的基地台功率調整方法會讓流量負載高且排程使用者之頻道品質狀況不佳的基地台使用最大的傳輸功率,同時,讓流量負載低且排程使用者之頻道品質狀況好的基地台使用較低的傳輸功率減少對其他基地台的干擾。另外,我們考慮到功率調整頻繁的問題,修改我們的演算法使得基地台不會因為太過頻繁的切換功率而導致系統無法運作。 我們在不同的環境情景中,如慢速衰弱(slow fading)、 快速衰弱(fast fading)及空間型聚集熱點(spatial hotspot),利用電腦模擬實驗。實驗結果顯示,我們提出的方法在封包延遲時間(packet delay)以及有效服務速率(effective service rate)上都能有優異的表現,並且在空間型聚集熱點中,能有效減少基地台的流量負載(load relief)。另外,透過有效的控制cell間的干擾(inter-cell interference),位於cell邊界的使用者的各項效能表現也能有所改善。Item 圖形的即時3D碰撞演算法(2008) 曾建智隨著程式的複雜化,一般傳統的除錯方法對於程式設計師的幫助有限,因此除錯器的開發對於程式設計師而言,變的越來越不可或缺。目前的除錯器大部分仍止於文字階段,然而文字所能傳達的僅僅只有變數值的變化,難以表達資料結構間複雜的關係。,因此更近一步地,有人設計出可以使用圖形化的方式來表達程式的資料之間相互關係的工具。比起文字,透過圖形化的表現方式,往往能讓程式設計師更加快速且直覺化的掌握程式的脈絡。然而,一但在圖形數量一多,圖形之間可能會互相的重疊與覆蓋(在本論文中用「碰撞」來稱呼重疊與覆蓋),以至於整個畫面的可讀性隨之下滑,所以視覺化物件畫面中的排版就變的非常的重要。因此,我們的研究目標,就是透過適合的演算法讓空間中的物件都有各自的一塊獨立空間,將空間中的除錯資訊做較佳的輸出,提高整體的可讀性。 於本篇論文中,我們針對空間中碰撞的問題在DIVA(Debugging Information Visualization Assistant)的三維空間環境中設計了一套排版列演算法。藉由此套演算法,可以處理空間中碰撞的問題,已達到較佳的視覺效果。Item 以FPGA電路實現基因向量量化器設計之研究(2008) 林定寬; Ting-Kuan Lin本論文提出一個新的基因向量量化器(VQ)硬體電路架構,並且利用FPGA開發板實現;此架構是根據Steady-State Genetic Algorithm (GA)所設計而成;此電路包含了族群記憶體單元(population memory unit)、交配突變單元(crossover and mutation unit)、適應值計算單元(fitness evaluation unit)以及生存測試更新單元( survival test and update unit);要強調的是,為了降低面積複雜度(Area Cost),本架構只使用一塊族群記憶體,而且交配突變單元會同時執行來加快電路計算效能;除此之外,更設計了一個利用DMA Controller的Pipeline架構來完成適應值計算單元,並且設計了一個適合做生存測試更新單元的硬體排序電路;最後利用SOPC系統實現並實際測量硬體電路效能;實驗的結果顯示了此基因向量量化器(VQ)硬體電路對於VQ的最佳化是擁有高效能表現以及較少計算時間的優點。Item 解決DIVA上動態資料和視覺化隱喻的映對(2008) 陳日峰; Jih-Feng Chen隨著時代的改變,軟體日漸變得複雜且龐大。然而除錯的技術和工具並沒有追上軟體的進步速度,除了除錯器的使用之外,使用者至今還時常得依賴插入額外的程式碼(例如說,printf)來幫助除錯。雖然近來已經有許多軟體視覺化工具透過圖形表示來視覺化軟體資料以幫助程式設計師除錯,但它們在使用上還有許多限制。例如只能視覺化特定的資料結構,或者是需要使用者撰寫額外的視覺化程式碼。因為這些種種的限制,讓軟體視覺化工具無法成為程式設計人員每天使用的實用工具。 因此,我們提供一個軟體視覺化除錯工具DIVA(Debugging Information Visualization Assistant)來幫助程式設計師除錯軟體。DIVA使用3D的圖形,顏色和動畫來視覺化軟體。讓使用者以理想的VM(Visualization Metaphor)來視覺化變數和資料結構。 本篇論文中,我們在DIVA上設計一個Mapping Engine,透過Mapping Engine的存在能將資料和VM 做到去除耦合(decoupling),讓變數資料和VM能在低耦合的情況下相互作用。Mapping Engine提供一個簡易的操作視窗能讓使用者在上面選擇資料和VM間的對映關係並且組合VM。經由VM之間的組合,一個複雜的VM可以由許多基礎的VM組合而成,以達到可組合性以及視覺化彈性。Item 無線下載串流的群體廣播排程服務(2009) 童祚瑋隨著使用者對高品質傳輸服務的追求,行動通訊的研究朝著高頻譜使用率的方向發展,除了開發更快速的下載傳輸速率的技術之外,群體廣播是另外一種有效的解決方案,因為它能同一時間將資訊藉由廣播傳遞到多個使用者,通常是使用在串流媒體以及網路電視的應用上。這項技術可以在同一時間槽內重複利用頻寬,縮減網路資源的使用量。 在這篇論文中,我們以一種串流的觀點設計群體廣播的排程方法,不再以封包的方式來傳遞資訊,而是將其視為一條位元串流;利用這樣的一種模型運行在CDMA2000的模擬環境下,我們提出一種在媒介存取控制層(Medium Access Control Layer)運行的無線群體廣播排程方法來優化可使用頻寬(Available Bandwidth)的利用率。簡單的來說,我們不只是使得每一次的傳輸讓最多的使用者收到,而是希望每一次的排程能夠讓輸出最大化。在使用者可能忍受的延遲範圍內,讓信號不良的群體等待,留至稍後信號轉佳再為其服務,希望頻寬利用率能因此得到提升。以下我們將主要考慮在無線資料下載的服務上,因為在這種情況下的使用者通常需求的是同一份資訊,我們也把傳統的無線廣播排程與我們的方法作比較。模擬與實驗的結果顯示有彈性的批次傳輸對於信號普遍不佳的使用者群體有相當的助益。Item 在可程式化系統晶片上之C-Means分群演算法設計(2008) 許智傑; Chih Chieh Hsu本論文提出一個新的c-means演算法硬體架構,在做分群處理與質量中心點的計算皆為管線化的運作,因此可以同時處理多筆訓練向量。我們計算質量中心點的除法器是由查表法、乘法器與位移運作所組成,可以大大的降低硬體複雜度且一個時脈週期即可完成除法的運算。最後我們所提出的架構會在以FPGA為基礎的可程式化系統晶片設計(System On a Programmable Chip,SOPC)之平台上作實際的效能測試,經由數據分析可以發現我們的架構會比軟體有更高的效能。Item 以Microblaze處理器為基礎的網路入侵偵測系統之FPGA硬體電路實現(2008) 賴正岳; Lai Cheng-Yueh目前的網路入侵偵測研究中,主要都是以找到好的演算法來設計快速的硬體比對電路為主,鮮少有於系統方面的探討,本論文希望除了針對電路層面的研究外,也能將其實現成系統,將電路以模組化的方式掛在系統上,成為系統中最重要的核心技術。緊接著我們希望從系統層面來觀看,提出兩種不同架構來做比較,瞭解在使用不同的Buffer來傳輸時,對整體的系統效能的影響性,不管是在System Throughput或者是System Transmission Latency Time的表現上,都會是我們發展入侵偵測系統的一些參考指標。最後在實驗部分,我們希望將整個系統建構在一個乾淨的網路環境底下,以避免量測上得誤差,並利用流量產生工具實際送出攻擊封包以對數據做量測。