装配几何可行性判别的符号OBDD技术研究

计算机工程与应用 ›› 2007, Vol. 43 ›› Issue (3): 50-50.

装配几何可行性判别的符号OBDD技术研究

钟艳如梁永强黄美发古天龙

桂林电子科技大学

收稿日期:2006-07-31 修回日期:1900-01-01 出版日期:2007-01-21 发布日期:2007-01-21
通讯作者: 钟艳如

Research on the Symbolic OBDD Technology of Judging Geometric Feasibility of Assembly

YanRu Zhong YongQiang Liang MeiFa Huang TianLong Gu

Received:2006-07-31 Revised:1900-01-01 Online:2007-01-21 Published:2007-01-21
Contact: YanRu Zhong

摘要/Abstract

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

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

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技术研究[J]. 计算机工程与应用, 2007, 43(3): 50-50.

YanRu Zhong YongQiang Liang MeiFa Huang TianLong Gu. Research on the Symbolic OBDD Technology of Judging Geometric Feasibility of Assembly[J]. Computer Engineering and Applications, 2007, 43(3): 50-50.