分享到:

约束问题求解

1约束问题求解的发展约束问题的求解研究始于上个世纪70年代的Seene Labeling以及60年代的Interactive Gr即hies[‘一3].Seene Labeung试图用二维的线条描绘三维的物体,它的成果在于产生了各种一致(Consistent)算法[,,”1 .Interactive GraPhics[4一6]的目的是允许用户在计算机的显示屏上绘制和处理各种儿何图形,它发展了约束求解技术中的局部推演(Loeal prop鳍ation)及约束编译(Constralnt eom- Piling)技术la,“].约束求解的早期工作还包括MIT的电路分析与综合lv],这些工作开创了设计能够求解通用约束问题的语言的研究{“,7].约束求解的重要进展在于Gallaire[s]及Jaff五rlg]分别在1985年及1987年发现,逻辑程序设计(Logie programming)实质上是一种特殊的约束求解问题[l一3].首先,...  (本文共7页) 阅读全文>>

东北大学
东北大学

基于D-tree分解的几何约束求解器的研究

几何约束求解是计算机辅助设计技术的核心内容。基于图论的求解方法作为求解几何约束问题的最重要的方法之一,其优点为求解速度快,有较低的时间复杂度,因此应用最为广泛。分解分析算法作为主要的基于图论的求解方法,在得到广泛应用的同时也有两个问题一直作为研究的焦点:搜索分离对算法的高复杂度问题以及无法指导后续算法求解问题。针对这两个问题,本文提出了一个新的基于D-tree分解的几何约束求解器。针对第一个问题,为降低分解分析算法的时间复杂度,提出D-tree分离对搜索算法和D-tree添加虚边算法。本文将“结点的度”这一概念引入到几何约束求解中。通过对分解分析算法和归约分析算法性质的研究分析,提出并证明一系列新性质。根据这些性质提出D-tree分离对搜索算法和D-tree添加虚边算法。新提出的算法从概念上更容易理解,并且有着更低的时间空间复杂度。在D-tree分离对搜索算法和D-tree添加虚边算法的基础上,提出了D-tree分解分析算法,该...  (本文共74页) 本文目录 | 阅读全文>>

《计算机应用与软件》2008年05期
计算机应用与软件

三维装配几何约束问题求解研究

0前言几何约束求解问题有很广泛的应用,非常有必要对几何约束问题进行广泛深入地研究。目前,针对二维几何约束求解问题的研究成果比较多,但由于三维几何约束问题比二维几何约束问题复杂得多,故目前研究成果还比较少,本文对三维几何约束求解问题进一步进行讨论,研究其求解方法。几何约束问题求解的方法可以分为两类:一类为构造性的方法[1~3];另一类为数值迭代的方法[4~6〗。构造性的方法求解比较精确、求解速度较快;数值迭代方法对大规模几何约束问题存在计算时间长、计算过程不稳定的问题。三维几何约束问题同二维情况有所不同。一般通过对二维草图进行拉伸旋转,采用特征造型的方法建立三维实体模型,然后对三维实体模型施加几何约束进行装配。因此,一般三维几何约束问题主要指三维装配几何约束求解的问题。1基本几何元素的求解在不考虑自由曲面和自由曲线情况下,几何元素间的约束可以转换为点、直线、平面之间的约束。对几何元素的求解,为三维几何约束问题求解的最基本问题,大部...  (本文共3页) 阅读全文>>

重庆大学
重庆大学

基于改进型遗传算法的无功优化研究

随着国民经济的快速发展,各个行业对电能质量的要求不断提高。电力系统无功的合理分布是保证电压质量和降低网损的前提条件。电力系统的无功优化是一个复杂的非线性优化问题,有效合理的无功优化不仅能够保证电压质量和降低网损,而且对系统安全性和经济性有着重要的意义。本文首先介绍了电力系统无功优化问题研究的内容和现状。在综述了应用于电力系统无功优化问题求解的各种优化算法和分析了各种优化算法的优缺点和适用范围的基础上,以系统网损最小为目标,同时满足潮流约束和安全约束,建立了的无功优化模型。推导了目标函数和约束条件的梯度公式,为求解无功优化问题的编程实现提供了基础。通过比较经典算法中求解非线性规划问题的各类算法的优缺点,选用了具有代表性的序列二次规划法和原对偶内点法来求解无功优化问题,设计了求解无功优化问题的步骤,用MATLAB语言编写了具体的优化程序。仿真验证表明,虽然这两种算法收敛速度快,但是对模型和起始点的要求高,而且一般只能搜索到局部最优解...  (本文共82页) 本文目录 | 阅读全文>>

湖南大学
湖南大学

大规模定制下基于约束的产品配置方法研究

大规模定制(MC)的目的是以大规模生产的效率和成本向用户提供定制产品或服务。产品配置技术是MC实施的重要支撑工具。它的使用有助于企业提高获取客户定单的效率,缩短产品设计的时间和生产提前期,减少在制品和成品的库存,增加对生产过程的控制,提高客户对定制产品的满意度。论文通过对大规模定制的概念、本质属性详细分析,结合可配置产品的概念、特点与优势,指出以可配置产品为基础组织企业的生产经营,能够集成大规模生产与传统单件定做生产的优势,使得企业在客户导向的市场环境下,有效地实施大规模定制生产。论文针对可配置产品的复杂度的不同,提出了三种不同类型的、具有内在联系的约束满足问题理论模型,分别建模并求解复杂性程度为低、中、高的三类产品配置问题。第一种是基于非二元约束满足问题(NCSP)的产品配置方法。提出了求解NCSP的1种非二元回溯算法和5种不同类型的非二元前向约束传播算法,并通过仿真实验对它们的求解性能进行了比较和分析;建立了基于NCSP的产...  (本文共186页) 本文目录 | 阅读全文>>

上海交通大学
上海交通大学

基于有效集识别和多维滤子技术的优化算法研究

本文主要研究求解无约束和界约束优化问题的有效集方法和多维滤子信赖域方法。论文共分为六部分。首先,在第一章我们回顾了几种求解界约束优化问题的有效集识别策略以及滤子技术的发展和研究现状,并对现有算法加以分析,从而引出进一步需要解决的问题以及本文的主要工作。本文的第二章,我们根据界约束优化问题KKT条件的特殊性,推导出乘子的每一个元素或者等于0,或者等于梯度或负梯度相应的元素.为了比较建立在乘子函数和乘子基础上的有效集识别函数的不同,构建了有效集拟牛顿算法框架。算法全局收敛,并且在严格互补松弛条件成立的情况下局部超线性收敛。最终数值结果表明在问题规模很大时,基于乘子函数的有效集识别策略因为要额外的求解两个n×n的线性系统,整个求解过程所需的CPU计算时间要多于后者。第三章,提出了求解界约束优化问题的精确有效集牛顿算法,成功地将Facchinei,Fischer和Kanzow提出的精确有效集识别函数应用到界约束优化问题。新算法的每步迭代...  (本文共102页) 本文目录 | 阅读全文>>