%0 Journal Article
%T 基于多色集合的装配序列形式化推理方法
%A 赵姗姗
%A 李宗斌
%J 计算机集成制造系统
%P 0-0
%D 2008
%X 为减小装配序列的求解空间，提出了一种基于多色集合理论的装配序列的形式化推理方法，并建立了零件基本配合约束与自由度之间关系的多色集合矩阵。采用多色集合中的体与元素之间的模块布尔矩阵，描述产品的零件组与装配约束的对应关系，建立装配约束关系的方程组和联接件的装配数学模型，并给出求取约束关系方程组的算法。以装配约束关系方程组作为筛选可行装配序列的充要条件，提出可行装配序列的推理算法。最后以实例对该算法进行了说明。
%K 装配序列
%K 约束模型
%K 形式化推理
%K 多色集合理论
%K 自由度
%U http://www.cims-journal.cn/CN/abstract/abstract2037.shtml