3.SMT介绍