SMT基础知识