基于自由度分析几何约束求解方法中过约束和欠约束的处理

在自由度分析方法的基础上使用依赖图, 解决了约束求解过程中的过约束和欠约束的处理问题. 依赖图中保留了求解问题中变量间的依赖信息. 当系统发现矛盾的过约束时或欠约束时会给使用者显示提示信息, 由用户进行处理.     

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

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

拉索-弹性约束系统的动力特性和模态分析

分析了拉索-弹性约束系统的动力特性,推导出拉索-弹性约束系统的振动方程,计算了系统的自由振动频率和阻尼比,研究了弹性约束及安装位置等因素对拉索-弹性约束系统动力特性的影响,所得结论对弹性约束拉索的测试及减振的优化设计有指导意义.     

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

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

基于约束的参数化设计

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

几何约束系统推理研究

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

随机非完整系统平衡状态流形在均值意义下的稳定性

研究随机非完整系统平衡状态流形在统计意义下的稳定性．首先建立非完整约束系统在随机扰动下的运动微分方程;其次给出其相应的矩方程并将其线性化;最后采用Ляпунов第一近似理论的线性化方法讨论非完整约束系统平衡状态流形的矩稳定性,给出均值意义下系统平衡状态流形稳定性的判别准则,并举例说明了此判据的具体应用．     

一族Liouville可积系及其双约束流的Hamilton正则表示

构造了高阶ｌｏｏｐ代数Ａ２的一个特殊子代数,由此建立了一个３×３等谱问题,利用屠格式 得到了一族Ｌｉｏｕｖｉｌｌｅ意义下的可积 Ｈａｍｉｌｔｏｎ方程．通过建立双对称约束,得到了该方程族的两组 约束流,并将其化为正则表示 Ｈａｍｉｌｔｏｎ系统．     

实时系统时间约束验证

为保证实时系统满足特定的时间约束,该文提出了一种时间约束的建模和验证方法。定义了基本的时间概念,提出了基于改进的STP(simple temporal problem)时间约束建模方法,提出了约束图的一致性检测的约束求解算法,给出了将复杂时间约束转化为基本时间约束的机制,并以典型的数据处理单元(data process unit,DPU)系统的实际时间需求为例,进行了实例分析和实验。该文系统地分析了时间故障模式,与已有的方法相比更加准确地描述时间点、时间区间之间的约束关系,从而可以更有针对性地检验系统的时间缺陷。     

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

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

理想约束的基本类型

许多一般力学文献中，对理想约束基本类型的阐述不够完整，有的甚至不够准确。本文给出了粗糙接触面约束的概念，并将约束分为内约束和外约束，在此基础上完整准确地阐述了理想约束的基本类型问题。     

化工过程中虚假宽松约束的修正预测控制

过程控制中广泛存在着对变量的各种约束条件,因此需要设计能够满足约束条件的控制策略。约束预测控制能够处理各种输入和输出约束,是一种有效的控制方法。但在实际过程控制中,由于预测控制不检测下层回路的实际执行信息,当控制作用超出系统实际最大能力而不能完全下载时,标称约束成为虚假宽松约束,导致系统响应偏离预期,约束条件无法满足。该文基于线性系统离散状态空间模型,讨论有输入和输出区间约束条件的基于区间控制思想的预测控制。为保证虚假宽松约束发生时预测控制仍能够正确有效实施,提出及时进行一系列预测模型数据和约束条件的修正算法,并使约束条件得到满足。利用绝热连续搅拌釜式反应器(CSTR)模型的控制仿真实验证明了该算法的有效性。     

线性规划问题非有效约束条件判别定理的研究

对非有效约束条件和有效约束条件的特性进行了理论分析，获得了一些识别非有效约束条件的判定定理，为进一步研究删除非有效约束条件的方法奠定了理论基础。     

空间物体点接触纯滚动的几何意义

空间物体间点接触纯滚动的相互作用一般包含非完整约束, 而约束所限制的虚位移通常采用速度水平的 Appell-Chetaev 条件给出, 因此点接触纯滚动约束对应的几何意义并不直观。作者从多体系统中两物体沿其轮廓面做点接触纯滚动的问题出发, 探讨此类非完整约束对应的几何意义。首先, 提出两物体保持点接触的充分必要条件, 并以球–面系统为例推导接触时的约束方程。然后, 由空间物体点接触纯滚动的几何和速度约束, 推导此时满足的两种几何限制条件。结果表明, 采用两种几何条件获得的虚位移与速度约束的Appell-Chetaev 条件相同。因此, 可以认为保持点接触纯滚动的空间两物体在位形空间受到两种几何条件的约束限制。     

支持业务流程管理的组织建模及约束描述

针对业务流程管理框架中组织视图的描述需求,提出一种面向对象的组织元模型,利用统一建模语言的类视图对企业中的功能型组织结构和项目型组织结构进行建模、为了保证组织结构的合法性,利用对象约束语言对各类组织约束进行形式化描述,这些约束包括基本约束、针对团队模板的约束和针对团队的约束三类．给出了业务流程过程模型和组织元模型的集成实现过程,从而有利于描述和分析工作流驱动的动态组织行为．     

非线性规划问题全局优化的模拟退火法

在无约束非线性规划问题全局优化的模拟退火算法基础上，进行有约束问题求解的进一步探讨，对不等式约束条件提出了检验法和罚函数法的处理方法，对等式约束条件开发了罚函数法和解方程法的求解步骤，并进行了分析比较，从而形成了完整的求取非线性规划问题全局优化的模拟退火算法。通过对文献例题的计算，表明所提出的方法能够快速有效地求出有约束非线性规划问题的全局最优解     

基于软约束满足理论的用户偏好建模方法

用户建模是电子商务领域的重要研究问题之一,但是到目前为止还没有非常有效的方法能够建模用户的动态偏好等特征。在分析电子商务领域用户偏好特征获取一般特点的基础上,提出基于实例的两阶段递增式用户偏好特征获取方法。并采用基于半环的软约束满足问题表示用户的各类偏好特征,将用户建模看成是潜在方案空间上施加一系列偏好约束的过程。提出不同的偏好约束类型以及利用偏好约束建立用户模型的过程,实现电子商务领域复杂用户偏好的灵活建模。     

基于权图搜索的约束求解

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

一种建立在两个新的约束条件之上的四边通道区布线算法

提出 2个针对四边通道区布线问题的新的约束—行约束和列约束 .并在此基础上建立了布线算法 ,它包括线网分类 ,线网修改 ,顺序布线和改进线探索法 4个主要组成部分