首页--工业技术论文--自动化技术、计算机技术论文--自动化基础理论论文--人工智能理论论文

基于分解的正向相容算法研究

提要第1-6页
第1章 绪论第6-8页
   ·研究背景及现状第6-7页
   ·本文主要工作第7-8页
第2章 约束满足问题第8-15页
   ·约束满足第8-9页
   ·主流的约束求解算法第9-10页
     ·生成测试算法第9页
     ·基于回溯的搜索算法第9页
     ·相容性算法第9-10页
   ·经典的正向相容算法第10-12页
   ·约束分解第12-15页
第3章 基于分解的 SBT-FC 算法第15-28页
   ·理论基础第15-17页
   ·SBT-FC 算法第17-23页
     ·算法描述第17-21页
     ·理论证明第21-23页
   ·SBT-FC 的扩展算法 ESBT-FC 算法第23-28页
     ·算法描述第23-26页
     ·理论证明第26-28页
第4章 实验结果及结论第28-33页
第5章 总结及展望第33-35页
参考文献第35-37页
致谢第37-38页
摘要第38-41页
Abstract第41-43页

论文共43页,点击 下载论文
上一篇:汽车发动机故障诊断专家系统原型开发
下一篇:基于无线传感器网络的列车空调数据采集分析系统研究