在电极的设计中，粗加工电极的横截面尺寸等于型腔尺寸减去放电间隙。