约束驱动的二维变量几何造型系统

给出了一种二维变量几何系统的系统结构，它将约束求解分成几何推理与数据求解两个层次进行，并阐述了几何约速推理与数值求解相结合的算法，对约束模式的一致性及约束的局部求也作了相应的研究。     

基于约束参数化的设计技术研究现状分析

系统分析了基于约束的参数化设计技术的研究现状。首先指出早期CAD系统初级参数化的主要缺陷；根据参数化设计方法在不同时期的主要特点，回顾了参数化设计的发展过程。参数化方法被划分为程序参数化、在线交互参数化和基于自组织方式的离线参数化。在在线交互参数化方法中，重点探讨了初等方法、变量几何法、人工智能法和构造过程法的原理和特点，并在人工智能法中介绍了基于知识的几何推量法、基于自由度分析的约束传播法和基于神经网络的自学习法；给出基于自组织方式离线参数化方法的主要步骤和特点。最后阐明了各种参数化方法存在的问题，以及该技术将来的发展方向。     

几何约束系统求解策略的研究与实践

基于约束的设计在现代ＣＡＤ系统中占据着越来越重要的地位,几何约束满足技术则是其关键与核心。本文分析并指出了现有的几何约束满足策略中存在的一些问题,提出了求解几何约束满足问题的一种新策略,实现了几何约束系统的最大分解,使得问题得到了最大程度的简化,而且与基准无关,最后以归约树的形式直观地表达出推理结果和求解顺序,实践证明,该方法克服了现有方法功能,效率以及可靠性等方面存在的问题,能很了地运用到实际系     

基于工程约束的产品参数化建模策略研究

在详述目前参数化建模技术的特点及其不足的基础上,提出了参数化建模系统工程应用化的实现策略,对设计参数的层次化定义、工程设计约束的分类及其动态化和智能化处理提出了有效的解决方案,并据此构造了基于工程约束的产品参数化建模系统。     

几何约束满足问题的图重构策略

通过对图缩并算法的介绍和分析 ,以约束网络图的形式对几何约束系统中的约束关系进行映射表达 ,提出了一种基于自由度分析的图重构推理策略 ,实现了问题的最大分解 ,大大降低了问题的复杂程度和系统求解的规模 ,使得相当一部分具有高耦合性的问题最终可以用解析方法求解。     

几何约束系统求解策略的研究与实践

基于约束的设计在现代ＣＡＤ系统中占据着越来越重要的地位,几何约束满足技术则是其关键与核心。本文分析并指出了现有的几何约束满足策略中存在的一些问题,提出了求解几何约束满足问题的一种新策略,实现了几何约束系统的最大分解,使得问题得到了最大程度的简化,而且与基准无关,最后以归约树的形式直观地表达出推理结果和求解顺序。实践证明,该方祛克服了现有方法在功能、效率以及可靠性等方面存在的问题,能很好地运用到实际系统中间去。     

几何约束满足的统一模型

几何约束满足是参数化设计中的中心问题,研究了陈述和构造统一的约束满足策略,通过将冗余约束转化为形状自由度的方法解决了构造序列的约束闭环问题,采用剪枝和凝聚相结合的策略实现了欠约束和完备约束系统的分解,并在参数化设计与绘图系统ＭＤＳ４．０上实现。     

基于自由度分析的耦合几何约束求解

针对目前的CAD软件不能求解复杂耦合几何约束的问题,提出一种基于自由度分析的耦合几何约束求解方法.通过添加部分约束,将这些约束的值作为迭代变量,再对复杂约束耦合问题进行约束聚合;将没有被用到的约束作为迭代的目标函数进行计算,大大减少了传统方法中解决复杂约束耦合问题所需要的变量数,提高了计算过程的稳定性.在最坏情况下,对不同数量的聚合体构成的复杂约束耦合模式所需要添加的变量数进行了讨论,从原理上成功地解决了复杂耦合几何约束问题.该方法可以用复杂聚合模式作为几何设计的基本元素,较好地解决了二维几何约束求解问题.     

传统图系统的几何约束驱动关键技术研究及实践

