摘要：基于符号执行框架分析了程序堆内存使用量的符号化上界.首先扩展了经典符号执行技术中的内存模型,针对堆内存分配与释放操作进行建模,维护堆内存的使用量信息,然后针对"平板循环"、带分支循环等常见循环结构给出了特殊处理策略,并采用程序切片技术缩减程序分析的规模.最后基于开源符号执行工具KLEE设计实现了一个堆内存使用量上界分析原型工具.实验结果证明,该工具能够针对很多常见程序给出精确可靠的堆内存使用量上界.

摘要：目的磨削后工件表面残余应力处于裂纹层下方其位置隐蔽、不易检测,使用过程中受到应力作用易扩展成裂纹,影响后续工艺参数设计和工件使用寿命。因此,研究磨削后表面残余应力层深度有助于确定后续工艺加工余量,提高工件使用性能。方法本文采用离散元法建立单颗磨粒磨削熔石英的离散元模型,研究磨粒粒径对工件亚表面损伤深度的影响。采用角度抛光法和差动腐蚀法测量熔石英亚表面裂纹层和损伤层深度,计算残余应力层深度并验证模型。结果当磨粒粒径分别为7、14、28、40μm时,仿真得到的裂纹层深度分别为2.53、3.02、4.07、7.39μm,残余应力层深度分别为0.75、1.00、1.34、2.33μm;实验测得的裂纹层深度分别为2.51、3.14、4.65、8.16μm,残余应力层深度分别为0.86、0.93、1.31、1.87μm。由此可见,随着磨粒粒径的增大,工件表面的脆性去除愈加明显,表面质量变差,亚表面裂纹层深度和残余应力层深度增大。仿真预测裂纹层深度与实验值偏差小于15%,残余应力层深度偏差小于25%,残余应力层深度约为裂纹层深度的1/4~1/3,随磨粒粒径增大,比例逐渐减小。结论离散元仿真可有效预测熔石英磨削后的残余应力层深度,为其磨削工艺的制定提供参考。

摘要：采用单因素试验法,优化超声波法提取米糠中植酸钙镁的工艺条件。结果表明,超声波提取法较传统的浸提法在产品质量和得率上均有明显提高,浸提时间短。优化的工艺条件为:超声波频率低档,浸提时间15 min,脱色微波功率100 W,脱色时间41 min,溶剂V(HCl)∶V(H2O)=3∶197。在此条件下,植酸钙镁纯度达63.07%,提取率达75.88%。

摘要：针对目前钻井过程中使用PDC钻头情况,提出并设计加工出仿生非光滑PDC片钻头。重点介绍了仿生非光滑PDC片的设计原理和结构,以及用仿生PDC片制造出的钻头在现场应用的情况。结果表明,非光滑PDC片钻头比常规PDC钻头、牙轮钻头寿命长,平均机械钻速提高60%以上,特别适合配合螺杆钻具使用,具有较好的推广应用前景。

摘要：文中通过室内试验分别测试了5类建筑垃圾混合料和砂土的成分、级配及物理力学特性,分析了路基应用场景下建筑垃圾混合料的破碎规律,建立了优化砂土-建筑垃圾混合料配合比设计方法,研究了砂土掺量(质量分数0%、20%、40%、60%和80%)对再生混合料最大干密度、最佳含水率、压实和承载性能的影响.结果表明:骨料公称最大粒径和级配对建筑垃圾混合料填筑路基的使用性能具有显著影响;5类级配建筑垃圾混合料中Ⅰ类和Ⅱ类混合料的骨料相对破碎率和破碎指数均较小,同时Ⅰ类混合料承载特性最好;掺入砂土可以改变建筑垃圾混合料级配结构,随着砂土掺量增加,建筑垃圾混合料最佳含水率降低,最大干密度和CBR值均先增大后减小;由CBR值的二次函数预估模型可知:砂土掺量45%时混合料填筑路基承载能力最好.

摘要：SMA技术在广东省有着广泛的应用前景。针对广东地区气候与建材资源特点 ,概要归纳了我省应用SMA技术的部份情况 ,探讨适合于我省的SMA设计与施工技术要求 ,可供省内公路工作者参考。

摘要：规格描述语言SDL目前广泛应用于复杂通信协议和软件系统的建模。使用模型检验技术对SDL进行分析和验证可以检测出模型中的逻辑错误,大大提高SDL建模结果的精确性。论文研究了SDL的形式化语义SDL/PR中常用部分与模型检验工具SPIN的输入语言Promela之间的语义映射规则,并以此为基础开发了一个基于SPIN内核的SDL模型检验器SSMC Tool。

摘要：基于网络流量的各类安全分析检测引擎或工具越来越多,利用现有的检测引擎完成更复杂的网络流量安全监测工作变得更加有意义。提出一种基于开放聚合框架的网络流量监测体系设计,通过定义一套开放聚合式的框架和接口,来支持多种流量安全检测引擎的数据接入和告警输出,完成检测能力的聚合,实现针对基于网络流量复杂攻击场景的综合监测和多种方法验证。

摘要：介绍了SCR脱硝工艺原理、系统组成,分析了SCR脱硝装置的主要危险有害因素-火灾、爆炸、中毒、窒息、高温烫伤、噪声、粉尘;指出氨泄漏和喷入锅炉烟道的气氨与空气的混合气中的氨气含量超过5%,是导致SCR脱硝装置发生火灾、爆炸、中毒的主要因素;针对SCR脱硝工艺设施的设计、制造、施工及生产安全管理,提出了相应的安全防控措施。

摘要：介绍了液氨与液氨泄漏的危害特性,指出液氨贮存过程中存在的危险危害有多种,但危害最严重的是液氨泄漏,引发的氨中毒或火灾、爆炸;详细分析了氨的毒性危害、火灾爆炸危险性、以及液氨贮存设施发生泄漏的主要原因;利用挪威DNV公司SAFETI软件对液氨贮罐泄漏事故后果进行了仿真分析,针对液氨贮存设施的设计、制造、施工及生产安全管理,提出了防止液氨贮存设施发生泄漏的安全防控措施。