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

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

基于约束的多视图参数化设计算法

介绍了基于约束的零件形位信息描述方法，提出了基于约束的ＣＡＤ数据模型，阐述了基于约束的多视图参数化设计的概念，详细介绍了参数化计算法的原理及实现过程，对所提出的参数化设计算法进行了评价。     

基于约束的多视图参数化设计算法

介绍了基于约束的零件形位信息描述方法;提出了基于约束的ＣＡＤ数据模型,阐述了基于约束的多视图参数化设计的概念;详细介绍了参数化设计算法的原理及实现过程;对所提出的参数化设计算法进行了评价．     

二维参数化CAD中的过约束及欠约束检查策略与实现

参数化ＣＡＤ技术是当今ＣＡＤ领域的研究热点之一,其关键任务就是如何处理几何实体间的几何约束,约束冗余性检查是其主要工作内容之一。采用基于约束驱动的几何推理和自由度计算方法,设计了约束检查策略与算法,解决了过约束与欠约束检查问题。     

一类应急物资筹集问题的模糊机会约束模型

为提高应急物资筹集的有效性,提出了一种新的应急物资筹集决策模型和算法.建立了紧急市场采购条件下应急物资筹集决策模糊优化模型,给出了与其等价的模糊机会约束规划模型,提出了参数为三角模糊数时模型的确定化转化方法,并设计了基于模糊模拟的模型智能算法,该算法能够有效处理复杂的模糊机会约束规划问题,最后通过算例说明了该方法的有效性.     

随机二阶锥互补约束优化模型的一般光滑化SAA方法

讨论一般随机二阶锥互补约束问题的求解算法.为处理模型中的不确定性，算法采用样本平均近似(SAA)抽样技术.不同于之前的工作，设计了一般光滑化SAA算法框架，可以在满足要求的一类光滑化函数中根据需要进行选择，从而构造光滑化SAA算法，并保证收敛性.具体的，若SOCMPCC线性无关约束规范等条件成立，则算法构造子问题的稳定点和最优解分别以概率1收敛到原问题的C稳定点和最优解.最后具体给出两个光滑化函数与其对应光滑化SAA算法的例子，由一般光滑化算法框架可得这两种算法收敛.     

参数化弧相容约束传播

为进一步提高约束满足问题求解算法的效率,对约束传播过程进行了分析,并使用变量论域缩减比例对弧相容传播深度进行参数化描述,同时提出了一个约束传播程度可以控制的弧相容传播算法,研究了在不同参数下约束求解算法的效率。该算法在“明月1.0”架构下实现。实验结果表明,约束传播程度是影响算法求解效率的一个重要因素,通过调整控制参数可以使算法效率提高3~4倍。     

开采设计CAD中的参数化设计

讨论了参数化二维图形的组成及其关联关系 ,研究了图形结构约束模型和尺寸约束模型的建立方法和驱动求解等关键技术 ,为开采设计 CAD中系列化产品设计提供了一种有效手段。     

对图像处理中ROF全变分模型的两种算法的比较研究

全变分图像去噪问题的本质是一类基于全变分的约束极小化模型.其中最经典的模型是由Rudin-Osher-Fatemi提出的ROF模型[1].在这一模型中,正则化参数的选取直接影响到图像恢复的效果,当给定一个适当的正则化参数来平衡数据拟合和正则解时,可以得到十分理想的结论.在过去的二十年中,通过对这一模型的研究,产生了各种有效的算法.不同的算法通过调节正则化参数,都在不同程度上达到了去噪的目的.本文中,应用两种算法：梯度下降法和分裂Bregman算法,对带噪声图像进行了数值仿真和比较,结果显示分裂Bregman算法能够达到更好地去噪效果.     

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

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

基于约束的参数化设计

提出了一种基于结构点的约束求解模型 ,此模型把几何元素映射成结构点 ,把约束分解为距离约束和方向约束 .此模型利用几何约束图表示几何约束系统 ,通过对几何约束图的方向化确定出结构点的求解次序 ,并针对不同的结构点分别采取代数求解方法和数值求解方法 .     

Rank of loop, constraint degree of path, coupling degree of graph and their application

Some new concepts (rank of a loop, degree of freedom of a graph, path unit and ordered path arrangement, constraint degree of path, coupling degree of a graph, basic graph, etc. ), formulas, and algorithms, are proposed in this paper. Based on these concepts, a new systematic theory and practical method for the design of topological structure, kinematics and dynamics of mechanical systems is established. Some conjectures and problems needed to be researched are also put forward. The concepts, formulae and algorithms presented in this paper will find wide potential applications.     

Solving Topological and Geometrical Constraints in Bridge Feature Model

The capacity that computer can solve more complex design problem was gradually increased. Bridge designs need a breakthrough in the current development limitations, and then become more intelligent and integrated. This paper proposes a new parametric and feature-based computer aided design (CAD) models which can represent families of bridge objects, includes knowledge representation, three-dimensional geometric topology relationships. The realization of a family member is found by solving first the geometric constraints, and then the topological constraints. From the geometric solution, constraint equations are constructed. Topology solution is developed by feature dependencies graph between bridge objects. Finally, feature parameters are proposed to drive bridge design with feature parameters. Results from our implementation show that the method can help to facilitate bridge design.     

采矿CAD参数绘图系统建模与求解方法的研究

根据采矿CAD图形的特点,提出了一种构造式几何约束系统,并使用有向约束图表示约束模型,在交互绘图的同时直接建立参数化图形的约束模型。此方法在建模过程中避免了过约束和欠约束的出现,在求解的过程,将计算量从整体下降至局部,同时通过添加方位约束解决根的选择问题。     

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

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