变参绘图系统中约束求解的新思路

为变参绘图系统中的约束求解提供了一个新思路。采用该思路，不但可以通过分解和排序来提高求解速度，而且可以通过快速地指出约束不足和约束过载来提高灵活性和可靠性。文中详细介绍了该思路的原理，并给出了相应的算法。

基于约束的形状自动求解新算法

基于约束的产品形状描述及求解是目前计算机辅助设计研究的一个热点．本文在研究国内外现有技术的基础上，提出了一个基于约束的形状自动求解算法，该算法与国内外现有相关算法相比具有高效、实用、易于扩充、支持约束有效性检测、支持局部优化生成等显著优点．该算法已被实用系统所采用，成为我们最新研制的参数化二维草图系统的核心算法．

三维服装CAD中几何约束表达及其求解技术研究

从人体及服装的特点出发,提出三维服装几何元素的概念采用样条曲线作为基本几何元素,归纳出服装的三种约束关系,即共点、对称和自对称关系;成为约束关系形成的基础 以三种约束关系为基础,建立了面向服装的几何约束图,有效地表达了三维服装几何元素及其相互关系;实现了一种基于约束图的约束求解方法,从而完成了构造服装及对服装的交互参数化修改,文中给出了应用实例,并将参数化方法向高层次图素如样条曲线、曲面作了推广,成功地应用于以样条曲线为几何元素的参数化服装CAD系统中。

一种新的参数化设计方法

本文引入可用约束、待定元素、双向约束等概念，通过建立网状数据结构来表达几何元素、几何约束及几何元素之间的关系，提出了一种新的约束求解方法——基于推理的代数法．该方法把代数法和几何推理有机地结合在一起，其推理过程采用普通算法而不是人工智能的方法，方程组的求解转化为几何元素的相切和相交等运算．

几何约束求解研究综述

综述了几何约束求解的历史发展、研究现状和应用 对常见的 4类求解方法 :数值计算的方法、符号计算的方法、基于规则的方法、基于图论的方法做了详细的介绍 同时还列举了几何约束求解在计算机视觉、连杆设计、机器人。

基于特征的参数化设计和实体模型编辑的研究

本文概述和研究了基于特征的模型表示、特征的生成方法与手段、特征参数和约束尺寸的变量命名机制、约束关系的求解方法后，提出基于面向装配设计的抽取零件模型策略和重用CSG树技术，实现实体模型编辑与其历程树无关和加速实体模型生成，大大提高后期设计修改的灵活性，满足交互式设计需要．

面向欠约束几何系统的一种同伦求解方法

针对几何约束系统的数值求解过程中 ,经常发生的数值不稳定性问题 ,构造了一种面向欠约束系统的同伦方法 ,并将其与现有的求解与分解方法有机地结合起来 ,提出了一种牛顿 -同伦混合方法 ,在牛顿迭代失败的位置自动调用欠约束同伦法 ,既提高了几何约束求解器的效率 ,同时又保证了求解的效率 .

参数化设计的定性建模与仿真

对参数化设计问题提出了一种新的基于DOF(Degrees of freedom)的定性建模与仿真方法。在几何约束求解的过程中,通常的定量数值化方法由于解空间的巨大而显得低效。通过定义基本约束簇类型和规则,新方法引入定性图对几何约束进行定性建模及模型求解。经过一系列基于DOF的定性图推理过程,几何约束的定性模型被规约为一个单节点后得出一系列的构造步骤。在这个推理阶段中得出的构造步骤被确定为以后精确定量计算的次序。结合了定性推理方法的高效性以及定量方法的精确性,初步实验表明新方法能够提高约束求解的效率。

基于图论的参数化求解方法的研究

通过对现有参数化求解方法的分析,提出了一种基于图论的参数化求解方法,该方法能方便地确定几何元素的求解次序,然后采用几何推理与数值计算相结合的方法生成满足要求的设计图纸。

基于图论的服装纸样参数化设计模型

提出一个基于几何约束图的参数化模型,并给出参数化模型的数据结构和几何约束求解算法.此模型能有效捕捉并自动识别服装制板过程中反映用户设计意图的几何约束关系,实现服装纸样的参数化.

基于子图的草图设计和约束求解

提出了一种基于子图的拟序列化草图设计方法。基于标识的约束模型统一了二维、三维约束,使得每个几何元素对应唯一的标识,几何元素之间的约束关系表示为标识之间的约束,这些约束被分为结构约束和尺寸约束。提出了基于序列化设计过程的约束求解方法。实验表明,该技术可快速有效地进行参数化草图设计和特征编辑。

虚拟家居设计系统的笔式交互应用研究

以虚拟家居设计系统为应用目标,以笔式交互在虚拟家居设计系统中的应用为主要研究内容,将基于笔交互的自由勾画技术和概念设计过程中的草图设计技术相结合,并利用已有的手势识别技术,系统研究了虚拟家居系统中笔式交互的交互任务、交互过程模型和交互技术,具体包括:建立了手势知识库,研究了虚拟家居系统中从草图绘制到三维漫游过程中的约束求解技术等,为笔式交互在家居设计系统中应用提供了参考原型。基于笔交互的虚拟家居设计展示系统已经投入应用,并取得较好的效果。

CATIA及其在建筑造型中的应用

介绍了CATIA强大的造型设计功能,借助计算机辅助造型技术,从帆船酒店结构造型设计入手,提出了一种利用CATIA进行建筑造型设计的方法,构造帆船酒店三维立体模型,对设计过程中涉及的关键技术进行分析,并利用实例证明了方案的可行性。

基于遗传模拟退火算法的约束求解

简述了遗传算法和模拟退火算法的特点,提出在约束求解中将两者结合起来,能大大提高算法的效率,并对此进行了实例分析。

几何约束求解问题的概念与研究现状

综述介绍了几何约束求解的历史发展、研究现状.对一些概念作了介绍,对常见的四种求解方法:数值计算的方法、符号计算的方法、基于规则的方法和基于图论的方法做了详细的介绍.