干式真空泵的界说与总结