基于符号零压缩二叉决策图的装配可行性判定方法

计算机科学 ›› 2016, Vol. 43 ›› Issue (6): 28-31.doi: 10.11896/j.issn.1002-137X.2016.06.005

基于符号零压缩二叉决策图的装配可行性判定方法

彭瑞,李凤英,常亮,孟瑜

桂林电子科技大学广西可信软件重点实验室桂林541004,桂林电子科技大学广西可信软件重点实验室桂林541004,桂林电子科技大学广西可信软件重点实验室桂林541004,桂林电子科技大学广西可信软件重点实验室桂林541004

出版日期:2018-12-01 发布日期:2018-12-01
基金资助:
本文受广西高校科研项目(YB2014125),桂林电子科技大学研究生教育创新计划资助

Symbolic ZBDD-based Judgment Method for Assembly Feasibility

PENG Rui, LI Feng-ying, CHANG Liang and MENG Yu

Online:2018-12-01 Published:2018-12-01

摘要/Abstract

摘要： 为了扩大装配序列规划的求解规模并提高求解效率,提升装配自动化水平,给出了装配体联接矩阵和干涉矩阵的零压缩二叉决策图描述,建立了基于符号零压缩二叉决策图的装配操作可行性判定方法。基于该方法,可以高效地求解出一个装配体的可行装配操作。结合实例验证了基于符号零压缩二叉决策图的装配体模型和可行装配操作判定方法的正确性和可行性。

关键词: 装配可行性,装配体联接矩阵,装配体干涉矩阵,零压缩二叉决策图

Abstract: To enlarge the solution scale and improve the efficiency of assembly sequence planning the level of assembly automation,zero-suppressed binary decision diagram(ZBDD) was proposed to represent assembly connection matrix and interference matrix.A novel ZBDD-based method was presented to judge the feasibility of assembly operation,thereby feasible assembly operations of an assembly can be obtained efficiently.The experimental results demonstrate the validity and feasibility of ZBDD-based assembly model and judgment method for feasible assembly operation.

Key words: Assembly feasibility,Assembly connection matrix,Assembly interference matrix,Zero-suppressed binary decision diagram

彭瑞,李凤英,常亮,孟瑜. 基于符号零压缩二叉决策图的装配可行性判定方法[J]. 计算机科学, 2016, 43(6): 28-31. https://doi.org/10.11896/j.issn.1002-137X.2016.06.005

PENG Rui, LI Feng-ying, CHANG Liang and MENG Yu. Symbolic ZBDD-based Judgment Method for Assembly Feasibility[J]. Computer Science, 2016, 43(6): 28-31. https://doi.org/10.11896/j.issn.1002-137X.2016.06.005

参考文献

[1] Molloy E,Yang H,Browne J.Feature-based Modeling in Design for Assembly [J].International Journal of Computer Integrated Manufacturing,1993,6(12):119-125
[2] Wang Jun-feng,Li Shi-qi,Liu Ji-hong,et al.Computer AidedAssembly Planning:a Survey [J].Journal of Engineering Graphics,2005,26(2):1-6(in Chinese) 王俊峰,李世其,刘继红,等.计算机辅助装配规划研究综述 [J].工程图学学报,2005,26(2):1-6
[3] Uma R N,Wein J,Williamson D P.On the Relationship between Combinatorial and LP-Based Lower Bounds for NP-hard Sch-eduling Problems [J].Theoretical Computer Science,2006,361(2):241-256
[4] Fazio D T,Whitney D E.Simplified Generation of All Mechanical Assembly Sequences [J].IEEE Journal Robotics and Automation,1987,3(6):640-658
[5] de Mello L S H,Sanderson A C.A Correct and Complete Algorithm for Mechanical Assembly Sequences [J].IEEE Transaction on Robotics and Automation,1991,7(2):228-240
[6] Bryant R E.Symbolic Boolean Manipulation with Ordered Binary Decision Diagram [J].ACM Computing Surverys,1992,24(3):293-318
[7] Xu Zhou-bo,Gu Tian-long,Zhao Ling-zhong.A Novel Symbolic ADD Algorithm for Maximum Flow in Networks [J].Journal on Communications,2005,26(2):1-8(in Chinese) 徐周波,古天龙,赵岭忠.网络最大流问题的一种新的符号ADD求解算法 [J].通信学报,2005,26(2):1-8
[8] Luiz S,Homen D M,Sanderson A C.AND/OR Graph Representation of Assembly Plans [J].IEEE Transactions on Robo-tics and Automation,1990,6(2):188-198
[9] Gu Tian-long,Liu Hua-dong.Symbolic OBDD-based techniquefor generating assembly sequences [J].Computer Integrated Manufacturing Systems,2008,14(2):321-328(in Chinese) 古天龙,刘华东.基于符号有序二叉决策图的装配序列生成技术 [J].计算机集成制造系统,2008,14(2):321-328
[10] Minato S.Zero-suppressed BDDs and Their Applications [J].International Journal on Software Tools for Technology Transfer,2001,3(2):156-170
[11] Li Feng-ying,Gu Tian-long,Chang Liang,et al.Timed Petri and ZBDD Based Approach for Assembly Sequence Planning [J].Computer Science,2012,39(2):170-174(in Chinese) 李凤英,古天龙,常亮,等.一种基于赋时Petri网和ZBDD的装配序列规划方法 [J].计算机科学,2012,39(2):170-174
[12] Gu Tian-long,Xu Zhou-bo,Yang Zhi-fei.Symbolic OBDD Representations for Mechanical Assembly Sequences [J].Computer-Aided Design,2008,40(4):411-421
[13] Hu Min,Wang Yan-wei,Nie Bin,et al.Assembly SequencePlanning Based on Contact-Relation Analysis [J].Journal of Computer-Aided Design & Computer Graphics,2014,26(8):1374-1384(in Chinese) 胡敏,王彦伟,聂斌,等.基于接触关系分析的装配序列规划 [J].计算机辅助设计与图形学学报,2014,26(8):1374-1384
[14] Homem D E,Mello L S,Sanderson A C.Representation of Mechanical Assembly Sequence [J].IEEE Transactions on Robo-tics and Automation,1991,7(2):211-227
[15] Gottipolu R B,Ghost K.A Simplified and Efficient Representation for Evaluation and Selection of Assembly Sequences [J].Computer in Industry,2003,50(2):251-264
[16] Gottipolu R B,Ghosh K.An Integrated Approach to the Gene-ration of Assembly Sequences [J].International Journal of Computer Application in Technology,1995,8(3):125-138

Metrics

Viewed

Full text

Abstract

Cited

Shared

Discussed