Android系统代码签名验证机制的实现及安全性分析

文章通过静态分析Android系统源代码以及动态监控应用程序安装、执行过程中的签名验证流程。对Android系统的代码签名验证机制进行深入的剖析,发现Android系统仅在应用程序安装时进行完整的代码签名验证,在后续的程序执行过程中只对程序包进行简单的时间戳及路径验证。该安全隐患使得攻击代码可以绕过签名验证机制,成功实施攻击。     

基于LDRA Testbed的软件静态测试研究与实现

介绍了软件静态测试的基本概念与方法,以及如何利用测试工具LDRA Testbed进行软件静态测试,并对LDRA Testbed的静态测试原理进行了研究。最后结合实例实现了使用LDRA Testbed对C代码进行静态测试,并得到了静态测试质量报告、度量报告。     

面向信息处理的突发事件语料库分类体系研究

本文分析了突发事件新闻的特点、建设突发事件新闻语料库的目的和意义,研究了突发事件新闻语料的分类体系和编码。研究结果对突发事件新闻语料库的建设、突发事件新闻信息检索、国家相关部门对突发事件应急处理方案制定以及对流行病学的医学研究等领域具有一定的理论意义和应用价值。     

物料编码子系统在物资管理系统中的设计与实现

基于物资管理系统中对物料编码进行统一管理的需求,前台在DELPHI 2007中引入OCI11组件,后台采用Oracle 11G数据库,设计了一套物料编码管理子系统。该系统设计灵活、扩展方便、级长及每级长度都可自定义,每一级的每一个节点都可以作为叶子节点,节点上的属性包括名称、型号、计量单位、存储仓库、货架号和质量等级等,物资管理系统中对物料的引用都是物料编码,实现了物资管理系统中对物料的高效查询、分组统计便捷、仓库移库方便和货架号移位方便等管理要求。     

GCC编译器中间代码层控制流扩充研究

本文首先对CFCSS(控制流检错算法)进行了介绍,对GCC编译器的运行流程进行了简要分析,再次给出了在GCC编译器中扩充CFCSS算法的具体方法,最后通过故障注入实验对扩充后的GCC进行了有效性验证。实验表明,扩充了CFCSS算法的GCC编译器所编译的程序在运行过程中具有控制流检错能力。这为我们下一步的故障定位和故障恢复提供了有力的支持,为解决星载计算机的运行故障奠定了基础。     

区位码/国标码输入法技术初探

计算机技术领域中,使用键盘输入汉字的方法实质是区位码/国标码输入法。本文介绍了区位码/国标码输入法的现实意义,IME的组成结构以及区位码/国标码输入法的发展动态。主要说明区位码/国标码输入法在中文键盘输入法的重要地位,并简单分析了中文键盘输入法编辑器的组成结构等技术。     

结合编码交织的频数质心零水印算法

针对传统数字水印算法的透明性随嵌入强度的增加而下降,且存在鲁棒性和稳定性差的问题,提出了一种基于极化码与二维交织算法相结合的频数质心零水印算法.该算法依次对水印信息进行极化码编码,二维交织构造出交织矩阵,然后对载体图像进行非下采样轮廓波变换获得其低频系数,再通过分块非负矩阵分解得到一维基矩阵;根据频数分布特征计算局部频数质心以构造出特征矩阵,最后将含有水印信息的交织方阵和特征矩阵进行异或操作生成零水印.大量实验表明,该零水印算法可以有效地抵抗常规的信号处理攻击、几何攻击以及组合攻击,水印提取的归一化系数值在0.88以上,具有较强的鲁棒性和稳定性,且具有良好的实用价值.     

哈夫曼树的异构部分重复码构造

针对分布式存储系统中数据被访问频率的不同,提出一种基于哈夫曼树的可变重复度的异构部分重复(HVFR)码,将不同访问频率的数据块作为哈夫曼树带有确定权值的叶子节点,构造哈夫曼树并确定数据块的重复度,利用成对平衡设计构造异构部分的重复码,能够提高热数据的并行访问速度和系统存储效率. 性能分析和实验结果表明,与里所码以及简单再生码相比,HVFR码可以显著减少故障节点的修复时间及修复局部性,提高热数据的并行访问速度,达到负载均衡,且计算复杂度低.     

关于电子皮带秤挂码标定的探讨

在电子皮带秤称量输送物料的传输系统中,当出现对实物标定困难和安装位置不便于链码标定的计量点时,简单、易行的选择就是进行挂码标定。笔者就怎样减少挂码标定的误差,获得较高的标定精确度等,进行了探讨,可供相关专业参考。     

快速的层次树集合分划编码算法*

设计了一个改进算法,它仅需对小波分解矩阵进行一遍扫描即可确定层次树集合分划编码(SPIHT)算法所需的所有D(i,j)和L(i,j)重要性并完成对所有(i,j)子系数的编码,使得按照SPIHT的排序方法编码时只需查找存放D(i,j)和L(i,j)的重要性及(i,j)子系数的编码表,从而大大提高了SPIHT的编码速度.