| 摘要 | 第1-10页 |
| ABSTRACT | 第10-14页 |
| 目录 | 第14-18页 |
| 第一章 绪论 | 第18-30页 |
| ·研究背景与意义 | 第18-23页 |
| ·传统Online Judge的缺陷 | 第18-20页 |
| ·个性化online judge的设想 | 第20-21页 |
| ·知识检测与分析系统的研究 | 第21-23页 |
| ·研究问题及解决方法 | 第23-27页 |
| ·学生模型的构建 | 第23-24页 |
| ·知识检测的实现 | 第24-26页 |
| ·知识分析的实现 | 第26-27页 |
| ·论文的主要工作 | 第27页 |
| ·论文的组织结构 | 第27-30页 |
| 第二章 相关技术及研究 | 第30-48页 |
| ·知识点语义网络及其相关理论 | 第30-39页 |
| ·贝叶斯网络理论 | 第30-33页 |
| ·知识点语义网络的提出 | 第33-35页 |
| ·知识点语义网络的推理 | 第35-39页 |
| ·本体论 | 第39-45页 |
| ·本体的定义及其描述语言OWL | 第39-41页 |
| ·OWL本体模型的元模型和实例模型 | 第41-44页 |
| ·Protégé平台 | 第44-45页 |
| ·本体映射 | 第45-48页 |
| ·本体映射的主要方法 | 第45-46页 |
| ·OWL语言对本体映射的支持 | 第46-48页 |
| 第三章 学生模型的构建 | 第48-74页 |
| ·学生模型的主要特征 | 第48-49页 |
| ·学生模型中关于知识点语义网络的问题 | 第49-59页 |
| ·知识点语义网络的结构学习 | 第49-54页 |
| ·知识点语义网络的参数学习 | 第54-59页 |
| ·基于本体方法构建学生模型 | 第59-68页 |
| ·学生模型元模型的构建 | 第60-65页 |
| ·学生模型实例模型的构建 | 第65-68页 |
| ·用PROT(?)G(?)平台编辑学生模型 | 第68-74页 |
| ·用Protégé-OWL编辑器编辑学生模型元模型 | 第68-73页 |
| ·用Protégé-OWL API编辑学生模型实例模型 | 第73-74页 |
| 第四章 知识点语义网络上知识检测与分析的实现 | 第74-88页 |
| ·知识点语义网络上的知识检测 | 第74-83页 |
| ·知识点语义网络转换为联合树 | 第75-79页 |
| ·在联合树上实现消息传播 | 第79-83页 |
| ·知识点语义网络上的知识分析 | 第83-88页 |
| ·本体映射的应用 | 第83-84页 |
| ·知识点语义网络上知识分析的实现 | 第84-88页 |
| 第五章 知识检测与分析系统原型的实现 | 第88-98页 |
| ·个性化ONLINE JUDGE与知识检测与分析系统 | 第88-90页 |
| ·知识检测与分析系统原型的实现 | 第90-94页 |
| ·运行结果比较 | 第94-98页 |
| 第六章 结束语 | 第98-102页 |
| ·研究工作总结 | 第98-100页 |
| ·研究贡献及创新 | 第100页 |
| ·未来工作展望 | 第100-102页 |
| 参考文献 | 第102-108页 |
| 攻读硕士期间主要研究成果 | 第108-110页 |
| 致谢 | 第110-112页 |
| 附件一 | 第112-113页 |
| 附件二 | 第113-115页 |
