【摘 要】
：
加权约束满足问题(WCSP)是一类软约束满足问题.给出WCSP的代数决策图(ADD)描述,以及基于ADD的两种符号求解算法.首先,通过对变量和变量域值的二进制编码,给出软约束图的ADD表
【机 构】
：
西安电子科技大学电子工程学院,桂林电子科技大学计算机科学与工程学院
论文部分内容阅读
加权约束满足问题(WCSP)是一类软约束满足问题.给出WCSP的代数决策图(ADD)描述,以及基于ADD的两种符号求解算法.首先,通过对变量和变量域值的二进制编码,给出软约束图的ADD表示.其次,将分支定界搜索算法与桶消元算法及符号ADD技术相结合,在静态变量序下,利用结点一致性预处理技术,对WCSP问题进行符号ADD求解.通过引入有向弧一致性计数技术提高符号ADD算法的搜索下界,对符号ADD求解算法作了改进.最后,对大量随机生成的测试用例进行实验分析.结果表明,文中算法在性能上明显优于带有存在有向弧一致性或结点一致性预处理技术的具有前向检查功能的深度优先分支定界搜索算法.
其他文献
在内径90?mm的冷模加压流化床实验装置上,以4种不同粒径范围0.15～0.17、0.2～0.22(Geldart A类颗粒)、0.36～0.4、0.4～0.45?mm(Geldart B类颗粒)的石英砂为实验物料,在压力(0.1～4.5?
随着功率变换器向高效率、高功率密度方向的发展，如何缩小高频磁性元件的体积越来越重要。但高频磁性材料的饱和磁密限制了磁性元件，尤其是大电流直流电感体积的减小。除了进一
商业地产之所以会成为亮点这与它具有高收益的特点是密切相关的,然而收益率的确定是商业地产估价中最棘手的问题.
研究了四种不同二次时效热处理制度对β型阻燃钛合金Ti40力学性能的影响，并分析合金的微观组织。结果表明，延长550℃时效保温时间，合金塑性降低明显；时效温度从550℃提高到70
11月16日7时25分许,小学生袁立萨在校门口与同学追逐玩耍,一不小心打了个趔趄。此时,一辆匆匆驶过的红色小轿车突然把他卷入车底,袁立萨命悬一线。危急时刻,骑车路过的师大幼
A new fluorescent method was developed based on the ulifloxacin-europium（Ⅲ）-sodium dodecylbenzene sulfonate system for the determination of ulifloxacin,the activ
在室温下以等径弯曲通道变形(ECAP)技术制备超细晶工业纯钛,利用光学显微镜(OM)和透射电子显微镜(TEM)研究室温ECAP变形纯钛微观组织演变过程,并讨论纯钛室温ECAP变形的显微
本文以煤矿生产中瓦斯治理的关键技术为研究对象，探讨了建立完善的通风系统、瓦斯抽采、监测监控系统及管理系统四项关键技术处理思路，经过长时间的实践，保证了矿井的安全生产。
基于有限单元法，运用ANSYS商业软件包建立了7B50铝合金直接水冷法半连续铸造过程的数值模型。根据现场铸造试验采集的温度数据，利用反算法确定了铸造过程的边界冷却条件。
伴随我国国有经济的不断增长,我国煤矿事业也迅速发展起来.而对于我国煤矿机电质量标准化与事故预防管理来说,其不仅仅发展了自身的设备与技术,还提供了自身的生产价值与质量