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

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

CAD中的参数化设计

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

自由度分析在求解三维几何约束系统中的应用

在充分研究了二维几何约束模型中自由度分析技术的基础上,采用几何推理的方法,给出了一种三维几何约束模型求解系统的自由度分析算法,并将此算法的整个运行过程归纳为活动分析、场所分析两个技术过程的实现。给实际求解三维几何约束模型提供了一种方案,尤其解决了模型处于过约束状态和欠约束状态时的求解问题。     

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

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

基于信息度的工程图样编码技术研究

从工程图样的图样信息度入手,依据投影关系语义或尺寸约束语义,在基于预先获取表达方式语义的基础上,将其细分为图形信息度、尺寸信息度、尺寸约束信息度。在工程图样数据的预处理基础上,从图元的图线种类、线型、拓扑信息入手,建立反映图形信息度的编码模型;从尺寸四要素所体现的形体形状特征与位置关系入手,建立反映尺寸信息度的编码模型;从尺寸与图元特征约束点的约束关系入手,建立反映尺寸约束信息度的编码模型。这可为应用编码技术理解计算机工程图样奠定一定基础。     

增强约束的角色访问控制模型

分析NIST标准RBAC模型的约束机制,针对授权过程和对客体访问过程约束能力不足,通过对约束的扩展和将具有约束能力的业务逻辑映射至模型约束中,形成一种增强约束的基于角色的访问控制模型.给出了该模型的形式化定义,并对其安全性作了简要分析.     

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

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

变量约束网的建模和推理算法

设计的变量约束网是一个能够综合表达变量间各种约束关系的网络结构。文章中首先介绍了它的结构特征;然后给出了它的建模方法和可在Ｗｉｎｄｏｗｓ下操作的图形建模工具;最后讨论了该约束网的推理算法,即如何通过约束传播完成相关变量的求解,此算法与网络的复杂程度无关。利用文章提出的方法可构造任意复杂的变量约束网,完成对复杂系统的变量求解;与传统的表示方法相比,简化了问题求解过程,从而提高了求解效率。     

一类带性能约束的二维几何布局优化

提出一类带性能约束的二维几何布局优化问题模型及其求解算法．该算法分三个 阶段处理，即嵌入阶段、可行初始布局阶段和优化布局阶段，并给出每个阶段相应的几 何布局质量的评价标准函数、算法和结束准则。在具体的求解过程中；综合运用了拟 物原理、广义力矢量松弛法原理、有向树搜索原理来构造布局优化的算法．给出一种 在可行布局范围内不断压缩几何体布局的范围同时进行迭代改善布局过程的方法来寻 找最聚集的优化几何布局．用Ｆｏｒｔｒａｎ语言编制了相应算法及图形显示的程序，文 后给出了算例的验证结果。     

基于约束关系自组织的离线参数化技术

提出了基于工程图约束信息自组织原理与方法的离线参数化技术。它的基本思路是根据工程图制图规则和尺寸与图形的本质联系，自动建立尺寸与图形的约束关系，进而用尺寸驱动图形。该方法已经在ＣＡＤ＆ＣＧ国家重点实验室实现。     

三维几何约束建模的研究与实现

以空间机构运动学为借鉴 ,采用对偶角和旋量对三维几何形体的空间位置进行描述 ,给出了基本几何约束关系的表达 ,并采用有向图来表达装配关系 ,进一步用面向对象方法实现了几何约束系统的设计和集成 .     

一种新的参数化设计方法

本文引入可用约束、特定元素，双向约束等概念，通过建立网状数据结构表达几何元素，几何约束求解方法－基于推理的代数法。该方法把代数法和几何推理有机地结合在一起，其推理过程采用普通算法而洋是人工智能的方法，方程组的求解转化为几何元素的相切和相交等运算。     

一种有时间约束的复杂Petri网建模方法

