物理实验教育软件平台的研究与探讨

针对现有物理实验计算机辅助教学软件的不足 ,提出构建能进行人机交互、可创建新的物理实体、生成新的物理实验 ,并提供相应实验报告的可分别给教师、学生使用的物理实验计算机仿真软件平台 ,研究了该软件平台所应具有的性能 ,探讨了平台在实现不同的物理实验时的灵活性处理。

数学专业报考计算机专业硕士研究生之个案调查

本文运用质的研究方法,采取目的性抽样,对一位数学专业的本科生跨专业报考计算机专业硕士研究生的原因进行个案调查。我采用录音访谈和非正式交谈两种手法收集资料,整理并得出研究结果:广州这所高校计算机专业研究生的入学考试,所要求的的两门专业课是知情人本科的基础课程,考上的机率大。但此结果只限于被研究者本人,并不具有普遍代表性。

智能教育软件在优化教学中的应用与研究

主要论述了智能教育软件在优化教学中的应用．对一些传统的教学方法，应用新型智能教育软件进行改革，以更新教育观念，优化教学方法，促进学生主动参与数学学习，取得了较好的教学效果．

自动推理与教育软件智能平台

阐述了如下内容：①自动推理的发展与教育技术；②教育软件智能平台的基本构成；③教育软件智能平台应有的功能，并进行了教育软件智能平台实例演示．

计算机怎样证明几何不等式

阐述了一个基于胞腔分解的不等式机器证明软件的原理、算法和使用方法,这一用Maple语言编写的程序能有效地处理含有根式的不等式型定理,对于Bottema等所著《几何不等式》一书中的大部分不等式定理的验证尤其高效.对一类代数结构较为简单的几何不等式,能令计算机自动生成和输出用自然语言写出的证明.

计算机与智力:推理过程的机械化

在概述几何定理机器证明近期成果的基础上，提出了推理过程机械化的一个关键问题，即对计算机推理产生的那些不能用人工检验的结论如何看待的问题。

物理实验软件开发模式的研究与实现

对已有的各种物理实验软件开发模式进行了论述及比较,并提出了以可创建的实体单元为基础的通用仿真智能平台的新开发模式,它可有效解决现有的其他模式所存在问题,并使软件系统更具灵活性和通用性。同时文中还讲述了如何运用面向对象的方法和技术,把这种新的软件开发模式应用到一个具体的实验软件中。

试论数学奥林匹克的教育价值

自世界上第一次真正有组织的数学竞赛——匈牙利数学竞赛(1894年)以来,已有一百多年的历史.国际数学奥林匹克已举办了47届,也有四十多年的历史.如今,世界上中学数学教育水平较高的国家大多数举办了数学竞赛,并参加国际数学奥林匹克(IMO).数学奥林匹克在其发展的历史上,对于发现和培养青少年数学人才,提高学生学习数学的兴趣和能力,改善学生的思维品质等方面,发挥了积极的作用.

自动推理中反证法的研究

计算机自动解几何问题,已经有不少研究成果。前推搜索法能够产生可读证明,因此也是应用较多的一种方法。在目前诸多算法中,一般是采用直接证明的方法。在手工证明几何问题的方法中,间接证明也是一种重要的方法,其中反证法是较为有效的方法之一。在计算机自动推理研究中,如何运用反证法,是自动推理中的一个难题,关于这方面的研究成果也少有报道。给出一个算法:根据命题的结论将命题分类,针对不同类型,设计不同的解决方案。有效地实现了反证法在自动推理中的运用。

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

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

智能分组的应用与研究

讨论了软件设计中的智能分组问题，研究出较好的程序设计算法。

初中概率统计课程整合信息技术工具比较研究

就从初中概率与统计课程整合的过程中来研究分析各种信息技术工具,并比较分析出《超级画板》是最适合初中概率统计课程整合的信息技术整合工具。

差分代换与不等式机器证明

设计了一个试探性的计算机程序SDS,用于证明多项式不等式,或等价地,用于判定多项式的非负性.将各变量按一定方式分割成较小的非负量,将变量替换后的多项式合并同类项,然后看是否所有的系数都是非负的.该方法不是完备的,但实验结果表明该程序对许多情况有效.不少次数较高或变量较多的多项式,除了SDS,还没有任何其他软件能做.

基于用户自添加规则的自动推理程序

基于前推搜索算法的自动推理软件近年来相继出现,该类软件利用几何定理可读证明的特性,和用户进行交互解题。但这类软件都是将推理的规则作为内置函数处理,用户只能选择软件提供的规则进行推理。设计了用户可添加规则的算法,即用户可以将自己的知识作为规则添加到软件中来进行推理。该算法已被编制成程序。

多维信息空间的动画设计与实现

在研究和探讨虚拟环境之下构造以人为中心的多维信息空间的基础上,提出了虚拟环境下的多维信息空间动画模型。该模型综合了空间、时间以及知识处理的优点,很好地表达了动画系统中各个对象的行为、智能性及场景转换过程。根据这一模型构造了动画引擎的核心模块,并且在实验教学软件中实现了物质微观状态的可视化模拟,实验结果验证了该模型的有效性。

一种简单多边形凸包的快速算法及程序设计

给出了一种求简单多边形凸包的快速算法,此算法采取将各个点按与X轴的夹角顺次排列,然后逐渐地删除凹顶点,求得简单多边形的凸包,并给出了算法的数据结构.算法达到了O(nlogn)的理论时间复杂度下限.

过程纹理造型技术在自然物体仿真中的应用

通过对过程纹理造型技术的应用以木材为例成功地对其纹理作了仿真模拟。并给出了由所提炼出的相关数学模型得出的仿真算法。现在比较常用的构造三维纹理的基本方法有两种:基于高频采样的数字化纹理和采用数学模型动态计算生成纹理。基于高频采样的数字化纹理由于需要有三维数组的支持,在处理高分辨率的纹理时占用空间将急剧增大,多数场合对此是无法忍受的。在真实感较好的一些图形合成系统中多采用数学模型动态计算生成纹理的纹理定义方法。经过多年的研究实践已经开发积累了许多过程迭代函数以产生各种复杂的纹理,这些过程纹理(ProceduralTexture)函数被证明是非常有效的,成功模拟了木材、大理石、云彩、火焰和石板等许多自然物体的纹理。

Office自动化编程的设计及应用

自动化是一种技术，利用该技术可以将Office的一些功能合并到我们的应用程序中，可以在应用程序中不让用户看到Microsoft Word。而Office软件的强大的编辑、排版和表格功能是很多应用所需的。本文正是将Office自动化编程技术和我们的数学资源库系统结合，将资源转换成Word文档提供给用户．具有良好的应用效果。

平面解析几何交互推理系统的设计与实现

采用传统的前向推理策略,结合平面解析几何的特点,设计了交互推理系统策略和模型,然后从系统的几个关键技术入手实现平面解析几何的交互推理系统的设计,再通过两个实际的应用实例验证该系统.系统将学生从复杂重复的计算解放到解题思路的思考.

WDM驱动程序的开发与实现

W D M是在W indows N T4.0驱动程序结构上发展起来的,W D M体系结构实行分层处理,是一种通用的驱动模式,提供了包括U SB、IEE El394和H ID等在内的一系列驱动程序类。文章描述了W D M驱动程序的体系结构和利用D riverStudio开发W D M驱动程序的过程,给出了一个U SB驱动的实例。