查找： 关键词为 NC machining Cutter interference Arbitrary surface Discrete approximation 的文献