真空炉、真空热处理炉、真空气淬炉