Symbolic calculus for volumetric reasoning about process plans

A symbolic calculus for reasoning about process plans is proposed in this paper. The main focus of attention is the selection and sequencing of material removal operations for components in accordance with the design geometry. This is a central issue in automated process planning. The proposed symbolic calculus defines a computational formalism for symbolic manipulation of feature volumes, so that reasoning about volumetric removals can be treated in a logical manner by using well-defined procedures of algorithmic synthesis. This potentially encourages a more generic approach to the automation of outline and detailed process planning. The underlying philosophy is that a properly interpreted object topology upon the feature model allows the logical synthesis of volumetric removal sequences. The number of sequences is constrained by algorithms within the planning system that consider part geometry as expressed by features. This reduces the problem space associated with plan synthesis. Some of the geometrically viable sequences have the potential for further development to form viable machining removal sequences, or outline process plans.

[1]  R. Armstrong.  Review of Research. , 1990 .

[2]  B. J. Davies,et al.  Knowledge-based selection and sequencing of hole-making operations for prismatic parts , 1993 .

[3]  H. Jurit,et al.  Reasoning about machining operations using feature-based models , 1990 .

[4]  Jami J. Shah,et al.  Functional requirements and conceptual design of the feature-based modelling system , 1988 .

[5]  W. Eversheim,et al.  Survey of Computer-Aided Process Planning Systems , 1982 .

[6]  James Gao,et al.  Feature technology: an overview , 1993 .

[7]  Ajay Joneja,et al.  Protrusion-features handling in design and manufacturing planning , 1993, Comput. Aided Des..

[8]  Sukhan Lee,et al.  Backward assembly planning , 1991, [Proceedings] Third International Conference on Tools for Artificial Intelligence - TAI 91.

[9]  Richard A. Wysk,et al.  An operations network generator for computer aided process planning , 1990 .

[10]  Bartholomew O. Nnaji,et al.  Feature representation and classification for automatic process planning systems , 1993 .

[11]  Tien-Chien Chang,et al.  Process planning in an automated manufacturing environment , 1991 .

[12]  N. N. Z. Gindy,et al.  Feature-based component model for computer-aided process planning systems , 1993 .

[13]  Jami J. Shah,et al.  Survey of CAD/feature-based process planning and NC programming techniques , 1991 .

[14]  Carme Torras,et al.  A group-theoretic approach to the computation of symbolic part relations , 1988, IEEE J. Robotics Autom..

[15]  F. G. Mill,et al.  Representation problems in feature-based approaches to design and process planning , 1993 .

[16]  Arthur C. Sanderson,et al.  AND/OR graph representation of assembly plans , 1986, IEEE Trans. Robotics Autom..

[17]  O. W. Salomons,et al.  Review of research in feature-based design , 1993 .

[18]  N. N. Z. Gindy,et al.  A hierarchical structure for form features , 1989 .

[19]  Jeffrey S. Smith,et al.  Process plan generation for sheet metal parts using an integrated feature-based expert system approach , 1992 .

[20]  G. R. Finnie.  Knowledge-based selection and combination of forecasting methods , 1991 .

[21]  Stelios Kafandaris,et al.  Expert Process Planning for Manufacturing , 1990 .

[22]  Jdt Tannock,et al.  An Approach to Linear And Geometric Tolerancing for Computer-Aided Design , 1995 .

[23]  Jami J. Shah,et al.  Expert form feature modelling shell , 1988 .

[24]  Jami J. Shah.  Assessment of features technology , 1991, Comput. Aided Des..

[25]  H.J.J. Kals,et al.  XPLANE, a Generative Computer Aided Process Planning System for Part Manufacturing , 1986 .

[26]  Inyong Ham,et al.  Computer-Aided Process Planning: The Present and the Future , 1988 .

[27]  Bert Mendelson.  Introduction to Topology , 1975 .

[28]  D. Nau,et al.  An Algebraic Approach to Feature Interactions , 1992, IEEE Trans. Pattern Anal. Mach. Intell..