可转位球头立铣刀的建模与基于实例推理的c