Switching Functions Based Geometric Modeling Language and its Application to Numerical Control Program Verification

Abstract

Summary The need for a solid geometric modeler which is capable of executing IF-ELSE statements related to set operations and of performing repeated operations by means of DO-loops, and its relevance and importance to manufacturing oriented applications has already been recognized in a broader sense such a solid modeler should be referred to as an interface between artificial intelligence and manufacturing applications, because it enables one to replace some non algorithmic rules by algorithmic ones Such a modeler should be available to researchers and application engineers in the form of a formal language, in the present paper a formal high level programming language based upon solid modeling techniques is presented. The power of the language is then demonstrated by applying it to the problem of numerical control program verification.