基于约束映射关系的二维几何约束模型

在系统实现的基础上，提出一种依据设计过程确定的约束依赖关系的参数化设计模型，建立约束和图元之间的映射模式，优化确定节点之间的更新从动性，从而降低约束求解的复杂度，用户添加的约束和系统自动识别的约束能动态添加到有向约束图中，并支持任意图形块的选择重复，实践证明，该模型算法简单，交互性好，能很好理解用户的设计意图。     

用DM-分解求解几何约束问题

提出了几何约束求解的新方法:偶图DM-分解法.这种方法首先将一个几何约束系统分解成一些具有偏序关系的几何约束子系统,然后按偏序关系给出一个构造序列,从而降低了求解的难度.这种方法还可以判断是否存在过约束和欠约束的部分,并指出其存在的位置.同时,在改变几何约束问题的参数时,相应的几何图形不必完全重新构造,只需构造其中的一部分,这大大加快了构造的速度.最后举例说明这种方法的可行性和有效性.     

求解低维约束优化问题实用方法的探讨

对单纯法进行了必要的修正，探讨了求解低维约束优化问题的实用方法，数例的计算结果令人满意．     

约束问题求解的一个统一方法

给出了一个新的求解约束的方法－－动态约束算法，它通过引入新的约束类型，使变量操作和约束操作算法统一起来，在亲的求解约束过程中，不需要区分变量与约束。     

利用三次Bezier曲线求解几何约束问题

几何约束求解是智能CAD的一个关键技术.目前,几何约束求解的算法主要是构造包括点、直线和圆等几何体在内的几何图形,而在实际的工程设计中涉及的几何图形常常包括三次曲线或更复杂的曲线.通过增加三次Bezier曲线作为一个新的几何体,提出了一个包括点、直线、圆和三次Bezier曲线在内的几何约束问题求解的新算法,扩大了几何约束求解的作图范围.     

特征造型理论和方法的分析与研究

本文对特征造型进行了概述，分析了现有所谓的特征造型系统的实质，指出当前的特征造型系统是一种寄生型系统，并明确了特征的概念．在此基础上，提出了特征识别的概念，归纳总结了当前的特征识别技术与基于特征的设计技术，明确地提出了约束的概念与分类方法，对有关约束求解的一些概念作了必要的解释．最后，对求解方法作了分析．     

带有顶点权重约束的图划分问题研究

研究了带有顶点权重约束的图划分问题.首先基于矩阵的提升将原问题转化为半定规划松弛模型，利用半定规划内点法求解该模型，并在求解过程中给出了具体的初始点选取策略和步长选取策略.随后利用改进的随机超平面舍入算法和2opt启发式算法求得原问题的近似最优解.数值实验表明该文的算法可有效求解带有顶点权重约束的图划分问题，且对于稀疏图的求解表现出了良好的性能.     

改进的几何约束求解的几何变换法

几何约束求解是智能CAD的一个关键技术,几何变换法是基于图论的几何约束求解方法的一种.在几何变换法的基础上,对几何变换法中的平移变换进行拓展,提出了两种新的变换算法:不相邻边交角变换和交叉边交角变换,将简单四边形的构造问题拓展到复杂四边形中,解决了两类有循环约束的复杂四边形作图问题,扩大了几何变换法的作图范围.     

约束可满足问题求解策略的改进和实验结果

通过对那些属于ＮＰ－Ｃｏｍｐｌｅｔｅ的约束可满足问题（如图着色，规划、ＳＡＴ问题等）的求解实验，指出了局部搜索算法的局限性，由此给出改进的搜索策略，实验结果表明，应用改进的搜索策略使算法效率明显提高。     

求解系统碰撞问题的两种普遍方法

应用了标准化的碰撞方程，给出求解冲击过程系统的运动量及约束冲量的两种普遍方法。     

基于逐层约束的煤矿机械产品配置快速设计

为了解决煤矿机械产品的配置设计问题,以产品自顶向下的设计过程为指导,提出了一种基于逐层约束的煤矿机械产品配置设计方法。该方法以用户需求元为设计目的,在零部件逐层约束的基础上将配置知识转化为产品特征变量之间的约束关系来求解配置元模型,并表达了零部件及其零部件自身特征变量间的依赖约束关系,更好的支持了客户按订单设计的大批量定制。最后以液压支架为例验证了上述方法的可行性。     

创意平板折叠桌的数学建模研究

研究了2014年全国数学建模竞赛B题"创意平板折叠桌"的动态变化过程,利用空间几何知识,建立了折叠桌桌腿长度、桌腿木条开槽长度等加工参数的数学模型.建立了以稳固性、加工方便、使用材料成本为目标函数的约束规划模型,求解出最优加工参数.     

基于二维几何特征的轿车车身三维造型设计

针对某型号轿车二维造型图,提出一种基于二维几何特征的轿车车身三维造型设计方法.利用CATIA V5软件中的sketch tracer模块获得几何特征曲线,结合产品外形情况,进行三维建模.探讨轿车车身曲面分块方法及其涉及的关键技术,总结出轿车车身创新设计的一般思路和方法：先将二维图导入CATIA软件形成车身外形图体系,然后对车身曲面分块,再进行车身各独立曲面的造型设计,最后装配在一起,形成车身整体曲面.该方法简化了设计过程,缩短了产品开发周期.     

复合形方法的减维控制

复合形法是求解约束非线性规划的一种直接方法，它计算简单，适用性广，是解决工程技术问题的常用方法，但复合形法的减给现象是它的一大缺点，在文献[1]讨论的基础上，本文就n=2,k=4及n=3的条件下，进一步给出了减维控制定理及方法，并指出n≥4时，也可得出类似的结论，从而避免了复合形法迭代过程中的减维现象。     

允许卖空条件下组合证券投资模型的一个新算法

提出了求解高维组合证券投资模型的一种新算法，该方法将带约束的二次规划问题转化为无约束的线性最小二乘问题，能伙速求出其最优解，取得了较好的数值结果。     

面向对象式语言中支持约束的方法及实现技术

给出一种在对象式语言中有效地支持约束的方法及其实现技术。应用这种具有约束描述机制的面向对象语言进行开发，可以较好地结合对象式和约束式这两种程序设计的优势，从而增强语言的描述能力和问题求解能力，具有更广泛的应用领域。     

齿轮副的约束度与齿轮机构的重复约束

讨论了齿轮副的约束度以及含齿轮副的平面机构自由度的计算,并在引入附加几何约束和重复约束的概念之后,对传统公式F=3n-2P_l-1P_h加以补充,同时提出了判断重复约束的简捷方法。     

有限差分法求解二维电位函数的MATLAB程序设计及分析

采用有限差分方程近似地替代偏微分方程对二维场域中的电位函数进行分析，给出了一种新的处理方法，并设计了相应的二维电位函数有限差分法求解的MATLAB应用程序。     

带二次约束的最小二乘问题的求解

针对带二次约束的最小二乘问题提出了一种求解算法,同时给出了算法中牛顿迭代的收敛证明.数值例子说明了此算法的有效性.     

线性互补约束优化问题的一类修正SQP算法

提出了求解线性互补约束优化问题的一类修正逐步二次规划算法,数值实验表明了该算法有效。