一个基于变形映射的约束图有向化与求解方法

提出了变形映射和变形源的概念,给出一种基于变形映射的二维工程图约束图有向化与求解新方法.同时,提出一种基于变形映射的约束图有向化新方法,并在约束图分解的基础上,给出了一个基于复合节点及虚拟约束的约束图变形求解新算法.应用此方法,可提高约束图有向化的可靠性、降低计算复杂度,且能方便地求解带有循环约束的约束图.     

约束及基于约束的参数化设计

在基于约束的参数化设计中约束的处理十分重要,本文主要分析约束的基本概念、表示、分类及约束的特性。最后提出基于约束的参数化设计的求解过程。     

基于图结构描述的几何约束模型的研究与建立

本文提出了一种基于图结构描述的二维图形几何约束模型的建立及存储方法。该方法利用图论的概念和原理,提出用无向图的结构描述一个几何约束系统,用约束图表示图形的约束信息,规则图则用来表达几何推理的过程,同时利用面向对象的技术建立一种扩展的图的领接表的数据结构来存储约束模型。这种方法对约束的分类及表达清晰、直观,能够处理各种约束信息,效率及可靠性较高。     

基于图的具有时空约束的可信赖委托授权模型分析

分布式环境下需要可传递授权机制,而传统委托授权模型的委托授权不但缺乏对时间和空间的约束,而且仅是基于主体间的信任关系人为的确定可委托授权的主体,是不精确且模糊的。针对上述问题,文章提出了基于图的具有时空约束的可信赖委托授权模型,不仅利用模糊理论来确定可信赖的委托主体,而且增加了时间和空间的约束,分析并解决了循环授权和授权撤销问题。该模型满足了应用中的时空约束、可信赖传递授权等安全需求,具有普遍适用性。     

参数化设计中的对象约束模型及反向约束的研究

应用图论方法,建立了基于有向超图的对象约束模型,提出了压缩十字链表形式的网状存储结构,能够完整,准确地记录设计者的设计意图,实现尺寸及参数驱动图形的功能清晰地表示约束间的双向约束关系,有效地实现了约束的传播与救解,其完备的表不方式可方便地实现反向约束求解。同时利用面向对象技术,高效地实现了实体及约束建模,采用相应的类层次结构,充分发挥对象的封装性和扩展性,提出了一种方便灵活的参数化设计方法。     

基于图的参数化设计方法

参数化系统中约束的表达和约束的求解是两大关键性技术问题。作者提出的基于图的参数化方法是将约束分成拓扑约束和几何约束,并以图结构表达这两类约束,然后对约束网络图进行拓扑排序、分解,以确定求解序列和检测约束一致性,最后按照几何约束网中的约束关系进行“几何参数驱动”,以实现参数化。     

基于约束的装配图参数化设计

介绍在参数化零部件库的基础上，通过定义参数表达式形式的装配关系或约束，来实现装配图设计的参数化设计，在设计者对零部件或装配尺寸的参数作出修改后，可自动进行装配图调整，既能充分体现设计者的设计意图，又能快速地按照设计者意图自动生成装配图，达到零部件参数化和装配设计参数化的统一。     

基于约束的参数化驱动模型研究

参数化设计在现代CAD系统中占据着越来越重要的地位 ,参数驱动过程实质就是几何约束的满足和求解过程。针对传统CAD系统中存在的不足之处 ,本文主要讨论了基于约束的参数驱动模型的实现原理 ,几何约束的表达和求解方法 ,以及几何约束和工程约束的关联关系。概括了参数化绘图系统的主要特征。     

基于约束依赖图的并发程序模型检测工具

模型检测是一种基于状态空间搜索的自动化验证方法,可以有效地提升程序的质量.然而,由于并发程序中线程调度的不确定性以及数据同步的复杂性,对该类程序验证时存在更为严重的状态空间爆炸问题.目前,大多采用基于独立性分析的偏序约简技术缩小并发程序探索空间.针对粗糙的独立性分析会显著增加需探索的等价类路径问题,开发了一款可细化线程迁移依赖性分析的并发程序模型检测工具CDG4CPV.首先,构造了待验证可达性性质对应的规约自动机;随后,根据线程迁移边的类型和共享变量访问信息构建约束依赖图;最后,利用约束依赖图剪裁控制流图在展开过程中的独立可执行分支.在SV-COMP 2022竞赛的并发程序数据集上进行了对比实验,并对工具的效率进行比较分析.实验结果表明,该工具可以有效地提升并发程序模型检测的效率.特别是,与基于BDD的程序分析算法相比,该工具可使探索状态数目平均减少91.38%,使时间和空间开销分别平均降低86.25%和69.80%.     

基于灵活平衡约束的图聚类方法

