使用非确定性技术和球形工具获得用于加工STL表面的螺旋路径渐进成形