一种欠约束几何系统求解的图优化方法

针对一般几何约束系统欠约束状态下约束分解的多态性,对相应的有向图强连通子图提出了进一步分解的二部图匹配自适应优化处理策略,给出了主要算法,实现了欠约束系统的优化分解,有利于一般几何约束系统快速求解。     

一种基于几何推理、约束满足法的参数化设计系统的研究

提出了分阶段的、基于推理的、基于约束满足法的参数化设计方法:首先用草图方式输入原型图;其次增加结构约束、尺寸约束后分别进行推理,实现图形的变动设计.     

几何约束系统推理研究

融约束网络、自由度分析及图理论为一体，提出了一套关于几何约束满足问题的最大归约算法体系，最大归约理论首次揭示了几何约束系统内在的串、并、耦合机制，为几何约束推理提供了新的方法。     

一种几何约束系统分解算法

为提高变量化设计效率和数值稳定性 ,提出了一种结合剪枝操作和归约操作的几何约束系统分解算法 :剪枝 -归约算法。该算法能够处理完备约束、过约束以及欠约束情况下几何约束系统的分解问题。同时讨论了在欠约束条件下如何获得符合设计意图的分解方案的问题     

基于模型的三维几何约束网络求解研究

以图论为基础，建立了基于模型的三维几何约束网络模型，给出了此模型的求解算法。对数值求解作了研究，提出了三维几何约束解的手针维护。     

三维几何约束的序列二次规划求解

归纳总结出了三维几何约束形式，并用数学形式进行表达，然后把约束违反量当作优化目标，通过求解约束梯度，用序列二次规划法使约束违反量趋近于零来求解约束。这种方法避免了严格的方程组的建立，无论约束是否合理，冗余，欠缺，此算法都将给出一个最符合设计者意图的解。     

基于权图搜索的约束求解

介绍一种基于加权约束图搜索的二维几何约束的求解方法或称之为求解过程 ,并对一些相关的概念进行阐述 .该几何约束的求解是在几何实体自由度衰减的基础上进行的 .求解过程中 ,在图的基础上提出循环约束的查找算法 ,并通过实例描述二维几何约束的求解过程     

基于计算代数和图分解的几何约束求解技术

满足几何约束是参数化设计中的中心问题。在许多应用中 ,需要找到约束系统的全部解。基于计算代数的方法可以实现这个目的 ,但其弱点在于计算复杂。利用图分解和计算代数相结合的方法对约束系统进行求解。通过图分解 ,将一个约束系统分解成为许多子系统 ,利用吴方法等技术求出各子系统的解 ,将各子系统的解结合从而求出整个约束系统的全部解。该方法比单纯利用计算代数求解高效 ,并且不会改变约束系统的解集。实验结果表明 ,该方法可以有效地求解某些约束系统     

几何约束问题求解的方向可选指数进制步长优化算法

针对参数化设计中的复杂几何约束求解问题,提出1种可选指数进制变步长数值求解优化算法.在给定的优化目标下,采用指数进制变步长,对每个设计参数变量进行"前进、后退、保持一步"的方向选择式试探判断,即算法每迭代循环1次,误差以指数方式进行递减,变量则逐渐逼近先前设定的参数目标.利用该优化算法,求解相切圆填充和正二十面体优化2个经典的几何优化问题.研究结果表明:该算法稳定性强,收敛速度快,求解精度高并对初始值不敏感;该算法能够求解多变量复杂参数化设计问题,并不受优化变量个数的影响;利用方向可选指数变进制变步长优化算法能有效解决二维和三维空间内的参数化几何约束优化问题.     

最大公共子图的约束符号求解方法

【目的】探索求解两个图最大公共子图的方法。【方法】建立最大公共导出子图的软约束满足问题(Soft CSP)模型,提出代数决策图(ADD)的符号求解算法。首先,分别对两个图中的变量和值域进行编码,完成两个图的ADD表示;其次,基于深度优先分支定界算法的思想,利用符号ADD的相关操作,实现对最大公共导出子图的求解。【结果】算例结果表明,该方法准确可行。【结论】该方法能有效缩减搜索空间,从而提高问题的求解效率。     

在加权完全偶图中求2边最优匹配的算法

给出不完全最优匹配的定义,并提出在加权完全偶图中求2边最优匹配的算法,最后举例说明其应用.     

赋权非完全偶图的最优分派问题及其初步应用

本文主要讨论了具有二分类的赋权非完全偶图的最优分派问题，通过寻找一个具有最大权的亚完美对集，从而也就确定了具有最大权的对集，进而判断人员是否需要调整。     

Hamilton二部图的一个充分条件

证明了当设G=(X,Y;E)是连通二部图,｜X｜=｜Y｜=n!5,且δ(G)≥2,若NC2≥n-1,则G是Hamilton图。     

循环图C_(2n)(1,4)的偶匹配可扩性

称图G是偶匹配可扩的,是指G的每一个偶匹配M都可以扩充为G的一个完美匹配.判定图是否是偶匹配可扩的是co-NP-完全问题,根据图的k-偶匹配可扩性完全刻画了循环图C2n(1,4)的偶匹配可扩性.     

群图的一个特征

利用群的同态理论给出了群图的必备结构,同时也给出了一个图能成为群图的一些必要条件.     

循环图C_(2n)(1,3)的2-偶匹配可扩性

设图G是一简单的且有完美匹配的连通图,称图G是k-偶匹配可扩的,是指G的每一个基数不大于k(1≤k≤(│V(G)│-2)/2)的偶匹配M都可以扩充为G的一个完美匹配.刻画了循环图C2(n1,3)的2-偶匹配可扩性,得到结论:对于任意的n(n≥3),C2(n1,3)是2-偶匹配可扩性的.     

基于用户反馈的时序二部图推荐方法

推荐系统以用户购买行为相似性为基础,而用户购买不仅包括是与否的选择信息,还有其购买时间和购买后对产品的评价信息作为反馈结果.满意商品能正确反映用户兴趣偏好,而很久以前购买和负面评价的商品,则将误导用户兴趣的分析.因此,在传统二部图推荐的基础上加入用户评价和时间衰减因素,提出一种基于用户反馈的时序推荐方法,经过多个数据集上的实验证明,提出方法在不同推荐列表长度的命中率指标上均有较大幅度的提升.     

一种基于图割的快速立体匹配方法

针对图割算法中引入辅助节点,算法复杂度过高的问题,提出了一种无需引入辅助节点的图构造方法来解决立体匹配问题. 由于无需引入辅助节点,所构造出的图所需空间较小,同时可以更快地找到能量函数的最小值. 实验结果表明,该方法可以快速有效地得到立体匹配的结果.     

概念图知识表示的推理方法

主要讨论概念图与一阶逻辑的关系，提出一种基于概念图的知识系统的推理方法，该方法在概念图上进行演绎推理。