约束驱动是三维CAD系统中的关键技术之一，用于维护CAD模型中包含的工程定义，如尺寸要求、形状要求等。现有主流三维CAD系统在对模型进行约束驱动时，需依据设计历史重构几何模型，这就使得在修改设计历史复杂的大型零件时会出现效率低下的问题，并可能出现特征丢失的情况。相对而言，无历史建模系统由于舍弃了对设计历史的依赖，从而使得设计过程中的约束驱动效率大为提高，同时也不会出现重要信息丢失的问题。为实现无历史建模中的约束驱动技术本文作了如下工作：1）在几何约束的表达上，为保证尺寸约束的方向性要求，引入了虚几何元素，将交互输入的约束转化成为实体几何元素和虚元素间的结构约束和尺寸约束，从而完成约束模型的构建；2）在三维设计过程中，约束模型常常是欠约束的。而欠约束模型的求解存在多解的情况，这就可能导致求解结果难以符合设计意图。因此，在构建约束模型时需要根据已有的约束识别出更多的隐含约束以完善约束模型。本文采用基于约束图的方法计算约束模型中几何元素的剩余自由度，并对欠约束模型添加相应的虚约束，从而使约束模型更为完备；3）为实现对约束模型的求解，本文采用几何推理的方法求解约束模型。首先按照约束传播的方向采用宽度优先搜索方法确定约束求解序列，再根据约束关系确定几何元素的变换矩阵，从而实现了对几何模型约束驱动；4）将上述方法应用于原型系统InteModel，并通过两个实例验证方法的正确性和有效性。