2.3.7 利用真空泵进行排气的方法