广州大学计算机科学与教育软件学院计算机教育软件研究所
- 作品数:61 被引量:242H指数:8
- 相关作者:朱华伟郑焕蔡琳汤泳山赵根明更多>>
- 相关机构:温州师范学院数学与信息科学学院更多>>
- 发文基金:国家重点基础研究发展计划广州市科技攻关项目国家自然科学基金更多>>
- 相关领域:自动化与计算机技术文化科学理学一般工业技术更多>>
- 一道关于三角形内接矩形问题的推广及应用
- 2014年
- 1985年第46届普特南数学竞赛A试有如下一道题目.题目如图1,在一个锐角三角形T中放入两个矩形R、5.设A(x)表示多边形x的面积.
- 刘洋朱华伟
- 关键词:锐角三角形数学竞赛多边形
- 《Z+Z智能教育平台》的设计与实现被引量:1
- 2004年
- 《Z+Z智能教育平台》系列软件之《三角函数》提供了程序编写功能,通过程序编写来模拟LOGO(WIN LOGO版本)中的各个动作,进而设计并实现LOGO语言部分功能.
- 饶永生
- 关键词:Z+Z智能教育平台三角函数程序设计建构主义
- 什么是“教育数学”被引量:59
- 2004年
- 为了帮助读者更好地了解“教育数学” ,特发表倡导“教育数学”的张景中院士此文 (感谢张先生提供了文稿 )
- 张景中
- 关键词:数学教育助读文稿院士
- 基于图像处理的油液污染度检测被引量:2
- 2006年
- 机械装置的液压系统非常重要,液压油中金属颗粒对液压装置有着至关重要的影响,因此,对于液压油的检测也是必不可少的。文章采用图像处理技术,通过CCD对流场成像,将图像二值化后进行连通成分标记,分离出液压油中的颗粒,有效地实现了液压油的自动化检测。
- 郭四稳
- 关键词:数字图像处理图像测量污染度
- 一道环球城市数学竞赛题的另解和推广
- 2014年
- 1993年环球城市数学竞赛初中组秋季赛第2题为:
如图1,已知在正方形ABCD内的正方形PQRS满足线段AP、BQ、CR、DS互相不交.证明:S四边形ABQP+S四边形CDSR=S四边形BCRQ+S四边形DAPS·
文[1]中的证明方法是:
如图2,过点P、Q、R、S作正方形各边的垂线.
- 刘凤鸣朱华伟
- 关键词:数学竞赛题城市四边形正方形ABCD
- 勾股定理证明的“再生”
- 2008年
- 一根磁铁棒截为两段.在截断的地方会产生两个新的磁极.变成两根磁铁棒;一条蚯蚓截为两段,在截断的地方会长成两个肛门.变成两条蚯蚓,有人把这些现象叫做“再生”.一个几何定理的证明.把图形剪掉一半.从剩下的半个图形中还能找出这个定理的证明吗?如果可以,我们不妨称它为“再生的证明”.
- 张景中
- 关键词:定理证明几何定理磁铁蚯蚓
- 基于模板的题库平台系统被引量:1
- 2006年
- 本文在对比和总结国内外开发的数学题库系统的基础上,提出了基于模板组卷的开放题库模型。依据该模型,可以以少量信息根据用户要求生成大量不重复的题目。并将符号演算系统用于该系统,生成试题的同时,也给出相应的答案。系统还将数学公式和动态几何以组件的形式嵌入平台,通过自动化和进程间通讯来进行数据交换。
- 郭四稳
- 关键词:组卷知识点组件
- 基于用户自添加规则的自动推理程序Ⅱ被引量:2
- 2006年
- 本文设计的算法基于前推搜索法,通过对推理规则的特征化处理,有效地解决了用户自添加推理规则到推理规则库中这一技术难题,并将算法编制成了一个通用软件。对于某些规则的特殊情况如何处理,也是非常重要的。我们不可能要求用户在添加一条规则时,将其各种特殊情形也作为规则添加。本文提出的算法使得这一问题得以圆满解决。
- 郭四稳
- 关键词:包容性语句几何信息特征串
- 基于决策树分类器的归纳并行算法被引量:2
- 2006年
- 分类决策树的归纳是一种重要的数据挖掘算法。本文重点介绍了两种基于并行算法的分类决策树的构造算法,并对它们的适用性及特点作了分析。
- 郭四稳
- 关键词:决策树数据挖掘分类器
- 初中概率统计课程整合信息技术工具比较研究
- 2008年
- 就从初中概率与统计课程整合的过程中来研究分析各种信息技术工具,并比较分析出《超级画板》是最适合初中概率统计课程整合的信息技术整合工具。
- 李江峰
- 关键词:信息技术工具超级画板