CONCURRENT DESIGN

REFERENCES

• Aho , A. V. , Hopcxoft , J. E. , and Ullman , J. D. , 1983 , Data Structures and Algorithms , Reading , Mass . Addison-Wesley Publishing Company ,
   Google Scholar
• Bachant , J. , and McDermott , J. , 1984 , Rl Revisited Four Years in the Trenches , Al Magazine , 5 21 – 32 .
   Google Scholar
• Borning , A. , 1979 , ThingLab—A Constraint-Oriented Simulation Laboratory , Technical Report , Xerox Palo Alto Research Center , Palo Alto , Calif .
   Google Scholar
• Chang , T. C. , Anderson , D. C. , and Mitchell , O. R. , 1988 , QTC—An Integrated Design/Manufacturing/ Inspection System for Prismatic Parts , Computers in Engineering 1988 , pp. 417 – 426 , San Francisco , Calif . American Society of Mechanical Engineers .
   Google Scholar
• Cutkosky , M. R. , Tenenbaum , J. M. , and Muller , D. , 1988 , Features in Process-Based Design , in Proceedings of the International Computers in Engineering Conference , San Francisco , Calif . American Society of Mechanical Engineers .
   Google Scholar
• de Floriani , L. , 1989 , Feature Extraction from Boundary Models of Three-Dimensional Objects , IEEE Transactions on Pattern Analysis and Machine intelligence , 11 785 – 797 .
   Web of Science ®Google Scholar
• Dixon , J. R. , 1988 , Designing with Features Building Manufacturing Knowledge into More Intelligent CAD Systems ,” in Proceedings of ASME Manufacturing lnternational-88 , New York American Society of Mechanical Engineers .
   Google Scholar
• Ehrig , H. , 1987 . Tutorial Introduction to the Algebraic Approach of Graph Grammars , in Graph-Grammars and their Applications to Computer Science , pp. 3 – 14 , New York Springer-Verlag .
   Google Scholar
• Erman , L. D. , Hayes-Roth , F. , Lesser , V. R. , and Reddy , D. R. , 1980 , The Hearsay-II Speech Understanding System Integrating Knowledge to Resolve Uncertainty , Computing Surveys , 12 213 – 253 .
   Web of Science ®Google Scholar
• Falcidieno , B. , and Giannini , F. , 1989 , Automatic Recognition and Representation of Shape-Based Features in a Geometric Modeling System , Computer Vision, Graphics, and Image Processing , 48 93 – 123 .
   Google Scholar
• Finger , S. , and Dixon , J. R. , 1989 . A Review of Research in Mechanical Engineering Design, Part II , Research in Engineering Design , 1 121 – 137 .
   Google Scholar
• Forgy , C. , 1982 , Rete A Fast Algorithm for the Many Pattern/Many Object Pattern Match Problem , The Journal of Artificial Intelligence , 19 17 – 37 .
   Web of Science ®Google Scholar
• Gavankar , P. , Chuang , S. H. , Henderson , M. R. , and Ganu , P. , 1990 , Graph-Based Feature Extraction , in Proceedings of the First International Workshop on Formal Methods in Engineering Design, Manufacturing, and Assembly , pp. 167 – 183 , Colorado Colorado State University .
   Google Scholar
• Gosling , J. , 1983 , Algebraic Constraints , Ph.D. dissertation , Department of Computer Science, Carnegie-Mellon University , Pittsburgh , Pa .
   Google Scholar
• Gursoz , E. L. , Choi , Y. , and Prinz , R. , 1988 , Vertex-based Representation of Non-manifold Boundaries , in Second Workshop on Geometric Modeling , New York IFIP .
   Google Scholar
• Hayes , C. C. , and Wright , P. K. , 1989 , Automating Process Planning Using Feature Interactions to Guide Search , The Journal of Manufacturing Systems , 8 1 – 15 .
   Web of Science ®Google Scholar
• Hulthage , I. , Fox , M. S. , Rychener , M. D. , and Farinacci , M. L. , 1990 , The Architecture of ALADIN A Knowledge-Based Approach to Alloy Design , IEEE Expert , 5 56 – 73 .
   Google Scholar
• Joshi , S. , and Chang , T. C. , 1988 , Graph-Based Heuristics for Recognition of Machined Features from a 3D Solid Model , Computer-Aided Design , 20 58 – 66 .
   Web of Science ®Google Scholar
• Krishnan , V. , Navinchandra , D. , Rane , P. , and Rinderle , J. R. , 1990 , Constraint Reasoning and Planning in Concurrent Design , Technical Report CMU-RI-TR-90–03 , Robotics Institute, Carnegie-Mellon University , Pittsburgh , Pa .
   Google Scholar
• Mackworth , A. K. , 1977 , Consistency in Network Relation , Artificial Intelligence , 8 99 – 118 .
   Web of Science ®Google Scholar
• Mittal , S. , Dym , C. , and Morjaria , M. , 1985 , PRIDE An Expert System for the Design of Paper Handling System , in Applications of Knowledge-Based Systems to Engineering Analysis and Design , pp. 99 – 116 , San Francisco , C alif . American Society of Mechanical Engineers .
   Google Scholar
• Moore , R. , 1979 , Methods and Applications of Interval Analysis , Philadelphia , Pa . SIAM .
   Google Scholar
