前言 1
绪论 1
理论篇 31
第一章 技能测评模型 31
第一节 相关理论 31
第二节 技能、测量和综合评价 35
第三节 基础技能指标测量模型 45
第二章 技能系统建模方法 48
第一节 基本概念 48
第二节 系统建模 50
第三章 形式化表示与推理 58
第一节 描述逻辑与时序描述逻辑 59
第二节 特性时序语言? 66
技术篇 81
第四章 基于文件解析器的信息获取方法 81
第一节 HTML文件解析器 81
第二节 RTF文件解析器 112
第三节 直接文件分析法 122
第五章 基于自动化技术的信息获取方法 126
第一节 自动化技术概述 126
第二节 自动化的内部机制 129
第三节 IT持能测评中的自动化技术应用 159
第六章 过程信息获取方法 163
第一节 浏览信息的获取 163
第二节 Windows底层机制的监控 172
应用篇 182
第七章 IT技能训练导师系统iTutor 182
第一节 智能导师系统 182
第二节 教育代理 198
第一节 结构与功能 213
第八章 IT技能测评系统iTAS 213
第二节 辅助命题系统 216
测评自动化研究新进展 221
第九章 程序自动测评系统 221
第一节 正确性测评 223
第二节 可行性测评 232
第十章 基于CAA数据库的知识发现 238
第一节 知识发现与数据挖掘概述 238
第二节 多概念层次上基于赋范划分距离的分类算法 244
附录 与CAA研究相关的在线资源表 251
参考文献 256