协同设计中基于约束的冲突检测

如何实时检测设计冲突从而维护设计一致性是协同设计的关键问题。提出了基于约束的自动冲突检测方法；介绍了设计约束在产品信息模型中面向对象的表征；讨论了工程设计中的约束满足问题及其区间求解算法，并在此基础上发展了一个基于网络的冲突检测器。冲突检测器能够在协同设计过程中实时检测设计冲突，避免不必要的设计反馈和重复磋商，从而提高了设计效率。并以减速器协同设计的冲突检测实例显示了冲突检测器的有效性。     

协同设计中基于关系数据库的冲突检测技术研究

在协同设计过程中,不可避免的会产生大量的冲突。针对协同设计过程中产生的设计冲突,探讨了一种基于关系数据库的冲突检测方法,建立了产品的对象—约束信息模型,研究了用XML和关系数据库表示该模型的方式,提出了基于关系数据库的冲突检测系统的体系结构,并开发了原型系统。通过协同设计汽车转向器的实例,说明了该系统的有效性。     

协同设计中基于约束的冲突检测与协商技术

从约束满足的角度 ,对协同设计中的冲突检测与协商问题进行了探讨 ,将产品约束网络按产品级、部件级、零件级和领域级分层管理 ,给出了基于约束验证和区间传播算法的冲突检测方法 ,提出了几个基于回溯策略和约束松弛策略的冲突协商建议产生算法。在此基础上 ,构建了基于Web的协同设计冲突检测与协商系统 ,支持设计专家检测与协调冲突     

纵向协同设计中约束网络建模和冲突检测技术研究

为了提高产品协同设计的效率,需要及时检测出设计过程中的冲突,研究了纵向协同和横向协同的联系与区别,将协同设计过程在纵向上划分为初步设计、总体设计、详细设计等阶段,建立了纵向协同设计中的约束网络模型并对此模型进行分析,在此基础上研究了纵向协同设计中知识冲突的检测技术,分析了常用的冲突检测技术及其应用场合,给出了一种基于纵向协同设计约束网络模型的冲突检测技术,最后,通过船舶协同设计中知识冲突检测的应用验证了其有效性。     

基于约束的协同设计过程中的冲突协调研究

在计算机支持的协同设计过程中，高效地解决群体设计活动中的冲突问题一直是实现智能协同设计的关键。以约束为基础重新定义了协同设计过程及其中的主模型、客户端模型，讨论了冲突的产生与分类，建立了以约束满足等式为核心的冲突协调机制，给出了冲突协调的3个步骤，并给出了原型系统的运行实例，与典型协同机制在性能上作了比较。     

协同设计中集成化冲突消解系统的研究

针对协同设计中冲突的复杂性和多样性，采用集成的冲突消解方法，从全生命周期的角度对冲突进行管理。首先建立约束网络，然后通过约束的传播进行冲突检测，并根据冲突的关联关系确定冲突消解的优先次序，接着采用约束松驰、规则推理、事例推理、协商仲裁等方法消解冲突，最后提出集成化冲突消解流程，并开发了相应的原型系统。     

并行工程中基于约束的冲突检测研究

系统地分析了并行产品开发过程中检测冲突的策略 ,提出了以人为核心的非形式化方法和以约束管理工具为核心的形式化方法相结合的检测方法。之后 ,结合约束满足问题的求解技术 ,讨论了进行实时在线冲突检测的理论和方法 ,提出了改进的区间传播算法 ,并结合油泵产品开发过程中的具体设计问题 ,给出了区间传播算法的算例 ,证明该算法用于检测冲突还是非常有效的。最后给出了该方法在“并行工程关键技术研究”项目中的应用。     

基于知识的网络化协同设计中的参数协调系统

在网络化协同设计中,参数约束对整个设计起着重要的作用,但是传统的约束管理系统无法满足现在网络化设计的需求,也无法利用以前解决冲突的经验.文中提出了一种基于知识的网络化协同设计参数协调系统模型,该系统采用知识推理和一致性算法的约束求解相结合的方法来解决网络化协同设计中参数约束冲突的问题,充分利用了以往的解决方案经验,并有效地解决了约束求解问题.     

协同设计中集成化冲突消解系统的研究

针对协同设计中冲突的复杂性和多样性,采用集成的冲突消解方法,从全生命周期的角度对冲突进行管理。首先建立约束网络,然后通过约束的传播进行冲突检测,并根据冲突的关联关系确定冲突消解的优先次序,接着采用约束松驰、规则推理、事例推理、协商仲裁等方法消解冲突,最后提出集成化冲突消解流程,并开发了相应的原型系统。     

