P arking is characterized by movement and storage in space. The investigation of parking systems therefore involves the study of spatial systems. Computer graphics provides an extremely useful medium for developing, amending, and studying parking systems. The past five years have seen considerable developments in microcomputers and computer graphics. These developments are having considerable i...

Recognition of machining features provides a bridge between Computer Aided Design (CAD) and Computer Aided Manufacturing (CAM) of machined parts. CAD produces part descriptions in terms of geometric entities or design features, which need not coincide with the manufacturing features needed by process planning activities. The CAD data must therefore be interpreted so as to generate part represen...

This paper describes a method of machining feature recognition from a freeform surface based on the relationship between unique machining patches and critical points on a component’s surface. The method uses Morse theory to extract critical surface points by defining a scalar function on the freeform surface. Features are defined by region growing between the critical points using a tool path g...

Partial order reduction is a state space pruning approach that has been originally introduced in computer aided verification. Recently, various partial order reduction techniques have also been proposed for planning. Despite very similar underlying ideas, the relevant literature from computer aided verification has hardly been analyzed in the planning area so far, and it is unclear how these te...

This work presents a description of the implementation of the WebMachining methodology and system (http://WebMachining.AlvaresTech.com) developed in a context of e-Mfg and Concurrent Engineering, aiming at integrating CAD/CAPP/CAM for the remote manufacturing of cylindrical components through the Internet. The methodology and its implementation are conceived starting from the modelling paradigm...