计算专用宏程序的编制与应用

在平时，一提到数控宏程序，操作者往往首先想到的是刀具运动轨迹，通过编写复杂的宏程序来实现复杂型面的加工。这类宏程序往往编写复杂，编写者要具有丰富的数学知识，程序编制时间、调试时间都很长，从而使许多操作者望而却步，对宏程序产生神秘感，以至于在实际生产中很少应用宏程序。

宏程序契约逻辑合理性的讨论

契约式编程在数控宏程序中被广泛应用，以保证复杂条件下的程序正确性，是一个非常有用的编程手段。但是如何正确有效地制订程序契约却并不是一件简单的事，如果我们不注意程序契约中逻辑的合理性，就很容易产生无效契约，从而无法实现保证程序正确性，加工安全性的目的。