中文摘要：

几何约束求解技术是智能CAD的核心技术，也是许多理论研究和工程应用的核心问题。几何约束求解的关键是分解与装配。本项目对二维和三维几何约束问题的分解、装配理论与算法以及工程几何中的问题展开了研究。主要研究了基于Clifford代数及图论算法的约束系统求解算法；二维和三维几何约束求解问题中欠约束系统的完备化方法；含不等式约束条件的二维和三维几何约束问题；工程几何中广义平面和空间Stewart平台的正解分类问题和奇异位形问题。通过本项目的研究，有效地扩大了几何约束求解技术的求解范围、提高了几何约束求解算法的速度，项目的研究成果对提高并联机器人的设计水平、促进相关工程应用领域的发展作出了积极的贡献。