课程文献中心 更多>>

关键词： OFDM   通信感知一体化   低旁瓣   窗函数   杂波抑制  

摘要： 在城市复杂环境下通信感知一体化(ISAC)系统面临强静止杂波干扰,而且OFDM ISAC信号具有较高的距离旁瓣往往导致目标被杂波淹没,严重影响感知性能。为此,提出了一种基于窗函数的OFDM低旁瓣通信感知一体化波形设计方法,该方法利用经典窗函数在频域对OFDM信号子载波进行加权,在保障通信信息可靠传输的同时,有效抑制信号的距离旁瓣。所提方法具有算法结构简单、计算复杂度低、工程易于实现等优势。仿真实验表明,在强杂波环境下经动目标显示(MTI)处理后,所提设计方法能有效降低杂波能量,提升了OFDM ISAC系统的杂波抑制性能。

关键词： 替罪羊树   函数式建模   Isabelle定理证明器   机械化验证  

摘要： 基于机器定理证明的形式化验证方法通过数学逻辑推理确保软件系统符合形式规约,从而有效规避潜在缺陷引发的严重后果,是确保软件正确性的重要方法.替罪羊树是一种平衡二叉搜索树,与常见的平衡二叉搜索树不同的是,它创新性地采用惰性平衡机制,仅当特定子树的不平衡度超过阈值时才触发重构操作维护平衡,避免了过大的开销,但其正确性验证是一个难题.为此,本文首次在Isabelle中给出了替罪羊树重构、插入、删除操作的函数式建模,并在Isabelle 定理证明器中对上述操作进行机械化验证.从验证过程、验证脚本的模块化和代码的可执行性 3 个方面与Dafny验证进行对比.相较于目前替罪羊树结构的Dafny 验证,定理数由180减少到113,且无需构造中间断言,减轻了验证的负担.

关键词： 数据生产要素   场景适配性   生产函数   新质生产力   数字经济   DDSA生产函数  

摘要： 在数字经济蓬勃发展的时代背景下,数据日益成为推动经济社会发展的关键生产要素,但围绕其内涵界定、特征属性及作用机理等核心问题,学界仍存在诸多争议和认识分歧。文章基于马克思主义政治经济学的生产要素理论和现代经济增长理论,构建了数据生产要素的系统性理论分析框架。研究首先从概念谱系入手,厘清了“数据—数据要素—数据生产要素”三个层次的递进逻辑关系,揭示了数据从一般信息载体向具有生产力属性的生产要素转化的内在机理和演化路径。在概念辨析的基础上,文章深入剖析了数据生产要素的核心特征,阐明了其场景适配性、越用越多的再生性以及稀缺性与再生性辩证统一的独特属性,这些特征从根本上区别于土地、劳动力、资本等传统物质要素,体现了数据作为新型生产要素的特殊价值规律。研究发现,数据生产要素的价值实现高度依赖于特定应用场景,通过情境针对性、价值相关性和动态适应性三个维度与场景深度融合,在场景适配过程中动态生成和实现价值增值。基于对数据生产要素特殊规律的认识,文章创新性地提出了“数据驱动场景适应型生产函数”(DDSA生产函数)的理论模型,通过引入场景变量S作为核心构件,将技术进步从外生变量转化为内生函数A(S),系统重构了传统生产函数理论框架。DDSA生产函数不仅科学解释了数据与传统生产要素深度融合的动态规律,更揭示了数据驱动下生产方式从“资源导向”向“场景导向”、从静态均衡向动态优化、从封闭系统向开放网络转变的深层逻辑。研究进一步阐明了数据生产要素与新质生产力发展的内在关联,论证了数据生产要素通过重塑生产组织方式、催生新兴产业业态、优化资源配置效率、驱动技术范式变革等多重机制,成为推动新质生产力形成和发展的核心引擎。文章的理论贡献在于构建了数据生产要素从概念内涵到价值实现、从微观机理到宏观影响的完整理论体系,为理解数字经济运行规律、推动数据要素市场化配置改革、加快发展新质生产力提供了系统的理论支撑和政策参考。研究结论对于完善数据要素基础制度体系、培育数据要素市场、提升数据要素配置效率具有重要的理论价值和实践指导意义。

关键词： high-speed railway   tunnel active fault zones   ballastless track   lateral deformation   concrete plastic damage  

摘要： Tunnel offset and deformation in active fault zones under complex geological conditions present significant challenges to the operation of slab track structures. This study develops models for various forms of double-block slab track structures in active fault zones, incorporating concrete plastic damage theory and a cohesive zone model to analyze layered deformation, interlayer bond failure, and damage evolution under lateral deformation. The analysis reveals that when lateral deformation loads are applied to the midsection of the track structure, in addition to deformation in the bottom layer, pronounced abrupt rail displacements occur due to the vertical discontinuity of the multilayer structure. The magnitude of structural deformation is directly proportional to the lateral deformation amplitude, while the displacement gradient is inversely proportional to the length of lateral deformation. Under lateral deformation, significant bond failure occurs at the edges of the track slab, with the degree of debonding closely correlated with the length of the track slab elements, where double-block slab track elements exhibit the lowest bonding strength. As the deformation amplitude increases, structural damage progressively intensifies, beginning with the formation of diagonal cracks and primarily concentrated in the middle of the track slab.

关键词： 模糊映射熵   安全监控   Mamdani型模糊规则   残差网络  

