课程文献中心 更多>>

关键词： 定位与建图   毫米波雷达   多机协同   低空物联网  

摘要： 随着无人驾驶技术的发展，低空物联网逐步成为国家产业创新的重点方向。高精度与强适应的实时定位与建图是实现无人系统智能化运行的关键。然而，单一无人系统感知能力的局限性以及视觉传感器的易受干扰性，致使传统方法难以满足复杂动态环境下的实时定位与建图需求。为提升定位与建图的准确性和适应性，创新性地提出了一种毫米波雷达辅助的多机协同定位与建图方案。该方案深入挖掘毫米波雷达时、空、多普勒域等多维度特征，有效筛选可靠点云信息实现本地里程计以及局部地图构建。进而，基于共享局部地图信息，设计多无人系统协同的全局优化机制，实现精准定位与建图。实验结果表明，该方案有效保障了系统的鲁棒性和精确性。

关键词： 5E教学模式   概念教学   函数的零点   5E Teaching Model   Concept Teaching   Zero Points of Functions  

摘要： 深度学习的实践是推动课程改革深入的关键要素，而5E教学模式作为深度学习的有效载体和切入点，为实施深度学习提供了重要的方法和途径，通过吸引、探究、解释、迁移和评价五个环节对数学概念进行深度解析。本研究以“函数的零点与方程的解”为例，根据5E教学模式各环节的要求对课堂概念教学进行设计，以期提高学生对数学概念的理解和运用能力，促进数学教学走向更深度的发展。

关键词： 复变函数   教学改革   聚类分析   多维尺度分析   知识图谱   Complex Functions   Teaching Reform   Cluster Analysis   Multidimensional Scale Analysis   Knowledge Graph  

摘要： 本研究利用SPSS软件对复变函数教学改革领域的高频关键词进行聚类分析和多维尺度分析，构建了知识图谱，旨在揭示教学方法、内容和改革策略之间的内在联系。研究结果表明，我国近20年间对复变函数教学改革主要集中于关于高等数学中复变函数教学方法与成效在教学内容可视化教学改革中的研究、关于分析实变函数和复变函数应用和类比研究、以课程思政为导向，对函数进行研究性教学研究，同时也指出课程思政和研究性教学将会成为未来热点问题。

关键词： 正则曲线   挠率   曲率   代数不变量  

摘要： 本文讨论了一类由双曲函数定义的正则曲线的形状。我们首先利用曲线的挠率对曲线进行初步判断,然后利用曲率和代数不变量对曲线进行更精确的描述。此外,我们还对这类曲线更一般的情况进行了研究。

关键词： 课程思政   数字电子技术   教学实践   融合设计   Ideological and Political Education of Curses   Teaching Practice   Integrated Design  

摘要： 为了更好地在专业课堂上做好德育工作，完成好立德树人的根本任务，本文以“逻辑函数图形化简方法”一节课为例，具体讲解《数字电子技术》课程教学过程中课程思政的实施方法，包括课程教学设计、专业教学知识点与思政教育的融合设计及预期成效、教学方法的具体应用等。通过建立专业课程与思政教育之间有效的融合机制，实现专业课程“教书、育人”的双重功能。

关键词： 数据挖掘   数据流   概念漂移   图结构   k关联最优图  

摘要： 为了解决传统的概念漂移检测方法仅依赖错误率进行漂移检测不够可靠的问题,提出一种基于图结构的概念漂移检测方法。该方法使用k关联最优图表示当前数据分布,并定义样本的漂移率表示分类器与当前数据分布的不一致性,利用漂移率形成比特流,使用概念漂移检测器在比特流上检测概念漂移。通过与传统的使用错误率的概念漂移检测方法的对比和分析,结果表明在人工数据集上基分类器的准确率提高1%～5%,在真实数据集上提高1%～2%。所提出的方法有效提高概念漂移检测的准确性,帮助基分类器更好适应概念漂移。

关键词： 图神经网络   比特币   非法交易检测   深度学习  

