排序方式: 共有83条查询结果,搜索用时 62 毫秒
1.
在Linux内核等大型底层系统中广泛采用引用计数来管理共享资源.引用计数需要与引用资源的对象个数保持一致,否则可能导致不恰当引用计数更新缺陷,使得资源永远无法释放或者被提前释放.为检测不恰当引用计数更新缺陷,现有静态检测方法通常需要知道哪些函数增加引用计数,哪些函数减少引用计数.而手动获取这些关于引用计数的先验知识过于费时且可能有遗漏.基于挖掘的缺陷检测方法虽然可以减少对先验知识的依赖,但难以有效检测像不恰当引用计数更新缺陷这类路径敏感的缺陷.为此,提出一个将数据挖掘技术和静态分析技术深度融合的不恰当引用计数更新缺陷检测方法 RTDMiner.首先,根据引用计数的通用规律,利用数据挖掘技术从大规模代码中自动识别增加或减少引用计数的函数.然后,采用路径敏感的静态分析方法检测增加了引用计数但没有减少引用计数的缺陷路径.为了降低误报,在检测阶段再次利用数据挖掘技术来识别例外模式.在Linux内核上的实验结果表明,所提方法能够以将近90%的准确率自动识别增加或减少引用计数的函数.而且RTDMiner检测到的排行靠前的50个疑似缺陷中已经有24个被内核维护人员确认为真实缺陷. 相似文献
2.
3.
4.
利用辉光放电等离子体(GDP)对阳离子染料番红花红T模拟废水进行降解。通过测量番红花红T染料废水处理前后在紫外可见区最大吸收波长554 nm的吸光度来计算降解效率,同时考察在降解过程中溶液的pH、电导率的变化。结果表明,初始质量浓度分别为50、100 mg/L的番红花红T水溶液在经过15 min后降解效率分别高达99.34%、98.99%,且降解过程符合准1级动力学特征。随着放电处理的进行,溶液的电导率增大、pH降低,说明在放电处理进行中产生了大量荷电离子及酸性物质。通过对3种不同情况下降解结果的比较(放电处理加Fe离子、仅放电处理和放电处理加Na2SO4),推测对番红花红T起主要降解作用的是羟基(·OH)自由基。 相似文献
5.
6.
地铁车站火灾烟气蔓延数值模拟分析 总被引:2,自引:0,他引:2
分析了地铁火灾特性。利用FDS对天津地铁某站在发生火灾时的烟气温度与能见度分布情况进行了数值模拟,并对模拟结果进行分析,结果表明,360s时最不利点温度小于45℃,能见度为6~7m,完全满足火灾工况下的人员安全疏散对温度和能见度的要求,故该车站设计满足火灾时人员安全疏散的要求。 相似文献
7.
准噶尔盆地腹部地区地表主要是沙漠区和公益林区,从东西向剖面分析得知这两种地表对应的波组特征、频率及相位特征差异明显,造成了地震剖面上明显的“阴阳脸”现象。为此,针对不同地表的单炮记录,分析初至频谱存在“陷波”特征的原因;结合表层结构及正演模型论证分析,认为复杂近地表多次波是产生“阴阳脸”现象的主要因素;明确了陷波强弱及产生的具体位置,进而提出基于旅行时差异及自相关第一波谷时间差异的空变预测步长反褶积技术,对该区近地表多次波压制效果明显,改善和消除了“阴阳脸”现象。该方法在准噶尔盆地腹部其他区块中推广应用,均见到良好效果。 相似文献
8.
9.