摘要：源代码和可执行代码之间存在语义差异,仅对源代码进行分析会遗漏隐藏在可执行代码里的漏洞。基于对漏洞模式的分析,通过结合静态反汇编分析、动态自动调试和基于函数特征的参数注入3种思想,本文设计并实现了一种直接基于可执行代码的安全漏洞检测原型工具。本文的检测原型工具在一组CVE(通用漏洞披露)benchmark以及两个真实的可执行程序上都检测到缓冲区溢出漏洞。实验结果表明,本文提出的"三位一体"检测方法能够直接用于检测可执行代码中的安全漏洞。

摘要：基于提箱作业的动态决策特点,构建以分组提箱为核心的进口箱提箱动态优化数学模型;基于统计分布规律模拟外部集卡抵港的随机性,提出动态优先提箱概率的概念及计算方法,并以此为基础设计分支定界+启发式算法的双层算法对模型进行求解.通过一系列大规模实验并与诸如IH、OH、RDH、Max-Min等现有算法的比较显示了该动态优化算法在不确定环境下对进口箱提箱作业调度优化的有效性与鲁棒性.

摘要：为了研究固结磨粒磨具的磨料粒度对旋转超声磨削钛合金磨削力的影响,采用随机空间平面切割正六面体的方法构建了具有实际磨粒几何特征的不规则多面体磨粒,并基于虚拟格子法建立了磨粒在磨具端面随机分布的多颗磨粒磨具模型。使用Deform-3D软件构建了三维旋转超声磨削钛合金有限元模型,采用拉格朗日增量算法获得了多颗磨粒磨具旋转超声磨削钛合金Ti6Al4V的磨削力仿真值,得到了磨料粒度对磨削力的影响规律,并通过试验进行了验证。结果表明,旋转超声磨削钛合金磨削力随着磨料粒度的增大而减小,且试验结果和仿真结果具有一致性,说明了多颗磨粒磨具模型、旋转超声磨削有限元模型具有一定的准确性,为多颗磨粒磨具旋转超声磨削的相关研究提供了新的方法。

摘要：为研究温室玻璃的抗冰雹冲击性能,该文采用ANSYS/LS-DYNA软件建立了温室玻璃和随机冰雹的有限元模型。考虑冰雹的随机性,模拟了冰雹冲击温室玻璃的全过程;得到了不同粒径冰雹对温室玻璃的破损效果;研究了冰雹对不同厚度、不同平面尺寸、不同支撑情况的温室玻璃的破损效果;同时,对温室玻璃的抗雹性能进行了评估。结果表明:玻璃板受冰雹群冲击时的破损效果不等于单个冰雹冲击时的简单叠加;4 mm厚的玻璃板基本可以满足大部分玻璃温室的抗雹要求;温室玻璃板长宽比取值建议在1.5左右;通过控制玻璃板支撑条件来提高温室玻璃板的抗冲击性能并不可靠;保证冰雹冲击时玻璃板的整体稳定性,使主体结构不出现大跨度裂纹而形成较大碎片,应是玻璃温室抗雹设计的主要目标。该研究可为温室抗冰雹设计提供参考。

摘要：主动Lamb波结构损伤诊断技术是结构健康监测中的研究热点之一。针对现有Lamb波结构健康监测系统结构复杂,携带不便的问题,以金属结构为应用对象,研究了监测系统集成与小型化技术。给出了系统软硬件框架,研究开发了传感器网络控制与信号调理模块,结合USB数据发生与采集卡搭建了系统样机,并采用LabVIEW环境设计开发了系统软件,包括系统管理和结构损伤成像诊断等。在金属铝板结构上的实验验证了该集成监测系统的可靠性和准确性,实验结果表明,该系统可满足主动Lamb波结构健康监测技术现场测试、在线监测等应用要求。

摘要：综述和分析了纳米碳化硅颗粒强化氧化铝基陶瓷材料的强韧化机制,认为由沿晶断裂到穿晶断裂的断裂模式的改变不是使复相陶瓷材料强韧化的机制之一,而恰恰是其韧性得不到显著提高的重要原因,并由此提出了有关复相材料新的设计思路。

摘要：以两种不同孔隙率的疏水性聚丙烯中空纤维膜组件研究了从CO2/空气混合气中用NaOH吸收CO2时传质系数的差异,分析了表面孔隙率对膜吸收过程传质性能的影响,并进一步讨论了膜孔隙率对膜吸收器设计的影响.

摘要：近年来,含有不同空腔大小的咪唑鎓大环不断地被设计合成。环中的咪唑鎓本身带正电荷,含有较高酸性的二位碳氢,不仅能够与阴离子形成氢键作用,而且易失去质子变成咪唑卡宾。因此,咪唑鎓大环不仅可以识别各种无机阴离子和生物体内重要的阴离子,而且能够应用于金属卡宾催化和超分子组装方面。咪唑鎓大环在过去十余年取得了很大的发展,笔者按照环空腔大小和环中咪唑鎓个数,对它们的合成、性质和应用进行详细的阐述。

摘要：在基于图像差分的行人检测算法中,光照的变化对提取图片中的行人干扰非常大,一般的自适应背景更新方法很难消除光照快速变化带来的影响。为了解决这一问题,设计了一种基于直方图分布特征相似性的光照变化干扰去除方法,分析了光照干扰前后两幅图片局部区域的直方图分布特征相似性原理,给出了图像直方图分布特征相似性测量方法及评价参数——标准差。通过对光照频繁变化环境下相邻两帧图片进行差分实验,结果表明,该方法能够克服光照突然变化的干扰且鲁棒性好,能够准确分割出运动目标和抑制大幅度光照变化带来的干扰。

摘要：为了实现痕量气体在线测量与分析,设计了光纤环路光腔衰荡多组分气体浓度在线测量系统;基于非线性光腔衰荡技术,利用所设计的系统对气体浓度在线测量并进行了实验分析;得出了同种气体不同浓度时光的吸收程度随时间变化的规律和1 ppb的分辨率。实验表明该方法对痕量气体的在线测量是有效的。