基于网络数据共享平面几何自动推理系统探讨

平面几何自动推理系统是利用计算机软件开发技术,将数学机械化领域中定理机器证实的几何自动推理的研究成果转化为软件的产物。平面几何自动推理系统目前主要应用在数学教育方面,它使教育软件变得智能化,它的出现具有深刻的理论和实际意义。平面几何是初中数学中的重要内容,学习它可以锻炼学生的思维,提高学生的能力,在学生的长大中有重要作用。平面几何自动推理系统为教师和学生学习平面几何知识、研究平面几何问题提供了一个现代化的工具,教师可以使用它辅助教学,创新试题,启发与调动学生发散思维,学生可以使用它进行研究性学习。当前的平面几何自动推理软件基本都是单机软件,存在着一定的局限性。本文着眼于当前软件与互联网的发展趋势,根据相关的学习理论,研究如何在网络环境下给教师和学生提供方便快捷的动态几何以及自动推理服务。具体来说,本文基于Silverlight和Asp.Net研究了如何在浏览器中实现动态几何、推理的输入与呈现；研究了在网络环境中传递系统所需的各种图形及推理数据的方式；研究了在服务器运行的平面几何自动推理引擎；研究了图形及推理数据的网络共享机制。根据这些研究的结果开发实现了一个基于网络数据共享的平面几何自动推理系统的模型,并在模型中实现了两个较为实用的教学应用。本文的研究,为具有自动推理功能的网络平面几何软件的开发提供了切实可行的方法和参照。【关键词】：平面几何自动推理几何软件动态几何数据共享学习平台
【论文提纲】：摘要5-6Abstract6-7目录7-10Contents10-13第一章绪论13-211.1研究背景13-151.1.1平面几何教学的意义13-141.1.2软件的网络化发展14-151.2研究的历史与现状15-191.2.1几何软件的历史和现状15-171.2.2平面几何自动推理的历史和现状17-191.3研究的选题、意义及主要内容19-21第二章研究的理论基础21-272.1教育软件智能平台21-222.2E-Learning222.3协作学习理论22-232.4混合学习理论23-242.5Web2.024-252.6本章小结25-27第三章系统的总体研究27-333.1问题的细化27-283.2现有技术方案概览28-293.2.1ActiveX283.2.2Applet28-293.2.3SVG293.3研究方案的选择29-303.4相关概念解析30-323.4.1Silverlight30-313.4.2XAML31-323.5本章小结32-33第四章服务器真个|教学论文范文|研究与实现33-494.1服务器端总体结构334.2技术概念解析33-354.2.1WCF344.2.2LINQtoSQL34-354.3解决的主要问题35-474.3.1自动推理35-414.3.2数据的传输41-474.4本章小结47-49第五章客户真个|教学论文范文|研究与实现49-675.1客户端总体结构49-505.2技术概念解析50-525.2.1Canvas505.2.2Shape50-515.2.3数据绑定51-525.3解决的主要问题52-665.3.1动态几何52-605.3.2推理的输入与显示60-635.3.3序列化63-655.3.4数据的传输65-665.4本章小结66-67第六章基于网络数据共享的应用67-716.1动态几何图形与推理数据的分享67-686.2几何协作平台68-706.3本章小结70-71结论71-73主要研究工作71论文创新之处71-72展望72-73参考文献73-76攻读学位期间发表的论文76-77致谢77