文中针艰如何在传统绘图系统中拓展约束驱动功能，以实现面向设计师的灵活的参数化设计地几休数据的转换，几何约束识别，表达，筛选及求解进行了较系统的探讨。     

混合式几何约束满足的研究

几何约束系统可以分为陈述式和构造式两类。为了使基于约束的设计更加符合使用要求,参数化CAD系统需要综合满足两类约束。文中研究了三维情况下和构造统一的约束满足策略,通过引入形状自由度的概念,将形状变化和集团变化统一处理。约束系统采用约束图来表示,各个子系统之间的层次结构利用约束层次树来表示。采用剪枝和凝聚相结合的策略实现了欠约束和完备约束系统的分解,使用解析法和数值法对约束进行求解。该策略已经在参数化CAD系统GEMS5．0的二维和三维上实现。     

基于实例图形的几何约束满足策略

以实例图形概念，应用稀疏矩阵三角块分技术及非线性数值迭代技术，提出了有效的包括几何约束表达、有效性检验、约束分解及求解的约束满足策略。该策略还支持不完备几何约束的约束满足。     

基于实例图形的几何约束满足策略

以实例图形概念，应用稀疏矩阵三角块分技术及非线性数值迭代技术，提出了有效的包括几何约束表达、有效性检验、约束分解及求解的约束满足策略。该策略还支持不完备几何约束的约束满足。     

隐含约束的识别与规整方法

提出了隐含约束的识别与规整方法,并利用图来描述图形实体的相互约束。用动态迭代法来处理动边变动对已有约束的影响。系统记录各咬合点,全局遍历结构约束图中的咬合点,局部规整各动边。用户可根据不同图形,设置适当的规整优先级及全局误差,增加了灵活性。     

一种基于几何推理的参数化设计方法

本文提出一种基于几何推理的参数化设计方法，该方法引入了已知元素，已知约束等新概念；通过扩展一般的图形数据结构统一表示几何元素与几何约束；基于普通算法而不是专家系统实现几何推理，并采用一个更适合地几何推理策略；基于几何推理实现参数化设计。     

传统绘图系统的几何约束驱动关键技术研究及实践

文中针对如何在传统绘图系统中拓展几何约束驱动功能，以实现面向设计师的灵活的参数化设计问题，对几何数据的转换，几何约束识别、表达、筛选及求解进行了较系统的探讨，提出了经实际检验行之有效的技术实现方法，特别地对具有独创性的约束识别的实施进行了阐述     

参数化设计中的动态约束迭代及静态因果分析技术

参数化设计以其强有力的草图设计和图纸尺寸驱动功能成为实现产品的初步设计、系列设计以及变异式设计的核心技术。这两种参化设计算法克服了现有参数化方法在功能、效率以及可靠性等方面存在的 问题，历而能够地应用到实际系统中去。     

基于资源和时间限制的多工作流网及可调度性验证

工作流建模阶段的验证工作对工作流的成功执行具有重要意义.首先分析了与工作流执行密切相关的资源和时间特性,考虑到工作流应用系统中总是有若干工作流并发执行,于是综合考虑结构、时间、资源限制三个层面,提出一个工作流应用系统一般性限制框架.基于该框架提出了多工作流网原型,并进一步给出了多工作流网下资源冲突和可调度性的概念,最后给出了多工作流网可调度性验证算法及其冲突解决方案.     

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

讨论了普遍情况下三维几何约束求解的问题.首先,对基本几何元素求解问题进行了研究,在此基础上对两装配体进行装配的几何约束问题进行了研究,提出对三维几何约束复杂耦合问题进行求解的方法,该研究拓展了三维几何约束求解器的通用性.     

基于几何活动轮廓模型初始轮廓自动分割方法的研究

提出一种几何活动轮廓模型初始轮廓自动分割的方法。此方法综合利用了分水岭算法以及几何活动轮廓模型算法,通过利用人脸的肤色特征、结构特征等逐级判别原理,从而实现了自动分割的目的。实验结果表明,采用此方法很好地实现了目标对象轮廓的自动分割,基本可达到与人工干预相近的效果。此方法同样可以广泛应用干人脸检测、图像自动分割、视频监控系统等领域。