基于踪迹挖掘的自动缺陷警报分类方法

缺陷检测一般包括静态分析与人工确认两个阶段.静态缺陷检测工具报告大量警报,但是主要的警报确认工作仍然由人工完成,这是一件费时费力的工作.巨大的确认投入,会导致测试人员和管理人员拒绝使用该静态检测工具.为了辅助警报确认工作,提出一种基于警报踪迹挖掘的警报分类方法,使用该方法挖掘警报踪迹进而将代码结构相似警报分为一类,使得分类后的最终警报报告更加易于人工确认.实验表明,该方法能够在较大规模的软件测试过程中分类测试结果,提高警报确认效率.     

一类带时滞的静态神经网络的H∞滤波问题

文章研究了一类带有时滞的静态神经网络的H_∞滤波问题。通过引入一个增广的Lyapunov-Krasovskii泛函,并使用Bessel-Legendre不等式估计Lyapunov-Krasovskii泛函求导后的交叉项,给出了时滞神经网络稳定性分析的新的有界实引理。基于该有界实引理,得到了滤波误差系统的H_∞性能分析,并通过求解线性矩阵不等式得到滤波器。     

基于动静结合的单一背景目标检测方法

本文通过研究目标在单一场景条件下的成像特点与背景图像特征,提出一种基于动态特征、静态图像特征结合的单一背景目标检测算法框架模型。然后,通过分析算法模型对目标特征凸显的两种策略模式,分析其突出特征。最后,结合背景抑制分割方法,实现背景中目标的自适应溢出。     

基于静态指令分配的多模块ROP自动构造方法

返回导向式编程(ROP)是一种可有效绕过数据执行保护(DEP)机制的技术.已有的ROP自动构造技术缺少对ROP模块转换过程的静态指令分配的优化,导致ROP载荷需占用大量内存空间.为解决这一问题,基于已有的ROP自动构造系统Q,针对多模块ROP的模块转换过程,设计了新的静态指令分配规则SIA.SIA通过静态指令分配,构造中间指令序列;通过动态数据填充,实现ROP模块转换过程中的寻址与指针修改.实验表明,相比已有技术,通过SIA规则构造的多模块ROP载荷降低了内存空间占有率,提高了ROP载荷的实用性.     

基于集成学习的安卓恶意程序检测技术

随着安卓恶意程序的数量的急剧增加,恶意程序检测已成为一个重要的研究课题.然而,目前许多研究表明,恶意程序的检测仍然需要改进,安卓的碎片问题和需要root权限,阻碍了这些方法的广泛使用.现有的杀毒程序依赖于需要实时更新的签名数据库,这无法检测出零日恶意程序.在本文中,我们提取了安卓程序中的特征,进行混合,选择集成算法中的DECORATE算法,并用WEKA工具辅助进行分类恶意程序的检测.该方法最终达到95.8%的检测精度,同时我们在真实的数据集上经过十折交叉验算实验及对比.     

缤纷多彩的太空美景

英自马家天文台举办的2013年年度天文摄影大赛揭晓。来自世界各地的天文摄影师递交了他们拍摄的1200多幅天文照片,     

残差修正步进模型在社保卡数字照片处理中的应用

针对社保卡安全性问题,提出了将残差修正步进模型(GSMEM)运用于社保卡数字照片处理.为了适应社保卡应用的要求,压缩数字照片既要减少其占用的内存,又要保证算法具备较快的运算速度,以提高社保卡图像边缘的视觉效果.实验结果表明,该方法具有较高的实用性.     

放射性Cs,Sr在土壤中迁移的研究

研究了铯、锶在砂土介质中的分配系数Ｋｄ和滞留因子Ｒｄ。静态试验结果表明：溶液中核素浓度较低时，铯、锶的分配系数Ｋｄ基本保持不变；核素浓度较高时，分配系数Ｋｄ随浓度增加而减小； Ｋｄ值还随ｐＨ升高而变大，随溶液中其它阳离子浓度增加而减小。动态模拟试验表明：铯的迁移速度小于锶的迁移速度。虽然动态试验与静态试验的分配系数有一定差异，但其变化规律是一致的。     

弹性横梁支承的可倾瓦推力轴承的静态分析

对推力轴承的周向负荷分配规律及推力瓦的静态工作点进行了研究．建立起系统的平衡方程式，计入了推力盘倾斜及推力瓦支承弹性横梁的影响．定义了可倾瓦的刚度系数，找到了可倾瓦与固定瓦油膜厚度之间的对应关系，从而利用固定瓦的计算结果来求得可倾瓦的静态特性及刚度系数．在Ｎｅｗｔｏｎ迭代法的基础，利用可倾瓦的刚度系数，在Ｎｅｗｔｏｎ迭代法的基础上，利用可倾瓦的刚度系数，求解非线性方程组．结果表明，推力盘的静态倾斜将引起各推力瓦负荷及静态工作点的很大变化．文中的工作可作为推力轴承广义热弹流分析及推力轴承－转子系统动力学研究的参考．     

GPS静态单点定位的滤波算法比较

针对目前利用低成本全球卫星定位系统(GPS)进行静态单点定位精度较差的问题,分别将卡尔曼滤波、粒子滤波和扩展卡尔曼粒子滤波理论应用于其中.对两组由不同GPS-OEM板构成的单点定位系统实测的经纬度和海拔高度数据进行了滤波处理,并对不同滤波算法的效果作出了比较与分析.分析结果表明,滤波后定位精度有了明显提高,3种滤波算法中扩展卡尔曼粒子滤波的滤波效果最好,粒子滤波次之,卡尔曼滤波效果一般.实验结果为提高低成本CPS静态单点定位系统的定位精度提供了一种有效的解决方案,同时也对各滤波器理论上的滤波效果进行了验证.