课题小组 更多>>

关键词： Android恶意应用检测   跨语言   门控图神经网络   函数调用图  

摘要： 随着移动应用的快速发展,移动应用安全成为了网络空间安全中的重要组成部分,其中Android应用安全在移动安全领域受到了广泛的关注。近年来,信息技术的不断发展,人们对移动应用功能多样性的要求越来越高,应用开发人员倾向于实现各种功能来满足用户的需求。为了实现丰富的功能以及保持高速的系统响应,开发人员使用Java语言与Native语言相结合来加快程序运行速度。但这样的跨语言编程框架为移动应用安全引入了更多的安全问题,攻击者开始将恶意行为隐藏在Native层代码中以逃避Android安全审查。目前,现有的Android恶意应用检测工具主要依赖在Java层代码中提取到的信息来推断在Native代码中实现的潜在恶意行为,无法探究Java层和Native层代码中的交互行为,而仅有的少部分跨语言安全性分析工作也具有很大的局限性。 跨语言应用的安全性分析应对Java层代码与Native层代码之间的交互关系进行分析。针对以上问题,本文提出了一种语义驱动的恶意应用检测工具,通过结合Java层代码和Native层代码中实现的行为来对应用的恶意性进行判定,并设计实现了恶意应用检测系统,以下是本文的主要贡献。 (1)针对跨语言应用程序中Java层和Native层之间上下文交互信息难以表示的问题,本文研究实现了一种基于语义的跨语言应用行为表示方法。本文研究Android系统中跨语言调用过程,提出并实现了基于图的跨语言函数调用图的融合方法。为了保留程序运行时的函数调用过程,本方法首次分别提取Java层、Native层函数调用图(Function Call Graph,FCG),并对跨语言函数调用进行研究,基于正则表达式对两部分之间的交互信息进行提取,并将Java FCG与Native FCG进行融合的恶道一个可以描述跨语言完整行为的多关系有向图(Multi-Relational Directed Graph,MRDG)。对于构建得到的MRDG,应用中的恶意行为都可以被完全暴露出来。除此之外,随着Android应用开发技术的不断发展,现有的恶意应用检测方法需要不断适应新的恶意模式,手动更新关键字列表、API序列等,本方法可以自动从Android应用程序中提取全面的MRDG并研究其恶意行为模式。该方法也可以扩展到其他平台。在此基础上,采用图神经网络对恶意行为进行识别,经实验表明,本文方法可以在特征处理阶段最大程度保留应用程序的语义信息,并且可扩展性高。 (2)针对传统神经网络如卷积神经网络(Conventional Neural Network,CNN)在对图进行学习时会损失大量语义,并且在特征转换时可能消耗大量时间的问题,本文提出了一个基于图神经网络(Graph Neural Network,GNN)的跨语言恶意软件检测方法。该方法采用擅长处理长序列问题的门控图神经网络(Gated Graph Neural Network,GGNN)对由公开数据集构建的恶意软件检测数据库进行学习训练。该方法首先基于统计特性对MRDG进行图节点的向量化,并保证图中有向边的信息完整性。然后利用门控图神经网络在数据集上进行训练,得到分类模型。根据MRDG中的应用行为信息,图神经网络可以对恶意行为的模式进行学习,以构建一个用于Android应用安全性审查的工具。为此,本文构建了GNNDroid数据集,经实验表明,本方法具有检测准确率高、对于不同大小的应用泛化能力强的优点。 (3)根据提出的跨语言恶意应用检测方法,设计实现了针对Android恶意应用的检测系统,并进行了测试。测试结果表明系统各模块均可正常使用,满足用户对于恶意应用检测系统的基本需要。

关键词： 高等数学   课程思政   农林高校  

摘要： 课程思政是高校将思想政治教育融入课堂教学，实现课程德育功能的一种教育理念，对高校人才培养具有价值引领作用。农林类高等数学作为农林高校开设的一门公共基础课，对培养高质量涉农人才发挥着重要作用。文章结合目前农林高校高等数学的教学现状，从提升学生专业自信、提高教师思政育人能力、构建课程思政新体系及优化教学组织实施等方面，对农林类高等数学“课程思政”建设进行了探索研究。

关键词： 职业本科   高等数学   专业需求   教学改革   能力为本   学以致用  

摘要： 自2019年6月教育部正式批准首批15所本科职业教育试点高校开始，职业本科大学从零开始，走上了探索属于职业本科办学特色的课程改革发展之路。职业本科以培养高层次技术技能型人才为根本任务。高等数学课程作为一门职业本科院校的公共基础课程，因院校的属性改变，教学大纲、教学模式、教学方法及考核方法也应发生改变。由于职业本科的“职业”特点及其有别于高职的“高层次”特点，职业本科高等数学课程改革应融合专业需求为学生后续专业课的学习做好准备，也要提升学生分析问题、解决问题的能力。基于此，本文以机械类专业为例，探讨高等数学课程融合专业需求的教学改革，以期达到更好地为专业服务的目的。

