课程文献中心 更多>>

关键词： 循环映射   诗性思维   创新思维   赋得古原草送别  

摘要： 本文以认知语言学为理论视角,探讨白居易《赋得古原草送别》中“古原草”意象的隐性结构。通过分析“古原草”枯荣循环的意象图式,揭示诗歌内在自然循环、时空流转与人生聚散间的多重映射机制。诗歌由“自然——时空——人事——情感”跨域认知映射构成的诗性结构,展现了从感性经验到诗性思维的认知转化过程。本文指出,诗性思维以隐喻映射与概念融合为核心机制,是重组经验世界的创造性认知活动,这对语文教学中创新思维的培养具有启示意义。

关键词： 动力系统   势函数   尺度接受上度量平均维数   变分原理  

摘要： 在动力系统理论中,通过引入势函数与尺度参数,构建了三种尺度接受拓扑上度量平均维数以及相对应的尺度接受测度上度量平均维数,并系统探讨了它们之间的内在联系.该推广使得系统在不同尺度下的局部复杂性与全局统计行为得以精确量化.关键成果在于证明了子集上带势函数的尺度接受上度量平均维数的变分原理,从而为该方向的研究提供了新的理论工具与分析路径.

关键词： 两个Bézier单元之间的映射   等距扭曲界   Lipschitz连续性   Bézier有理多项式   雅可比矩阵分解  

摘要： 提出了一种可估计两个六面体单元之间映射的最大等距扭曲上下界的方法。给定具有几何单射的两个六面体单元,基于Lipschitz连续性分析与多项式最值估计,通过将复合映射的雅可比矩阵分解为Bézier有理多项式的组合形式,建立了参数域在角点处取最值的充分性判据,并结合导数的Lipschitz界构建了映射扭曲的紧致上下界。通过在大量数据集上的严格测试,证明了本文算法的有效性和可靠性。

关键词： 投影对   压缩联合数值域   酉算子   反酉算子  

摘要： 本文主要给出了压缩秩1投影对联合数值域的映射Φ的完全刻画.利用投影对的联合数值域自身所具有的性质得到了Φ保持双边保正交性,并且在Hilbert空间维数为2时Φ保持秩1投影对的联合数值域,由此我们得到了压缩秩1投影对联合数值域的满射由一个酉算子或反酉算子诱导,从而推广了邓年、钱文华和吴文明在有限维Hilbert空间上保持秩1投影对联合数值域映射的结果.

关键词： Smarandache LCM函数   Euler函数   混合均值   渐近公式  

摘要： 本研究利用Smarandache LCM函数定义与性质、Euler函数的定义与性质以及初等解析的方法,研究了Smarandache LCM函数SL(n)与Euler函数φ(n)的混合均值,并得到一个有趣的均值分布的渐近公式。

关键词： 最近邻约束   比特映射   映射补全   模拟退火  

摘要： 为改善多数量子算法受限于量子比特最近邻约束而无法直接在嘈杂中规模量子(NISQ)设备上执行,且动态重映射引入的交换(SWAP)门将降低算法保真度的问题,提出了一种高效的量子比特映射方法.首先,该方法基于图形同构性原理与映射补全策略完成初始映射分配,在满足量子比特连接性需求的同时,减少后续映射变换的SWAP门插入数量;其次,在映射变换过程中改进启发式成本函数,结合模拟退火算法的快速收敛特性与自适应能力,为量子电路动态选择最优前瞻深度与衰减因子,实现最优成本值动态计算.实验结果表明,相较于现有方法,该方法可显著减少SWAP门插入数量,有效提升NISQ设备上量子算法的执行效率与保真度.

关键词： 深度伪造   类比推理   政治知识   信息折扣  

摘要： 深度伪造正以前所未有的方式介入网络空间,重构政治现实与公众认知。聚焦哔哩哔哩(B站)中,将西方政治人物嵌入国产历史背景政治题材影视剧相关情节与情境的AI“换脸”视频,采用类比推理理论,通过多模态话语来分析其深度伪造的政治叙事。研究发现:五类政治影视情节同现实政治事件互为“表里”,折射中国网民对全球地缘政治的“异托邦”想象。文化转译与技术赋能共同建构的“政治类比”,为公众理解遥远宏大的国际事务提供认知入口,并通过熟悉的历史叙事实现意义的初步映射。这种表层相似的类比与映射,在遮蔽结构性政治差异的同时,也引发信息折扣和误读风险。当面对深度伪造重塑的传播空间时,跨越技术、政治与文化维度的综合视角亟待建立,技术拟态与信息误导的边界与规范也应被重新审视。

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

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

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

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

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

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