李玲娜
- 作品数：12 被引量：23H指数：4
- 供职机构：西南石油大学理学院更多>>
- 发文基金：国家重点基础研究发展计划国家自然科学基金中国科学院西部之光基金更多>>
- 相关领域：文化科学自动化与计算机技术理学更多>>
- 一流专业建设背景下数学课程的教学改革与实践——以“概率论与数理统计”为例
- 2023年
- “概率论与数理统计”是西南石油大学信息与计算科学专业的专业核心课程,对专业建设具有重要的推动和支撑作用。基于国家级一流本科专业建设的背景,将“课程思政”“共读一篇文献”“参加学科竞赛”等引入教学,依托OBE理念和中国大学MOOC平台,进行了线下与线上、教学与科研、知识传授与价值引领、理论与实践等相结合的适合数学专业课程的教学改革与实践。教学改革效果较好,学生有成就感、获得感,得到学生的一致好评。
- 田东红李玲娜谢祥俊
- 关键词：数学专业课概率论与数理统计混合式教学
- 《高等数学》双语课程教学模式探讨被引量：4
- 2014年
- 在一般本科院校实施《高等数学》课的双语教学具有相当大的难度,不同的双语课程教学模式可能收到完全不同的教学效果。目前大多数高等院校双语课程中主要采用三种教学模式,三种教学模式在实际教学过程中的优劣各异。对于大多数一般本科院校而言,可以按照一定规则和次序将三种教学模式结合起来使用,有效提高双语教学的效果。
- 李玲娜徐东胜杨雁刘德斌
- 关键词：高等数学双语教学教学模式
- 基于栅格的简单全覆盖路径规划
- 2012年
- 对栅格化后的区域进行编码，对障碍区域进行标记，利用深度优先遍历搜索算法来制定清洁机器人的全区域路径规划。利用C语言编程进行实验，结果表明，此方法既避免了机器人判断障碍物所需要进行的复杂计算，也十分有效的完成了机器人进行全区域覆盖的清扫工作。
- 王斌周楫邬鸿李玲娜
- 关键词：清洁机器人路径规划全区域覆盖
- 确定土壤重金属污染源的偏微分方程模型
- 利用MATLAB描绘了某城区的As、Cd、Cr、Cu、Hg、Ni、Pb、Zn这8种重金属元素的分布特征，采用综合变异系数法、单因子指数法和尼梅罗指数法对重金属元素的污染程度进行了定量分析，利用聚类分析对污染原因进行了定性...
- 李玲娜湛小红龚小平代林呈马俊修
- 关键词：土壤重金属污染源偏微分方程
- 数学模型与数学实验课程思政教学设计与实现被引量：7
- 2021年
- 课程思政是在进行专业知识教学过程中围绕课程教学目标实施的,优质的课程思政教学应做到有机融入课程思政元素,“如盐入味”。将数学模型和数学实验的知识与工程实际案例紧密融合,在案例中充分挖掘思政元素,拓展教学内容,创新教学模式,改革评价方式,注重培养专业素养的同时,引导学生形成正确的世界观、人生观和价值观,突出专业课程教学的育人导向,为其他专业类课程的课程思政教育改革提供参考和借鉴。
- 李玲娜杜卓婷田东红葛晓春
- 关键词：教学设计
- 大学经济数学——微积分创新教学方法的探讨被引量：5
- 2017年
- 大多数经济类专业学生在学习大学经济数学——微积分时,存在热情不高、学习能力较弱、为考试过关而学习等现象。如何有效地改变学生的学习状态,是每个任课教师都应该思考的问题。实例教学设计是一种导向,通过经济管理领域内的实际问题,将经济学与数学有效地结合在一起,引入数学建模思想,改变教学方式和方法,以期调动学生的学习积极性。
- 田东红李玲娜
- 关键词：经济数学微积分教学方法数学建模案例教学
- 有界闭区间并上的非线性循环程序的终止性验证
- 利用符号动力学理论中有关一维离散映射的函数和区间的转换图方法及相关结论，证明了一类非线性循环程序不终止的必要条件是在该程序循环区间上有不动点或者周期点存在，并给出了相应的终止性验证算法，利用该算法可以验证一维有界闭区间上...
- 李玲娜田继东刘德斌
- 关键词：终止性分析不动点周期点
- 多区间上非线性程序的终止性判定被引量：3
- 2011年
- 主要解决了如下形式的程序的终止性判定的问题:wh ile(x∈Ω)do{x:=f(x)}end,其中,x为程序变元,Ω(Ω=(a1,b1‖∪‖a2,b2‖∪…∪‖an,bn),其中,‖∈{(,),[,]},n∈N*)是间段并集,f是一个多项式函数。证明了:当φ(b1)φ(a2)>0,…,φ(bn-1)φ(an)>0(其中,φ(x)=f(x)-x)时,这类区间上的非线性程序不终止的必要条件是:在Ω内部或者边界上存在不动点。如果不动点仅仅在Ω内部,则上述结果是充要条件。通过添加一定的约束条件,对于仅区间边界有不动点的情况,也给出了判定的方法。对一类多项式函数的终止性给出了完备性的算法(TNPSI)。
- 牟琳李轶李玲娜刘栋
- 关键词：计算机代数不动点
- 有界闭区间并上的非线性循环程序的终止性验证
- 2012年
- 利用符号动力学理论中有关一维离散映射的函数和区间的转换图方法及相关结论,证明一类非线性循环程序不终止的必要条件是在该程序循环区间上有不动点或者周期点存在,并给出相应的终止性验证算法。利用该算法可以验证一维有界闭区间上的非线性循环程序的终止性。最后,给出计算实例演示该算法的算法步骤。
- 李玲娜田继东刘德斌
- 关键词：终止性分析不动点周期点
- 基于支持向量机的非侵入式负荷印记识别模型被引量：4
- 2019年
- 基于非侵入式电力负荷检测与分解技术近年来得到广泛推广.选取14个稳态指标作为负荷特征,建立基于支持向量机(SVM)的非侵入式负荷印记识别模型,利用多分类支持向量机(multi-class SVM)的成对分类算法,对负荷印记进行了识别,随机抽取数据进行测试,结果表明方法能够更准确地识别负荷印记,说明所提出的模型和方法具有较高的有效性和正确性.
- 李玲娜邵子娟金垚灯
- 关键词：模式识别多分类支持向量机
