校際選修

115-1 選課時程

進行中

  • 初選第一階段 6/15/2026
  • 初選第二階段 6/22/2026
  • 校際選修 8/24/2026
  • 初選第三階段 8/31/2026
  • 開學後加退選 9/7/2026
  • 逾期加退選 9/21/2026
選課資源

智慧系統研究模組與實作

Special Topics and Labs on Intelligent System Modules

學期
108-2
學分
3 學分
當期課號
5233
永久課號
IOG5014
開課單位
智慧系統與應用研究所
授課教師
張明峰、郭志義、曾煜棋、林柏宏、魏澤人
類別
必修
上課時間表
週二
週四
2
09:00–09:50
智慧系統研究模組與實作
CM600
3 節連堂
3
10:10–11:00
4
11:10–12:00
5
13:20–14:10
智慧系統研究模組與實作
CM600
2 節連堂
6
14:20–15:10

* 根據陽明交大上課時間表所列

概述

Unit 1_Large-scale circuit partitioning(林柏宏教授): - Introduction to circuit partitioning - Circuit netlist and hypergraph, - 2-way partitioning, - k-way partitioning Unit 2_雲端機器學習服務應用(魏澤人副教授): 以機器學習需要的實作技術為主,配合建立相關技術概念。 Unit 3_Network Protocols(郭志義教授): Unit 4_Computer Vision using Matlab(郭志義教授): Unit 5_Logic synthesis and verification(林柏宏教授): - Representations for Boolean logic - Two-level logic optimization - Multi-level logic optimization - Technology mapping

先修科目

Unit 1_Large-scale circuit partitioning(林柏宏教授): C/C++ or Python programming, Data structures, Algorithms Unit 2_雲端機器學習服務應用(魏澤人副教授): 作業上會使用 Qwiklabs 的 hands on lab Unit 3_Network Protocols(郭志義教授): Unit 4_Computer Vision using Matlab(郭志義教授): Unit 5_Logic synthesis and verification(林柏宏教授): Logic design, C/C++ or Python programming, Data structures, Algorithms

教學方式

Unit 1_Large-scale circuit partitioning(林柏宏教授): to be announced Unit 2_雲端機器學習服務應用(魏澤人副教授): Unit 3_Network Protocols(郭志義教授): Unit 4_Computer Vision using Matlab(郭志義教授): Unit 5_Logic synthesis and verification(林柏宏教授): to be announced

評分方式

Unit 1_Large-scale circuit partitioning(林柏宏教授): programming assignment and labs Unit 2_雲端機器學習服務應用(魏澤人副教授): Unit 3_Network Protocols(郭志義教授): Unit 4_Computer Vision using Matlab(郭志義教授): Unit 5_Logic synthesis and verification(林柏宏教授): programming assignment and labs

週次計畫
週次主題
第 1 週Unit 1_Large-scale circuit partitioning(林柏宏教授): 單元主題: Introduction to circuit partitioning 單元內容: circuit partitioning and its applications, hypergraph and its data structure, C/C++ debugging tools (gdb, valgrind, ddd, gperf ...)
第 2 週Unit 1_Large-scale circuit partitioning(林柏宏教授): 單元主題: 2-way circuit partitioning 單元內容: KL-heuristic, FM-heuristic
第 3 週Unit 1_Large-scale circuit partitioning(林柏宏教授): 單元主題: k-way circuit partitioning 單元內容: h-metis
第 4 週Unit 2_雲端機器學習服務應用(魏澤人副教授): 單元主題:雲端主機 單元內容:Linux, 網路, git, api 概念
第 5 週Unit 2_雲端機器學習服務應用(魏澤人副教授): 單元主題:GCP 機器學習 單元內容:GCP ML API code lab
第 6 週Unit 2_雲端機器學習服務應用(魏澤人副教授): 單元主題:AWS 機器學習 單元內容:AWS ML API code lab
第 7 週Unit 3_Internet protocols(郭志義教授): 單元主題: L2 protocols
第 8 週Unit 3_Internet protocols(郭志義教授): 單元主題: L3 protocols
第 9 週Unit 3_Internet protocols(郭志義教授): 單元主題: L4 protocols
第 10 週Unit 4_Computer Vision using Matlab(郭志義教授): 單元主題: MATLAB於影像處理的應用
第 11 週Unit 4_Computer Vision using Matlab(郭志義教授): 單元主題: MATLAB於電腦視覺之應用
第 12 週Unit 4_Computer Vision using Matlab(郭志義教授): 單元主題: 利用MATLAB於GPU 進行影像處理/電腦視覺之深度學習應用
第 13 週Unit 5_Logic synthesis and verification(林柏宏教授): 單元主題: Representations for Boolean logic 單元內容: truth table, binary-decision tree (BDD), AND-INV graph (AIG)
第 14 週Unit 5_Logic synthesis and verification(林柏宏教授): 單元主題: two-level/multi-level logic optimization 單元內容: Quine-McCluskey algorithm, technology mapping, ...
第 15 週Unit 5_Logic synthesis and verification(林柏宏教授): 單元主題: Logic simulation and verification 單元內容:, fault simulation, SAT, ...
第 16 週期末專題
第 17 週期末專題
第 18 週期末專題
教科書

Unit 1_Large-scale circuit partitioning(林柏宏教授): 無 Unit 2_雲端機器學習服務應用(魏澤人副教授): Unit 3_Network Protocols(郭志義教授): Unit 4_Computer Vision using Matlab(郭志義教授): Unit 5_Logic synthesis and verification(林柏宏教授): 無