节点文献
装配几何可行性判别的符号OBDD技术研究
Research on symbolic OBDD technology of judging geometric feasibility of assembly
【摘要】 采用了有序二叉决策图(OBDD)描述装配几何可行性,给出了装配操作及其几何可行性的符号表示,设计了装配操作几何可行性的符号OBDD判别算法,给出了装配几何可行性的研究实例,开发了装配的原型系统以支持装配规划,原型系统运行结果表明符号OBDD技术用于装配几何可行性判别的有效性。
【Abstract】 This paper employs OBDD(Ordered Binary Decision Diagram) to describe geometric feasibility,presents the symbolic representation of assembly operation and geometric feasibility,designs the symbolic OBDD algorithm of judging geometric feasibility,and develops a prototype system of assembly.The result of running system demonstrates that it is effective to put symbolic OBDD technology into judging geometric feasibility.
【基金】 国家自然科学基金资助项目(60563005)。
- 【文献出处】 计算机工程与应用 ,Computer Engineering and Applications , 编辑部邮箱 ,2007年03期
- 【分类号】TP391.7
- 【被引频次】1
- 【下载频次】100