从几何直观到数学抽象培养关键能力——以福建省中考数学运动类型问题为例

几何直观和抽象能力是初中阶段数学核心素养的两个组成部分,平移、旋转与轴对称是培养学生几何直观的重要运动类型载体.以近几年福建省中考数学运动类型问题为例,通过建立形数联系的几何直观帮助学生明晰问题的解决路径,提炼“空间结构”与“数量关系”促进学生抽象能力的发展.     

探解法本源 促思维生长——以“二次函数最值问题”中考复习课为例

二次函数最值问题屡见于中考压轴题,它能够全面考查学生的几何直观、运算、推理能力.本文以学生已有认知经验为基础,探索二次函数背景下几何最值问题教学的新路径,抽丝剥茧介绍求解此类问题的通性通法,不断优化解题教学模式,培养学生的创新意识.     

新型显示薄膜喷墨打印技术的数学建模与分析

本文将新型显示薄膜喷墨打印技术的关键工艺过程“喷墨打印-干燥/烘烤成膜”中多组分聚合物溶液在压电作用下从喷管内喷出均匀液滴、液滴在基板上着床并融合成均匀的液体薄膜、液体薄膜经过蒸发留下溶质(如有机发光二极管OLED (organic light-emitting diode))形成均匀显示薄膜的3个核心科学问题,在数学上提炼为多组分聚合物流体带移动接触线和动态接触角以及带有蒸发条件的固-液-气多相耦合的自由界面问题.本文首先对这些问题的Newton流的数学模型进行热力学自洽的系统综述和完善,然后对包含相分离、溶剂蒸发和非Newton黏弹性等多物理现象的同类自由界面问题进行成体系的数学建模,对模型的理论分析和数值模拟提出一些研究思路.本文希望通过解决这些数学问题突破新型显示薄膜喷墨打印工艺的关键技术瓶颈,提高打印的良品率,推进产业化,促进数学在解决国家重大需求难题中的应用.本文以新型显示薄膜喷墨打印技术核心科学问题为背景,给数学工作者提出了一些新的重要的数学问题,同时也为相关材料科学家提供了可行的数学方案,为双方搭起了良好的沟通桥梁.     

Poisson方程的Lp理论

本文对于Poisson方程的Dirichlet问题(第一边值问题)、Neumann问题(第二边值问题)和Robin问题(第三边值问题),给出一个简单而统一的方法来得到解的全局Lp-估计(或称为Calderón-Zygmund估计).这个方法的核心是基本的L²-估计和对于解的二阶偏导数的分布函数的精细分解.     

修正晶体相场模型的二阶线性化差分格式的误差分析

修正晶体相场模型是一类六阶非线性广义阻尼波动方程.首先,基于CrankNicolson格式,利用降阶方法对方程建立线性化隐式差分格式.非线性项通过二阶外推方法进行处理.其次,利用能量分析方法和数学归纳法,对差分格式进行理论分析,证明差分格式的唯一可解性及L~∞范数下的收敛性.收敛阶在时空方向均为二阶.最后,数值算例表明差分格式的有效性及数值收敛阶在L~∞范数下达到二阶.     

类凸向量均衡问题解的最优性条件

在实的局部凸的Hausdorff拓扑线性空间中,考虑带约束的向量均衡问题,利用凸集分离定理,给出了带约束的类凸向量均衡问题的弱有效解,Henig有效解,全局有效解和超有效解的充分必要条件,并通过举例说明了锥类凸映射是比锥凸映射更弱的映射。     

基于语义模板的医学问答自动生成

通过对大量医学论文的分析,得到了一些满足特定语义关系的概念成分和语法关系,通过定义这些语法结构和慨念元素创建了相应医学问题的模板;利用这些模板,与医学句子进行语法和概念上的匹配获得医学知识,增强了计算机对医学文本的理解,并在此基础上自动生成问答对.实验表明本文的问题生成系统能够获得83%的精确率和42%的返回率.     

基于思维发展的信息技术与数学教学融合实践探索——以几何画板在二次函数学习中的运用为例

数学教学是以数学思维发展为核心的教学,学生思维发展需要在积极的问题情境思考中得以实现.基于思维发展的信息技术与数学教学的融合实践,一方面重视学生通过主动思考完成知识和方法的初步建构,实现思维的内化;另一方面重视展示、交流、辨析等思维外显过程,并注重借助几何画板等信息化图示技术,在动态的问题思考中实现抽象知识直观化、内隐思维可视化,达成从感性认知到理性建构再到思维自觉的育人目的.     

TREANOR算法有病态吗?

文在计算“HL-1”两台电机并车过程时,、用了Treanor方法,且指出算法有病态现象。我们的分析是Treanor算法不存在病态现象,实际计算也表明Treanor算法可正确地描述并车过程。 描述两台双Y30°电机并车同步过程的微分方程为     

自动波竞争神经网络及其在单源最短路问题中的应用

将竞争机理引入网络的自动波产生与传播过程中，提出自动波竞争神经网络(ACNN)模型，并成功地应用于求解单源最短路问题，给出了基于ACNN的最短路求解算法. 与其他神经网络最短路算法相比，基于ACNN的最短路算法具有网络所需的神经元数目少、神经元及网络的结构简单、易于软硬件的实现、以及全并行方式计算等特点，可用于求解非对称赋权图的最短路径树问题，且其计算时间(迭代次数)仅正比于最短路径上的跃点数，与赋权图的复杂度、路径总长、边长的精度、通路总数等因素无关. 计算机仿真结果表明该算法的有效性和快速求解能力. 关键词： 单源最短路问题 自动波竞争神经网络 脉冲耦合神经网络