基于XML的智能信息处理研究
第一章 绪论 | 第1-14页 |
·研究背景与现状 | 第10-12页 |
·论文的主要内容与组织结构 | 第12-14页 |
第二章 基于XML的智能信息处理的理论基础 | 第14-25页 |
·XML语言 | 第14-19页 |
·XML的发展回顾 | 第14页 |
·XML的特点 | 第14-15页 |
·XML文档的结构 | 第15-16页 |
·XML的应用现状 | 第16-19页 |
·说明描述理论 | 第19-21页 |
·说明描述理论 | 第19页 |
·说明描述理论中的基本概念 | 第19-20页 |
·等价变换 | 第20-21页 |
·小结 | 第21页 |
·XDD语言 | 第21-25页 |
·XDD中的一些基本概念 | 第21-24页 |
·XDD中的问题表示和求解 | 第24页 |
·小结 | 第24-25页 |
第三章 基于XML的语义信息模型 | 第25-51页 |
·引言 | 第25-26页 |
·语义信息模型 | 第26-31页 |
·语义信息模型 | 第26-27页 |
·框架模型 | 第27-29页 |
·E-R模型 | 第29-31页 |
·框架到XML文档类型定义的映射 | 第31-38页 |
·引言 | 第31-32页 |
·框架模型 | 第32页 |
·根据框架模型构造DTD | 第32-36页 |
·框架模型到DTD的映射算法 | 第36-37页 |
·小结 | 第37-38页 |
·由框架模型生成XML结构模型 | 第38-45页 |
·引言 | 第38-39页 |
·XML概念模型 | 第39-40页 |
·XML结构模型 | 第40页 |
·可行性分析 | 第40-41页 |
·由框架模型生成XDD模型 | 第41-44页 |
·小结 | 第44-45页 |
·由E-R模型生成XML结构模型 | 第45-50页 |
·引言 | 第45页 |
·E-R模型 | 第45-46页 |
·可行性分析 | 第46页 |
·由E-R模型生成XML结构模型 | 第46-49页 |
·小结 | 第49-50页 |
·结论 | 第50-51页 |
第四章 高效的XML数据查询技术研究 | 第51-64页 |
·引言 | 第51页 |
·关系代数 | 第51-54页 |
·关系代数运算 | 第51-53页 |
·关系代数表达式的优化策略 | 第53-54页 |
·用查询子句表示关系代数运算 | 第54-58页 |
·可行性分析 | 第54-56页 |
·用XML子句表示关系代数表达式 | 第56-57页 |
·一个例子 | 第57-58页 |
·基于关系代数的XML查询子句求值 | 第58-63页 |
·可行性分析 | 第58-61页 |
·正确性证明 | 第61-62页 |
·一个例子 | 第62-63页 |
·小结 | 第63-64页 |
第五章 基于XML的证明论研究 | 第64-71页 |
·引言 | 第64页 |
·数理逻辑中的证明论 | 第64-65页 |
·基于XML的证明论 | 第65-68页 |
·基于XML的公理系统 | 第65-66页 |
·假言推理在XDD中的有效性和完备性 | 第66-68页 |
·基于证明论的XML问题求解 | 第68-70页 |
·求解问题的方法和步骤 | 第68-69页 |
·应用实例 | 第69-70页 |
·小结 | 第70-71页 |
第六章 基于归结原理的XML问题求解 | 第71-81页 |
·引言 | 第71页 |
·归结原理 | 第71-75页 |
·归结原理的基本理论 | 第71-72页 |
·归结原理的应用 | 第72-73页 |
·归结策略 | 第73-75页 |
·归结原理在XDD中的应用 | 第75-78页 |
·XML子句的归结子句 | 第75-76页 |
·可行性分析 | 第76-78页 |
·基于归结原理的XML问题求解 | 第78-80页 |
·求解问题的方法和步骤 | 第78页 |
·应用实例 | 第78-80页 |
·小结 | 第80-81页 |
第七章 基于XML的智能决策支持系统研究 | 第81-94页 |
·引言 | 第81-82页 |
·智能决策支持系统的基本理论 | 第82-87页 |
·决策支持系统的起源和发展 | 第82页 |
·决策支持系统的的基本结构 | 第82-85页 |
·智能决策支持系统的发展和应用 | 第85-86页 |
·语言系统的构成 | 第86-87页 |
·基于XML的智能决策支持系统 | 第87-89页 |
·系统结构 | 第87-88页 |
·语言系统 | 第88页 |
·知识系统 | 第88-89页 |
·问题处理系统 | 第89页 |
·一个基于XML的金融投资决策支持系统 | 第89-93页 |
·小结 | 第93-94页 |
结束语 | 第94-96页 |
致谢 | 第96-97页 |
参考文献 | 第97-106页 |
攻读博士学位期间完成的论文 | 第106页 |