In the verification of wire electrical discharge machining （EDM）, the motion and the performance of the wire-EDM system are analyzed. The maximum inclining angle of the wire is calculated. The relevant judgment methods are used for the collision between the wire, the fixture, and the machining table. In the wire-EDM simulation, the generated solid model can he used to investigate programming results and to check the machining accuracy. The generation algorithm for the solid model in the simulation is solved based on Boolean operations. The wire swept volume for each cutting step is united to form the entire wire swept volume. Through Boolean subtraction between the stock model and the entire wire swept volume, the solid model in the wire-EDM simulation is generated. The method is also suitable for the wire path intersection occurred in cutting cone-shaped models. Finally, experiments are given to prove the method.
