数学学科核心素养导向下的教育数学实证研究

教育数学实验是中国教育改革的重要组成部分,学生的数学学科核心素养发展状况是其改革实验效果的重要衡量指标之一.研究选取初中数学核心素养评价框架,对邛崃市教育数学实验进行评价研究,分析该实验对学生数学核心素养发展的影响.基于所选框架对该市2017级初三第二次诊断试卷考查的数学核心素养进行分类.根据学生核心素养的得分,对比分析该市3672名初三学生与93名教育数学实验班学生数学核心素养的发展状况.研究发现:该市初三学生的整体数学核心素养发展不平衡,特别是在数学建模、逻辑推理素养上不合格比例较高;教育数学体系下的实验组核心素养发展情况普遍优于该市整体水平,且其发展更为均衡.结论说明教育数学可促进学生数学核心素养的普遍均衡发展,实验风险可控,适合大规模普及.

《Z+Z智能教育平台》的设计与实现

《Z+Z智能教育平台》系列软件之《三角函数》提供了程序编写功能,通过程序编写来模拟LOGO(WIN LOGO版本)中的各个动作,进而设计并实现LOGO语言部分功能.

一种高效的动态几何图形迭代算法

图形迭代是动态几何软件中的重要功能,分析动态几何中图形迭代的实现原理,设计并实现一种高效的图形迭代算法,以解决原有算法效率低的问题,通过实验比较表明新算法具有良好运行效率。

“互联网+”数学教师TPACK能力培训模式研究——以武侯区初中数学教师网络画板培训为例

为创设示范性培训模式,有效提高教师TPACK能力,文章基于SECI理论构建“互联网+”下数学教师TPACK能力培训模式,该模式包括教师共同体、课例教学、学科教研结合和常态化教学应用,强调经验共享、情境式学习、知识组合以及实践应用.以此模式在成都市武侯区开展初中数学教师网络画板培训,培训后数据显示教师用户的活跃度及资源数量在平台上的四百六十多个区县中长期排名第一或第二,月均活跃度是培训前的5倍,月均资源新建数量增长了21%.实践结果表明教师对该培训的满意度较高,教师TPACK能力得到显著提高且可持续发展.

FCKeditor中自动隐藏型编辑器的实现

介绍了基于FCKeditor自动隐藏的在线文本编辑器的设计原理,并提供相关的主要代码。

教育数学思想在《中学数学研究》课程改革中的实践研究

改造数学使之更适宜教学是教育数学的任务.张景中院士主持开发的＂超级画板＂为教育数学思想的实践提供了强有力的支撑.在教育数学思想指导下,将＂超级画板＂运用于高师数学专业《中学数学研究》课程教学改革实践,并渗透教育数学思想,以函数为例引导学生进行了多层次的探索与实践,使学生对知识的形成获得了良好的认知体验,对相关知识的掌握更加牢固,对不同知识之间相互联系的理解更加深入,有效地提升了学生的数学思维水平.《中学数学研究》的教学应该做到：突出＂研究＂的味道;探寻不同数学知识之间的结合点;发挥超级画板的优势;转变思维方式以提高效率.

从教育数学的角度探讨行列式教学

本文根据教育数学思想,讨论大学《线性代数》公共课中行列式部分的教学,通过设计几个教学场景,帮助学生以更直观的方法掌握行列式本质.所设计的场景包括:从行列式定义的意图出发合情推理行列式的可能表达式;从低阶行列式性质类比证明行列式定义的必然形式;通过矩阵初等变换与等底单形的体积之间的关系建立行列式与单形体积的关联;通过仿射变换保持单形体积比的性质导出Cramer法则的直观证明;以及分析行列式的不同计算方法所对应的计算复杂度.最后,文章列出行列式知识产生和发展的部分数学史材料,供教师在教学中穿插使用,达到更好引导学生理解和应用行列式知识.

SGARP中符号计算模块的实现及其应用

可持续发展的几何自动推理平台(sustainable geometry automated reasoning platform,SGARP)支持用户按需添加或修改几何定理机器证明所涉及的几何对象、谓词、定理和规则,以发展多种多样基于规则的机器自动推理或人机交互推理方法.为进一步提高SGARP的推理能力和扩展其适用范围,提出一种在SGARP中实现符号计算功能的快捷方法,并成功添加了质点法和解析法推理模块.质点法可证明希尔伯特交点类几何命题,解析法能用于辅助证明各种类型有一定难度的几何定理,如著名的Thebault定理.对这两种方法用基于Web的机器证明测试用的几何问题库(thousands of geometric problems for geometric theorem provers,TGTP)中180道几何题进行评估,均在合理时间内给出令人满意的可读机器证明,表明升级后的SGARP能更好地满足用户学习与发展几何机器推理的需求.

动态几何中高效的图形跟踪算法设计与实现

图形跟踪是动态几何软件中的重要功能，文章分析了动态几何中图形跟踪功能的实现原理．设计并实现了一种高效的图形跟踪算法，以解决原有算法效率低的问题，通过实验比较表明新算法具有良好运行效率。

基于ASP和SQL Server的批量数据存储策略

研究了使用ASP开发网站时往SQL Server数据库中存储批量数据的几种方法,并通过实例比较这几种方法的效率,得出了最为有效的存储策略。

基于复杂网络的SPOC学习小组划分方法研究

