[论文解读] Cayley Configuration Spaces of a Common Class of Mechanisms in Two Dimensions

Meera Sitharam, Menghan Wang+2 more|arXiv (Cornell University)|Dec 27, 2011

Advanced Materials and Mechanics参考文献 2被引用 4

一句话总结

本文提出了一种基于Cayley配置空间的框架，用于分析二维中1自由度、树可分解连杆机构的配置空间。该框架提出算法以计算最小表示、连续运动路径以及最小环境维数下的双射曲线，实现O(|V|²)的计算复杂度，并在代数复杂度较低的条件下通过最小实现类型确保Cayley大小为1。

ABSTRACT

We study Cayley configuration spaces of a class of 1 degree-of-freedom linkages (graphs with specified edge lengths), obtained by dropping an edge from a tree-decomposable graph. The class includes well-known mechanisms based on the four-bar, as well as strandbeest, cardioid, limacon etc. The Cayley configuration space is the set of intervals of attainable lengths for a \emph{base} nonedge (e.g. the dropped edge) over the linkage's 2 dimensional realizations. We require \emph{quadratic radical solvability (QRS)} (an extension of ruler-and-compass-realizability) of the interval endpoints, and tree-decomposability guarantees efficient, ruler-and-compass construction of the linkage realization, given the Cayley configuration. Due to these restrictions of Kempe universality, this class of \emph{low Cayley complexity (LCC)} graphs is common in mechanical computer aided design and kinematics. Our main contributions are the following. (1) We show that the definition of LCC is robust, and depends only on the graph, no matter the choice of base nonedge whose addition ensures tree-decomposability. (2) We give an efficient algorithmic characterization of LCC graphs (3) We show (graph) planarity is equivalent to LCC for a natural subclass of 1-degree-of-freedom tree-decomposable graphs. Counterexamples show impossibility of such finite forbidden minor characterizations when the above subclass is enlarged. (4) We give an easily testable definition of genericity of LCC linkages (i.e. with underlying LCC graphs) based on their edge lengths. (5) For generic LCC linkages, we give an algorithm to find both paths of continuous motion (provided they exist) between two distinct realizations, in time linear in a discrete measure of the length of the path. Nontrivial generalizations of these results to non-LCC, 1-degree-of-freedom tree-decomposable linkages. Several accessible open problems are posed.

研究动机与目标

• 为解决在机械CAD中常见的1自由度树可分解连杆机构在二维中的高效配置空间表示与计算问题。
• 定义一种最小实现类型，将Cayley配置空间限制为单个区间，以确保低复杂度与鲁棒性。
• 开发一种算法，以线性于路径长度的时间复杂度计算两个实现之间的连续运动路径，且任意两实现之间最多存在两条此类路径。
• 在最小环境维数下，提供笛卡尔实现空间的规范双射表示，从而实现对不连通分量之间有意义的距离度量。

提出的方法

• 引入Cayley配置空间的概念，即作为独立非边可实现距离的区间集合。
• 将Cayley大小定义为配置空间中区间的数量，将Cayley计算复杂度定义为计算区间端点所需的时间。
• 提出最小完备Cayley向量（基于顶点构造顺序），以确保全局刚性与最小环境维数表示。
• 利用引理6与引理7证明：从最小完备Cayley向量中添加非边，可确保通用1自由度连杆机构的全局刚性。
• 应用规范Cayley曲线——由完整Cayley距离向量构成——以在最小维数下双射表示实现空间。
• 在CayMos软件中实现相关算法，用于运动路径计算与配置空间分析，并提供可访问的网络演示。

实验结果

研究问题

• RQ1 如何高效测量与计算1自由度树可分解二维连杆机构的配置空间，特别是针对代数复杂度较低的图？
• RQ2 何种实现类型（局部方向集合）可确保Cayley配置空间为单个区间，且可高效计算？
• RQ3 如何以线性于路径长度的时间复杂度计算两个实现之间的连续运动路径，且此类路径的最大数量是多少？
• RQ4 笛卡尔实现空间能否在最小环境维数下被双射表示为一条曲线，以及这种表示如何实现对不连通分量之间距离的计算？

主要发现

• 对于Cayley代数复杂度较低的连杆机构，存在一种最小实现类型，可保证Cayley大小为1，且计算复杂度为O(|V|²)。
• 若指定的局部方向数少于最小实现类型，则Cayley大小与计算复杂度将出现超多项式增长，假设P ≠ NP。
• 提供了一种算法，可在与路径长度线性成比例的时间内计算两个实现之间的连续运动路径，且任意两实现之间最多存在两条此类路径。
• 在最小环境维数下，实现空间存在一种规范的双射表示，通过最小完备Cayley距离向量实现，从而可对不连通分量之间实现有意义的距离度量。
• 已证明最小完备Cayley向量在确保全局刚性方面为最小大小，其最小性既可作为最小集合，也可作为移除任意一条边后仍保持最小性的集合。
• 理论结果已实现在CayMos软件中，提供网络可访问的演示，并在配套出版物中完整描述了其架构。