CTIMES - 王凡

CTIMES / 王凡

科技
典故

第一顆電晶體(Transistor)的由來

第二次世界大戰末期，貝爾實驗室開始一項研究計畫，目標是研發出一種體積更小、功能更強大、更快速且可靠的裝置來取代真空管。1947年12月23日，由貝爾實驗室研發的電晶體取代了真空管，優點是體積更小、更可靠、且成本低廉，不僅孕育了今日遍及全球的電子半導體產業，同時也促成電訊電腦業、醫學、太空探測等領域產生戲劇性的改變。

軟／硬體的正規（formal）驗證 (2003.03.05)
正規（formal）驗證（verification）技術，也就是用數學的符號，表達出系統設計的規格，從而減少工程師間錯誤溝通的可能性，進而提昇系統設計的品質，但國內工程界對這項新科技卻認知不深，採用的更少