课程文献中心 更多>>

关键词： 多项式   实根   弦截法   抛物线法  

摘要： 针对一类n次实系数多项式,探讨了其实根的个数与范围,证明了该类多项式的唯一正根为次数n的单调递增函数,并得到了该正根序列的极限.

关键词： RISC-V   ARM NEON   RVV   intrinsics函数   软件迁移   函数迁移  

摘要： RISC-V是当前学术界与产业界重点关注的新一代精简指令集架构,为了加速RISC-V软件生态的构建,将ARM架构软件移植到RISC-V架构是一种高效且实用的策略。其中intrinsics函数作为优化代码的常用方式之一被广泛使用。针对现有ARM NEON intrinsics函数迁移工具适配版本低、覆盖函数少、适用软件范围有限等问题,提出一种基于ARM NEON到RISC-V向量扩展的完整数据类型映射与1 618条intrinsics函数映射关系的迁移方法,有效弥补了现有ARM NEON intrinsics函数迁移领域的不足。实验结果表明,所建立的映射关系覆盖各类软件中常用的intrinsics函数,能有效满足广泛的各类软件包迁移需求。基于该映射关系,提出了相应的自动迁移方法,实现了不修改或仅修改少量代码的迁移效果。

关键词： 天桥   指数函数   欧拉公式   数列   三角函数  

摘要： 1引言欧拉公式e^(iθ)=cosθ+i sinθ(e为自然对数的底数,i为虚数单位)是由瑞士数学家欧拉创立,该公式联系了指数函数与三角函数,被誉为“数学中的天桥”,不但能广泛应用在高等数学中[1-2],也可在初等数学中发挥重要作用[3-4].

关键词： 高中数学   核心素养   函数教学   教学策略创新  

摘要： 本文聚焦高中数学核心素养培养下的函数教学策略创新,阐述其在推动数学核心素养落地、破解传统教学困境、促进知识与现实融合、响应课程标准要求等方面的重要意义,剖析教师教学设计能力不足、函数抽象性与学生认知断层、大班制与个性化培养矛盾、评价体系与素养发展脱节等挑战,并提出构建“四维联动”教师发展体系、实施“具象-半抽象-抽象”梯度建模教学、开发“分层-协作-个性”混合教学模式、创建“过程+结果”双维度评价机制等创新对策,旨在提升高中函数教学质量,促进学生数学核心素养的发展。

关键词： 通用滤波多载波   载波频率偏移   窗函数   逐次凸近似   误符号率  

摘要： 本文首先在理论上研究了存在载波频率偏移(carrier frequency offset, CFO)的加窗通用滤波多载波(universal filtered multi-carrier, UFMC)系统信号和干扰分析,推导了系统信干噪比(signal-to-interference-plus-noise ratio, SINR)表达式;然后基于误符号率(symbol error rate, SER)与SINR的关系式,构建了以最大化子载波SINR几何平均为目标的窗函数设计最优化模型;其次采用逐次凸近似算法求解了该最优化问题,得到了最优窗函数;再次通过仿真对比了不同窗函数下系统的SER。仿真结果表明,窗函数可以有效降低CFO导致的UFMC系统干扰。与传统窗函数相比,本文设计的最优窗函数具有更好的信噪比适用范围,并且能够显著改善系统SER。

关键词： 财政事权和支出责任   分领域改革   四重逻辑  

摘要： 当前,财政事权和支出责任划分存在四重逻辑偏差:自上而下的理论逻辑偏差,二元分立的历史逻辑偏差,双轨制的实践逻辑偏差,财政事权认定的方法论逻辑偏差。建立“权责清晰、财力协调、区域均衡”的政府间财政关系,一方面,需要尊重分成制与分权制的理论逻辑和统一性与层次性的历史逻辑,实施自下而上与自上而下相结合的改革路径,并保持财政事权与支出责任、财力和财权相适应;另一方面,需要坚守均等化与差别化的实践逻辑和公共服务受益范围的方法论逻辑,促进均等化的规范性与差别化的动态性相结合,并落实专属财政事权的优先性与共同财政事权的辅助性原则。

关键词： 离散数学   等价关系   思政教学   设计方案   评价方式  

摘要： 根据教育部对高等学校课程思政建设的指导意见,为了保障立德树人这一根本任务的贯彻落实,本文选择离散数学课程中的等价关系这个节段作为研究对象,深入探究了课程思政蕴含的相关工作,包括离散数学中思政教学的目标,离散数学课程思政教学的设计,和课程思政教学效果的评价等。离散数学课程思政教学的设计方案和教学效果的评价方式对学生专业能力的提升和政治素养的培养起到一定的作用和效果。

关键词： LabVIEW   信号发生器   STM32F103   MAX038   虚拟仪器  

摘要： 为克服传统实验仪器价格昂贵、教学需固定场所的问题,采用STM32F103单片机设计了基于MAX038的函数信号发生器,同时运用LabVIEW开发平台设计了一个包含信号源与示波器的虚拟仪器。为了论证设计的正确性和简化设计复杂度,利用Altium Desinger设计印制电路板(PCB)样品板进行硬件测试,完成设计和安装。文中利用上位机软件生成各种常用波形,再将数据通过串行通信口发送到单片机,进而控制MAX038电路输出各种波形的模拟信号。本设计能够产生正弦波、三角波、方波等常用波形,输出频率范围为0至20 MHz,且具有独立的占空比和频率调节功能。实验结果表明该系统产生的波形清晰,频率、相位和幅度稳定。

关键词： 点云   三维目标检测   图神经网络   融合采样   特征交互  

摘要： 在基于点云的三维目标检测技术中,存在点云计算代价大,目标尺度差距大等问题,导致目标检测效率低。针对此问题,提出了一种基于融合采样和图网络的三维目标检测算法。首先,引入点云融合采样技术对原始点云进行采样,以降低计算复杂度;其次,利用K-NN算法对采样后的点云进行图构造,并引入子图采样来解决图卷积过平滑的问题;最后,通过特征交互更新图节点的特征,以提高网络的特征提取能力,从而达到提升目标检测效果的目的。本研究在KITTI3D数据集上进行实验,结果相较于基准模型Point-GNN,对汽车目标的检测精度提升了3.89%。在简单场景和中等难度场景下,骑行者目标的检测精度分别提升了6.60%和4.36%。

关键词： 隐私信息   信息收集   边界划分   权重   互惠性偏好  

摘要： 合理有效地收集用户隐私信息,有助于减少冗余数据收集,保护用户隐私。然而,在实际操作中,隐私信息收集边界识别不清、过度收集的现象屡见不鲜。本文首先构建了App常用隐私信息的分类及内容体系,利用层次分析法AHP(Analytic Hierarchy Process)计算了隐私信息分类及单个隐私信息的危险权重。然后,基于最小必要原则,确定了需收集的核心隐私信息集;再结合互惠性偏好,确定了需收集的非核心隐私信息集,从而建立了隐私信息收集边界的互惠性划分方法。实验结果表明,该方法有效防止了隐私信息的过度收集与泄露,为信息收集方提供了合理的边界划分依据。