NC程序检验仿真系统中虚形体的几何建模

利用参数化模型的方法，对虚形体的参数化模型进行了研究和探讨，并介绍了在三轴数控加工中几种常见刀具在运动过程中形成虚形体的参数方程表达式，为解决ＮＣ检验中碰撞干涉的算法开辟了一条思路。