基于大数据驱动思想,笔者利用复杂网络理论及其社团特性,提出一种SPOC教学中学习小组及学习领袖的自动发现机制,并且可实现学习小组及小组内的成员的数量调整的动态自适应.首先,通过融合学习者的成绩和性格特质的复合欧式距离构建用户模型,进而构建学习者网络;其次,利用Fast community算法实现网络的社团划分;最后,以1个社团作为1个学习小组,并将其中介数最大的节点作为该组的学习领袖.与单独学习相比,实施所提方法后,学习者的平均成绩提高4.7%.

一种新的Web动态几何系统原型

提出一种新的面向Web的动态几何系统,并分析动态几何系统的基本原理及关键技术,基于FLEX及ActionScript 3.0语言环境设计与实现该动态几何系统原型WebDGS。WebDGS具有良好的易用性及跨平台性,用户可在不安装任何插件的情况下通过Web浏览器直接使用WebDGS,且可以在支持Flash的移动操作系统中无缝使用该系统。

中国高等教育学会教育数学专业委员会会员大会暨2018年学术年会会议纪要

中国高等教育学会教育数学专业委员会会员大会暨2018年学术年会于2018年7月19日至20日在哈尔滨友谊宫宾馆隆重召开，本次会议由中国高等教育学会主办、哈尔滨工程大学承办、中南出版传媒湖南省新教材有限责任公司协办。专业委员会名誉理事长张景中院士、专业委员会理事长李尚志教授、中国科学院数学与系统科学研究院周向宇院士及清华大学、上海交通大学、浙江大学、南京大学、哈尔滨工业大学、北京师范大学、华东师范大学、上海大学等来自全国各地151所大中院校及科研和出版机构的306位代表参加了会议。

动态数学数字资源开放平台的研究与设计

数字教育资源的共建共享行动已成为当前教育信息化的重要内容和研究热点.经过多年的研究和建设,数字教育资源其价值并未得到充分的利用,反而出现所谓的"资源孤岛"和"数字废墟".究其原因主要是由于现有的资源平台建设未具有足够的开放性以及学科相关性.基于PaaS结构提出了教育资源开放平台模型,并结合动态几何、计算机代数、几何定理自动推理等技术,采用微服务架构设计并实现了一种动态数学教学资源开放平台.该开放平台具有深入数学学科、开放资源与能力定制化、分级授权等特点.利用OAuth2.0技术作为主要的授权流程,为第三方应用和用户提供认证授权、分级定制化的动态数学内容素材和能力.给出该开放平台的相关特点及总体设计,介绍了面向应用及用户权限的分层策略与认证流程及开放资源与工具的定制化流程.根据性能分析,表明该平台已广泛应用于教学活动中.目前该开放平台已为电子教材、通用演示软件及在线备课平台等多个第三方应用提供服务,得到了广泛应用.

基于FCKeditor自动隐藏型编辑器的设计

文章介绍了基于FCKeditor能自动隐藏的在线文本编辑器的设计原理,并提供相关的主要代码。该方法简单有效,代码可移植性非常好,用户也可方便地根据不同需求做相应的修改。基于这种设计原理,对于其他的在线编辑器也可进行相似的设计。

借网络技术 促教育实习评价

教育实习延长至一个学期后,需要大量而稳定的实习基地,这些基地遍布市内各个角落,给评价带来不小的麻烦。由于校园基础设施很完善,网络和多媒体覆盖了市内各所学校,教师有可能借网络技术,克服交通不便,促进教育实习评价,提高可操作性和效率。分别从博客、QQ、微信和电话等四种技术展开,阐述如何进行教育实习的评价工作。

二分法教学中信息技术的应用

结合二分法教学课件的设计与实现，主要应用动态几何技术，创建了教师主导和学生主体相结合的新型教学结构，不仅实现了信息技术与数学课程内容的整合，而且改善了教和学的方式。

教育数学在农村初中首轮实验的探索与思考--“重建三角”在成都市青白江区祥福中学实验分析

从1989年教育数学思想的提出,到2012年教育数学体系基本形成,并构建了较完善的初中数学改革方案.近年越来越多学校参与基于教育数学思想的数学创新教学改革实验,2015年四川省成都市和南充市15所初中学校相继进入教育数学实验,教育数学的成果走进课堂,优化数学教材内容结构体系,促进了学生数学学习,发展了教师数学素养,推动了数学教育的发展.2016-2018年祥福中学进行了一轮3年完整的初中数学教学改革实验,学生逐渐养成了主动学习意识和习惯,善于从实际或设想的情境中发现和提出数学问题.

基于Web的动态几何软件领域模型及其应用

动态几何软件以其动态、直观的特点广泛应用于几何约束作图。针对数据结构缺乏对动态几何领域内可复用的抽象描述的问题,提出一种动态几何软件领域模型的设计方法。首先经过领域分析来识别并划分出最基本的上下文边界,然后通过领域模型设计得到动态几何软件核心领域模型,最后在体系结构建模过程中,在纵向与横向两个维度对动态几何软件进行解耦。实验结果表明,利用该领域模型设计方法研发的动态几何软件能正确地处理图形在临界位置退化的情形。该模型表达的领域知识同时适用于二维及三维的动态几何软件,并支持对不同设备分别设计布局与交互,实现了领域知识的高层次复用。

COM组件编程探索

现代编程思想出发 ,介绍了COM组件的本质以及在现实编程环境中所遇到的一些有关COM编程的关键技术 ,以简单的实例形式阐述了如何利用COM组件创建服务器程序和客户机程序 .