非饱和矿堆溶液渗流迟滞与毛细扩散行为表征

为深入理解非饱和矿堆内溶浸液毛细渗流扩散以及渗流迟滞行为,本文构建适于非饱和矿堆的毛细渗流模型,利用COMSOL multiphysics有限元数值平台开展毛细渗流可视化模拟研究,并利用时域反射器(Time domain reflector,TDR)实时探测了非饱和堆内持液率变化,探索了基于Design Expert的毛细渗流过程多因素响应规律,讨论了非饱和矿堆持液率、毛细吸力、孔隙率与喷淋强度间的潜在关联机制.研究结果表明:孔隙率对矿堆持液率的影响高于喷淋强度,矿堆持液率随喷淋时间的增长收敛性增加,且孔隙率小的矿堆需要更长的时间才能达到稳态持液;不考虑溶液喷淋强度影响时,矿堆持液率与孔隙比、水力传导系数呈正相关;特别是在喷淋初期(0~20 s),喷淋强度、水力传导系数和孔隙比对矿堆持液率的影响更为显著;初步构建了考虑气液两相运移的非饱和矿堆溶液毛细渗流模型;毛细吸力的变化对孔隙率较小的矿堆更敏感;喷淋强度较大、孔隙比越小时,矿堆底部的毛细吸力越大,更易达到稳态持液状态.

HeapAFL:基于堆操作行为引导的灰盒模糊测试

随着软件开发环境和业务逻辑的复杂度不断增加,大量的堆内存对象生命周期及其引用关系造成堆内存操作行为错综复杂,极易引发程序错误造成漏洞.模糊测试作为高效的软件代码错误检测技术,常用于漏洞挖掘.然而,目前最先进的模糊测试工具专注于代码全覆盖功能测试,忽略了执行时堆内存操作状态信息,从而错过堆内存漏洞发现机会.针对上述问题,提出了一种基于堆操作行为引导的灰盒模糊测试方法HeapAFL,在不依赖漏洞先验知识的情况下,其通过静态分析插桩基础堆操作函数及其参数监测执行时控制流和数据流变化,反馈堆操作行为信息,指导模糊测试中种子优先变异阶段,探索多样化堆操作行为从而更高概率触发堆内存错误类漏洞.在6个真实应用程序上验证方法效果,并与6个最先进的模糊测试工具进行比较,实验中的CPU总共测试了4032 h.实验结果表明,HeapAFL在漏洞挖掘效果和崩溃发现效率上优于对比工作.在漏洞挖掘数量上,HeapAFL相比于基准模糊测试方法AFL,AFLFast,PathAFL,TortoiseFuzz,Angora,Memlock分别提升了1.32倍,1.39倍,1.92倍,1.56倍,2.78倍,2.08倍.最终,HeapAFL在数据集上挖掘到了25个堆内存错误类漏洞,其中包括19个已知的漏洞(即1 day)和6个未知的漏洞(即0 day),并报告给CVE(common vulnerabilities and exposures)官方漏洞库后已经获得了2个CVE漏洞编号,其余漏洞正在等待审核.

大规模中文搜索引擎的用户日志分析

北大"天网"是一个大规模分布式搜索引擎系统.文中对其用户日志进行了分析和研究.结果显示:用户对系统的访问时间并不均等,一天中早晨、下午和晚上各出现一个波峰;通常用户在一天内只进行1-2次内容不同的查询,多于2／3的用户点击了结果页面中的某些网址(URL);多数用户输入的查询串中只含有一个词项并且包含中文字符,其中以2-4个汉字居多;用户查看结果页面的时间大约是2-3min;只有少数用户查看历史网页(或称网页快照).用户日志中不同查询串、不同用户和点击不同URL的数量满足Heaps定律.

严寒地区开孔龙骨复合墙体受弯性能试验

目的研究龙骨腹板开孔对龙骨复合墙体在风荷载作用下抗弯性能的影响,为其在我国严寒地区使用时提供设计参考。方法以龙骨厚度、龙骨腹板高度、龙骨腹板开孔排数及开孔长度为参数设计了8个试件,采用多点重物加载法对其进行抗弯性能试验,分析墙体的承载能力及破坏形态。结果分析得到各试件极限承载力,荷载-挠度曲线及典型试件的变形曲线。在研究范围内,增加开孔排数及开孔长度对开孔龙骨复合墙体承载力最大降低达35%、28.31%;增加龙骨厚度及龙骨腹板高度对其极限承载力最大提高达141%、52.45%。结论在正常使用荷载下,笔者设计墙体可以满足在我国严寒地区使用要求。