摘要： 深度强化学习虽已在多种复杂任务中取得卓越成果,但其策略在动态高维环境下仍缺乏实时安全保障,因而亟需在部署阶段引入能够实时评估并纠正智能体决策的安全监控机制.现有数据驱动的黑盒监控方法侧重离散或二元决策,难以直接迁移到连续动作空间.针对上述问题,提出了模糊映射熵驱动的安全监控框架,仅依赖状态、动作和成本数据即可构建,无需任何环境模型.该方法首先利用高斯混合模型(Gaussian mixture model, GMM)对离线收集的安全轨迹进行状态簇硬划分和动作簇软隶属,并提出模糊映射熵在兼顾均衡性与模型复杂度的前提下自适应确定最优动作簇数.随后在 Mamdani框架下构建模糊逻辑规则,并通过残差网络与对抗判别器联合微调簇中心,使生成动作更贴近真实的安全分布.在线阶段,监控器基于GMM后验概率计算每条待执行状态-动作对的簇一致性度量.一旦该度量低于阈值,即通过模糊推理生成平滑的安全替换动作,从而在风险发生之前完成修正.在 Safety-Gymnasium的3个导航任务上,对 PPO-Lag、TRPO-Lag与 CPPO-PID策略进行了监控评估.结果显示,该框架在几乎不降低乃至略微提升任务回报的前提下,显著降低累计安全成本,并保持较高的预警覆盖率,验证了该监控框架在连续动作场景中的有效性和实用性.

关键词： 木质素   香草醇   热解   酚类   DFT  

摘要： 木质素热解作为一种极具前景的途径,在生产高价值酚类化学品的可持续性方面表现突出。然而,阐明错综复杂的自由基反应网络仍然是优化产物选择性的主要瓶颈。本工作构建了一个标准化的DFT计算数据库。该数据集描绘了香草醇在823.15 K下的快速热解。它包含三个核心要素:主要反应路径、热力学能垒以及原子级电子指纹。最终,这些见解为数据驱动的催化剂发现铺平了道路,并为精准调控木质素解聚提供了理论基础。

关键词： 大气CO   时空分布   轨迹映射   省级区域尺度  

摘要： 本研究采用轨迹映射填充技术,基于山西省6个地面观测站近十年CO2浓度监测数据,完成高碳排放省域CO2浓度的空间网格化映射,对全省CO2时空分布特征进行深度解析.验证结果表明,映射结果与实测数据吻合度较高,充分证实了轨迹映射技术在区域大气CO2浓度映射中的适用性和可靠性.进一步分析显示,山西省CO2浓度分布呈现出显著的时空分布特征:近十年,全省平均CO2浓度整体呈现上升趋势且呈现由北向南递增的分布规律.受经济发展增速及疫情等的影响,全省CO2浓度逐年变化特征存在差异,2022年同比增长最多,2020年同比下降.全省北部低值区域CO2浓度增速比南部高值区域快,呈现出由北向南CO2浓度增加量递减的趋势.全省CO2浓度分布存在季节差异,秋、冬季CO2浓度及振幅高于春、夏季.本研究的结果可为省级区域尺度乃至全国及全球尺度的温室气体时空特征分布分析提供科学支撑和方法参考.

关键词： 机器视觉   孪生网络   元素乘法   高性能注意力机制   广义特征金字塔  

摘要： 目标跟踪在计算机视觉领域至关重要,但在计算资源受限的边缘设备上,如何在低算力消耗下处理目标的剧烈形变仍是一项严峻挑战。针对此问题,本文提出了一种高效的抗形变轻量级跟踪算法。首先,为突破轻量级主干网络的表征瓶颈,本文引入了元素乘法层,利用低成本的线性运算在潜在的高维空间中实现隐式的非线性特征交互,显著提升了轻量级网络的表征能力。其次,针对形变目标局部细节易丢失的问题,设计了多尺度卷积注意力模块和广义特征金字塔网络。多尺度卷积注意力模块通过自适应感知不同感受野的空间语义,聚焦形变目标的关键区域以增强多尺度敏感度;而广义特征金字塔网络则通过双向流动态交互机制有效整合了深层语义与浅层几何结构信息,强行保留了对形变高度鲁棒的边界特征。在OTB100、UAV123和GOT-10k三大数据集上的综合实验表明,本文算法的参数量仅为8.4M,计算开销低至2.5G FLOPs,且跟踪速度高达168 FPS。相比与多种先进算法,该方法不仅在精度与成功率上表现优越,更在应对目标剧烈形变挑战时表现优异。

关键词： 新工科   地方本科院校   电子信息   OBE理念   人才培养模式  

摘要： 新工科背景下,地方本科院校电子信息类专业需创新人才培养模式以服务地方经济发展。湘南学院电子信息科学与技术专业以OBE理念为指导,针对课程体系与产业需求脱节、培养过程与工程能力要求存在差距、“三融”协同不畅等问题,构建四维映射课程体系,实施三化进阶培养模式,建立三位一体协同机制,并通过常态化校企信息互通形成人才培养质量闭环。实践表明,改革有效提升了学生工程实践能力与岗位适配度,为地方本科院校提供了有益参考。

关键词： 亚纯函数   拟正规族   微分不等式   正规定则  

摘要： 利用Montel定则,结合微分方程相关理论,研究一类三阶常系数线性微分不等式亚纯函数的拟正规定则及拟正规的阶数,结果表明,?f∈F,当f'''(z)+Af(z)>C且F1={f'(z)/f(z)f(z)∈F}或F2={f'''(z)/f(z)f(z)∈F}正规时,亚纯函数族F拟正规.