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

摘要

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