课程文献中心 更多>>

关键词： 隐喻   隐喻映射   初中英语   英语写作  

摘要： 初中英语写作向来是英语教学的重点与难点。针对学生英语作文表述缺乏丰富性、作文衔接方式不当、缺乏语篇建构能力等问题,本文结合廖美珍三种隐喻映射理论,在教育部颁布《义务教育英语课程标准(2022年版)》的背景下,以2022年新课标七年级教材单元章节Unit 7:A Day to Remember为例,简要探讨初中英语写作的新方法实施路径。

关键词： PWM整流器   虚拟电网磁链   自抗扰控制器   扩张状态观测器   非线性函数   矢量控制  

摘要： 针对传统电压型三相脉宽调制(PWM)整流器在虚拟磁链定向矢量控制下抗扰性能不足的问题,提出一种改进二阶非线性自抗扰控制(ADRC)策略。首先,建立同步旋转坐标系下含虚拟电网磁链的矢量关系模型,推导出基于虚拟磁链定向的电压-电流解耦控制方案;其次,针对直流侧电压外环设计二阶非线性ADRC,通过重构非线性函数fal改进扩张状态观测器(ESO),解决传统函数在扰动估计中动态响应与抗噪性的矛盾;最后,在Matlab/Simulink中搭建系统模型,开展直流电压给定突变与负载突变的仿真实验。结果表明:改进ADRC在扰动后直流电压恢复时间缩短且超调减小,显著提升了系统动态响应速度与抗扰鲁棒性。

关键词： 反比例函数   代数推理   数形结合  

摘要： 以矩形面积最值为引例,设计了一组递进式变式链,引导学生构建反比例函数模型,运用分离参数、整体换元、数形结合、分类讨论等方法解决问题,实现代数推理与几何直观的深度融合,帮助学生深化对反比例函数性质的理解,有效提升学生的逻辑推理、数学建模与规范表达能力.

关键词： 静态污点分析   污点规范识别   大语言模型   漏洞检测   代码属性图  

摘要： 随着软件规模和依赖复杂度提升，基于数据流传播的污点型漏洞已成为自动化安全审计的高频风险点，但现有静态污点分析仍难以在复杂代码库中同时实现高召回与低误报。主要问题包括：预定义的污点规则覆盖不足，难以准确建模关键API、外部库调用与封装函数，导致漏报；同时，路径验证不足，在跨进程与复杂依赖场景下易引入虚假路径，产生误报。为此，本文提出SpecRAG，一种融合检索增强与程序图分析的污点漏洞检测框架。首先基于多源污点知识构建检索增强的LLM推断规约，接着在代码属性图上执行受控切片生成并筛选候选传播链，最后借助LLM进行路径级语义审核，通过细化上下文降低误报。在FormAI、Juliet-C和ReposVul数据集上的实验表明：在源/汇点及危险参数位识别任务中，SpecRAG平均准确率达88%，较直接使用LLM推断平均提升8.8%；在端到端漏洞检测中，其整体表现优于主流静态分析工具及相关LLM×CPG基线方法，在真实项目样本上取得了F1=0.63 的效果。

关键词： 末级共享缓存   冲突未命中   哈希函数   自适应索引策略  

摘要： 高速缓存使用索引函数将主存数据映射到缓存中,传统方法使用最低有效位作为索引,但该方法在低空间局部性的程序中会导致数据分布不均并引发大量的冲突未命中.为了缓解冲突未命中的问题,前人提出异或哈希索引函数,该方法通过混合地址的高位与低位来打破线性映射关系,提升数据分布的均匀性.尽管该索引函数在诸如跨步访存模式下表现良好,但现代应用程序往往具有更复杂的混合访存模式,在这类程序中,异或哈希相比传统索引函数可能会出现性能退化.针对这一问题,本文提出一种基于异或哈希的动态索引函数DXI,该索引函数通过运行时动态的构造参与异或的高位地址来增强输出的随机性,能够在避免异或哈希性能退化的同时适应混合访存模式程序动态变化的缓存需求.实验结果表明,在SPEC CPU和PARSEC等基准测试中,使用DXI的系统IPC相比传统索引函数提高了1.02倍,并将缓存未命中的数量减少了4.39%.

