首页 | 本学科首页   官方微博 | 高级检索  
     

基于符号零压缩二叉决策图的装配可行性判定方法
引用本文:彭瑞,李凤英,常亮,孟瑜.基于符号零压缩二叉决策图的装配可行性判定方法[J].计算机科学,2016,43(6):28-31, 49.
作者姓名:彭瑞  李凤英  常亮  孟瑜
作者单位:桂林电子科技大学广西可信软件重点实验室 桂林541004,桂林电子科技大学广西可信软件重点实验室 桂林541004,桂林电子科技大学广西可信软件重点实验室 桂林541004,桂林电子科技大学广西可信软件重点实验室 桂林541004
基金项目:本文受广西高校科研项目(YB2014125),桂林电子科技大学研究生教育创新计划资助
摘    要:为了扩大装配序列规划的求解规模并提高求解效率,提升装配自动化水平,给出了装配体联接矩阵和干涉矩阵的零压缩二叉决策图描述,建立了基于符号零压缩二叉决策图的装配操作可行性判定方法。基于该方法,可以高效地求解出一个装配体的可行装配操作。结合实例验证了基于符号零压缩二叉决策图的装配体模型和可行装配操作判定方法的正确性和可行性。

关 键 词:装配可行性  装配体联接矩阵  装配体干涉矩阵  零压缩二叉决策图
收稿时间:5/9/2015 12:00:00 AM
修稿时间:2015/10/3 0:00:00

Symbolic ZBDD-based Judgment Method for Assembly Feasibility
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, 49.
Authors:PENG Rui  LI Feng-ying  CHANG Liang and MENG Yu
Affiliation:Guangxi Key Laboratory of Trusted Software,Guilin University of Electronic Technology,Guilin 541004,China,Guangxi Key Laboratory of Trusted Software,Guilin University of Electronic Technology,Guilin 541004,China,Guangxi Key Laboratory of Trusted Software,Guilin University of Electronic Technology,Guilin 541004,China and Guangxi Key Laboratory of Trusted Software,Guilin University of Electronic Technology,Guilin 541004,China
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.
Keywords:Assembly feasibility  Assembly connection matrix  Assembly interference matrix  Zero-suppressed binary decision diagram
点击此处可从《计算机科学》下载全文
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号