江西省教育厅科学技术研究项目(GJJ12199)
- 作品数：2 被引量：12H指数：1
- 相关作者：薛锦云石海鹤周新莲更多>>
- 相关机构：江西师范大学中国科学院软件研究所中国科学院研究生院更多>>
- 发文基金：江西省教育厅科学技术研究项目国际科技合作与交流专项项目江西省自然科学基金更多>>
- 相关领域：自动化与计算机技术文化科学更多>>
- 基于PAR的排序算法自动生成研究被引量：12
- 2012年
- 排序是计算机学科中的一类特殊问题,其算法设计策略的灵活性使得求解算法更具多样性.基于形式化方法 PAR(partition-and-recur),研究了排序算法的自动生成问题.刻画了排序问题的代数性质,形式化构建了排序算法领域的泛型类型构件和算法构件,建立了排序领域特定语言和算法生成形式化模型,以参数替换的方式自动生成了一组排序算法,包括快速排序、堆排序、Shell排序等典型的已知算法以及增量选择排序等若干未见于现有文献的算法,并在程序生成系统中予以了实现.通过上层框架研究和底层构件支持,显著提高了特定领域算法的开发效率和可靠性.
- 石海鹤薛锦云
- 关键词：自动生成
- 直观法在高师“数学教育学”中的运用
- 2012年
- 基础教育阶段课程改革推动高师教师教育也要与时俱进,针对我国数学教学着重训练逻辑思维,在高师"数学教育学"课中提倡恰当地使用直观法,按情境展示、观察、操作、分析、类比、讨论、猜想、推理、论证、应用、总结、反思等步骤展开双边活动。直观法有利于激发学生学习兴趣、有利于提高教学效率、有助于发展学生直观形象思维。文中给出一个类比图的案例来诠释。
- 周新莲
- 关键词：数学教育学中小学数学直观法形象思维
