Verification Of Control Programs Research Articles

VERICUT - CONFIGURING CNC SYSTEMS FOR TURNING CENTER WITH SUB-SPINDLE

This report discusses the configuration of some preparatory and auxiliary commands for the Fanuc 18i TB CNC system for a counter-spindle lathe using special macros called Vericut macros. In most cases, this is necessary because the Vericut library of machines and CNC systems does not have the specific machine and system or do not correspond to the actual ones, i. e. there is no match between them. The need to configure the CNC control system is related to the fact that it is possible to perform simulation, optimization and verification of control programs in a virtual environment before proceeding to the processing of workpieces on the real machine.

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

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.

Manipulations and Transformations of Objects Represented via Switching Functions for Manufacturing Applications

A volumetric solid geometrical modeler based upon representation of objects via switching functions in a gray coded space is being developed. The special data structure and computer code used for switching function representation enables fast execution of set operations, object manipulations and geometrical comparisons between two objects, thus making it especially suitable for manufacturing applications such as numerical control program verification, quality assurance, and automatic assembly. The present paper is concerned with essential transformations and object manipulations required for the modeler. Algorithms are developed for decoding (transforming) objects from the modeler to the real world domain, for object manipulations including translation, rotation and reflection, and for generation of symmetrical objects. Manipulations performed in the modeler domain are greatly facilitated by the symmetrical characteristics of the gray coded space and can be readily implemented by gate level hardware.