课程文献中心 更多>>

关键词： 内存泄漏   函数摘要   符号执行   指针逃逸  

摘要： 内存泄漏是指由malloc、calloc等函数或new操作符分配的动态内存区域在使用后没有正确释放,这些不再使用的内存区域无法被操作系统回收,可能导致系统资源耗尽或性能下降,也可能被攻击者恶意利用,从而导致系统崩溃或拒绝服务攻击。现有的内存泄漏检测工具在可扩展性、通用性和精确性上面临挑战,有的工具在大规模程序上因路径爆炸问题而无法在有限时间完成检测,可扩展性有限;有的工具在检测过程中运用启发式方法,不能很好地适用于检测范围外的大多数真实世界程序,通用性有限;有的工具存在较多的漏报和误报问题,精确性有限。 为解决以上问题,本文提出了一个平衡通用性、可扩展性和精确性的内存泄漏检测框架。具体来说,本文基于MAD种子函数和函数调用图以自下而上的方式识别程序中所有的MAD函数并为其生成函数摘要,有效解决函数摘要生成的不准确问题。本文筛选出MAD函数的调用者函数作为后续欠约束符号执行阶段的入口函数,从而排除与内存泄漏检测无关的函数路径,有效缓解检测过程中的路径爆炸问题。本文将MAD调用者函数识别与欠约束符号执行相结合,使内存泄漏检测专注于内存泄漏相关路径,同时运用指针逃逸分析算法识别指针逃逸行为,减少误报,有效保证了内存泄漏检测的精确性。本文的检测方法基于真实世界程序的通用流程设计与实现,具备很好的通用性,能够有效支持绝大多数真实世界程序的检测。 本文实现了上述方法和技术,开发了内存泄漏检测工具LeakGuard。在测试集和对比工具选择方面,本文与Goshawk对比在6个真实程序上的MAD函数摘要生成能力,与CSA、Infer和CppCheck对比在17个真实程序上的内存泄漏缺陷检测能力,并通过消融实验验证MAD调用者函数识别模块在17个真实程序上的路径剪枝能力。实验结果表明,LeakGuard 比Goshawk多识别到94%的内存分配函数和147%的内存释放函数;LeakGuard在17个真实程序上检测到121个先前从未发现的内存泄漏缺陷,而CSA、Infer和CppCheck分别检测到其中的40、23和1个;LeakGuard的MAD函数摘要生成模块减少了 41%的检测时间,路径剪枝效果明显。

关键词： 函数   导数   二次求导   存在性   恒成立   创新  

摘要： 二次求导是基于导函数的深入探究与应用，成为高考命题的一个新场景，也是综合考查基础知识与基本技能的一个重要场所.结合二次求导比较常见的一些应用场景，如函数、存在性、恒成立及创新定义等，借助实例加以剖析与应用，有效指导解题研究与复习备考.

关键词： 问题链   数学建模   教学实践   数学核心素养  

摘要： 本文以“双十一背景下的函数实际应用”为例,依据数学建模的基本流程,以问题链教学为核心,引导学生自主探索、合作讨论、解决问题,有效提升学生的数学核心素养.

关键词： 课程思政   复变函数   科学思想   思政元素  

摘要： 课程思政作为教学的一部分,在人才培养的过程中有着极其重要的地位。本文结合“复变函数”课程教学实际,分析了当前复变函数课程思政存在的问题,探究了复变函数课程中的思政元素,并对复变函数课程思政的有效实施给出一些建议,在专业课教学的同时培养学生的价值取向,达到立德树人的目的。

关键词： 多元表征   变式教学   三角函数   教学研究   高中数学  

摘要： 《普通高中数学课程标准(2017年版2020年修订)》指出三角函数是高中数学课程四条主线之一“函数”中的重要部分。三角函数既是初中锐角三角函数的延伸,又是后续学习向量、复数、微积分等内容的数学工具。变式教学可以通过剥离知识表象揭示学科本质,而多元表征作为认知工具与方法体系,可有效促进学生对知识本质的理解。通过对三角函数教学现状的调查显示,多数学生对三角函数的学习仅停留在表面,以应付考试为目的,缺乏对其深层含义的理解。鉴于此,有必要研究如何将多元表征和变式教学理论与三角函数教学进行有机结合,以实现对三角函数的深层次理解。 本研究首先采用文献分析法,对多元表征与变式教学两大理论进行了深入研究,探讨了两者之间的内在联系。其次,运用问卷调查法和访谈法,全面了解三角函数教与学的现状,以及一线教师对多元表征与变式教学整合应用于三角函数教学的看法。随后,在理论研究的基础上,结合存在的问题,构建基于多元表征的三角函数变式教学模式,并以此为依据,对弧度制、三角函数的概念、诱导公式、三角函数的图象与性质等进行了具体而优化的教学设计。 将教学设计运用于实践并进行相关教学实验,通过对对照班和实验班的对比分析发现,将多元表征与变式教学融入三角函数的教学模式有以下几点优势:(1)增强学生对三角函数的直观感知与学习兴趣;(2)深化学生对三角函数本质属性的理解;(3)提升学生三角函数知识的迁移与应用能力;(4)培养学生自主建构知识体系的习惯与高阶思维。最后,根据理论与实践研究,总结出基于多元表征的变式教学对策:(1)多元表征引入新知,变式材料串联旧知;(2)双重变式深化理解,多元表征促进内化;(3)阶梯变式推动迁移,强化综合应用能力;(4)多元系统总结知识,变式反思提升思维。

