石材加工中，用于去除锐角的工艺是：（）。