课题小组 更多>>

关键词： 数学美育   美育课堂   美育实施策略  

摘要： 在高中数学教学中构建美育课堂是落实新时代五育并举教育方针的教学实践，同时对于激发学生学习数学的热情，推动学生数学核心素养的养成，都具有积极的意义。而数学之美不易被感知，数学教学中的美育渗透也较难，探索一条合适高中数学的美育道路十分必要。

关键词： 高等数学   教学   创新发展  

摘要： 高等院校很多专业都需要学习高等数学课程，高等数学课程的学习为理工类相关专业学习奠定了基础，学习高等数学，能够提升学生的思维能力，让学生学会客观分析问题、有效解决问题，同时可运用高等数学知识解决生活中遇到的相关问题。所以对于高等数学知识的教学，教师要给予足够的重视。本文将从数学文化与课程思政的视角来探讨高等数学教学的创新发展。

关键词： 高等数学   数学教学   数据分析法   综合能力  

摘要： 在信息化时代,学生个人的数据分析能力对其数学素养的提升影响重大,因此教师需要在数学教学中,根据学生的实际情况进行教学改革,有效促进数据分析法在数学教学中的应用。

关键词： 应用型本科   高等数学   混合式教学  

摘要： 近年来,高等学校课程教学模式不断改革,应用型本科院校在日常教学过程中注重应用型人才的培养,高等数学作为基础学科能为应用型人才的培养奠定基础,为学生以后学习提供支持,但进行高等数学教学需要科学的教学模式。混合式教学是指将线上教学与线下教学有机融合,将其应用到应用型本科院校的高等数学教学过程中具有重要意义。基于此,本文以应用型本科院校为例,主要阐述了线上线下混合式教学模式背景以及应用型本科院校高等数学混合式教学策略,以供参考。

关键词： 过程间路径   基本路径集   函数调用   符号映射   Fortran语言  

摘要： Fortran语言作为科学计算领域最流行的编程语言之一,随着相关研究的不断进步,对Fortran程序的计算处理能力和质量要求越来越高,相应软件和代码的复杂度也越来越大,分支、循环和函数调用的嵌套使用也越来越复杂。程序的可用性与路径分析的可靠性呈正相关,目前已有的过程间路径生成方法难以为复杂程序生成过程间路径,不能提前发现并去除不可达路径,过程间路径生成效率低。针对以上问题,本文提出一种过程间路径生成模型,围绕本模型做出以下研究:（1）针对生成基本路径集中增加所有循环结构执行次数的问题,本文提出了基于K次循环处理的基本路径集生成方法。首先基于深度优先搜索策略,结合关键路径法和回溯法等生成函数内路径,并判定函数内路径的可达性和线性无关性,将选择的初始不可达内路径上的循环结构分为对路径可达性有影响和无影响的循环结构,然后增加对路径可达性有影响的循环结构的执行次数,直至路径可达并添加到基本路径集中或者达到上限K次,以此来生成函数的基本路径集。（2）针对过程间路径分析中由于跨函数引起的同一变量的表示符号不统一问题,本文提出了基于符号映射的过程间路径生成方法。首先为生成过程间路径过程建立符号映射模型（Symbol Mapping Model）SMM,在函数调用点处选择被调用函数内路径的同时添加形参和实参的映射集合,然后在生成过程间路径的过程中计算各个变量的符号表达式,同时利用区间运算技术计算各个变量的取值,及时发现变量取值为空的不可达过程间路径并停止该条路径的生成,减少过程间不可达路径的产生。上述方法在自研的程序分析工具DTSFortran中得到了实现,并选取了 4个开源工程进行了验证。实验结果表明,本文提出的过程间路径生成模型不仅可以为98%的函数生成基本路径集,减少了对路径可达性无影响的循环结构的执行次数,提升了基本路径集的生成效率,而且为复杂的函数调用程序生成过程间路径,在生成过程间路径的过程中尽早发现不可达路径,减少计算机资源的浪费。

关键词： 高等数学   课程思政   立德树人   探索  

摘要： 课程思政是指将思想政治教育的元素融入课程教学当中,将“立德树人”的教育目标作为根本任务,各类课程与思想政治理论课同向同行,形成协同效应。在高等数学的教学中,将复杂难懂的专业知识与课程思政有机结合,引导学生坚持正确的人生观和价值观,感悟知识背后蕴含的数学精神,增强民族自豪感和爱国主义情怀。基于高等数学融入课程思政的重要性,挖掘高等数学中蕴含的思政元素,浅析课程思政融入的现状,探索有效融入课程思政的措施,同时实现教书育人的教育目标。

