SMT基本名词解释 第3页