对于高温高压管道的裂纹，焊接完毕后应进行热处理（ ）。