摘要： 比特币的匿名性和去中心化特性使其成为非法交易的重要载体，而传统的检测方法难以应对复杂的交易网络结构。本研究提出了一种基于预训练条件变分自编码器（CVAE）的图神经网络模型，旨在提高比特币非法交易的检测效率和准确性。该模型通过CVAE生成与输入特征相同数量的K-1个特征向量，并与原始特征向量合并，形成K个特征向量。每个特征向量经过多通道聚合和最大池化层处理后，得到多个特征向量。随后，这些向量分别通过线性层和层归一化处理，再次进行最大池化层操作，得到一个全局特征向量。最后，通过图卷积层和线性层进一步处理特征向量，生成最终的分类结果。模型在输出层通过skip机制融合输入特征向量。实验结果表明，该模型在比特币非法交易检测任务中表现优异，显著提升了检测准确率和鲁棒性。

关键词： 支持向量机   飞行任务识别   飞行动作划分   飞行训练质量评估   数据预处理  

摘要： 民航飞行训练质量评估逐渐向定量化、智能化方向发展。为满足其对飞行任务识别提出的新需求，提出了一种基于支持向量机的民航飞行任务识别和动作划分方法。首先，对民航飞行参数进行收集与预处理，用于后续飞行任务识别与动作划分。然后，使用支持向量机模型对民航飞行任务进行识别。传统方法通过航迹图像进行识别，但由于缺少时序特征，起飞和降落识别准确率较低。为解决这一问题，将xyz坐标转化为RGB图像，引入时间序列特征，并加入数值通路以反映数据绝对值。对比传统航迹图像识别、RGB图像识别、RGB图像与数值通路结合识别的实验结果，发现使用RGB图像与数值通路结合的方法，识别准确率提升了40%，能够有效提高绕地标转弯和矩形航线识别准确率。此外，根据飞行任务识别结果，将各项任务划分为起飞、降落、爬升、下降、巡航、爬升转弯、下降转弯、巡航转弯、盘旋九类飞行动作，为后续的飞行训练质量评估研究提供了支持。

关键词： 程序验证   算法选择   图神经网络   机器学习  

摘要： 软件验证作为一种广泛采用的确保软件正确性的技术，在过去几十年里取得了显著的进步，同时产生了丰富的软件验证算法和验证工具资源。然而，在同一验证问题上，这些算法的性能差异高达4个数量级。即使对于验证专家来说，选择适用于特定软件的验证算法或工具仍然是一项极具挑战性的任务。本文针对软件验证中的算法选择问题进行了研究，并提出了一种基于图神经网络（graph neural network，GNN）的算法选择模型。首先将待验证的程序转化为图数据结构，然后进行多次特征变换，最终生成图形表示。基于这个图形表示，GNN用于预测在特定验证任务上各种验证算法的得分。根据这些得分，选择器能够选择最适合用于验证该程序的算法。通过在最新可用的数据集上进行实验评估，本文的模型相较于先前的算法选择模型提高了大约8%的预测精度。

关键词： 人教版   浙教版   初中数学教材   “反比例函数”   对比分析   People’s Education Press   Zhejiang Education Press   Middle School Mathematics Textbooks   “Inverse Proportional Function”   Comparative Analysis  

摘要： 由于地域不同，数学教科书的特色也不同，因此数学教科书的横向比较是当下研究的一个焦点。本文通过比较研究法和定量分析，对人民教育出版社和浙江教育出版社出版的两版初中数学教材(分别简称人教版和浙教版)中“反比例函数”的章节编排、概念引入、图像和性质、例题及习题的设置、章末小结等方面进行比较，探讨了两个版本教材的异同点。通过对两版本教材的比较分析发现两版本教材关于反比例函数和二次函数章节的编排顺序有所不同；人教版注重类比，浙教版注重归纳；浙教版的习题数量远远大于人教版；二者都有自我评价的部分，但人教版更强调知识点之间的联系。