计算机辅助设计(Computer Aided Design,简称CAD)技术是一种利用计算机的硬件和软件来进行产品的建模、修改、分析和优化的技术。它广泛的应用在科研和生活的各个领域中,现在它的应用水平已经成为衡量一个国家科技现代化和工业现代化水平的重要标志之一。CAD技术的发展经历了四次重大的技术创新,变量化技术是第四次技术创新。几何约束求解是参数化技术和变量化技术的核心,即一旦给定了设计草图的若干尺寸和拓扑关系约束,系统就可以自动生成相应的设计图,工程设计领域中很多问题都可归结为几何约束求解。目前,几何约束求解的方法主要有四种:基于数值的几何约束求解方法,基于符号的几何约束求解方法,基于规则的几何约束求解方法和基于图论的几何约束求解方法。现有的几何约束求解算法主要是针对构造包括点、直线和圆等几何体在内的几何图形,而在实际的工程设计中涉及的几何图形常常包括三次曲线或更复杂的曲线。通过增加三次Bezier曲线作为一个新的几何体,可以扩大几何约束求解算法的作图范围。本文在文献[1]的基础上给出了三次Bezier曲线与三次Bezier曲线之间的几何约束的新的定义与代数表达式,并根据新定义的几何约束给出了包含三次Bezier曲线在内的几何约束求解问题的构造算法,该算法使得几何约束求解的作图范围得到了进一步的扩大。同时也使得作为参数化技术和变量化技术的核心问题:几何约束求解的研究更有实际意义。