配置设计的分级约束满足问题求解方法研究

摘要

从分析配置设计过程中约束对变量的不同作用程度入手,提出将配置求解过程作为分级约束满足问题进行处理,对约束进行分级处理,赋予不同的约束水平,以确定配置求解过程中约束满足的顺序.通过引入"活动变量"和"活动约束",对有向图中结点和弧赋予新的含义,构建了分级约束满足问题网络,采用一致性方法和基于图的传播技术相结合的方法进行网络的一致性检验和约束的传播,并提出了分级约束满足问题网络在求解过程中约束冲突的解决方法,形成了配置设计的分级约束满足问题求解方法,较好地解决了变量受多个不同强度约束条件作用时的合理赋值和约束冲突的问题.并以捆钞机产品配置为例,验证了分级约束满足问题求解方法的可行性.