摘要： 随着教育信息化的发展，混合式教学、微课、慕课等新的教学方式逐步普及，高等数学传统教学评价模式的弊端逐渐显现，难以充分体现学生学习成效。教育的根本目的在于促进学生的发展，高等数学的评价体系应当秉承“以学生为中心”的理念，运用信息化手段，开展多元化交互式的课程评价体系建设，提升课程评价体系的科学性、全面性，以推动高等数学课程教学改革不断向纵深发展。

关键词： 医理融合   课程思政   医药高等数学   价值培养  

摘要： 医理融合背景下，要求未来医药学专业人才不但要有扎实的专业基本功和良好的专业素养，还需要具有一定的数据分析和处理能力。建立医药高等数学课程思政教学体系，以医药数学模型、临床案例和生活实践为导引，以数学思维为桥梁，知识传授和价值培养相互协同，同生共长。在医药高等数学课程思政教学实践中，依托线上慕课平台，开展线上线下课程思政教学。在知识传授中，培养学生人文素养和科学创新精神，提升专业认同感和使命感；在思政育人中，有效激发学生的学习兴趣，促进对知识的掌握和应用，培养学生理性思维能力和数理信息化能力，为今后个人在专业领域的研究奠定数学理论基础。

关键词： 高等数学   模块教学模式   模块化   构建  

摘要： 本文探讨了高等数学模块教学模式的构建策略，重点关注教学模式构建的关键要素。首先介绍了高等数学模块教学模式的概念和特点，强调了整体性和相互关联性的重要性。其次，深入探讨了构建教学模式的关键因素，这些因素包括教学内容的确定与组织、教学方法的选择与设计、教学资源的开发与利用，以及教学评价的设计与执行。最后，总结了存在的问题与改进方向，并展望了下一步研究的方向。

关键词： Android恶意软件   静态分析   动态分析   函数调用图   网络流量  

摘要： 当前,随着互联网技术的普及和Android操作系统的广泛使用,Android恶意软件的数量也在与日俱增,这对Android用户的隐私和信息安全构成了严重威胁。如何有效地对Android恶意软件进行检测对于保护用户财产安全有着重要的意义。 本文针对现有Android恶意软件的静态分析方法和动态分析方法存在的问题进行改进。在静态分析方面,提出了一种基于行为特征和语义特征的多模态Android恶意软件的静态检测方法;在动态分析方面提出了一种联合本地特征和网络特征的动态恶意软件检测方法。同时,在上述两种检测方法的基础上设计并实现了一个Android恶意软件检测系统。本文的主要研究工作如下: (1)在静态分析方面,提出了一种基于行为特征和语义特征的多模态Android恶意软件的检测方法。针对Android官方危险权限集合中权限数量有限的问题,提出了一种基于敏感度计算的危险权限集合扩充方法,并基于扩充集合对APK的权限特征进行权限匹配生成表示向量。针对基于单个操作码或字节码的统计方法无法挖掘潜在的代码语义信息,提出了一种基于2-gram的字节概率矩阵生成方法,通过2-gram统计不同类型组合的字节码出现的概率,用于表示APK内部相邻操作码潜在的语义关系,并基于卷积神经网络方法对概率矩阵进行特征编码。针对APK函数调用图中节点特征如何表示的问题,本文基于函数调用关系和不同类型操作码出现频率信息生成包含了节点特征的属性图,并利用图神经网络方法对属性图进行特征编码。在此基础上对上述特征进行特征融合输入神经网络实现恶意软件检测。经过实验验证,本文所提的静态分析方法有着96.5%的准确率和96.2%的F1分数,相较于现有的静态分析方法,如基于权限的检测方法、基于操作码的检测方法、基于字节码图像的检测方法和基于函数调用图的检测方法,本文方法的准确率平均高出20%,在检测性能上有着优势。 (2)在动态分析方面,提出了一种联合本地特征和网络特征的动态恶意软件检测方法。针对现有基于本地特征的恶意软件检测方法存在的API调用序列冗余问题,提出了一种基于旗鱼算法的最优API子集生成方法,通过该最优API子集缩短API调用序列,并通过带有Attention机制的GRU网络对API调用子序列进行特征编码。此外,为了捕捉网络流量特征,提出了一种基于BM25的流量矩阵生成方法,该方法考虑了网络流量中每个字节的重要性不同,并利用CNN+LSTM网络对流量矩阵进行特征编码,捕获流量矩阵中的空间关系与时序依赖关系。实验结果表明,本文所提的动态分析方法有着97.1%的准确率和96.9%的F1分数,相较于现有的基于API调用序列或基于网络流量的动态分析方法准确率平均高出12%,在检测性能上有着优势。 (3)基于本文所提出的静态和动态分析方法,设计并实现了一个Android恶意软件检测系统。该系统主要包含系统登陆模块、Android应用程序上传模块、应用程序分析模块和历史分析结果持久化与展示模块,其中应用程序分析模块为本系统的核心模块,其检测分析算法基于以上所提出的两种检测恶意软件检测算法实现。