7.3.5 真空淬火炉的类型