关键词： 高等数学   定积分   解题方法  

摘要： 高等数学教学不仅是传授知识的过程，也是培养学生思维能力的过程。文章对一道典型定积分的多种解法进行探究，以期突破学生思维的局限性，开阔其解题思路，从而培养其解题的综合能力。

关键词： 数学文化   高职教育   高等数学   方法探寻  

摘要： 高等数学具有复杂性与抽象性的特点，一直以来都是高职教育系统的难点与重点。在素质教育的背景下，高职高等数学的教学方向，也逐渐从传统的灌输式教学模式向着趣味性、多样化的教学方向逐步发展，更加注重数学的内涵与应用教学，课程思政进入课堂的教育理念被广泛普及。数学文化作为学生了解数学内涵，感受数学魅力的关键，其融入高职高等数学教学，不仅顺应了素质教育的要求，更为高职高等数学教学注入了活力。本文阐述了数学文化的内涵，在分析数学文化融入高职高等数学教学意义的基础上，提出教学融合的路径，以期为提升高职高等数学教学质量提供参考。

关键词： 教育数字化   高职高等数学教学  

摘要： 教育数字化视域下，高职高等数学教学要遵照聚焦需求、体现适用，简单方便、体现好用，深度融合、师生愿用的原则，有效推动信息技术与教育教学融合创新，加快高等数学教学数字化进程，促进高等数学教学高质量发展，即要重视数字化高等数学课程资源的建设与共享，要将课程思政元素融入高等数学数字化教学资源，要优化教师数字化教学能力提升的校本培训，要积极投入数字常态化教学实践，要提升大学生数字化学习素养，要创新数字化教学模式的方法，要建立以学生综合能力发展为导向的数字化教与学评价体系。

关键词： 高等数学   课程教学   有效性提升   策略探究  

摘要： 随着社会经济的发展，各行各业对创新型、应用型人才的需求也日益高涨。因此，作为人才培养的摇篮，高等院校就要通过教学改革，实现人才培养工作质量的提升，一方面满足社会各行业对高等教育的期待，另一方面也能够推动高等教育的高质量发展。对于高等数学课程教学而言，保证教学的有效性是现阶段教改工作的主要方向。高等数学的有效教学要立足学生数学素养的发展，提高有限课时、学时的利用效率，鼓励教师反思，从而推动教改工作的动态发展。只有这样，高校的高等数学课程才能够帮助学生打好数学基础，帮助其成长为“新工科”教育理念下的优秀人才。

关键词： 雨课堂   《高等数学》   混合式教学  

摘要： 《高等数学》是高校教育的一项关键课程内容，相比初等数学更加复杂，学习难度比较大，对于学生思维能力、想象能力、抽象能力等要求非常高。若是教师依然选择传统教学方式开展工作，则极易致使教学效果不甚理想，同时也会导致学生无法理解课程内容，从而产生抵触情绪，进而影响教学工作有序开展。而雨课堂的衍生不仅突破了传统教学模式的限制，还在一定程度上为混合式教学奠定了坚实基础，就构建和谐健康的师生关系，提升教学效率与质量发挥着不可小觑的推动作用。所以，基于雨课堂开展《高等数学》混合式教学具有非常重要的现实意义。

关键词： Hausdorff算子   展缩算子   模空间   Wiener混合空间  

摘要： 本文主要研究了矩阵展缩算子在函数空间上算子范数的渐近估计和Hausdorff算子在函数空间上的有界性.我们考虑的函数空间有模空间和Wiener混合空间.本论文共分为四章:第一章介绍了Hausdorff算子和矩阵展缩算子的研究背景,并给出了本文的主要结果.第二章介绍了模空间的定义和基本性质,建立了矩阵展缩算子在模空间上算子范数的渐近估计,最后给出了Hausdorff算子在模空间上有界的最佳条件.第三章介绍了Wiener混合空间的定义和基本性质,建立了矩阵展缩算子在Wiener混合空间上算子范数的渐近估计,最后给出了Hausdorff算子在Wiener混合空间上有界的最佳条件.作为应用,我们得到了Hardy算子和伴随Hardy算子在Wiener混合空间上的一些有界和无界性质.第四章对本文的研究工作进行了总结,并对未来的工作进行了展望.

关键词： 案例教学法   高职院校   高等数学   教学路径  

摘要： 案例教学法作为一种重要的教学方法，已经在教育领域广泛应用。高等数学课程作为高职院校学生培养工作的重要组成部分，其内容具有抽象性和理论性的特点，学生存在学习兴趣不高和理解能力不足的问题。在此背景下，文章从教学内容、教学情景、课堂互动以及教学评价四方面展开分析，旨在探究基于案例教学法的高等数学课程教学路径，促进学生的数学学习和应用能力的提升，希望为高职高等数学教学的改革创新提供一些有益的参考。