近几年，我们团队做了一些关于机械制造领域的问题。该问题可以近似概括为一个微分约束下的最优求解问题。这在一般情况下是无法精确求解的。我们针对不同的需求，给出了几种求解方案，同时也给出了其最优性严格的数学证明。实验加工表明我们设计的算法可以有效地提高数控加工的速度与质量。