當機器人從工業走向醫療 (2015.08.28)

當工業生產系統趨於工業4.0之際， 物聯網、雲端、大數據、虛實系統及機器人成為熱門議題， 智慧醫療系統與工業4.0的技術內涵看來一致， 面對全球生醫市場總產值超過1兆美元的經濟趨勢， 智動化將可為未來機器人技術助一臂之力。…

軟／硬體的正規（formal）驗證 (2003.03.05)

正規（formal）驗證（verification）技術，也就是用數學的符號，表達出系統設計的規格，從而減少工程師間錯誤溝通的可能性，進而提昇系統設計的品質，但國內工程界對這項新科技卻認知不深，採用的更少。本文將深入介紹此一驗證方法的歷史背景、最新技術、與未來發展走向。…