SMT基本名词解释