广州大学计算机科学与教育软件学院计算机教育软件研究所
- 作品数：61 被引量：241H指数：8
- 相关作者：朱华伟郑焕蔡琳汤泳山赵根明更多>>
- 相关机构：温州师范学院数学与信息科学学院更多>>
- 发文基金：国家重点基础研究发展计划广州市科技攻关项目国家自然科学基金更多>>
- 相关领域：自动化与计算机技术文化科学理学一般工业技术更多>>
- 基于模板的题库平台系统被引量：1
- 2006年
- 本文在对比和总结国内外开发的数学题库系统的基础上,提出了基于模板组卷的开放题库模型。依据该模型,可以以少量信息根据用户要求生成大量不重复的题目。并将符号演算系统用于该系统,生成试题的同时,也给出相应的答案。系统还将数学公式和动态几何以组件的形式嵌入平台,通过自动化和进程间通讯来进行数据交换。
- 郭四稳
- 关键词：组卷知识点组件
- 基于用户自添加规则的自动推理程序Ⅱ被引量：2
- 2006年
- 本文设计的算法基于前推搜索法,通过对推理规则的特征化处理,有效地解决了用户自添加推理规则到推理规则库中这一技术难题,并将算法编制成了一个通用软件。对于某些规则的特殊情况如何处理,也是非常重要的。我们不可能要求用户在添加一条规则时,将其各种特殊情形也作为规则添加。本文提出的算法使得这一问题得以圆满解决。
- 郭四稳
- 关键词：包容性语句几何信息特征串
- 基于决策树分类器的归纳并行算法被引量：2
- 2006年
- 分类决策树的归纳是一种重要的数据挖掘算法。本文重点介绍了两种基于并行算法的分类决策树的构造算法,并对它们的适用性及特点作了分析。
- 郭四稳
- 关键词：决策树数据挖掘分类器
- 初中概率统计课程整合信息技术工具比较研究
- 2008年
- 就从初中概率与统计课程整合的过程中来研究分析各种信息技术工具,并比较分析出《超级画板》是最适合初中概率统计课程整合的信息技术整合工具。
- 李江峰
- 关键词：信息技术工具超级画板
- 连续归纳法的新证明及其应用举例
- 2012年
- 关于实数的连续归纳法类似于数学归纳法,它与Dedekind公理等价。基于现有的研究成果,本文给出了连续归纳法的一个新的较为简单的证明方法;举例说明了连续归纳法的广泛应用,同时也为分析推理的机械化作了一些准备。
- 李涛张景中
- 关键词：连续归纳法数学机械化
- 一种快速乘法算法——Karatsuba乘法算法被引量：2
- 2004年
- 分析了一种快速乘法算法即Karatsuba算法的原理 ,比较了它对传统算法所具有的优越性 ,提出并论证了关于该算法的一些定理 。
- 蔡风景李涛
- 关键词：整数多项式
- 数学奥林匹克与数学课程改革的基本理念
- 2008年
- 为了迎接新世纪的挑战，20世纪80年代以来，世界上很多国家和地区，纷纷出台了数学课程改革方案，如1989年美国数学教师协会颁布了一份《中小学课程与评价标准》的文件，这个标准实施后，美国数学教师协会在总结了教学中的经验与教训的基础上，
- 蔡琳
- 关键词：数学课程改革数学奥林匹克课程改革方案教师协会中小学课程
- 基于OpenGL的实验室用滑动变阻器的设计与实现
- 2007年
- 本文介绍了基于OpenGL的实验室用滑动变阻器的设计与实现技术,并介绍模板缓存在图形设计中的应用、滑动变阻器的三维可视化以及通过鼠标实现其缩放和移动等技术实现功能。
- 陈致远李传中
- 关键词：OPENGL滑动变阻器仿真纹理
- 一道关于三角形内接矩形问题的推广及应用
- 2014年
- 1985年第46届普特南数学竞赛A试有如下一道题目．题目如图1，在一个锐角三角形T中放入两个矩形R、5．设A（x）表示多边形x的面积．
- 刘洋朱华伟
- 关键词：锐角三角形数学竞赛多边形
- 《Z+Z智能教育平台》的设计与实现被引量：1
- 2004年
- 《Z+Z智能教育平台》系列软件之《三角函数》提供了程序编写功能,通过程序编写来模拟LOGO(WIN LOGO版本)中的各个动作,进而设计并实现LOGO语言部分功能.
- 饶永生
- 关键词：Z+Z智能教育平台三角函数程序设计建构主义
