体与CAD几何约束系统
计算几何
2010-06-08 v1
摘要
受基于约束的CAD软件启发，我们为一个非常通用的模型——体与CAD结构——建立了刚性理论的基础。该结构由三维空间中的刚体组成，这些刚体受到成对的重合、角度和距离约束。我们识别了21种相关的几何约束，并为这些结构建立了相应的无穷小刚性理论。经典的体与杆刚性模型可以被视为仅使用这一类新约束中一种约束的体与CAD结构。因此，我们识别出一个新的、必要的但非充分的、用于体与CAD结构最小刚性的计数条件：嵌套稀疏性。这是对著名的麦克斯韦稀疏性条件的轻微推广。
引用
@article{arxiv.1006.1126,
title = {Body-and-cad Geometric Constraint Systems},
author = {Kirk Haller and Audrey Lee-St. John and Meera Sitharam and Ileana Streinu and Neil White},
journal= {arXiv preprint arXiv:1006.1126},
year = {2010}
}
备注
33 pages, to appear in Computational Geometry: Theory and Applications (an abbreviated version appeared in: 24th Annual ACM Symposium on Applied Computing, Technical Track on Geometric Constraints and Reasoning GCR'09, Honolulu, HI, 2009)