The motion orbit of cutting-tool is simulated dynamically on the computer screen, with test and verification of NC program achieved in the non-real cutting process.

仿真系统模拟数担数控机床硬件插补原理，在计算机上动态地模拟出刀具运动轨迹，实现非实际切削过程中的数控代码验证。

youdao

DT Part IV "program specification and proof" describes how to apply your logical understanding to a real computer science problem, the accurate description and verification of programs.

DT IV部分“程序说明书和证据”描述怎样把你的合乎逻辑的理解用于一个真正的计算机科学问题，计画的准确的描述和证实。

youdao