Computational Kinematics

We present a kinematic analysis algorithm for mechanisms built of rigid parts, such as door locks, gearboxes, and transmissions. The algorithm produces a concise and complete description of the kinematics of a mechanism. It optimizes the computation by decomposing complex mechanisms into subassemblies, deriving the kinematics of the subassemblies, and incrementally composing the results. We define a class of mechanisms for which kinematic analysis is feasible by restricting the shapes, motions, and interactions of parts. The feasible class contains linkages, mechanisms whose parts move along fixed spatial axes, and combinations of the two types. We show that the feasible class covers most mechanisms by surveying 2500 mechanisms from an engineering encyclopedia. We implement the kinematic analysis algorithm for fixed-axes mechanisms. The inputs are the shapes and initial configurations of the parts. The output is a region diagram, a partition of the mechanism configuration space into regions that characterize its operating modes. The program computes the region diagram by identifying motion axes and interacting pairs of parts, partitioning the pairwise configuration spaces, and composing them. Coupling the program with existing linkage analysis packages covers most feasible mechanisms. We identify classes of infeasible mechanisms and describe possible analysis strategies for them.

[1]  Franklin D Jones,et al.  Ingenious Mechanisms for Designers and Inventors - Volume 1 , 1930 .

[2]  I. Artobolevsky Mechanisms in Modern Engineering Design , 1979 .

[3]  Kenneth D. Forbus,et al.  A qualitative approach to rigid body mechanics , 1988 .

[4]  Leo Joskowicz Reasoning about the kinematics of mechanical devices , 1989, Artif. Intell. Eng..

[5]  Andrew Gelsey Automated Physical Modeling , 1989, IJCAI.

[6]  A. James Stewart,et al.  The architecture of Newton, a general-purpose dynamics simulator , 1989, Proceedings, 1989 International Conference on Robotics and Automation.

[7]  Randall H. Wilson,et al.  Maintaining geometric dependencies in an assembly planner , 1990, Proceedings., IEEE International Conference on Robotics and Automation.

[8]  Leo Joskowicz Simplification and Abstraction of Kinematic Behaviors , 1989, IJCAI.

[9]  Randy C. Brost,et al.  Computing metric and topological properties of configuration-space obstacles , 1989, Proceedings, 1989 International Conference on Robotics and Automation.

[10]  Andrew Gelsey Automated Reasoning about Machine Geometry and Kinematics , 1989 .

[11]  Leo Joskowicz,et al.  From Kinematics to Shape: An Approach to Innovative Design , 1988, AAAI.

[12]  Nicholas P. Chironis,et al.  Mechanisms, Linkages and Mechanical Controls , 1965 .

[13]  Elisha Sacks,et al.  Hierarchical Reasoning about Inequalities , 1987, AAAI.

[14]  Tomás Lozano-Pérez,et al.  Spatial Planning: A Configuration Space Approach , 1983, IEEE Transactions on Computers.

[15]  Leo Joskowicz,et al.  Automated modeling and kinematic simulation of mechanisms , 1993, Comput. Aided Des..

[16]  F. Frances Yao,et al.  Computational Geometry , 1991, Handbook of Theoretical Computer Science, Volume A: Algorithms and Complexity.

[17]  E. Haug Computer Aided Analysis and Optimization of Mechanical System Dynamics , 1984 .

[18]  John Canny,et al.  The complexity of robot motion planning , 1988 .

[19]  Boi Faltings Qualitative Kinematics in Mechanisms , 1987, IJCAI.

[20]  J. Schwartz,et al.  On the “piano movers” problem. II. General techniques for computing topological properties of real algebraic manifolds , 1983 .

[21]  Glenn A. Kramer,et al.  Solving Geometric Constraint Systems , 1990, AAAI.

[22]  Bruce Randall Donald,et al.  A Geometric Approach to Error Detection and Recovery for Robot Motion Planning with Uncertainty , 1987, Artif. Intell..

[23]  Johan de Kleer,et al.  Readings in qualitative reasoning about physical systems , 1990 .

[24]  Leo Joskowicz,et al.  Practical tools for reasoning about linear constraints , 1991, Fundamenta Informaticae.

[25]  Leo Joskowicz Mechanism comparison and classification for design , 1990 .