基于AJAX和自动推理技术构建交互式数学Web服务  

Interactive system of mathematical Web services based on AJAX and automated reasoning technologies

作　　者：曾振柄[1] 陈良育[1] 张骏[1] 符红光[2] 

机构地区：[1]华东师范大学软件学院,上海200062 [2]中国科学院成都计算机应用研究所,成都610041

出　　处：《计算机应用》2007年第9期2239-2241,2252,共4页journal of Computer Applications

基　　金：国家自然科学基金资助项目(10471044);国家973计划项目(2004CB318003)

摘　　要：数学辅助学习平台一直是数学教育和计算机领域的研究热点。传统设计方法在教学互动、智能教育和界面友好性等环节存在若干制约因素。集成领先的AJAX思想和成熟的自动推理算法,提出新的数学Web服务系统设计方法,辅以MathML数学表示语言等多项先进技术,构建一个交互式数学Web服务学习平台。实际运行结果表明,平台具有良好的表现形式和运行性能,为使用者提供一个良好的交互式学习环境。The aided educational system of mathematics is a hot and crucial research topic in mathematical education and computer science. In this paper we showed a method to build mathematics Web services through integrating the newly developed technology Asynchronous JavaScript And XML （AJAX） with automated reasoning tools like the symbolic algebra and dynamic geometry. We investigated some typical interactive learning scenarios and proposed a Perl format to describe the process. The scripts of this format can be automatically transformed into MathML format. Using the JavaScript commands embedded in the MathML files the Ajax engine enabled the users to interact with the server. The JavaScript also communicated with the automated reasoning programs in server and client machines. The experimental result shows this system can etiffciently help students to learn mathematics in a straightforward and funny mode.

关 键 词：AJAX WEB SERVICE 自动推理 数学辅助学习 MATHML 

分 类 号：TP181[自动化与计算机技术—控制理论与控制工程]