The Role of Solid Modelling in Machining-Process Modelling and NC Verification

The study of mathematical functions and computational algorithms for modelling the geometrical effects of manufacturing processes is a new research field that draws heavily on theories and technologies for modelling solid objects. This paper summarizes some recent work on the modelling of conventional machining, and on the use of such models in systems for verifying automatically the correctness of NC programs.