在面向对象技术和时问约束Petri网的基础上,给出面向对象时间Petri网的定义、变迁发生的条件、后果等动态运行规则及建模方法,以降低有时间约束复杂系统的建模难度;提出时延关联矩阵的概念和计算方法,用于判断变迁是否有发生权以及计算变迁发生效果,证明相关定理,以增强系统的分析能力.在实际建模过程中,通过计算时延关联矩阵,找出系统的时间瓶颈,为改进和优化系统提供理论依据.通过保险索赔过程的建模和实例分析,证明了本文所提方法的有效性.     

调度问题的建模方法

生产调度问题有广泛的应用前景，有明显的经济效益与社会效益。但是生产调度问题的研究大多只考虑求解方法，很少涉及建模方法。建模方法主要依靠专家的经验和技巧。本文提供了调度问题的数学描述，这是把调度问题定义为一类约束满足问题。然后以皇后问题为例研究了调度问题的建模方法。由此实例给出了模型的测度，并给出基于约束的建模方法。这种基于约束的建模方法对于建模问题的理论化，形式化，是积极的探索。这可以指导调度问题的数学模型的建立。     

草图校正的研究与实施

总结了校正的常见内容,并对各内容进行了归纳与分析,把校正问题概括为“由动点引起动边”的问题,从而避免了校正内容的杂乱,设计出具有一定通用性的校正方案.该方案利用图来描述图形实体的相互约束,用动态迭代法来处理动边变动对已有约束的影响.系统记录各咬合点,全局遍历结构约束图中的咬合点,局部校正各动边.该方案已用于BYLead的参数化推理中.     

组合参数化建模方法及其应用

为提高参数化建模效率,提出了组合参数人建模思路,运用化整为零的方法,将复杂的工程图分解为有限个子图,并分别建模,然后利用组合管理器将其重新组合,建立组合模型,这样,不仅加快了建模速度,避免了长时间的约束计算过程,还方便了模型的修改以及子模型相互位置关系的调整,文中以齿轮科建模为例,阐述了组合参数化建模方法的基本原理。     

基于自回避随机游动方法的曲流河河道的建模研究

研究了游动者在给定约束条件下的一种基于网格的自回避随机游动算法的实现,并利用该算法实现了对曲流河河道形态的建模。影响游动者迁移的约束条件有游动主方向,格点的吸引因素、排斥因素。在网格区域中完成一次随机游动之后,记录游动者经过的格点,通过样条插值对连接格点的路径进行曲线拟合,将拟合后的曲线加宽并光滑处理,实现对自然界中曲流河河道的模拟,该系统利用OpenGL图形库在C开发环境进行了实现。利用该算法,还可实现海岸线等自然界具有蜿蜒曲折的形态物体的在条件限定情况下的建模。     

参数化设计的研究与应用

参数化设计是目前CAD发展的主流方向，本文通过对各种参数设计方法分析的基础上，提出一个基于几何约束图的参数化设计模型，并给出参数化模型的数据结构和约束求解算法，此算法可以有效地检查系统的过约束和欠约束情况。     

基于偏微分方程模型降阶方法的最优控制

为了快速准确地求解含有偏微分方程约束(PDE)的优化问题,提出了一种基于偏微分方程模型降阶的最优控制问题求解方法.含有偏微分方程约束会使得优化问题的求解耗费大量的时间,难以满足现有控制与优化的需求.在研究了偏微分方程性质的基础上,得出了一种新的模型降阶方法.通过使用奇异值分解法来提取原模型的主要特性,得到低维空间的基函数,再使用伽辽金投影法,将原模型投影到现有基函数构成的低维空间中,从而达到降低模型阶次来快速计算PDE优化问题的目的.实验结果表明在降阶模型阶次较低的情况下,依然能对原模型有较好的逼近效果.该方法用于快速准确地求解含有偏微分方程约束的优化问题是可行的、有效的.     

基于约束的参数化设计

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