基于网络数据共享的平面几何自动推理系统的研究
| 摘要 | 第1-6页 |
| Abstract | 第6-7页 |
| 目录 | 第7-10页 |
| Contents | 第10-13页 |
| 第一章 绪论 | 第13-21页 |
| ·研究背景 | 第13-15页 |
| ·平面几何教学的意义 | 第13-14页 |
| ·软件的网络化发展 | 第14-15页 |
| ·研究的历史与现状 | 第15-19页 |
| ·几何软件的历史和现状 | 第15-17页 |
| ·平面几何自动推理的历史和现状 | 第17-19页 |
| ·研究的选题、意义及主要内容 | 第19-21页 |
| 第二章 研究的理论基础 | 第21-27页 |
| ·教育软件智能平台 | 第21-22页 |
| ·E-Learning | 第22页 |
| ·协作学习理论 | 第22-23页 |
| ·混合学习理论 | 第23-24页 |
| ·Web2.0 | 第24-25页 |
| ·本章小结 | 第25-27页 |
| 第三章 系统的总体研究 | 第27-33页 |
| ·问题的细化 | 第27-28页 |
| ·现有技术方案概览 | 第28-29页 |
| ·ActiveX | 第28页 |
| ·Applet | 第28-29页 |
| ·SVG | 第29页 |
| ·研究方案的选择 | 第29-30页 |
| ·相关概念解析 | 第30-32页 |
| ·Silverlight | 第30-31页 |
| ·XAML | 第31-32页 |
| ·本章小结 | 第32-33页 |
| 第四章 服务器端的研究与实现 | 第33-49页 |
| ·服务器端总体结构 | 第33页 |
| ·技术概念解析 | 第33-35页 |
| ·WCF | 第34页 |
| ·LINQ to SQL | 第34-35页 |
| ·解决的主要问题 | 第35-47页 |
| ·自动推理 | 第35-41页 |
| ·数据的传输 | 第41-47页 |
| ·本章小结 | 第47-49页 |
| 第五章 客户端的研究与实现 | 第49-67页 |
| ·客户端总体结构 | 第49-50页 |
| ·技术概念解析 | 第50-52页 |
| ·Canvas | 第50页 |
| ·Shape | 第50-51页 |
| ·数据绑定 | 第51-52页 |
| ·解决的主要问题 | 第52-66页 |
| ·动态几何 | 第52-60页 |
| ·推理的输入与显示 | 第60-63页 |
| ·序列化 | 第63-65页 |
| ·数据的传输 | 第65-66页 |
| ·本章小结 | 第66-67页 |
| 第六章 基于网络数据共享的应用 | 第67-71页 |
| ·动态几何图形与推理数据的分享 | 第67-68页 |
| ·几何协作平台 | 第68-70页 |
| ·本章小结 | 第70-71页 |
| 结论 | 第71-73页 |
| 主要研究工作 | 第71页 |
| 论文创新之处 | 第71-72页 |
| 展望 | 第72-73页 |
| 参考文献 | 第73-76页 |
| 攻读学位期间发表的论文 | 第76-77页 |
| 致谢 | 第77页 |
