首页--工业技术论文--自动化技术、计算机技术论文--自动化基础理论论文--人工智能理论论文

基于有穷自动机的网络学习活动智能导航服务模型与算法研究

中文摘要第1-5页
英文摘要第5-10页
1 绪论第10-26页
   ·问题的提出及研究意义第10-12页
     ·问题的提出第10-11页
     ·研究的意义第11-12页
   ·国内外研究现状第12-20页
     ·数字化学习支撑平台的研究现状第12-18页
     ·约束满足问题的研究现状第18-20页
   ·本文研究工作的主要内容和技术路线第20-22页
     ·研究目的和主要内容第20页
     ·本文研究工作的技术路线第20-21页
     ·可行性分析第21-22页
   ·论文结构第22-26页
2 调度与约束满足问题的理论研究第26-46页
   ·引言第26页
   ·调度的基础理论第26-30页
     ·调度的定义第26-27页
     ·作业的属性第27-28页
     ·处理机环境第28-29页
     ·常见的目标函数第29页
     ·一个简单的示例第29-30页
   ·调度问题的求解方法第30-35页
     ·经典调度算法第30-31页
     ·智能调度算法第31-35页
   ·约束满足问题CSP 模型第35-36页
     ·问题的定义第35-36页
     ·问题的分类第36页
   ·约束满足问题的求解算法第36-44页
     ·CSP 求解的经典算法第36-38页
     ·CSP 回溯算法的改进策略第38-40页
     ·局部搜索算法第40-42页
     ·逻辑方法第42页
     ·代数方法第42-43页
     ·联结主义方法第43-44页
   ·本章小结第44-46页
3 学习活动调度的 CSP 模型第46-58页
   ·引言第46页
   ·建立模型的准备工作第46-51页
     ·网络学习活动的特征分析第46-47页
     ·网络学习过程的形式化与评价指标第47-49页
     ·调度问题的CSP 转换方法第49-51页
   ·建立模型第51-56页
     ·基本思想第51-52页
     ·基础模型第52-53页
     ·扩展的模型第53-55页
     ·模型的有效性分析第55-56页
   ·本章小结第56-58页
4 基于有穷自动机的 CSP 求解算法第58-76页
   ·引言第58页
   ·自动机的构造第58-64页
     ·总体思路第58-59页
     ·语法设计及相关定义第59-61页
     ·非确定性有穷自动机构造算法第61-63页
     ·具有最小状态的有穷自动机构造算法第63-64页
   ·基于自动机的确定性算法第64-66页
     ·算法设计第64-65页
     ·改进策略的分析第65-66页
   ·基于自动机的启发式算法第66-70页
     ·基本思路第66-67页
     ·算法实现步骤及方法第67-70页
   ·实验与评估第70-74页
     ·实验环境第70-71页
     ·实验结果与分析第71-74页
   ·本章小结第74-76页
5 特定网络教学模式下的求解算法第76-92页
   ·引言第76页
   ·网络教学模式分析第76-80页
   ·任务合作型网络教学模式的调度算法第80-87页
     ·调度模型定义第80-81页
     ·调度算法第81-84页
     ·实验结果与分析第84-87页
   ·其它网络教学模式下的调度算法第87-89页
     ·具有任务前后关系的合作型网络学习模式第87-88页
     ·单人网络学习模式第88-89页
   ·本章小结第89-92页
6 应用平台的设计与实现第92-106页
   ·引言第92页
   ·应用平台的体系结构第92-98页
     ·媒体素材层第93-94页
     ·本体层第94-97页
     ·应用服务层第97-98页
   ·智能学习导航服务的实现方法第98-105页
     ·建立知识本体库第98-102页
     ·建立学习活动层第102-104页
     ·学习活动的智能规划与调度第104-105页
   ·本章小结第105-106页
7 结论与展望第106-110页
   ·主要结论第106-107页
   ·下一步工作的展望第107-110页
致谢第110-112页
参考文献第112-122页
附录第122-123页
 A. 作者在攻读学位期间发表的论文目录第122页
 B. 作者在攻读学位期间取得的科研成果目录第122-123页

论文共123页,点击 下载论文
上一篇:基于场景外观建模的移动机器人视觉闭环检测研究
下一篇:大规模分布式可信监控系统研究