基于OBDD的装配序列自动推理技术研究

根据从CAD系统中直接获得的产品装配模型的数据，来建立基于OBDD的装配体模型。采用OBDD的符号操作对装配操作的可能性和有效性进行了验证，实现了可行装配序列推理的自动化。通过对例子的分析，表明基于OBDD的装配序列自动推理技术是可行和正确的，它为装配体的装配序列的推理提供了一种切实可行的新方法。     

一种新的基于OBDD的装配序列推理方法

根据机械装配序列推理的特点,对PADL-2提供的CAD模型数据进行简化处理,再结合有序二叉决策图(OBDD-Ordered Binary Decision Diagram),建立了一种新的装配体模型.基于此模型,可以通过一系列的OBDD符号运算完成装配操作的可行性判断,从而实现了装配序列的推理.这种推理方法容易实现计算机化和自动化,是对文献[6]中推理方法的一种改进.通过对实例的实现和分析证明了该方法是切实可行的.     

基于赋时Petri网的装配序列规划符号求解

赋时Petri网非常适合装配序列规划问题的建模,然而组合复杂性严重制约了基于赋时Pefri网模型的装配序列规划问题的求解规模.OBDD能为Petri网的状态空间及装配序列规划过程中的数据提供符号表示,并在规划过程中实现隐式操作,有效地缓解了组合复杂性.通过将赋时Petri网中的赋时迁移用等价的赋时迁移结构代替,赋时Petri网转换为等价的普通Petri网,基于此提出符号有序二叉决策图OBDD装配序列规划算法,求解最优装配序列.     

基于三维模型的装配技术研究

分析了虚拟装配的重要意义,提出了基于三维模型的装配规划的系统结构,并对其中的装配信息建模、装配序列规划、干涉检测、装配序列评价等关键技术做了具体的介绍。基于拆卸思想．采用几何推理与经验知识相结合的方法,交互生成装配序列和装配路径,用于形象、直观地指导现场装配。     

一个对象级机器人任务描述语言

本文介绍一个对象级机器人装配任务描述语言ZRTDL.该语言用装配对象的操作序列描述机器人作业,并借助装配世界模型、空间位置推理和运动规划等技术产生具体的机器人运动命令.     

子装配体自动识别的装配混合G图模型法

为了在大规模装配序列规划时准确有效地识别生成子装配体,提出了 一种构建装配混合G图模型实现自动识别子装配体的方法.该方法根据装配体建立包含装配联接关系语义与装配优先关系语义的装配混合G图模型.通过装配混合G图模型对装配关系语义进行数学转化生成相应装配关系矩阵.给出了基于装配混合G图判别子装配体的条件.结合装配关系矩阵与...     

基于蚁群算法的装配序列生成策略

用有向图模型描述零件之间的优先关系,构建了装配关系矩阵.基于该矩阵,将蚁群算法用于生成可行、优化的装配序列,并对算法进行了改造:设计了满足优先关系的“可行转移范围”,直接在优先关系的指导下构造序列;提出了信息素惩罚蒸发策略,对不可行解进行惩罚,帮助“蚁群”避开无效序列;根据装配序列规划的特点,对信息素的释放策略进行了改进.最后通过实例验证了算法的实用性.     

装配体拆卸序列的自动生成及优化研究

废弃装配体的拆卸序列优化问题是目前绿色制造的研究重点之一。提出建立装配体的干涉一自由矩阵、“拆卸楔”概念和算法，据此计算各个零件从装配体上可以拆卸下来的方向和次序。依据遗传算法原理，提出面向装配体拆卸序列自动生成及优化的计算模型。在此基础上，依据初始输入的若干拆卸序列和其它控制参数，由程序搜寻几何上可行的最佳拆卸序列。这里是以装配体在拆卸过程中具有最少的换向次数为优化目标。通过一系列的实例验证，证明了此方法切实可行。     

基于有序二叉决策图的粗糙集属性约简的符号方法

针对现有属性约简算法主要基于代数表示和信息表示的方法,基于改变属性约简问题的知识表示方法,提出区分矩阵的有序二叉决策图(OBDD)的表示方法。给出了属性约简的区分矩阵模型到OBDD模型的转换方法,得到了信息系统的区分矩阵的OBDD模型,并对区分矩阵表示和OBDD模型的存储空间进行了实验对比。结果表明,OBDD模型具有较好的存储性能,可降低对象数量和属性个数较多的信息系统的属性约简问题的空间复杂度。     

一类新型抽象数据类型:有序二叉决策图

有序二叉决策图OBDD(Ordered Binary Decision Diagram)是布尔函数的一种规范表达形式、一种的新的数据结构.基于OBDD能够完成布尔函数的有效表述和操作运算,可以看作为一类新的抽象数据类型.OBDD在VLSI逻辑综合和验证的成功应用结果引起了学术界和工业应用界的极大关注.迄今为止,OBDD技术及其工业应用已有了长足的发展、产生了不少的研究结果.本文对OBDD相关技术问题、OBDD扩展形式、OBDD应用等方面的研究现状进行了综述和讨论.     

