附录A SMT基本名词解释