论文部分内容阅读
装配序列规划（ASP）是一种典型的组合优化问题，符号约束求解ASP的一种通用求解技术，也是解决该问题的一种有效途径。消除ASP解的对称性有助于进一步提高ASP问题的约束求解效率。文章在装配序列问题的CSP符号BDD模型基础上，给出了ASP问题的对称性破坏技术。首先，在CSP符号BDD模型中增加Lex-Leader约束和值优先约束，破坏CSP中的对称解，然后结合回溯算法进行符号OBDD求解，得到可行装配序列。实验证明，对称性破坏对求解装配序列的效率有一定提高。