基于 OBDD 的描述逻辑 ALC判定算法

针对描述逻辑 ALC的经典判定算法在处理大规模问题上的不足,而 OBDD 对于处理大规模问题有高效性,给出了一种基于 OBDD 的 ALC判定算法并证明正确性.该算法根据 ALC 的概念的形式,计算所有子概念和每个子概念的否定形式的集合,然后根据该集合里的每个概念的形式构造出其相应的布尔函数,将布尔函数转化为 OBDD 的表示形式来进行概念的可满足性判定.     

有序二叉判定图及其构造算法研究

有序二叉判定图OBDD(orderedbinarydecisiondiagram)是一种数据结构 ,它把布尔函数表示为有向无回路图 ,是布尔函数的一种正则表示 ,可以用来检查布尔函数的一些性质如可满足性、等价性等等。本文将详细地介绍OBDD的数据结构及基于OBDD的布尔函数运算 ,并给出改进后的构造OBDD的算法     

基于OBDD的描述逻辑SHOIQ判定算法研究与实现

描述逻辑是语义Web的逻辑基础,已成为当前计算机科学和人工智能研究的热点.鉴于描述逻辑SHOIQ的经典判定算法在处理大规模问题上的不足,以OBDD能很好处理大规模问题为基础,给出了一种基于OBDD的SHOIQ判定算法.该算法利用相关规则和技术将SHOIQ知识库转化为OBDD,在此基础上进行SHOIQ知识库的一致性判定....     

汽车车身焊接夹具方案设计知识可拓重用模型

汽车车身焊接夹具设计具有结构复杂、个性化需求明显等特点,设计时需要大量借鉴以往的设计方案。为提高汽车焊装夹具方案设计的效率,提出了一种基于设计知识可拓重用的多层实例推理方法。通过对各类焊装夹具设计的特征分析,建立了基于知识重用的焊装工位信息模型,构建了基于基元模型的车身夹具方案设计知识库。给出了焊装夹具方案的知识可拓重用模型,采用基于基元模型的多层实例推理和基于基元特征重用的相似度计算方法,由内而外检索出由形状特征和装配特征组成的相似焊装工位实例,通过映射获得了最佳夹具实例。以某车型后地板总成工位为研究对象,验证了该方法的有效性。     

基于特征的零件间几何匹配关系的确定

为了提高装配分析的自动化水平，在对零件特征组成面，约束面描述的基础上，通过对零件配合约束面元素的几何关系分析，建立了几何匹配关系推理规则，研究了基于结构相似性关系的推理系统，为并行环境下产品装配信息分析提供了一种新方法。     

基于蚁群算法的改进装配序列规划方法

机械产品的装配序列直接影响到产品质量和成本,装配序列规划是产品设计的重要内容.为快速实现产品装配序列规划,根据零部件间的装配优先关系,提出了一种改进的装配序列规划方法,并基于蚁群算法予以实现.该方法充分考虑装配过程中的几何约束关系,并引入稳定性、装配经验等因素的影响,以稳定性、装配经验、装配工具和方向的改变次数为影响因子构建优化目标评价体系,使所得解更具有实际指导意义.在求解过程中,根据几何约束关系运用动态候选集合策略限制蚁群的搜索空间,提高了搜索效率;考虑稳定性因素的影响改进了蚁群的状态转移规则,同时引入局部-全局信息素更新规则,保证了蚁群获得最优或近优解.最后,通过实例研究验证了算法的可行性和高效性.     

有向装配割集可行性分析

在计算机辅助装配序列规划中,用无向割集法求解装配序列,需要对每一步割集分解进行可行性判断.有向割集法同样需要如此.通过构建了基于有向图的内部分离运动自由度矩阵(DIFM),然后在DIFM基础上从几何可行性和稳定性两个方面来逐次判别有向装配割集的可行性,设计了几何可行性和稳定性分析方法.经综合运用所提的可行性分析方法,能高效、简便地得到可行的装配序列.     

基于模糊评判的装配序列生成

利用模糊逻辑用于优化装配序列生成的方法,在讨论装配序列评价特点的基础上,分析了影响装配序列产生的6个重要因素;根据模糊集理论建立了这些因素的隶属度函数,建立了评价装配序列“易于装配”的综合标准,给出了评价指标规范化计算方法。通过对满足优先约束集的零件,产生当前可分解零件集,根据“易于装配”综合标准判优进行逐层分解,产生优化装配序列。最后应用飞机发动机装配实例验证该装配序列规划方法的有效性。     

Method of Measuring Fixture Automatic Design and Assembly for Auto-Body Part

A method of 3-D measuring fixture automatic assembly for auto-body part is presented. Locating constraint mapping technique and assembly rule-based reasoning are applied. Calculating algorithm of the position and pose for the part model, fixture configuration and fixture elements in virtual auto-body assembly space are given. Transforming fixture element from itself coordinate system space to assembly space with homogeneous transformation matrix is realized. Based on the second development technique of unigraphics（UG）, the automated assembly is implemented with application program interface （API） function. Lastly the automated assembly of measuring fixture for rear longeron as a case is implemented.