关键词： 指令预取   服务器端   函数调用   IPC   存储优化  

摘要： 随着现代服务器端程序指令规模不断扩大,一级指令缓存缺失问题愈加严重。简单增加指令缓存大小难以解决该问题,由此指令预取技术应运而生。但纵使有多种指令预取架构被提出,指令缺失问题仍成为现代高性能处理器性能进一步提升的关键瓶颈之一。其中一大制约便是在函数调用行为频繁的服务器端程序中,调用目标地址缺失率较高的问题。针对上述问题,本文创新性提出CTIP(Call Target Instruction Prefetch)预取结构,可取得不错的优化效果。以下为本文的主要工作: 1、提出了CTIP预取结构,弥补了当今指令预取技术的不足。通过研究程序全局控制流的特性,针对性设计了专用预取器,实现在较低存储开销下对调用目标指令较高的覆盖率。同时,CTIP利用了函数内部的空间局部性,在实现对目标地址预取的同时还对其空间区域范围内的其余缓存块实现了预取,进一步实现压缩预取与性能提升; 2、在CTIP结构基础上,创新性提出预取距离自适应调节机制与签名长度自适应调节机制。指出单一固定预取距离或签名长度的固有缺陷,并创新性提出可动态自适应调节机制,在原CTIP结构基础上进一步提高预取准确率与预取及时性,达到预取效率的进一步提升。 3、在Champsim模拟器上进行了性能对比实验。实验结果表明,CTIP结构比起基准架构性能提升约11.9%,调用分支目标缺失率降低约95%;相似存储开销下比目前最先进的EIP指令预取器IPC性能提升约2.9%,同时展现出与其他预取结构较好的正交性与叠加性。应用自适应调整策略后预取准确率以及预取及时性都能达到最优水平。

摘要： 函数在初中数学中占据重要地位,是联系高中数学的重要纽带．近年来,在学习函数内容时出现了一些新定义问题,考查同学们的理解、转化以及解题能力,难度较大．为帮助同学们更好地掌握该类问题的求解方法,可以对新定义问题进行归纳与筛选,优选经典例题进行讲解．一、与函数概念相关的问题初中数学涉及的函数主要有一次函数、反比例函数、二次函数．这些函数刻画了自变量x与因变量y的不同对应关系．初中数学部分与函数有关的新定义问题正是从自变量与因变量的关系出发进行描述,检验学生对函数概念本质的理解．解答该类新定义问题,需要能够理解题意,运用转化思维化繁为简,实现有效突破．

摘要： 在学习函数的过程中，很多同学都存在解题思维固化的问题，常常局限于“分析变量关系后进行求解”的常规思路，缺乏对创新性、高效化解题策略的思考和探索，以至于在遇到较为复杂的题目时，会出现找不到解题思路或解题过程繁琐等情况，导致解题效率低下且容易出错。想要改变这种情况，有效提高解决函数问题的能力，同学们需要在日常学习中深入思考和不断练习，掌握多样化的解题方法，优化函数解题策略，以提升函数解题效率和准确性。

关键词： 众包   Web表   关联映射   众包数据库  

摘要： 随着互联网技术的快速发展与广泛应用,基于Web数据库表的数据集成和统计分析日趋增多。目前,由于Web表间存在属性不一致的问题,使传统的数据库表关联映射方法难以满足数据集成时Web表间的关联映射需要。因此,本文采用众包理论和技术,提出了一种基于众包的Web表关联映射方法,以提升Web表关联映射的有效性与可操作性,为Web数据库表的关联映射提供辅助支持。论文的主要工作和成果如下: 1、深入分析目前Web表关联映射所面临的难点问题,在传统数据库表关联映射方法存在不足和局限性的基础上,利用众包理论技术,研究构建了一个基于众包的Web表关联映射系统,设计了相应的系统体系架构,并详细分析论述了系统组成的功能模块、结构层次和工作流程。 2、基于众包过程方法,结合传统关联映射方法,提出了一种基于机器与众包相结合的Web表关联映射混合匹配方法,并研究给出了Web表间各种属性不一致时Web表关联映射(匹配)的方法。通过人机协同的方式,既发挥了机器计算的高效性,又充分利用了众包工人的灵活性和领域知识,提升了Web表关联映射的有效性和可操作性。 3、结合标准SQL语言与众包扩展语言,设计了基于众包的Web表关联映射众包数据库,并以石油钻井为背景,实现了一个基于众包的Web表关联映射原型系统,为Web表数据集成领域的信息化管理和智能化决策提供了辅助支持。 最终结论表明,引入众包的混合方法不仅可行,在操作性上也具备相应优势,能够有效应对同义不同名等复杂场景,相较纯机器方法取得一定提升。