【摘 要】
：
桶消元算法是求解约束满足问题的一种典型推理方法。针对桶消元算法面临的状态空间爆炸问题,将有序二叉决策图（OBDD）技术与该算法结合起来,给出了约束满足问题的一种求解算法。
【机 构】
：
西安电子科技大学电子工程学院,桂林电子科技大学计算机科学与工程学院
【基金项目】
：
国家自然科学基金（60963010,60903079,61063002）, 广西自然科学基金重点项目（0832006Z）资助
论文部分内容阅读
桶消元算法是求解约束满足问题的一种典型推理方法。针对桶消元算法面临的状态空间爆炸问题,将有序二叉决策图（OBDD）技术与该算法结合起来,给出了约束满足问题的一种求解算法。通过对约束满足问题中变量和域值的编码,将CSP问题转化为命题可满足性问题,给出了约束满足问题的OBDD表示方法;基于桶消元的算法思想,在约束满足问题的OBDD表示的基础上,利用OBDD的＂与＂操作和＂量化＂操作等,避免了传统算法中状态的显式枚举,隐式地实现了对CSP的求解。对大量随机生成的测试用例进行了实验分析,结果表明提出的符号算法明显
其他文献
本文以全国教育科学规划基金项目立项为视角,分析了近十年广西教育科学研究发展的状况,研究发现:广西科研经费投入不足;立项总体层次不高,主要分布在国家一般、教育部重点及
2020年初,由于疫情影响,国家开展了大规模"空中课堂"网上授课,全面贯彻落实了"停课不停教,停课不停学"的教育理念。而线上教学中会出现一些教学之困,针对这些教与学的难点,本
随着时代的发展,人们对居住环境和城市生态环境的要求越来越高,传统的绿色园林项目已经难以满足现阶段的实际需求。本文从城市园林绿化工程的设计与施工存在的问题、改进策略
一、基层烟站的地位和作用基层烟站是烟叶生产政策的宣传者和执行者,是烟叶生产任务的一线组织者和落实者,是先进生产技术的普及者和推动者,同时也是烟草企业联系烟农和沟通
现有的MU-MIMO系统一般采用基于正交投影的方法来处理用户信道,即通过增大用户最小的信道增益来最大化最差一路性能,然而这种方法在组建并行信道时减少了信道增益。为了减少
如何有效预防电力生产事故,加强企业安全生产文化建设是不可回避的重要课题,分析了供电企业安全生产文化现状,探索了企业安全文化建设的实践和经验,探讨了通过营造良好的安全
设计主要针对在城市复杂环境下进行场坪爆破,通过爆破方案选定及孔网参数的设计,实现控制爆破震动和爆破飞石、磙石的危害,确保爆破施工安全、高效、顺利进行.
联跳回路可以将继电保护所保护的设备自身以外的开关跳开,在缩短停电距离等方面的作用至关重要。变电站主变保护校验时,联跳回路与正常运行时的功能有很大不同,相关压板的正
提出了一种新颖的基于正交投影的分类器算法。该算法将测试样本正交投影到由各类训练样本生成的子空间中,并计算测试样本到各子空间的距离,以此作为分类的依据。该算法不需要计算样本协方差矩阵的逆阵,因此特别适合于小样本问题。在ORL人脸库上的实验结果表明,该算法的模式识别率高于传统分类器方法。
约束满足问题是一个强有力的知识表示框架,可以有效地解决许多问题。由于约束满足问题一般情况下是NP难度的问题,因此通过约束分解来降低计算的开销具有十分重要的意义。主要