论文部分内容阅读
基于值流分析的内存泄漏检测与修复方法研究
【摘 要】
：
随着软件在航天、医疗、轨道交通等安全关键领域的广泛应用,软件规模在不断增大,软件缺陷也随之增多,如何保证软件可靠性逐渐成为软件开发过程中的研究热点。C语言作为安全关键软件的主要实现语言之一,其存在的内存泄漏缺陷具有很高的隐蔽性和危害性。内存泄漏是程序运行时资源泄漏的一种形式,通常在程序执行不适当的内存分配和内存释放操作时发生,如果没有被及时修复,会造成难以估计的损失,例如恶意用户可以利用服务程序中
【出 处】
：
南京航空航天大学
【发表日期】
：
2020年01期
其他文献
本文基于课题组先前关于微波诱导活性炭放电脱硝实验研究,利用活性焦作为诱导剂、还原剂和吸附剂,金属氧化物为催化剂,在微波等离子反应器中研究金属氧化物的负载对微波诱导活性焦脱硝的影响,并结合多种表征手段进行分析。(1)微波诱导活性焦放电产生等离子体的影响因素金属氧化物使微波诱导活性焦放电强度增强,氧化处理有助于载金属氧化物的活性焦诱导放电强度的增强,并且不同金属氧化物负载的活性焦表现出不同放电强度,其
学位
软件可追踪性是指在软件开发过程中创建和维护制品(例如需求和代码)间的关联关系(也被称作追踪链),并利用这些关联关系对软件项目进行一系列分析的能力。软件可追踪性支持变更影响分析、依赖影响分析、系统验证以及安全认证等活动。一般而言,大多数与可追踪性相关的研究都是在需求和代码上进行的。目前,需求和代码间可追踪性生成和维护主要存在两个问题:一方面,当需求和代码元素的数量较多时,追踪链的创建需要投入大量的人
学位
柔性变体机翼后缘作为一种重要的变体机翼结构,众多国内外学者对此开展了相关研究工作,并取得了一定研究成果。相比于传统的开缝式后缘襟翼,柔性变体机翼后缘可以实现机翼的连续变形,提供更好的气动特性。本文在柔性变体机翼缩比实物模型的基础上,对其基于电机的驱动方式和基于应变传感器的变形感知技术进行了研究。首先标定了模型传动关系,提供了测控系统驱动算法的设计依据。然后,对机翼后缘的测控系统进行了设计;针对模型
学位
景观水体对于提升城市环境具有重要作用。水生植物作为景观水体的骨干材料,既能提升景观水体的观赏性,还能有效优化水体环境。然而许多景观水体的植物造景方法单一,景观效果及生态效益也欠佳。本文对西安市水生植物应用调查,统计分析植物种类、应用频度以及水生植物营造方式。采用AHP层次分析法筛选出适合景观水体造景的水生植物,提出景观水体水生植物造景的思路与方法。本文主要研究水生植物的造景方法,实地调查并统计水生
学位
直升机旋翼的综合力学性能试验是直升机研制过程中的重要力学试验。通过旋翼试验台进行测试试验可获得旋翼桨叶的压力分布、旋翼动载荷和旋转动特性等动力学性能参数,为旋转机翼的翼型配置、桨叶平面形状以及桨尖形状设计提供依据。六维力传感器作为旋翼试验台中的关键测力部件,用于测量旋翼系统在旋转状态下所承受的三个方向的力和力矩。本文针对直升机旋翼试验台设计了一种可与旋翼轴连接的旋转式六维力传感器,并开发了一套与传
学位
当代的建筑结构不仅越来越高,而且建筑结构也越来越复杂,仅仅采用之前的设计方法已满足不了结构的安全。对于一般建筑结构属于规规矩矩的结构,其施工过程对结构的变形和内力影响较小,因此对于此种结构采用常规的一次性加载的设计方法可满足结构的安全。随着我国经济快速发展,生活中各种高层、超高层和复杂建筑越来越多,其相应的施工过程中结构的内力和变形与一次性加载设计而成的结构内力和变形区别较大,不仅不满足最终设计要
学位
猪肉在我国肉品消费中占有极高比例。随着生活水平不断改善,人们对猪肉品质的要求越来越高,建立科学的肉品分级标准在源头保证了肉品质量。猪胴体肥瘦率作为猪肉分级标准体系关键指标,其客观性和精确性显得尤为重要。猪胴体瘦肉率测定包括:猪只指定部位的脂肪/肌肉厚度识别检测、以及基于脂肪/肌肉厚度建立的猪只整体瘦肉率统计回归模型。本文着重针对脂肪/肌肉厚度的识别和检测进行研究,设计开发基于近红外光的探针式瘦肉率
学位