Abstract: Geometric feasibility of assembly is a key technology problem, which is required to resolve in assembly planning. This paper employs OBDD (Ordered Binary Decision Diagram) to describe geometric feasibility. We present the symbolic representation of assembly operation and geometric feasibility, design the symbolic OBDD algorithm of judging geometric feasibility, and develop a prototype system of assembly. The result of running system demonstrates that it is effective to put symbolic OBDD technology into judging geometric feasibility.

Key words: assembly operation, OBDD, geometric feasibility

摘要： 装配几何可行性是装配规划需要解决的一个关键技术问题。本文采用有序二叉决策图（OBDD）描述装配几何可行性，给出装配操作及其几何可行性的符号表示，设计了装配操作几何可行性的符号OBDD判别算法，给出了装配几何可行性的研究实例，开发了装配的原型系统以支持装配规划，原型系统运行结果表明符号OBDD技术用于装配几何可行性判别的有效性。

关键词: 装配操作, OBDD, 几何可行性