基于多色集合的装配序列形式化推理方法  

Formalization reasoning method for assembly sequences based on polychromatic sets

作　　者：赵姗姗[1] 李宗斌[1] 

机构地区：[1]西安交通大学机械制造系统工程国家重点实验室,陕西西安710049

出　　处：《计算机集成制造系统》2008年第8期1579-1585,1616,共8页Computer Integrated Manufacturing Systems

基　　金：国家自然科学基金资助项目(60773117);陕西省科学技术研究发展计划资助项目(2006K05-G20)~~

摘　　要：为减小装配序列的求解空间,提出了一种基于多色集合理论的装配序列的形式化推理方法,并建立了零件基本配合约束与自由度之间关系的多色集合矩阵。采用多色集合中的体与元素之间的模块布尔矩阵,描述产品的零件组与装配约束的对应关系,建立装配约束关系的方程组和联接件的装配数学模型,并给出求取约束关系方程组的算法。以装配约束关系方程组作为筛选可行装配序列的充要条件,提出可行装配序列的推理算法。最后以实例对该算法进行了说明。A new formal reasoning method for assembly sequences based on polychromatic sets theory aiming to reduce the solution space was presented. Firstly, a matrix was introduced to describe the relationships between the basic part-matching constraint and degrees of freedom. Secondly, the polychromatic matrix of entirety and element was used to describe the corresponding relationship between the parts and assembly constraints, and assembly constraints models and connector assembly models were also constructed. The solution method for constraint equations was provided, and the reasoning algorithm of feasible sequence was presented. Finally, an application case was provided to demonstrate the effectiveness of the method.

关 键 词：装配序列 约束模型 形式化推理 多色集合理论 自由度 

分 类 号：TP391[自动化与计算机技术—计算机应用技术]