| 中文摘要 | 第1页 |
| 英文摘要 | 第2-6页 |
| 第一章 绪论 | 第6-8页 |
| 1．1 选题背景及意义 | 第6-7页 |
| 1．2 课题内容 | 第7-8页 |
| 第二章 CAI研究 | 第8-36页 |
| 2．1 CAI的发展 | 第8-9页 |
| 2．1．1 计算机教育应用的理论基础 | 第8页 |
| 2．1．2 超媒体技术与建构主义 | 第8-9页 |
| 2．1．3 超媒体技术与ICAI | 第9页 |
| 2．2 超媒体与ICAI的结合 | 第9-11页 |
| 2．3 适于ICAI的超媒体模型研究 | 第11-24页 |
| 2．3．1 领域知识的特性分析 | 第11-13页 |
| 2．3．1．1 知识点间的相互关系 | 第11-12页 |
| 2．3．1．2 知识点的形式表示 | 第12-13页 |
| 2．3．2 Dexter参考模型 | 第13-16页 |
| 2．3．2．1 存储层 | 第13-15页 |
| 2．3．2．2 单元内部层 | 第15页 |
| 2．3．2．3 运行时间层 | 第15-16页 |
| 2．3．3 Dexter模型的扩展 | 第16-20页 |
| 2．3．3．1 数据模型的概念 | 第16-17页 |
| 2．3．3．2 Dexter模型的扩展 | 第17-19页 |
| 2．3．3．3 形式说明 | 第19-20页 |
| 2．3．4 领域知识库模型 | 第20-24页 |
| 2．3．4．1 提供预定义信息单元类型（NT） | 第20-22页 |
| 2．3．4．2 提供预定义关系类型（RT） | 第22-23页 |
| 2．3．4．3 提供预定义链类型（LT）描述知识点关系 | 第23页 |
| 2．3．4．4 增加特殊结点和链的定义 | 第23-24页 |
| 2．4 超媒体与ICAI的结合方式 | 第24-30页 |
| 2．4．1 超媒体与AI的结合方式 | 第24页 |
| 2．4．2 超媒体与ICAI的结合方式 | 第24-30页 |
| 2．4．2．1 系统模型 | 第25-29页 |
| 2．4．2．1．1 领域模型 | 第25-26页 |
| 2．4．2．1．2 学生模型（用户模型） | 第26页 |
| 2．4．2．1．3 教师模型 | 第26-28页 |
| 2．4．2．1．4 自适应引擎 | 第28-29页 |
| 2．4．2．2 系统过程 | 第29-30页 |
| 2．4．2．3 模型特点 | 第30页 |
| 2．5 系统实现需考虑的问题 | 第30-33页 |
| 2．5．1 领域知识模型的实现方案 | 第30-33页 |
| 2．5．1．1 领域知识库的实现结构 | 第30-31页 |
| 2．5．1．2 系统特点 | 第31-33页 |
| 2．5．2 用户模型、 教师模型、自适应引擎的实现方案 | 第33页 |
| 2．5．3 运行时间层的考虑 | 第33页 |
| 2．6 软件工程实践课CAI系统 | 第33-35页 |
| 2．6．1 方法的静态内容（结构描述） | 第34页 |
| 2．6．2 方法的动态描述 | 第34-35页 |
| 2．7 错误知识库 | 第35页 |
| 2．8 总结 | 第35-36页 |
| 第三章 数据流图工具的研制 | 第36-53页 |
| 3．1 功能需求 | 第36页 |
| 3．2 图论基础 | 第36-37页 |
| 3．3 数据流图的形式化 | 第37-40页 |
| 3．3．1 数据流图的形式化定义 | 第38页 |
| 3．3．2 数据流图规范的形式化 | 第38-40页 |
| 3．4 画图方法的研究及在数据流图自动画图上的应用 | 第40-49页 |
| 3．4．1 画图方法概述 | 第40-45页 |
| 3．4．1．1 图的分类及画图准则 | 第40-41页 |
| 3．4．1．2 画图方法 | 第41-45页 |
| 3．4．1．2．1 算法方法 | 第41-42页 |
| 3．4．1．2．2 断言方法 | 第42-44页 |
| 3．4．1．2．3 算法方法与断言方法的比较 | 第44-45页 |
| 3．4．2 数据流图画图算法研究 | 第45-49页 |
| 3．4．2．1 数据流图的语义分析 | 第45-46页 |
| 3．4．2．2 数据流图的画图算法 | 第46-48页 |
| 3．4．2．3 总结 | 第48-49页 |
| 3．5 数据流图的工具设计 | 第49-53页 |
| 3．5．1 数据流图的数据结构 | 第49-50页 |
| 3．5．2 系统的类结构设计 | 第50-51页 |
| 3．5．3 部分内容的算法 | 第51-53页 |
| 第四章 结论 | 第53-55页 |
| 附录 | 第55-57页 |
| 参考文献 | 第57-62页 |
| 致谢 | 第62-63页 |
| 攻读学位期间发表的学术论文 | 第63页 |
