在代数论证中落实推理与运算素养——人教A版新旧教材“基本不等式”内容比较分析

本文以人教A版新旧教材中基本不等式的教学内容为例,比较研究导入、证明、例题、习题四个部分,从内容编排的调整来分析教学要求的变化,并给出教学建议,加强代数论证,落实推理与运算素养.     

证据呈现方式对中学生书面化学论证能力的影响研究

在界定了相关概念后,设计了3个以中学化学核心课程内容为背景的书面化学论证任务,并形成了证据呈现方式分别为文字、表格和曲线图的3份"同内容、异形式"的测试卷。通过对135名中学生进行不同证据呈现方式下书面化学论证能力的测试,并依据Toulmin论证型式对测试结果进行分析,发现在不同的证据呈现方式下,中学生的书面化学论证能力存在差异,学生的学业水平也会影响其在书面化学论证中的得分。     

基于S-R和分解定理的几何非线性问题的数值计算分析

为了探究几何非线性问题的数值求解方法,采用理论推导、MATLAB编程计算、有限元模拟相结合的方法,基于S-R和分解定理及更新拖带坐标描述法,运用插值型无单元Galerkin方法对几何非线性问题的增量变分方程进行了推导,并通过四点Gauss积分法和不动点迭代法对其进行求解.最后以平面悬臂梁的大变形问题为例进行求解计算,发现与ANSYS的计算结果拟合相似度很高,说明了所采用的几何非线性力学理论及数值计算方法的正确性和合理性,为求解几何非线性问题提供了一种新的依据.     

多刚体系统动力学的正则方程及数值解法

本文研究了多刚体系统动力学的正则方程,并由此论证了多刚体系统动力学方程的运动稳定性态.在比较不同数值积分方法的基础上,得出结论:基于正则方程的数值积分方法能较好地保证计算精度.     

大型结构分析程序系统单元库更新

阐述了大型结构分析程序系统单元库更新的概念及其意义，报告了装入ＡＰ－１程序系统单元库的精化四节点及八节点平面等参元的情况，给出了更新前、后单元通过考题库测试的结果及与其它程序系统结果的比较。数值结果表明通过更新单元来提高程序系统的分析精度与计算效率从而增强其竞争力是可行的。     

考虑中间主应力效应的损伤钢管混凝土构件承载力分析

混凝土三参数统一强度理论在Haigh-Westgaard空间的偏平面上的边界线为十二边形,通过调整中间主应力的影响系数消除角点的奇异性,根据相关流动准则推导基于标量损伤的弹塑性本构方程,考虑了混凝土材料的随动强化效应,结合塑性损伤理论给出了应力计算的数值方法,编制了相应的Fortran语言程序,并将其用于钢管混凝土构件承载能力的计算,计算结果验证了所用模型的预测能力。     

常利息力下非标准连续时间更新风险模型破产概率的渐近性态

讨论一个非标准连续时间更新风险模型,其中理赔变量序列为一列两两尾拟渐近独立(TQAI)非负随机变量,在常数利息力假定下,得到了其有限时间破产概率的渐近估计式,并进一步讨论了估计的一致性,推广了[1,2,8]等文献的结果.     

谈数学命题中的数学之美

一道好试题的命制,一般以考查某知识、能力为出发点,以教材中的例题(习题)、生活中的素材、数学史中的经典案例等为背景进行建构创作,这个创作过程是一个艰难的过程,同时也是一个     

基于延迟时间理论的两部件并联系统检测区间模型

延迟时间理论广泛应用于系统维修领域,更为细致和准确的反映了系统的运行状态,对于系统的维修建模及确定系统的检测区间起到了重要的作用.但是,以往关于延迟时间理论的应用几乎都是关于单部件系统或串联系统的,而并联系统在实际中也有很广泛的应用.应用延迟时间理论对两部件并联系统的检测区间进行研究,在部件缺陷发生的初始时间为非指数分布的情况下,提出了两种不同的维修措施,并以单位时间期望维修费用最小为目的,对每一种维修措施分别进行研究.文章最后给出了数值案例及模拟运算结果,并对未来的工作做了展望.     

一种基于Gauss von Mises分布模型的非线性量测更新方法

基于状态空间模型的许多传统滤波算法都基于Rn空间中的高斯分布模型,但当状态向量中包含角变量或方向变量时,难以达到理想的效果。针对J.T.Horwood等提出的nS?R流形上的Gauss Von Mises(GVM)多变量概率密度分布,扩展了狄拉克混合逼近方法,给出了联合分布的GVM逼近方法,推导了后验分布的GVM参数计算公式,设计了量测更新状态估计算法。将J.T.Horwood等的时间更新算法与所提出的量测更新算法相结合,可实现基于GVM分布的递推贝叶斯滤波器(GVMF)。仿真结果表明,当状态向量符合GVM概率分布模型时,GVMF对角变量的估计明显优于传统的扩展卡尔曼滤波器。