课程文献中心 更多>>

关键词： 弱合作均衡   非传递向量值效用   传递型特征函数   连续多参与人   存在性  

摘要： 本文首次给出了具有非传递向量值效用,传递型特征函数和连续多参与人的博弈模型.在此模型中,我们定义出弱合作均衡概念.进一步,在一些常规的条件下,我们给出了弱合作均衡的存在性定理.最后,我们给出一些具体的例子,用于解释博弈模型.

关键词： 内积函数加密   属性基内积函数加密   去中心化   静态安全性假设   泄露容忍性  

摘要： 传统加密机制中,数据需先解密才能获取具体内容,对于隐私敏感的场景其无法为原始数据提供必要的隐私性,从而削弱了加密方案的实用性.近年来,为完成内积运算的同时实现数据的隐私保护需求,一种新的密码原语——内积函数加密机制被提出,它能在不解密的前提下通过直接操作密文实现获得相应数据内积值的目的,保证了数据的隐私性,其中基于身份的内积函数加密机制缺乏对密文的细粒度访问控制;基于素数阶群的属性基内积函数加密机制通常采用非静态的困难性假设证明其安全性,该操作虽能保持常规攻击下的安全性,但其安全性取决于敌手的询问次数,导致相应构造易受到攻击;此外,现有构造普遍需要中心权威完成全局公私钥的生成,中心化构造模式导致相应提议存在属性权威单点失效的隐患和可扩展性弱的性能瓶颈.针对上述挑战,本文基于素数阶群和静态安全性假设提出了去中心化的属性基内积函数加密机制,基于决策的双线性Diffie-Hellman困难假设证明了它的安全性,有效规避了非静态困难性假设带来的潜在安全风险,显著提升了属性基内积函数加密机制的整体安全性.此外,本文所提出的方案在增强安全性的同时,还具备支持大规模属性集合、去中心化的权威管理和抗合谋攻击等良好性能.分析表明,与现有的内积函数加密机制相比,本文构造具有更优的计算效率,更加适合在物联网等资源受限环境下的部署.理想模型下被证明安全的密码原语,由于普遍存在的边信道、冷启动等泄露攻击,导致其在现实环境中不再具有原始的安全性,为增强AB-IPFE机制的实用性,本文设计了抗泄露的去中心化AB-IPFE机制,并对该方案实现抗泄露攻击的关键技术和理论进行了详细分析.

关键词： (p, 2n)反应激发函数   系统学   神经网络   核评价数据  

摘要： 为大规模预言缺少实验数据的(p, 2n)反应激发函数，解决系统学评价方法预测精度偏低以及神经网络方法缺乏理论基础、扩展能力不高的问题，发展了基于系统学与神经网络方法相结合的(p, 2n)反应激发函数评价方法（NN+SYS）。在此基础上，对大范围核素的(p, 2n)反应激发函数进行预测分析。结果表明，与系统学特适参数结果相比，NN+SYS方法适用核素范围更广、精度更高；与系统学普适参数结果相比，NN+SYS方法对应结果预测精度明显提升，平均精度提升42.8%；与单一的神经网络方法相比，NN+SYS预测结果更符合物理约束，扩展能力较强；与TENDL-2023评价数据库相比，NN+SYS方法预测结果更接近实验数据。基于系统学与神经网络相结合发展的(p, 2n)反应激发函数评价方法可为质子核反应数据评价研究提供一定的技术支撑。

关键词： 高中数学   教—学—评”一体化   逆向教学设计  

摘要： 随着教育改革的持续推进,高中数学教师普遍意识到“教—学—评”一体化是落实新课标的关键路径。通过逆向教学设计,教师可以建立“预期结果—评估证据—教学活动”的新型教学逻辑,为“教—学—评”一体化的落地提供教学框架。文章以“函数的应用(一)”为例,分析了高中数学教学在“教—学—评”一体化方面的需求,阐述了逆向教学设计在“教—学—评”一体化理念下的教学价值,并构建了相应的教学应用框架,助力学生核心素养的培养。

关键词： 建筑规范   基元函数   文本分析   规则解译   自动合规性审图   智能设计   智能建造  

摘要： 规则条文解译(rule interpretation)是智能审图(automated rule checking,ARC)面临的关键挑战之一,目前依赖领域专家完成规则解译,耗时耗力。其根本原因是,规范条文包含大量复杂逻辑与领域隐含知识,计算机缺乏相应的基本常识与逻辑规则,因此难以有效理解和解译复杂设计规范条文。因此,该研究以《建筑设计防火规范》关键内容为例,通过系统整理、分析与拆解有关规范条文,首次提出了基元函数概念,以表征不同规范条文规则推理与逻辑计算过程共用的基础算法单元;并面向复杂规范条文解析,建立了有关基元函数的识别与提取方法,识别、定义了存在性检查、数量检查、几何检查、距离检查、面积检查、空间位置检查、窗墙比检查、属性检查共8类66个基元函数,构建了首个针对我国建筑结构设计审查的基元函数库。同时,研究从审查对象以及基元函数复杂度、使用频次、共现特征与复杂条文表示能力等方面进行了详细分析。结果表明:基元函数使用频率呈长尾分布,属性类函数与其他各类函数都有较高的共现次数,所建立的基元函数具有强大的复杂逻辑表示能力,可大幅提升复杂条文解译范围与推理能力。

关键词： 高维映射   时序型数据   文本型数据   数值型数据   本体重构   混合神经网络  

摘要： 针对本体重构方法未能消除模态间差异、数据分布不统一,导致重构后的本体语义对齐度与拓扑保真度偏低的问题,设计了高维映射下电网多源异构数据本体重构方法。构建基于混合神经网络文本分类的本体重构特征模型,将高维映射作为模型输入,利用该模型实现电网多源异构数据本体重构。实例测试结果表明,设计方法能够实现光伏多源异构数据的本体重构;设计方法的语义对齐度整体高于0.92,说明设计方法重构后的本体向量与原始数据语义空间的匹配程度较高,重构成功保留了跨模态语义关联;设计方法的拓扑保真度整体高于0.93,说明设计方法重构后的本体向量保留了原始数据的拓扑关系。可为电网多源异构数据的融合、知识图谱构建及高级应用提供标准化数据支撑。

关键词： 解题策略   一次函数   中考   交点问题  

摘要： 函数中的交点问题是中考的一类难点,下面举例介绍此类问题的解题策略.

关键词： 数列型不等式   函数   辅助函数溯源   一题多解  

摘要： 以2026年合肥市第一次质量检测第18题为例,谈函数与数列综合不等式的证明方法,并对函数与数列综合不等式问题的类型和方法进行归纳整理,给出相应的教学建议.

关键词： 深度学习   初中数学   专题复习   二次函数   最值问题  

摘要： 二次函数最值问题作为代数与几何的交汇点,具备开展深度学习的天然优势.本文以“二次函数背景下的最值问题”为载体,围绕“几何直观—代数建模—数形互释”主线,设计递进式探究活动,引导学生经历从几何表征到函数建模的转化.实践表明,这一设计有助于培养学生的数学核心素养.本文提炼出一系列支持深度学习的有效策略,为初中函数教学提供了可借鉴的实践路径.

关键词： 多值函数   黎曼面   留数定理  

摘要： 本文以量子物理中二能级原子在特定结构环境中的辐射特性为例，探讨了多值函数积分的具体计算方法，涵盖了单割线和双割线两种情况.通过合理地选择割线并构建黎曼面，可以有效地解决多值函数积分在量子物理中的应用问题.掌握这些处理方法将有助于量子物理及相关领域的学习和研究.