课程文献中心 更多>>

关键词： 连续映射   连通空间   邻域基  

摘要： 利用点集拓扑中邻域基、连续映射、连通空间等知识,对一类函数在区间上的积分与其倒数在区间上的积分的乘积所有可能取到的值进行了讨论。

关键词： 三角函数   生长路径   结构化   核心素养  

摘要： 以核心素养的落地为目标导向,教学设计链接知识联系,整体关联教学内容,促使思维自然生长.辨析概念回归的原有本质,提升演绎推理的精彩,教学活动凸显学生主体,促进核心素养落地.通过结构化教学呈现横贯纵连的知识脉络,帮助学生建立三角函数的知识体系,强化对数学本质的理解,促进新知学习要循脉生长的自我认知.

关键词： 数字技术   音乐剧   舞台美学   投影映射   沉浸式体验  

摘要： 随着数字技术的迅猛发展,其逐渐重构了音乐剧舞台的美学关系。从投影映射到沉浸式体验的音乐剧舞台数字化转型过程中,各个阶段的美学形态变迁及其实践逻辑值得重点关注。本文从多维度分析数字技术在空间重构和叙事优化中发挥的作用,揭示实践层面存在的“技术中心主义”倾向、非本体叙事表达导致观众情感体验空洞化等问题,同时提出以“叙事匹配度”为原则、以“情感支撑点”为目标的优化方向和路径,以期为音乐剧舞台美学的未来可持续发展提供参考。

关键词： 函数秘密共享   点函数   分布式点函数   门限秘密共享  

摘要： 函数秘密共享在n个参与者之间共享一个函数,参与者可以联合计算输入对应的函数值,能够提高安全搜索和更新分布式数据协议的效率,是秘密共享的一个特例。然而现有的(t,n)门限点函数秘密共享方案门限值会随着输入域的增大而增大,限制了参与者的数量。设计一个(t,n)门限点函数秘密共享方案,方案避免了门限值与点函数的输入域的相关性,有效防止了点函数信息的泄露,并将密钥长度缩短为O(lm)。首次实现了门限点函数秘密共享方案,实验结果表明,执行密钥生成算法和函数值份额计算算法需要的时间与参与方的数量和点函数输入域的大小相关。当参与者数量为50,点函数的输入域为{0,1}160时,密钥生成算法和函数值份额计算分别需要16.953 ms和4.992 ms。

关键词： 代码混淆系统   不透明谓词   虚假控制流   符号执行   静态分析   LLVM   逆向工程   控制流图  

摘要： 作为一种软件保护技术,代码混淆在保证程序语义不变的前提下通过增强程序的复杂性来对抗逆向工程。不透明谓词技术通过构造虚假控制流在不增加原程序时空开销的前提下隐藏程序真实的执行逻辑。针对当前不透明谓词技术无法对抗动态符号执行技术以及混淆后程序控制流较简单问题,文中提出了一种基于分段函数的不透明谓词。攻击动态符号执行存在的缺陷,利用分段函数使引入的变量收敛于设定值,以此构造不透明谓词,隐藏程序真实控制流。基于LLVM(Low Level Virtual Machine)框架实现了所提混淆系统,并进行了实验检测。实验结果表明,所提混淆方法有效增加了程序控制流的复杂度,能够抵御动态符号执行技术。相较于现有混淆系统,所提方法使程序的可维护度平均下降23.8%,具有更高的混淆强度。

关键词： 函数极值   高中数学   解题方法  

摘要： 函数极值问题是高中数学的核心内容,涉及导数、代数不等式及解析几何等多个数学分支.本文系统分析求极值的主要解析方法:导数法基于函数变化率原理,适用于可导函数;配方法通过代数变形显示极值,计算高效便捷;不等式法利用基本不等式解决特定类型问题;单调性法与三角函数有界性法各有其适用范围.对于分段函数、复合函数等特殊函数的极值问题,需运用分类讨论与定义域分析等专项技巧.通过综合运用这些方法,可构建完整的极值问题解析体系,为高中数学教学提供理论指导.

关键词： 函数   初中数学   结构化教学资源  

摘要： 本文立足初中数学“函数”板块,对结构化教学资源的整合策略及其实践效果进行系统的探究.通过分析函数教学的框架、资源整合的理论基础,结合实际课堂案例,研究如何通过系统整合各类教学资源(如图象、数字化工具、实例等)促进学生对函数概念的理解和应用.研究结果表明有效融合结构化教学资源能提高学生学习参与度及理解深度.将函数图象融入实际应用,不断优化资源整合和教师专业发展等策略对提升教学效果起关键作用.数字化工具与跨学科资源整合模式将成为今后教学资源整合发展的重点.

关键词： 光学加工   离子束加工   细束径   变去除函数   驻留时间   非线性补偿  

摘要： 为了实现离子束对高精度光学表面的确定性加工,加强对加工过程中离子束去除函数的精确控制,建立细束径离子束的变去除函数补偿模型。实现对加工过程中细束径变去除函数问题的研究、分析、补偿和优化。根据实际加工中去除函数不稳定的问题进行理论分析,结合理论推导探究影响去除函数的直接因素和间接因素,直接因素包括热积累和能量分配问题,间接因素为驻留时间和进给速度。通过动态去除函数实验验证驻留时间对加工过程中去除速率的影响,对两组不同尺寸束径的实验证明了该规律的重复性。最后,提出了基于进给速度对去除速率的影响规律给出补偿方案及加工建议。实验结果表明:通过控制驻留时间/进给速度的方式,可以有效提高细束径在高精度光学表面的加工收敛率。在亚纳米光学加工的实验验证中,在100 mm ULE平面反射镜上达到0.332 nm RMS的加工结果,满足细束径离子束在实际应用中的稳定可靠、精度高、确定性强等要求。

关键词： 单元作业   课时作业   函数的概念与性质  

摘要： 随着新课程改革的深入推进,落实数学学科核心素养已成为高中数学教学的核心目标.新课标明确强调了单元作业的重要性,如何将单元作业设计与数学素养目标精准挂钩,成为当前数学教学中亟须解决的问题.文章重点剖析单元作业设计的意义与特点,并以“函数的概念与性质”单元作业设计为例,分别从明确单元作业目标、细化课时作业目标、规划单元作业类型、设计单元作业内容四个方面展开研究.

关键词： 可数集   测度   可测函数   Lebesgue积分  

摘要： 这篇文章力求用通俗易懂的语言,配合适当的几何释义,对实变函数这门课程的几个问题:可数集,测度,可测函数,Lebesgue积分建立进行较为深入的剖析,有助于激发学生的学习兴趣,形成学生容易理解和学习本课程的方式,以供教与学参考.