现有的图聚类方法主要存在两方面的问题, 一是对各个类规模一致的假设, 在许多实际应用中并不成立; 二是在处理多类聚类问题时, 其所常借助的递归技术或启发式算法会影响聚类的性能. 为此, 本文提出一种基于灵活平衡约束的多类图聚类方法. 其能够覆盖从绝对平衡约束到无平衡约束的范围, 可同时处理类别规模一致和不一致的问题. 为有效求解新方法中的参数, 进一步提出一个紧松弛方法来使所提出的图聚类方法不仅易于求解, 且在处理多类聚类问题时不必依赖递归技术, 而能直接得到聚类结果. 另外, 本文还给出一种实现松弛图聚类的有效求解算法. 在合成数据和真实数据上的实验结果表明, 所提出的方法具有良好的性能.     

基于图割理论和极几何约束的图像匹配算法

提出了一种基于图割理论和极几何约束的图像匹配算法。利用极几何约束对两幅待匹配图像进行矫正,使得它们的极线处在同一扫描线上,从而将二维匹配简化成一维匹配;利用基于图割的一维匹配算法获取视差数据,此时匹配中能量函数的标号是一维的,大大减少了搜索范围,并且提高了匹配的速度。     

二维全约束优化算法的研究

从工程实际出发，分析了现有的几何约束求解方法中存在的问题，提出了一种新的二维全约束优化算法。该方法采用自由度优先搜索策略生成有向图，用简单推理和代数方程组综合方法求解，较好地解决了满约束求解和过约束判断问题，大大减少了非线性方程组的规模，使得约束问题的求解得到简化，提高了求解效率。     

一种基于图分解的几何约束求解方法

为了提高几何约束求解的效率和鲁棒性 ,对基于图的构造方法进行了改进 ,即加入虚约束进行扩展和过约束问题的一致性判定 ,提出了一种基于图分解的方法 ,用此方法可以处理包括完全约束、过约束和欠约束等多种情况的约束求解问题 ,另外 ,在该方法中还通过引入分解树将约束求解的范围由整体下降到局部 ,使大部分求解过程能够采用几何求解实现 ,提高了求解和后续修改的效率 ,通过实验数据测试证明 ,该方法对于大型约束求解问题可以达到实时处理的效果 ,具有较强的实用性     

特征设计中有向约束机制及算法研究

几何约束求解是基于特征设计系统的核心算法之一,由于目前沿用的是非特征设计环境下的约束机制,采用的约束方法没有充分利用特征设计的特点,约束难于管理,所得约束解往往背离设计初衷,约束算法复杂度高,文中提出一种基于自由度分析的有向约束实现机制及相关算法,算法时间复杂度低,提高了三维参数化设计系统的交互性能。     

基于扩展有向图的产品参数化模型的研究与实现

文章提出了基于扩展有向图的产品参数化模型,将各类约束在形式上利用对象及相关概念统一起来,利用扩展的有向图表示设计对象及对象间的约束关系。对于有环的有向图,在正向约束求解的基础上,引入了反向约束求解,局部调整的机制。模型的主要思想是:求解过程中利用对象本身所具有的性质进行充分推理、判断,在此基础上进行约束的最小方程组计算。     

RBAC模型时间约束的OCL描述

基于角色的访问控制模型以其灵活性、方便性和安全性在许多系统的权限管理中得到普遍应用,而引入时间约束后的角色访问控制更能增强系统的安全性和模型的描述能力。该文使用对象约束语言OCL来描述模型中的时间约束,使模型更加直观和精确。     

基于活动约束系统的变量化设计

在变量化设计过程中设计对象可以看作是一个几何约束系统,这个系统由几何元素以及作用于几何元素之间的各种约束关系构成。一个复杂的设计对象所对应的几何约束系统往往包含大量几何元素和约束关系,如果不加区别地把所有的几何元素和约束关系纳入变量化求解的范围,则很难满足交互设计的需要。而另一方面几何约束系统又往往是稀疏系统：（1）作用于任一几何元素的约束很少;（2）与任一约束相关的几何元素很少。基于这一事实给出了一种预处理策略从原始几何约束系统中搜索得到一个规模较小的活动约束系统,变量化求解在活动约束系统上进行。该方法已在自行研制的参数化造型系统GEMS5．0中实现。     

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

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

与历史无关的三维参数化模型构造方法

针对解析曲面构成的B-rep模型,提出了一种陈述性三维几何约束模型的构造方法．基于位置和姿态自由度解耦思想给出了几何实体的外形描述,借助空间矢量正交或平行条件定义了基本约束单元,并推导出常见工程约束的代数方程．讨论了陈述式约束模型自动构造过程,开发了三维模型变形设计原型系统,并验证该方法的可行性。