数学模型 工作台旋转 立轴圆台平面磨床 磨削力 气体渗碳 Fick第二定律 计算机控制