数学研究性学习的选题探讨

围绕数学研究性学习的选题展开探讨，阐明了选题的4个原则：可研究性，可行性，开放性，实践性．并指出了学生选题时容易出现的问题和选题的途径．     

CNT/FeNi复合纳米材料的制备及其电化学性能

以碳纳米管为模板合成CNT/FeNi复合纳米材料,用X-射线粉末衍射(XRD)和透射电镜(TEM)对CNT/FeNi复合纳米材料的物相和形貌进行表征,用循环伏安法研究了CNT/FeNi复合纳米材料的电化学过程.结果表明:其电化学过程为电化学步骤控制的不可逆过程;随着pH增大,还原峰的峰电位发生负移,峰电流增大,质子参加电极过程且参加反应的质子数与转移的电子数之比为 0.5 .     

积和式

给出了积和式的三个等价定义和几条性质，编写了一个C程序来计算阶数较低且元素结构简单(有理数)的积和式．     

平面摆非线性振动水平分量方程的建立及其近似解

本文讨论了平面摆在振幅并不是很小情况下的自由运动，推导了运动微分方程在水平方向的投影，用微扰法求解该非线性方程的近似解，并说明运动的频率与振幅有关。     

STUDY ON AN SIS EPIDEMIC MODEL WITH TIME VARIANT DELAY

In this paper, we study an SIS epidemic model with a time variant delay. By means of Liapunov functional, some sufficient conditions of global stability to endemic equilibrium and disease free equilibrium have been obtained. The influence of time delay on the stability of equilibria is displayed.     

地下电缆参数的有限体元与虚拟媒质耦合分析方法

为处理二维局部非均匀大地媒质开域电磁场的求解问题,以地下隧道中电缆参数的计算为例,提出了有限体元与虚拟媒质耦合的分析方法。考虑隧道区域不导电的空气媒质对电缆参数的影响,采用虚拟媒质方法建立矢量磁位满足的积分方程,确定隧道边界节点与其内部节点的关系,从而可精确地截断开域边界。对于隧道内部的节点,采用有限体元方法,通过选择合适控制体单元,可确定隧道内部各节点之间的关系。该法基本保证了系数矩阵的稀疏性,避免了面积分多次重复计算,因此,该法的计算效率较高。数值算例表明,该法与积分方程法的计算结果的相对误差不超过3%。     

基于同步网的BPEL建模和验证

Web服务组合是面向服务架构的一个应用,是指将已有的Web服务组合成为新的服务。业务流程执行语言BPEL（Business Process Execution Language）是一种描述Web服务组合的语言。为了保证BPEL描述的Web服务组合的正确性,提出了分层建模和验证的思想,将BPEL流程分为逻辑层和语义层,并分别建立形式化模型和验证方法。这样不仅能保证对流程正确地建模,而且能降低建模和验证的复杂度。在逻辑层,BPEL元素映射为基于同步网的WSL_net模型。畅通性和无冗余变迁性质保证了BPEL流程基本控制流的正确性并避免了资源的浪费。语义层的建模和验证将另文给出。     

轴心受压复合方箍短柱正截面承载力的计算

通过实验数据的分析，提出了轴心受压复合方箍短柱正截面承载力的计算公式并给出了配箍特征值与箍筋间距的关系，具有一定的实用价值。     

嵌入式系统VxWorks下应用软件中文输入的实现

汉字输入是中文应用软件进行人机交互的重要组成部分。在嵌入式系统Vxworks下只提供了西文信息的输入输出功能，不支持中文信息处理功能。详细介绍了汉字输入的基本原理和开发技术，并在嵌入式系统Vxworks下实现了应用软件的中文输入功能，为嵌入式系统Vxworks下中文应用软件的开发提供了一个很有价值的实用工具。     

从个人突破技术的运用看足球技术的发展

从第12届欧洲杯足球赛看，个人突破依然是重要的进攻手段之一，运用区域趋向前移和靠中，动作快速简练、多变实用，在禁区附近大胆合理使用个人突破可收到事半功倍的作用。