【作者】 刘颖奇；

【导师】 黄勇；

【作者基本信息】 广州大学 ， 课程与教学论， 2010， 硕士

【摘要】 平面几何自动推理系统是利用计算机软件开发技术,将数学机械化领域中定理机器证明的几何自动推理的研究成果转化为软件的产物。平面几何自动推理系统目前主要应用在数学教育方面,它使教育软件变得智能化,它的出现具有深刻的理论和实际意义。平面几何是初中数学中的重要内容,学习它可以锻炼学生的思维,提高学生的能力,在学生的成长中有重要作用。平面几何自动推理系统为教师和学生学习平面几何知识、研究平面几何问题提供了一个现代化的工具,教师可以使用它辅助教学,创新试题,启发与调动学生发散思维,学生可以使用它进行研究性学习。当前的平面几何自动推理软件基本都是单机软件,存在着一定的局限性。本文着眼于当前软件与互联网的发展趋势,根据相关的学习理论,研究如何在网络环境下给教师和学生提供方便快捷的动态几何以及自动推理服务。具体来说,本文基于Silverlight和Asp.Net研究了如何在浏览器中实现动态几何、推理的输入与呈现；研究了在网络环境中传递系统所需的各种图形及推理数据的方式；研究了在服务器运行的平面几何自动推理引擎；研究了图形及推理数据的网络共享机制。根据这些研究的结果开发实现了一个基于网络数据共享的平面几何自动推理系统的模型,并在模型中实现了两个较为实用的教学应用。本文的研究,为具有自动推理功能的网络平面几何软件的开发提供了切实可行的方法和参照。更多还原

【Abstract】 Geometry automated reasoning system is the commercialization of geometry automated reasoning method in mathematics mechanization by using computer software development technology. Geometry automated reasoning systems are mainly used in mathematics education, it makes educational software become intelligent, its emergence has profound theoretical and practical significance. Plane geometry is an important part of middle school mathematics, learning it can exercise the students’thinking, improve students’ability, it plays an important role in the growth of students. Geometry automated reasoning system provides a modern tool for teachers and students to study the problem of plane geometry,teachers can use it to facilitate teaching, innovative questions, inspire and mobilize students to divergent thinking, students can use it for inquiry learning.The current geometry software mostly is old software, which have some limitations. This thesis, focusing on the current trends of software industry and internet, according to related learning theory, study how to provide dynamic geometry and automated reasoning services conveniently for teachers and students under the network environment. To be more specific, this study based on Asp.Net and Silverlight, study how to implement dynamic geometry, input and presence reasoning, study how to transfer figure and reasoning data in internet, study reasoning engine which run at sever, study how to share figure and reasoning data. According to the results of these studies, we developed a demo software of plane geometry automated reasoning system based on web data sharing, which have two useful teaching applicationThis study provides some methods and references for developing network plane geometry software which have automated reasoning function.更多还原