• Navinchandra , D. , and Rinderle , J. R. , 1989 , Interval Approaches for Concurrent Evaluation of Design Constraints , Paper presented at 1989 ASME Symposium on Concurrent Product and Process Design , American Society of Mechanical Engineers , San Francisco , Calif ., December .
   Google Scholar
• Nielsen , E. H. , Dixon , J. R. , and Simmons , M. K. , 1987 , How Shall We Represent the Geometry of Designed Objects? , Technical Report 6–87 , Mechanical Design Automation Laboratory, University of Massachusetts , Amherst , Mass .
   Google Scholar
• Papalambros , P. J. , and Wilde , D. J. , 1988 , Principles of Optical Design , New York Cambridge University Press .
   Google Scholar
• Pinilla , J. M. , Finger , S. , and Prinz , F. B. , 1989 , Shape-Feature Description and Recognition Using an Augmented Topology Graph Grammar , in Proceedings of NSF Engineering Design Research Conference , pp. 285 – 300 , Amherst , Mass . University of Massachusetts .
   Google Scholar
• Popplestone , R. J. , Ambler , A. P. , and Bellos , I. , 1980 , An Interpreter for a Language for Describing Assemblies , Artificial Intelligence , 14 79 – 107 .
   Web of Science ®Google Scholar
• Ratschek , H. , and Rokne , J. , 1988 , New Computer Methods for Global Optimization , Chichester , England Ellis Horwood Limited .
   Google Scholar
• Requicha , A. A. G. , and Voelcker , H. B. , 1982 , Solid Modeling A Historical Summary and Contemporary Assessment , IEEE Computer Graphics and Applications , 2 9 – 24 .
   Web of Science ®Google Scholar
• Rinderle , J. R. , and Krishnan , V. , 1990 , Constraint Reasoning in Concurrent Design , ASME Design Theory and Methodology DTM ’90, ASME, 1990 , Chicago , IL American Society of Mechanical Engineers, submitted .
   Google Scholar
• Sadeh , N. and Fox , M. S. , 1988 , Preference Propagation in Temporal Constraints Graphs , Technical Report CMU-RI-TR-|9–2 , Intelligent Systems Laboratory, The Robotics Institute .
   Google Scholar
• Safier , S. A. , and Finger , S. , 1990 , Parsing Features in Solid Geometric Models , in Proceedings of the European Conference on Artificial Intelligence-90, pp. 566 – 572 , London Pitman Publishing .
   Google Scholar
• Sakurai , H. , and Gossard , D. C. , 1988 , Shape-Feature Recognition from 3-d Solid Models , in Proceedings of the International Computers in Engineering Conference , San Francisco , Calif . Society of Mechanical Engineers .
   Google Scholar
• Serrano , D. , 1987 , Constraint Management in Conceptual Design , Ph.D. dissertation , Department of Mechanical Engineering, Massachusetts Institute of Technology , Boston , Mass .
   Google Scholar
• Shah , J. J. , and Rogers , M. T. , 1988 , Feature-Based Modelling Shell Design and Implementation , in Proceedings of the International Computers in Engineering Conference , San Francisco , Calif . American Society of Mechanical Engineers .
   Google Scholar
• Steward , D. V. , 1965 , Pardoning and Tearing Systems of Equations , Journal of SIAM, Numerical Analysis Series B, 2 345 – 365 .
   Google Scholar
• Stiny , G. , 1975 , Pictorial and Formal Aspects of Shape and Shape Grammars , Basel Birkhauser .
   Google Scholar
• Sussman , G. J. , and Steele , G. L. , 1980 , CONSTRAINTS—A Language for Expressing Almost Hierarchical Constraints , Artificial Intelligence , 14 1 – 39 .
   Web of Science ®Google Scholar
• Sutherland , I. E. , 1983 , Sketchpad—A Man-Machine Graphical Communication System , Technical Report 296 , MIT Lincoln Laboratory , Boston , Mass .
   Google Scholar
• Unger , M. B. , and Ray , S. R. , 1988 , Feature-Based Process Planning at the AMRF , in Computers in Engineering 1988 , pp. 563 – 569 , San Francisco , Calif . American Society of Mechanical Engineers .
   Google Scholar
• Voelcker , H. B. , 1988 , Modeling in the Design Process , in Design and Analysis of Integrated Manufacturing Systems , pp. 167 – 199 , Washington , D.C . National Academy Press .
   Google Scholar
• Wang , R. T. R. , 1973 , Bandwidth Minimization, Reducibility Decomposition, and Triangularization of Sparse Matrices , Ph.D. dissertation . Computer and Information Science Research Center, Ohio State University , Columbus , Ohio .
   Google Scholar
• Watton , J. D. , 1989 , Automatic Identification of Critical Design Constraints , Ph.D. dissertation , Department of Mechanical Engineering, Carnegie Mellon University , Pittsburgh , Pa .
   Google Scholar
• Weiler , K. J. , 1986 . Topological Structures for Geometric Modeling , Ph.D. dissertation , Rensselaer Polytechnic Institute , Troy , NY .
   Google Scholar
• Woo , T. C. , 1983 , Interfacing Solid Modeling to CAD and CAM Data Structures and Algorithms for Decomposing a Solid , in Computer-Integrated Manufacturing , pp. 39 – 45 , New York ASME .
   Google Scholar