期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到98篇文章
< 1 2 … 5 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
物理实验教育软件平台的研究与探讨 被引量：1
1
作者 汤泳山 《中山大学学报论丛》 2004年第5期25-28,共4页
针对现有物理实验计算机辅助教学软件的不足 ,提出构建能进行人机交互、可创建新的物理实体、生成新的物理实验 ,并提供相应实验报告的可分别给教师、学生使用的物理实验计算机仿真软件平台 ,研究了该软件平台所应具有的性能 ,探讨了平... 针对现有物理实验计算机辅助教学软件的不足 ,提出构建能进行人机交互、可创建新的物理实体、生成新的物理实验 ,并提供相应实验报告的可分别给教师、学生使用的物理实验计算机仿真软件平台 ,研究了该软件平台所应具有的性能 ,探讨了平台在实现不同的物理实验时的灵活性处理。 展开更多
关键词 物理实验 教育软件平台 计算机辅助教学 灵活性
下载PDF
数学专业报考计算机专业硕士研究生之个案调查
2
作者 徐洺浙 《金融教育研究》 2006年第S1期244-,282,共2页
本文运用质的研究方法,采取目的性抽样,对一位数学专业的本科生跨专业报考计算机专业硕士研究生的原因进行个案调查。我采用录音访谈和非正式交谈两种手法收集资料,整理并得出研究结果:广州这所高校计算机专业研究生的入学考试,所要求... 本文运用质的研究方法,采取目的性抽样,对一位数学专业的本科生跨专业报考计算机专业硕士研究生的原因进行个案调查。我采用录音访谈和非正式交谈两种手法收集资料,整理并得出研究结果:广州这所高校计算机专业研究生的入学考试,所要求的的两门专业课是知情人本科的基础课程,考上的机率大。但此结果只限于被研究者本人,并不具有普遍代表性。 展开更多
关键词 跨专业 计算机 硕士研究生
下载PDF
智能教育软件在优化教学中的应用与研究
3
作者 赵小明 张志青 《广州大学学报（综合版）》 2001年第2期11-13,共3页
主要论述了智能教育软件在优化教学中的应用．对一些传统的教学方法，应用新型智能教育软件进行改革，以更新教育观念，优化教学方法，促进学生主动参与数学学习，取得了较好的教学效果．
关键词 优化教学 教育实践 应用 智能教育软件
下载PDF
自动推理与教育软件智能平台 被引量：12
4
作者 张景中 李传中 《广州大学学报（综合版）》 2001年第2期1-6,共6页
阐述了如下内容：①自动推理的发展与教育技术；②教育软件智能平台的基本构成；③教育软件智能平台应有的功能，并进行了教育软件智能平台实例演示．
关键词 自动推理 教育软件智能平台 教育技术 解析几何 立体几何 物理
下载PDF
计算机怎样证明几何不等式
5
作者 杨路 《广州大学学报（自然科学版）》 CAS 2004年第2期97-106,179,共11页
阐述了一个基于胞腔分解的不等式机器证明软件的原理、算法和使用方法,这一用Maple语言编写的程序能有效地处理含有根式的不等式型定理,对于Bottema等所著《几何不等式》一书中的大部分不等式定理的验证尤其高效.对一类代数结构较为简... 阐述了一个基于胞腔分解的不等式机器证明软件的原理、算法和使用方法,这一用Maple语言编写的程序能有效地处理含有根式的不等式型定理,对于Bottema等所著《几何不等式》一书中的大部分不等式定理的验证尤其高效.对一类代数结构较为简单的几何不等式,能令计算机自动生成和输出用自然语言写出的证明. 展开更多
关键词 自动证明 几何不等式 构造性几何定理 半代数系统 胞腔分解
下载PDF
计算机与智力:推理过程的机械化
6
作者 杨路 《广州大学学报（综合版）》 2001年第2期7-10,45,共5页
在概述几何定理机器证明近期成果的基础上，提出了推理过程机械化的一个关键问题，即对计算机推理产生的那些不能用人工检验的结论如何看待的问题。
关键词 图灵测试 自动推理 定理机器证明 可读证明 数学机械化
下载PDF
教育软件产业化的新机制探索 被引量：2
7
作者 吴雪飞 《教育信息化》 CSSCI 2003年第4期14-15,共2页
本文主要阐述了在高科技信息时代,教育软件市场的现状及发展前景,教育软件产业化现行机制存在许多弊端,本文着重探索了使教育软件产业化的一种新的机制,并以具体实例提出了对该机制的一种设想。
关键词 教育软件 产业化 发展前景 教育信息化 个性化开发
下载PDF
教育软件产业化的新机制
8
作者 吴雪飞 《教育信息技术》 2003年第6期20-21,47,共3页
本文主要阐述了在高科技信息时代，教育软件市场的现状及发展前景，教育软件产业化现行机制存在许多弊端，本文着重探索了使教育软件产业化的一种新的机制，并以具体实例提出了对该机制的一种设想。
关键词 教育软件 产业化机制 软件市场 现状 教育信息化
原文传递
物理实验软件开发模式的研究与实现 被引量：1
9
作者 汤泳山 《中山大学学报论丛》 2004年第1期192-197,共6页
对已有的各种物理实验软件开发模式进行了论述及比较,并提出了以可创建的实体单元为基础的通用仿真智能平台的新开发模式,它可有效解决现有的其他模式所存在问题,并使软件系统更具灵活性和通用性。同时文中还讲述了如何运用面向对象的... 对已有的各种物理实验软件开发模式进行了论述及比较,并提出了以可创建的实体单元为基础的通用仿真智能平台的新开发模式,它可有效解决现有的其他模式所存在问题,并使软件系统更具灵活性和通用性。同时文中还讲述了如何运用面向对象的方法和技术,把这种新的软件开发模式应用到一个具体的实验软件中。 展开更多
关键词 实验软件 开发模式 智能平台 面向对象
下载PDF
试论数学奥林匹克的教育价值 被引量：15
10
作者 朱华伟 《数学教育学报》 北大核心 2007年第2期12-15,共4页
自世界上第一次真正有组织的数学竞赛——匈牙利数学竞赛(1894年)以来,已有一百多年的历史.国际数学奥林匹克已举办了47届,也有四十多年的历史.如今,世界上中学数学教育水平较高的国家大多数举办了数学竞赛,并参加国际数学奥林匹克(IMO)... 自世界上第一次真正有组织的数学竞赛——匈牙利数学竞赛(1894年)以来,已有一百多年的历史.国际数学奥林匹克已举办了47届,也有四十多年的历史.如今,世界上中学数学教育水平较高的国家大多数举办了数学竞赛,并参加国际数学奥林匹克(IMO).数学奥林匹克在其发展的历史上,对于发现和培养青少年数学人才,提高学生学习数学的兴趣和能力,改善学生的思维品质等方面,发挥了积极的作用. 展开更多
关键词 数学奥林匹克 教育价值 兴趣 能力
下载PDF
自动推理中反证法的研究 被引量：1
11
作者 郭四稳 李传中 《计算机应用与软件》 CSCD 北大核心 2007年第8期41-43,共3页
计算机自动解几何问题,已经有不少研究成果。前推搜索法能够产生可读证明,因此也是应用较多的一种方法。在目前诸多算法中,一般是采用直接证明的方法。在手工证明几何问题的方法中,间接证明也是一种重要的方法,其中反证法是较为有效的... 计算机自动解几何问题,已经有不少研究成果。前推搜索法能够产生可读证明,因此也是应用较多的一种方法。在目前诸多算法中,一般是采用直接证明的方法。在手工证明几何问题的方法中,间接证明也是一种重要的方法,其中反证法是较为有效的方法之一。在计算机自动推理研究中,如何运用反证法,是自动推理中的一个难题,关于这方面的研究成果也少有报道。给出一个算法:根据命题的结论将命题分类,针对不同类型,设计不同的解决方案。有效地实现了反证法在自动推理中的运用。 展开更多
关键词 规则 几何信息 搜索法 谓词 反证法
下载PDF
什么是“教育数学” 被引量：53
12
作者 张景中 《高等数学研究》 2004年第6期2-6,共5页
为了帮助读者更好地了解“教育数学” ,特发表倡导“教育数学”的张景中院士此文 (感谢张先生提供了文稿 )
关键词 数学 教育 助读 张景中 读者 先生 文稿 院士 倡导
下载PDF
《Z+Z智能教育平台》的设计与实现
13
作者 饶永生 《广州大学学报（自然科学版）》 CAS 2004年第4期324-328,共5页
《Z+Z智能教育平台》系列软件之《三角函数》提供了程序编写功能,通过程序编写来模拟LOGO(WIN LOGO版本)中的各个动作,进而设计并实现LOGO语言部分功能.
关键词 Z+Z智能教育平台 三角函数 LDG0语言 程序设计 建构主义
下载PDF
智能分组的应用与研究
14
作者 张志青 《广州大学学报（综合版）》 2001年第11期1-3,共3页
讨论了软件设计中的智能分组问题，研究出较好的程序设计算法。
关键词 智能分组 优化组织 应用设计 软件设计 程序设计算法
下载PDF
初中概率统计课程整合信息技术工具比较研究
15
作者 李江峰 《科技风》 2008年第4期112-112,共1页
就从初中概率与统计课程整合的过程中来研究分析各种信息技术工具,并比较分析出《超级画板》是最适合初中概率统计课程整合的信息技术整合工具。
关键词 概率与统计课程整合 信息技术工具 超级画板
下载PDF
中国高等教育学会教育数学专业委员会成立大会将在广州大学召开
16
《数学通报》 北大核心 2004年第4期F003-F003,共1页
经“教育部办公厅‘教厅综函[2002]56号’文”、“中华人民共和国民政部‘民社登(2003)第377号’文”和“中国高等教育学会‘高学会(2003)25号’文”批准,“中国高等教育学会教育数学专业委员会”正式登记成立.教育数学专业委员会为国... 经“教育部办公厅‘教厅综函[2002]56号’文”、“中华人民共和国民政部‘民社登(2003)第377号’文”和“中国高等教育学会‘高学会(2003)25号’文”批准,“中国高等教育学会教育数学专业委员会”正式登记成立.教育数学专业委员会为国家二级学会,挂靠广州大学. 教育数学,是一个基于数学教育的需要,对数学研究成果及数学教材进行数学上再创造式的整理, 展开更多
关键词 高等教育 数学 中国 广州
原文传递
智能知识平台的构想及其实现 被引量：13
17
作者 李传中 张景中 《世界科技研究与发展》 CSCD 2001年第6期1-6,共6页
本文根据人们对知识的需求和使用方式 ,提出了智能知识平台的设想 ,并阐述了智能知识平台的基本构成和应有的基本功能 。
关键词 智能知识平台 智能教育平台 解析几何 知识工程 计算机技术
下载PDF
《中小学生数学能力心理学》中蕴含的解题思想 被引量：10
18
作者 朱华伟 郑焕 《数学教育学报》 北大核心 2010年第2期11-14,共4页
克鲁捷茨基在著作《中小学生数学能力心理学》中对有数学天赋的学生在解题过程中体现出来的对题目最初定向的能力、概括数学材料的能力、简缩推理过程的能力、记忆数学材料的能力作了论述.学生是否有数学能力往往表现为能否顺利解决数... 克鲁捷茨基在著作《中小学生数学能力心理学》中对有数学天赋的学生在解题过程中体现出来的对题目最初定向的能力、概括数学材料的能力、简缩推理过程的能力、记忆数学材料的能力作了论述.学生是否有数学能力往往表现为能否顺利解决数学问题.解一道数学题有3个基本的心理活动阶段：收集解题所需的信息,对信息进行加工从而得出解法,保持这个解法的信息.影响解题顺利进行的主要因素有：概括数学材料、简缩推理过程、思维的灵活性和可逆性. 展开更多
关键词 解题思想 数学能力 数学天赋学生
下载PDF
基于小波技术的网络时序数据挖掘 被引量：3
19
作者 郭四稳 何维 王鹏 《计算机工程》 CAS CSCD 北大核心 2007年第2期40-43,共4页
网络安全日志数据库是一种历史数据,对它的分析具有十分重要的实际价值,作为一种时序数据库,针对它的信息挖掘已研究出许多方法。该文提出了一种新的对此类时序数据库的信息挖掘方法,利用小波变换多分辨率分析的方法对信号化后网络安全... 网络安全日志数据库是一种历史数据,对它的分析具有十分重要的实际价值,作为一种时序数据库,针对它的信息挖掘已研究出许多方法。该文提出了一种新的对此类时序数据库的信息挖掘方法,利用小波变换多分辨率分析的方法对信号化后网络安全日志数据库中的数据在不同的时间尺度上进行分析和信息挖掘,从中提取出单位时间内网络受到攻击次数的时间周期规律,并对这种方法的分析特性进行了阐述,而且利用小波阈值重建的方法对原始信号数据进行去噪处理,收到了良好的效果。 展开更多
关键词 小波变换 信号化 网络安全日志数据库 数据挖掘
下载PDF
差分代换与不等式机器证明 被引量：36
20
作者 杨路 《广州大学学报（自然科学版）》 CAS 2006年第2期1-7,共7页
设计了一个试探性的计算机程序SDS,用于证明多项式不等式,或等价地,用于判定多项式的非负性.将各变量按一定方式分割成较小的非负量,将变量替换后的多项式合并同类项,然后看是否所有的系数都是非负的.该方法不是完备的,但实验结果表明... 设计了一个试探性的计算机程序SDS,用于证明多项式不等式,或等价地,用于判定多项式的非负性.将各变量按一定方式分割成较小的非负量,将变量替换后的多项式合并同类项,然后看是否所有的系数都是非负的.该方法不是完备的,但实验结果表明该程序对许多情况有效.不少次数较高或变量较多的多项式,除了SDS,还没有任何其他软件能做. 展开更多
关键词 不等式机器证明 半正定 差分代换 平凡非负性 差分代换平凡
下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 2 … 5 下一页 到第 页
使用帮助 返回顶部