真空系统的主泵类型的确定