SMT基本名词解释索引