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

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

从学生的“问题”出发审视空间向量内容的教学和育人价值北大核心

1问题提出高中数学课程引入空间向量内容后,使很多原本需要进行推理演化的立体几何问题的求解“代数化”、“程序化”了,以往的一些立体几何的“难题”变得“简单”了.有老师认为,立体几何内容在培养学生直观想象、逻辑推理核心素养的育人价值减弱了.在教学中,不难发现即便有空间向量作为解决立体几何问题的有力工具,学生在解决立体几何问题时依然会存在各式各样的“错误”.     

计算代数方程组孤立奇异解的符号数值方法

求解代数方程组是计算代数几何的最基本问题之一,孤立奇异解的计算则是其中最具挑战性的课题之一,在科学与工程计算中有着广泛的应用,如机器人、计算机视觉、机器学习、人工智能、运筹学、密码学和控制论等.本文结合作者的研究成果,综述了符号数值方法在计算代数系统孤立奇异解、特别是近似奇异解精化与验证方面的研究进展,并对未来的研究方向提出了展望.     

QK乘子代数上的Corona定理和Wolff定理

本文给出对数K-Carleson测度的一个新特征,并以此为工具研究Q_K空间的乘子代数M(Q_K),给出乘子代数M(Q_K)的某些特征描述.利用对数K-Carleson测度及Q_K空间的一个新特征,建立乘子代数M(Q_K)上的Corona定理和Wolff定理.     

超声速流动中非线性EASM湍流模式应用研究

针对超声速复杂流动区域精确模拟的需要，发展了基于k-ω可压缩修正形式的非线性显式代数雷诺应力模式（EASM），提高了该模式对超声速复杂流动的数值模拟精度。通过对二维超声速凹槽和三维双椭球的数值计算表明，与SA和SST常规线性涡黏性湍流模式比较，非线性的EASM模式对大分离以及剪切层流动结构的刻画能力更精细，对剪切层再附区的压力及摩擦系数分布模拟更加精确；EASM模式能够准确地模拟二次激波引起的压强和热流分布情况。     

对一道高考填空题的多解探究与思考

高考是对学生高中三年所学数学知识的综合考查以及对学生掌握的思想方法的检测.高考数学题可以从多方面入手解决,但在高考考场上,对具有一定难度的题目,如何在短时间内运用便捷、巧妙的方法正确解答是关键.教师多角度分析题目有助于日常教学,也有助于学生应对高考.     

正规Bihom-Lie代数的上边缘算子刻画

考虑正规Bihom-Lie代数(L,[?,?]?,α,β)的平凡表示， 给出了平凡表示对应的上边缘算子d； 证明了该算子的相关性质； 得到: 正规Bihom-Lie 代数(L,[?,?]?,α,β)与∧L*上的算子d之间存在一一对应关系。     

NO分子宏观气体热力学性质的理论研究

采用量子统计系综理论,研究了基态NO分子宏观气体摩尔熵、摩尔内能、摩尔热容等热力学性质.首先应用课题组前期建立的变分代数法(variational algebraic method, VAM)计算获得了基态NO分子的完全振动能级,得到的VAM振动能级作为振动部分,结合欧拉-麦克劳林渐进展开公式的转动贡献,应用于经典的热力学与统计物理公式中,从而计算得到了1000-5000 K温度范围内NO宏观气体的摩尔内能、摩尔熵和摩尔热容.将不同方法计算得到的摩尔热容结果分别与实验值进行比较,结果表明基于VAM完全振动能级获得的结果优于其他方法获得的理论结果.振动部分采用谐振子模型对无限能级求和计算热力学性质的方法有一定的局限性,应当使用有限的完全振动能级进行统计求和.     

横看成岭侧成峰,远近高低各不同——也谈“几何法”判断直线与椭圆的位置关系

关于判断直线与椭圆位置的研究,大多数老师是引导学生用代数方法,联立方程组,消元后转化为关于x(或y)的一元二次方程,利用判别式Δ加以研究,由于运算量很大,不少学生做不到底,以至于半途而废.甚至有老师认为,判断直线与椭圆的位置关系,“几何法”行不通,因为椭圆没有统一的半径.此说法有点欠妥.何苗,张全合两位老师在《对直线与有心圆锥曲线位置关系判断的探究》(《数学教学》2012年第9期)一文中用“几何法”     

开放式多体系统动力学仿真算法软件研发(Ⅱ)DAEs求解算法对比

研究求解微分-代数方程组(DAEs)的高效率、高精度和高稳定性数值积分方法一直是多体系统动力学领域的热点问题之一。本文将求解结构动力学方程的Bathe数值积分策略应用于DAEs的求解,并基于SiPESC平台开发了开放式多体系统动力学仿真算法软件,综合比较研究了Newmark法、HHT-I3法、Generalizedα方法、Bathe方法和祖冲之类Symplectic方法。通过复摆、刚-柔耦合双摆和对称陀螺三个数值算例研究了算法参数与数值阻尼的关系。数值实验表明,Newmark方法在特定参数下引入的数值阻尼通常不可控,HHT-I3方法、Generalizedα方法和Bathe方法通过选择特定步长和参数可引入可控的数值阻尼,祖冲之类Symplectic方法无数值阻尼。在求解真实高频和低频耦合问题以及高速旋转的陀螺问题时,采用祖冲之类Symplectic方法或者无耗散的Newmar方法能够对系统的高频成分进行准确模拟。