首页--工业技术论文--自动化技术、计算机技术论文--计算技术、计算机技术论文--计算机软件论文--程序语言、算法语言论文

基于约束的XML推理控制研究

摘要第1-5页
Abstract第5-8页
1 绪论第8-16页
   ·课题的研究背景、目的及意义第8页
   ·国内外研究概况第8-14页
   ·课题的主要研究工作第14-16页
2 约束推理控制体系结构第16-26页
   ·相关概念的介绍和定义第16-20页
   ·约束推理控制体系结构第20-24页
   ·小结第24-26页
3 约束的推理机制第26-36页
   ·XML 约束第26-29页
   ·敏感信息指定和约束推理第29-33页
   ·推理闭包第33-35页
   ·小结第35-36页
4 约束推理控制第36-48页
   ·逆向推理第36-39页
   ·与/或图和解图第39-46页
   ·剪枝策略第46-47页
   ·小结第47-48页
5 实验系统第48-54页
   ·概述第48页
   ·实验系统的设计第48-52页
   ·实验结果及分析第52-53页
   ·小结第53-54页
6 总结与发展第54-56页
   ·全文总结第54-55页
   ·未来展望第55-56页
致谢第56-57页
参考文献第57-63页
附录 攻读学位期间发表学术论文目录第63页

论文共63页,点击 下载论文
上一篇:蒙元时代的斡耳朵
下一篇:国外经济援助对经济增长的影响分析