关键词： 反比例函数   旋转变换   直线   等轴双曲线  

摘要： 一、问题提出过点F(-√2,√2)的直线l与圆O:x^(2)+y^(2)=1相切于点M,与曲y=-1/x(x>0)交于点R.若FR的中点为N,则|ON|-|MN|=____.这是2025年杭州市高三一模第14题,试题考查直线、圆及反比例函数图象之间的关系,与常见的圆锥曲线问题区别较大.学生对反比例函数图象就是等轴双曲线理解不够深刻,难以从双曲线定义出发解决问题,加上学生运算能力欠缺,导致其得分偏低.

关键词： 学科融合   项目式教学   三角函数  

摘要： 通过“正弦式交流电探究”“弹簧振子简谐运动分析”两大核心任务,整合数学三角函数、导数与物理电磁感应、简谐运动知识,借助实验教具、电传感设备,以“直观感知—理论推导—应用拓展”的逻辑开展教学.课程采用过程性与成果性结合的评价方式,最终反思明确了教学目标需兼具明确性与层次性、教学内容组织要注重合理性与逻辑性、教学方式应因材施教并融合信息技术,同时指出数学知识挖掘深度不足的问题,为后续数理跨学科教学提供参考.

关键词： 次声   Hankel矩阵   奇异值   迁移学习   特征提取器  

摘要： 次声波凭借其低频、大气中传播衰减小且传播距离远等特性,已成为监测全球核试验、地震和泥石流等事件的一种重要手段.然而,由于天然地震、化学爆炸等次声事件信号低信噪比特点,以及时频域特征的高度重叠性和核爆炸等敏感事件的样本稀缺性,使传统的基于特征工程的方法和新兴的深度学习方法在次声分类领域面临诸多挑战.为有效提升次声信号分类准确率,本文提出了一种基于Hankel矩阵重构与奇异值场映射的迁移学习方法.首先,针对次声信号低信噪比特性设计双约束重构模型,通过平衡约束时间延迟嵌入的深度与宽度构建Hankel矩阵,结合奇异值分解的截断阈值约束策略,在保留主成分能量的同时实现噪声抑制;其次,针对时频域特征的高度重叠性,引入格拉姆角场编码技术,将奇异值向量通过极坐标转换和自定义内积映射为二维特征场,实现特征维度转化,增强特征可分性;再次,针对样本稀缺特性构建跨域特征迁移架构,无需依赖大量样本训练,即可通过提取预训练网络中间层跨尺度特征,实现跨维度特征交互;最终,将目标域深度特征与支持向量机的强泛化性融合,在实测次声数据集上实现95.7%的分类准确率,在LOTIS公开数据集上的准确率也超过了95%,为小样本次声事件分类提供了解决方案,对于加强国家安全和灾害预警系统的建设具有重要意义.

关键词： 切线方程   单选题   曲线   全国卷   函数   高考   导数  

摘要： 2025年全国Ⅰ卷的第12题考查了用导数的几何意义解决(函数)曲线的切线问题,求切线方程是高考一个重要而高频的考点,我们对近五年高考全国卷进行统计发现:大概有12次考查了求函数曲线的切线方程,考查频率高,每年都有考查,单选题、多选题、填空题居多,也有导数大题的第1小问经常出现;分值一般是5分左右.

关键词： 全景影像   隧道建模   平面映射   测量精度  

摘要： 为了满足隧道沉浸式浏览和建模要求,本文通过搭建包含自动驾驶小车和全景相机的硬件平台,采用全景图像映射的方式构建隧道内平面与全景影像的映射方程,实现基于全景影像的隧道建模。基于本文提出的全景影像映射模型测量隧道内的点坐标与固定距离,并将其分别与真实坐标和真实距离进行对比。结果发现,本文提出的模型量测点坐标误差均值约为2 cm,最大误差在3 cm以内;量测距离的绝对误差平均值为3.46 cm,相对误差均值为4.56%。总之,基于全景影像映射的方法可以实现隧道的自动建模,能够为隧道管理提供一个兼具浏览效果和自动化数据采集的方案,具有较好的应用前景。