电火花和线切割工艺都是利用（）的原理，通过工件表面上高能量的电火花作用去除金属的工艺。