SMT Process Basic Theory详细