根据机械装配序列推理的特点,对PADL-2提供的CAD模型数据进行简化处理,再结合有序二叉决策图(OBDD-O rdered B inary D ec is ion ......