資訊科學研究所八十二年度研究成果發表會(二) --系統、軟體及其應用 日期:八十三年四月二十八日(星期四) ┌──┬──────┬───┬───────────────────────┬────────┬──┐ │日期│時 間│主講人│ 題 目 │ 組 別 │地點│ ├──┼──────┼───┼───────────────────────┼────────┼──┤ │ │ 9:00∼ 9:25│何建明│1.Design of a Large-Scale Multicast ATM Swtich│ │ │ │ 四 │ │ │2.Realtime File System Design │ │ │ │ 月 │ │ │ │ │ │ │ 二 │ 9:25∼ 9:40│高明達│1.Scheduling of Aperiodic Tasks │電腦系統與網路組│ │ │ 十 │ │ │2.Multi-Rate Data Fusion Theory │ │ 中 │ │ 八 │ │ │ │ │ │ │ 日 │ 9:40∼ 9:55│蔡國煇│Lower Layer Communication Support for Video │ │ │ │ │ │ │ Conference │ │ 央 │ │ ︵ ├──────┼───┼───────────────────────┼────────┤ │ │ 星 │10:15∼10:40│陳孟彰│Parallel Databases and System Supports │ │ │ │ 期 │ │ │ │ │ │ │ 四 │10:40∼11:05│王 凡│Design of Real-Time System Specification │ │ 研 │ │ ︶ │ │ │ Language: On the Tradeoff between │電腦系統與網路組│ │ │ │ │ │ Expressiveness and Verification Complexity │ │ │ │ │ │ │ │ │ 究 │ │ │11:05∼11:30│張嘉祥│1.Video Conference Server │ │ │ │ │ │ │2.The Current Status of GIS Project │ │ │ │ │ │ │ │ │ 院 │ │ ├──────┼───┴───────────────────────┴────────┤ │ │ │11:30∼12:30│參觀實驗室-展示地點:資訊所110實驗室 │ │ │ │ │展示項目及人員:1.即時排程及模擬(高明達、何建明、張嘉祥、蔡國煇、王大為)│ 數 │ │ │ │ 2.電傳視訊會議(張嘉祥、蔡國煇) │ │ │ │ │ 3.即時檔案系統(何建明、陳孟彰) │ │ │ │ │ 4.大容量多定點網路交換器(梁德容、何建明、蔡國煇、王大為)│ 學 │ │ │ │ 5.環境資訊系統(張嘉祥) │ │ │ ├──────┼───┬───────────────────────┬────────┤ │ │ │13:30∼13:55│郭譽申│Some Developments on the Object-Oriented │ │ │ │ │ │ │ Technology │ │ 所 │ │ │ │ │ │ │ │ │ │13:55∼14:05│王建民│The Design and Implementation of C++ Test │ │ │ │ │ │ │ Execution Tools │ 軟 體 方 法 組 │ 一 │ │ │ │ │ │ │ │ │ │14:05∼14:30│莊庭瑞│A Randomized Implementation of Multiple │ │ │ │ │ │ │ Functional Arrays │ │ 樓 │ │ ├──────┼───┼───────────────────────┼────────┤ │ │ │14:50∼15:15│鄭國揚│An Interactive Graphics Tool for FACS-based │ 電 腦 圖 學 組 │ │ │ │ │ │ Face Models │ │ │ │ │ │ │ │ │ 演 │ │ │15:15∼15:25│高明達│Cloth Modeling and Animation │ 電 腦 圖 學 組 │ │ │ │ │ │ │ │ │ │ │15:25∼15:50│廖純中│Representing Defaults in Possibility Theory │智慧型機器系統組│ 講 │ │ ├──────┼───┴───────────────────────┴────────┤ │  │ │15:50∼16:50│參觀實驗室-展示地點:資訊所209實驗室 │ │ │ │ │展示項目及人員:1.物件導向繪圖系統(郭譽申) │ 廳 │  │ │ │ 2.程式測試執行工具(王建民、郭譽申) │ │ └──┴──────┴────────────────────────────────────┴──┘