课题小组 更多>>

关键词： “双高”   高职农业装备应用技术专业   高等数学   课程思政  

摘要： 农业装备是乡村振兴战略实施的重要支撑，具有不可替代的作用。高职院校是国家培养高技能人才的重要阵地，立德树人是高职院校教育教学的根本任务。在高职农业装备应用技术专业的高等数学课程教学过程中，教师应该将育人放在首位，探索构建课程思政教学新路径，将高等数学课程思政与专业特色达到有效融合，抓牢“数理”与“专业”两条线，形成全课程育人新模式，培养新时代高职学生的工匠精神。高职院校也应使教师在开展高等数学课程思政教学时有章可循，达到公共课辅助专业课，共同完成立德树人的教育目标，助力打造一批“懂农业、爱农村、爱农民”的新时代农业装备专业技术技能人才。

关键词： 积分算子   交换子   函数空间   有界性  

摘要： 过去几十年中，变指标函数空间被认为是调和分析中一个具有吸引力的研究领域，归因于它在前期研究中的一些应用．目前，基础分析和应用数学中的变指标结果已经扩展到其他应用领域，例如磁流变学、流体模型、影像复原等．本学位论文的主要目的是建立Marcinkiewicz积分、参数型Marcinkiewicz积分和分数次积分的交换子在变指标函数空间上的有界性．主要工具是变指标函数和BMO函数的一些性质．本学位论文共分为五章．　　在第一章中，我们简要介绍了本文的历史背景和一些前言，如必要的概念和引理．　　在第二章中，通过利用变指标函数空间的性质，我们证明了Marcikiewicz积分的交换子在变指标Herz-Morrey-Hardy空间HMKβ,sγ,η上的有界性，其中d∈Lipδ(Rn)．并且证明了Marcikiewicz积分的交换子在变指标Herz-Morrey-Hardy空间HMKβ,sγ,η上的有界性，其中d∈BMO(Rn)．　　在第三章中，主要建立了具有粗糙核的Marcinkiewicz积分及其交换子在变指标加权Herz空间(K)α,qγ(w)上的有界性．　　在第四章中，我们给出了定理证明中所用到的一些引理，并且证明了具有粗糙核的参数型Marcinkiewicz积分在变指标Morrey型空间Mup上的有界性．同时，我们获得了由带粗糙核的参数型Marcinkiewicz积分和BMO函数生成的高阶交换子在变指标Morrey型空间Mvγ上的估计．　　在最后一章中，我们主要得到了分数次积分算子在变指标Herz-Morrey-Hardy空间HMKβ,sγ,η上的有界性，并且证明了分数次积分算子的交换子在变指标Herz-Morrev-Hardy空间HMKβ,sγ,η上的有界性．

关键词： 《高等数学》   翻转课堂   微课   混合式教学模式  

摘要： 《高等数学》课程一直以来都是高等院校理工科专业学生必修的一门公共基础课，大部分高等院校教师在以往的《高等数学》课程教学过程中均以传统的授课方式为主。然而随着课程改革以及教育理念的不断发展，传统的教学模式暴露出一定的弊端，这种弊端很大程度地影响了教学质量和教学效果。本文以陕西机电职业技术学院理工科三年大专学生为研究对象，针对《高等数学》这门课程，研究了传统教学模式的局限性与引入翻转课堂的必要性，最终研究得出适合陕西机电职业技术学院乃至大部分高等院校的《高等数学》课堂混合式教学模式。

关键词： 工业软件   安全风险检测   开源组件识别   函数调用图   多特征匹配   图神经网络   注意力机制  

摘要： 工业软件是应用于工业领域的软件，可以提高设计效率并节约成本。然而使用工业软件存在安全风险，其主要源于工业软件使用存在漏洞的开源组件，因此需要检测工业软件中使用的开源组件。静态特征匹配技术是开源组件识别及软件安全风险检测的重要识别技术，但是目前这种技术仍存在一定的缺陷和不足。对于C/C++程序，传统的特征匹配算法缺乏有效特征，导致在识别跨架构与编译选项的开源组件时准确率不高;对于Java程序，现有方法无法识别混淆技术引起的特征变化，从而导致识别失败，因此本文分别对C/C++开源组件识别与Java开源组件识别进行了研究和实现。　　（1）针对 C/C++程序缺少有效特征导致匹配错误率高的问题，本论文提出了一种基于带属性函数调用图的C/C++组件识别方法。该方法对函数调用图进行扩展，提出了带属性的函数调用图特征，并图神经网络与注意力机制完成相似度匹配。带属性的函数调用图可以有效描述开源组件内部函数的结构特征与内容特征，从而解决C/C++程序缺少有效特征的问题，并完成这类组件的识别工作。实验结果表明，该方法在测试集上表现出了较高的效果，准确率达到92.31%，优于其他C/C++开源组件检测方法。　　（2）针对Java代码混淆引起组件识别失败的问题，本文提出了一种基于多级特征匹配的 Java 开源组件识别方法。该方法提出了三个不同等级的类依赖关系图作为类依赖图特征，并结合类级别与方法级别特征，完成开源组件的识别。由于类依赖关系的抗混淆的特性，该方法能有效解决因代码混淆导致的识别失败问题。通过使用类型混淆数据集检测，该方法的平均准确率达到了89.24％，比现有的最优方法提高了5.4％。此外，其平均组件版本分析时间仅为12.52秒，有较好的时间伸缩性。　　（3）为了实现工业软件的安全风险检测，基于本文的两种方法设计实现了工业软件开源组件检测系统。该系统应用于国家级项目《关系XXX技术》，已经为多家企业提供工业软件安全检测服务。通过在实际场景中的测试，该系统能够检测出常见的开源组件，并结合漏洞情报库，完成软件的安全风险评估。