基于模糊评价的协同设计冲突仲裁技术研究

针对协同设计中采用单一的冲突消解方法难以消解复杂多样的冲突的问题,采用多种冲突消解方法集成的方式消解冲突,提出了协同设计中冲突消解过程模型,对该集成冲突消解过程中的重要环节——冲突仲裁问题进行了描述。采用模糊评价法作为协同设计过程中冲突仲裁问题的求解方法,并给出该算法的具体实现过程和冲突仲裁流程。建立了基于模糊评价方法的冲突仲裁系统的体系结构,详细介绍了该结构的主要功能模块,并对原型系统进行了开发。最后,以某车床纵向进给部件的圆柱齿轮减速机构为例,说明了该算法在冲突仲裁中的应用。     

管线布局设计的约束因素分析及建模方法研究

布局设计是一个基于约束空间的求解过程，而影响布局设计的约束因素又是复杂多变的，针对工程领域的管线布局设计问题，提出了约束元，约束集，约束方法，约束度，约束链和关联约束子集等概念，并应用这些概念对影响管线布局的约束因素进行了分析，进而给出了基于目标分解的管线布局建模方法。     

一种新的约束识别与求解算法

约束拟合是逆向工程中模型重建的重要一环。其中约束的识别与求解是约束拟合的关键。本文提出了一种新的二维约束识别求解算法,实现了约束识别求解器。首先给出了二维基本图元的规范化表示及其常见约束关系;然后根据约束识别准则,自动识别出基本图元之间的潜在约束关系,并交互地对其进行确认和编辑;最后根据这些约束关系,采用合适的约束表达策略以及有效的优化算法,进行整体的约束求解,实现基本图元之间的同步拟合。大量实验证明了该算法的稳定性和有效性。     

支持协同产品开发的约束模型研究

约束是协调来自产品全生命周期中的各种要求、关系和规范的有效手段。本文分析了协同产品开发中约束的特点,在此基础上,根据问题求解理论提出了一种变粒度的约束网络模型,研究了变粒度约束网络中的映射规则,以及变粒度约束网络的性质和特点,最后介绍了变粒度约束网络模型的应用情况。     

ADAMS约束问题讨论

机构存在冗余约束时,ADAMS会在计算时自动解除一些约束,从而使被解除约束的自由度上不会计算构件间的作用力.冗余约束应在进行动力学分析前被手动解除,以获得更精确的结果数据.     

可调节多约束Catmull-Clark细分曲面研究

提出了一种顶点和法向约束下的细分曲面构造方法。即在约束点网格基础上,先用带形状因子的Doo-Sabin方法对其细分一次,然后采用Lagrange乘子法优化求解顶点、法向和相似性约束下的最小顶点扰动量,并根据优化结果反复调整顶点位置,最终得到满足插值条件的细分曲面控制网格。该方法无需求解全局方程组,控制网格求解效率高;而求解过程中相似性约束的增加,保证了插值曲面的质量;形状因子的引入,则起到调节位置和法向约束影响范围的作用,从而给设计者提供更多的形状表达自由度。     

CAD建模中的草图约束处理

介绍了CAD技术中适合于工程设计人员使用的草图功能。着重论述了草图约束的概念,分析探讨了尺寸约束和几何约束的类型及处理方法。     

几何约束等价性及等价迭代研究

针对几何约束系统中不可构造的柔性复合顶点的求解问题,引入等价约束,分裂部分约束以打破柔性复合顶点的强耦合性,形成只包含简单顶点的求解序列。基于等价约束的性质和结构拓扑,研究了求解序列顶点存在与不存在实数解情况下,雅可比矩阵的求解方法,从而以少量分裂约束方程组对等价约束变量的等价迭代,或者柔性复合顶点的局部迭代,取代柔性复合顶点的整体数值迭代求解,降低迭代的维数,算法实现于几何约束求解引擎CBA(constraint broadcast automa-tion)中。     

约束网络及约束传播技术在并行设计中的应用研究

探讨人工智能中的约束网络及约束传播技术的并行设计中的应用,先将设计变量构成约束网络,通过约束传播技术使得设计变量趋于精确,并将推理依据进行记录,在发生冲突时系统呆以根据所记录的约束来源协调设计过程,达到协同设计的目的。     

参数化设计中表示约束关系的方法

介绍了一种新的参数化设计中约束关系的描述方法，并根据这些约束数据形式提出了基于有向无环图的数据结构表示思想。这种数据结构集工程图所有的约束关系于一体，具有结构单一、操作简便、信息完备且无冗余等优点，已在工程图理解系统中得到成功的应用。