Page 41 - profile2014.indd

計算理論與演算法實驗室

法。最近也進行使用智慧型手機或其他類似的裝置來協助進 幾何計算：Voronoi圖形有非常廣泛的用途，是幾何計算領
行認證的資訊交換，或其他實用上的資訊安全研究。 域學者長期研究的重要幾何結構。此結構所具有的性質及
複雜度，還有如何計算而得等，都是幾何計算演算法的基
後量子密碼學：量子電腦發明之後可能存續的公鑰密碼系統 本問題。當引進不同的「距離」概念時，例如「時間距離」
(Post-Quantum Public-Key Cryptosystem), 特別是其中 ，Voronoi圖形也會跟著變化。而其特性與所選定的「距離」
一個重要分類，多變量的公鑰密碼系統(MPKC)，研究一種 如何互動改變，如何利用「距離」的某些性質，設計更有效
以處理多個小有限體中的變數，來取代大代數結構中的元 率的演算法是我們所欲探討的問題。
素。該類系統一般也有高效能的名聲，適合用在小或嵌入式
系統上。 四、機器人相關系統

代數攻擊：XL演算法為一種解方程式的技巧，幫助終結線 發展機器人相關的系統設計、感測、規畫、控制的基礎理
性回饋平移暫存器 (Linear Feedback Shift Register) 作為 論和整合技術、情感與認知計算，讓人能安全舒適的與機器
加密技術的時代，我們對它首度作完整的分析，並推廣到一 人進行必要的互動，使機器人能成為人類生活(包含食、衣、
些其他的應用。 住、行、育、樂)的好夥伴與得力幫手，是當前及未來機器
人研發的重要課題。我們正進行機器人的模擬與實驗研究
二、巨量資料 為：基於地圖重建的自主導航與控制，平滑路徑規劃的軟性
計算方法，以及整合感測網路與機器人的研究。
巨量資料之邏輯與知識表達：巨量資料之中隱藏許多有用的
資訊與知識，我們將以形式邏輯的方法來探討相關的知識表
徵與推理問題。

巨量資料相關之高速演算法設計：近年來大量資訊很容易在
線上取得。我們研究如何利用這些巨量資料進行快速計算。
研究題目包含資料隱私保護、多方私密計算、電腦對局理論
和實作及大型社群網路的動態模擬。

三、圖論與圖論演算法

基礎圖論：圖論可以解決許多實際應用問題，而且也是很多
理論研究的工具。我們通常先由基礎圖論性質的研究著手，
然後藉由新性質的發現，設計高效率演算法，再進一步探討
理論之突破，以及可能的應用價值。我們探討於實際應用產
生的圖論演算法問題。

網路設計與分析：網路設計問題探討的是如何將許多不同位
置的站點，經由適當的網路架構連結以滿足特定的需求。這
類問題含括了許多不同領域內的核心議題，例如超大型積體
電路設計、無線傳感器網路、生物資訊學及通訊網路等。在
不同的應用領域，這些問題透過各式各樣的效能評估方式及
限制條件，以不同的形式出現，而其間又存在著微妙的共通
性。

41