关键词： 任务驱动教学法   课程思政   高等数学  

摘要： 高等数学是高等院校非数学专业的一门基础课，存在学生缺乏学习兴趣的情况。文章结合高等数学的学科特点以及大一新生的心理特点，改变传统教学模式，将任务驱动教学法运用到高等数学教学中，让学生参与课堂，提高学生学习高等数学的积极性，锻炼学生自主探究能力。在教学过程中巧妙融入课程思政，增加课堂趣味性，提升高等数学课程的育人功能。

关键词： 数学文化   高等数学   数学教学   文化背景  

摘要： 文中介绍了数学文化的内涵，分析了数学文化和高等数学教学的关系以及数学文化在高等数学教学中体现的主要方面和数学文化对于高等数学教学的意义。同时，提出基于数学文化背景下开展高等数学教学工作急需解决的几方面问题，并结合实际，针对这些问题，分析基于数学文化背景下开展高等数学教学的实践路径。这些对于高等数学，或者数学文化的理论研究方面具有一定参考价值，对于高等数学如何同数学文化融合发展有一定实践指导意义。

关键词： 应用型本科院校   高等数学   实践教学  

摘要： 本文根据应用型本科院校计算机专业对高等数学的要求，结合高等数学的实际教学情况提出在理论教学中引入数学实验教学、挖掘与专业相关的应用性案例、融合数学建模培训几方面实现应用型本科院校计算机专业高等数学实践教学的改革，为日后同类型人才培养提供借鉴。

关键词： 建筑类民办本科   高等数学   课程思政   教学策略  

摘要： 作为建筑类民办本科院校的重要课程之一,高等数学内容包括很多思政资源,教师用好此类资源,融入课程思政观念,可以让学生从理工角度解读科学文化、知识文化,提高学习能力和品德素养。学生在良好的学习环境,会成长为有伦理职责,有工匠精神,有严谨求学态度的新时代大学生。

摘要： 在教育教学改革的浪潮下，高职高等数学的教学模式需要与时俱进。当前，高职高等数学在教学模式上存在理念落后、内容抽象、方法陈旧、考核手段单一等问题，学生难以学以致用，无法将高等数学与自身专业结合起来。为此，教师需要深入分析当下高等数学教学中的问题，突破传统的数学教学理念，优化高等数学课程内容，从教学方法、教学评价方式上进行改革，培养学生的学科核心素养。本文立足于高职高等数学教学，分析了高等数学核心素养对学生个人发展的重要价值，阐述了核心素养背景下高职高等数学教学模式的改革思路，对当前的教学问题进行深入剖析，提出了教学模式改革的有效路径。

关键词： 奇异积分算子   T1定理   乘积Lipschitz函数空间   乘积齐次Besov空间   乘积齐次Triebel-Lizorkin空间   齐型空间  

摘要： 奇异积分算子理论在调和分析中起着重要作用.到目前为止,Calderón-Zygmund奇异积分算子在各个单参数函数空间上的有界性研究已经取得了丰硕的成果,但在多参数函数空间上的有界性还需要进一步研究.本文共分为四章.第1章,主要介绍了齐型空间理论,奇异积分算子理论和多参数调和分析理论的研究背景以及Calderón-Zygmund奇异积分算子在不同函数空间上有界性研究的国内外现状.在此基础上,提出了本文拟解决的主要问题.第2章,在拟度量满足H?lder正则性条件,测度满足双倍与逆双倍条件的乘积RD空间上建立广义乘积Calderón-Zygmund算子在乘积Lipschitz函数空间上有界的充分必要条件T11=T21=0.其关键思想是发展乘积Lipschitz函数空间的Littlewood-Paley理论,其中包括特殊乘积Besov空间的刻画和乘积Lipschitz函数空间的弱稠密论证.第3章,在欧氏空间R~n×Rm上建立仅需要半光滑性的乘积齐次Besov空间（?）和乘积齐次Triebel-Lizorkin空间（?）的T1定理.其关键思想是通过离散型Calderon再生公式和几乎正交估计获得乘积 Besov 和 Triebel-Lizorkin 空间的 Plancherel-P?lya 特征刻画.此外,指标p和q包括小于或等于1的情况.第4章,对本文进行总结与展望.