This book presents the configuration space method for computer-aided design of mechanisms with changing part contacts. Configuration space is a complete and compact geometric representation of part m
A comprehensive examination of computer-aided architectural design and its potential effect on architectural design practice; for practitioners, educators, students, and researchers. Computer-aided
Computer-Aided Reasoning: ACL2 Case Studies illustrates how the computer-aided reasoning system ACL2 can be used in productive and innovative ways to design, build, and maintain hardware and software
Covers the kinematics and dynamics of machinery topics. This title emphasizes the synthesis and design aspects and the use of computer-aided engineering. It features computer programs written for the
The use of computer-aided design (CAD) systems always involves the introduction of mathematical concepts. It is important, therefore, for any systems designer to have a good grasp of the mathematical
