基于OBDD的拆卸几何可行性判别方法研究  

Research on method of judging geometric feasibility of disassembly operations based on OBDD

作　　者：梁勇强[1] 钟艳如[2] 

机构地区：[1]玉林师范学院职业技术学院,广西玉林537000 [2]桂林电子科技大学计算机系,广西桂林541004

出　　处：《计算机工程与设计》2007年第14期3302-3305,3309,共5页Computer Engineering and Design

基　　金：国家自然科学基金项目(60563005)

摘　　要：在基于割集的拆卸序列生成算法中,对拆卸操作的几何可行性进行判别是频繁的操作。引进有序二叉决策图OBDD合理表示拆卸约束,设计了基于OBDD的几何可行性判别算法,比较了基于OBDD的判别算法与基于移动函数的判别算法的时间复杂度,结果表明基于OBDD的几何可行性判别算法比基于移动函数的判别算法具有更高的判别效率。The geometric feasibility of the disassembly operations is checked frequently in the algorithm based on cutset for the generation of all disassembly sequences for a given product. The disassembly constraints rationally is represented, and an algorithm of judging the geometric feasibility of the disassembly operations with OBDD is designed. Then a comparison on time complexity is made between the provided algorithm and the existing algorithm based on translating function. The result of the comparison demonstrates that the algorithm based on OBDD is more efficient than that on the translating function.

关 键 词：拆卸 几何可行性 割集 有序二叉决策图 时间复杂度 

分 类 号：TP391.73[自动化与计算机技术—计算机应用技术]