Geometric reasoning for intelligent manufacturing

anufacturing automation is at least as old as the industrial revolution, which brought about mass production and dedicated, fixed-task machinery. Flexible automation and the associated variable-task, programmable tools date from the 1950s, with the introduction of numerically controlled (NC) machining and computer-aided design (CAD). A modern, high-level view of the automation field can be summarized as follows: At the center are representations, or computer models, of products, such as an assembly of electromechanical components; processes, such as a sequence of machining operations; and resources, such as machine tools or robots. Around this center are the activities that create and use the representations. Creating product representations is usually called design, or CAD when emphasizing its computational aspects. In industrial practice, a design for a mechanical part or assembly is specified by its geometry plus a few nongeometric properties, such as material or hardness. Geometry is traditionally conveyed through engineering drawings. CAD helped replace such drawings, first with wireframe models, or unorganized sets of object edges, and later with solid models. Only solid models are unambiguous, completely defining the shape of objects; other models are ambiguous. Therefore, solid models are suitable sources of data for programs that automatically answer such queries as: “What is the volume of this object?” and “Do these two objects collide?” The evolution of solid modeling has been documented in the literature [7, 8, 9, 10]. However, the conversion to solid modeling is far from complete; drawings and wireframes are still widely used in industry. Today, human users define a product’s geometry directly. In the future, mechanical design is likely to follow in the steps of very large-scale integration (VLSI) design and specify products at a higher, functional level. Geometry will then be inferred through the analogs of silicon compilers. We are still far from this stage; a major barrier is the lack of a computational characterization of design intent in terms of mechanical functions, constraints, optimization criteria, and perhaps other important properties. Design is closely linked to analysis. Computational methods for analyzing designs have progressed nicely, and today there are tools for computing mass properties of objects, detecting interferences, simulating motion, and so on. Progress on synthesis of product and process designs has been much slower. High-level process representations are created through activities usually called process planning and scheduling. Planners reason about the geometry (and other properties) of objects, attempting to match them to the capabilities of physical processes, such as drilling or milling, and thereby generating a sequence of production operations. These operations involve fabrication, such as machining or casting; assembly; inspection; and so on. Schedulers reason about processes and resources, allocate operations to appropriate machinery, and specify the asso-

[1]  H. P Nii,et al.  Blackboard Systems , 1986 .

[2]  Aristides A. G. Requicha,et al.  Spatial Reasoning for the Automatic Recognition of Machinable Features in Solid Models , 1993, IEEE Trans. Pattern Anal. Mach. Intell..

[3]  Aristides A. G. Requicha,et al.  Accessibility analysis for the automatic inspection of mechanical parts by coordinate measuring machines , 1990, Proceedings., IEEE International Conference on Robotics and Automation.

[4]  Aristides A. G. Requicha,et al.  Automatic programming of coordinate measuring machines , 1994, Proceedings of the 1994 IEEE International Conference on Robotics and Automation.

[5]  Aristides A. G. Requicha,et al.  Solid modelling—A 1988 update , 1988 .

[6]  Aristides A. G. Requicha,et al.  Accessibility analysis for polyhedral objects , 1992 .

[7]  Aristides A. G. Requicha,et al.  CHAPTER 5 - Geometric computation for the recognition of spatially interacting machining features , 1994 .

[8]  Andrew P. Sage,et al.  Uncertainty in Artificial Intelligence , 1987, IEEE Transactions on Systems, Man, and Cybernetics.

[9]  Aristides A. G. Requicha,et al.  Integration of feature based design and feature recognition , 1995, Comput. Aided Des..

[10]  Allen Newell,et al.  SOAR: An Architecture for General Intelligence , 1987, Artif. Intell..

[11]  Aristides A. G. Requicha,et al.  Incremental recognition of machining features , 1994 .

[12]  Jean-Claude Latombe,et al.  Robot motion planning , 1970, The Kluwer international series in engineering and computer science.

[13]  L. N. Kanal,et al.  Uncertainty in Artificial Intelligence 5 , 1990 .

[14]  Requicha,et al.  Solid Modeling: A Historical Summary and Contemporary Assessment , 1982, IEEE Computer Graphics and Applications.

[15]  Aristides A. G. Requicha,et al.  Solid modeling and beyond , 1992, IEEE Computer Graphics and Applications.

[16]  H. Voelcker,et al.  Solid modeling: current status and research directions , 1983, IEEE Computer Graphics and Applications.