基于依赖条件重构的程序符号值分析方法

符号执行在路径分析、调试和验证等软件分析过程中发挥着重要的作用.但是随着程序规模的增大，有效的执行路径数量程指数级增长，符号执行技术往往难以有较好的分析效果.符号执行分析中的两个瓶颈问题是路径条件表达式的提取和约束求解.状态合并是目前解决状态爆炸的常用分析方法，但是这种抽象的分析方法往往会导致错误的路径信息.依据符号执行引擎采用的搜索策略，符号执行工具在符号变量状态合并中可能会产生不可解的路径条件.提出基于依赖条件重构的程序符号值分析方法，通过综合分析各路径的路径条件逻辑表达式，提取共享的变量符号值从而提高变量状态合并的效率，同时采用逆向关联分析方法产生依赖条件集合从而提高路径分析的精度.实验结果表明该方法相对于传统的状态合并分析方法有更高的执行效率及分析精度.     

一种抵抗符号执行的路径分支混淆技术

程序在动态执行过程中泄露了大量的路径分支信息,这些路径分支信息是其内部逻辑关系的二进制表示.符号执行技术可以自动地收集并推理程序执行过程所泄露的路径信息,可用于逆向工程并可削弱代码混淆的保护强度.哈希函数可以有效保护基于等于关系的路径分支信息,但是难以保护基于上下边界判断的不等关系的路径分支信息.将保留前缀算法与哈希函数相结合提出了一种新的路径分支混淆技术,将符号执行推理路径分支信息的难度等价到逆向推理哈希函数的难度.该路径分支混淆方法在SPECint-2006程序测试集上进行了实验,试验结果表明该混淆方法能有效保护程序路径分支信息,具有实用性.     

一种改进的通信有限状态机的错误诊断方法

目前对于通信状态机的研究已经很广泛,但对于通信状态机的错误诊断方法的研究不多,已有的问题模型都是输出错误和转换错误。为了更好地将错误诊断与实际相结合,本文在一般的通信有限状态机模型上,新增了一种不可执行的情况,并在传统的问题模型中新增一种转换未执行错误的问题模型。在假设单个错误的情况下,提出了一整套新的错误诊断算法,算法通过分析症状信息进行分步检测,并利用可疑转换下一步输入输出和用例的转换序列等信息来定位出单个错误。最后,文中给出一个实例,详细描述了算法的诊断过程。     

基于FM0记忆辅助特性的RFID标签碰撞检测

为实现两个射频识别(RFID)碰撞标签信息的检测和分离，提出一种利用Gen2标准中FM0标签编码固有记忆特性的检测方法。通过对FM0比特编码特点和碰撞标签信息的无记忆检测分析，得到基于单个比特持续时间的无记忆检测方法的条件错误概率和单个标签信息检测的误码率；然后利用单个FM0比特编码需要前一比特的“记忆”特性，得到对应于前一比特的一对测量值和对应于下一比特的一对测量值，进而得到碰撞标签信息的1比特记忆辅助检测时的条件错误概率和误码率性能；并对在帧Aloha媒质接入方案中采用提出的检测方法时的N个标签群的总延迟减少性能进行了分析。仿真实验结果表明，提出的1比特记忆辅助检测方法，相比于无记忆检测具有更好的误码率性能，且能减少标签群接入时的总延迟。     

基于自适应容错机制的网络资源调度平台的设计

网络资源调度过程中存在多处理机同时发生故障的情况,传统方法在处理多处理机发生故障时,主要分析执行时间和通信时间,未对资源调度的稳定性进行考虑,资源调度存在较高的误差。为了有效解决资源调度过程中存在的故障问题,设计了基于自适应容错机制的网络资源调度平台。该平台具有网络资源发现、网络网络资源预约、网络资源动态信息查询以及资源调度运行时监控等功能。网络资源调度模块的错误检测服务包括进程监控模块、汇总模块、错误评估模块以及报警模块。通过自适应错误检测算法,对网络资源调度进程中的错误进行检测,并采取对应的解决措施,确保资源调度的顺利运行。实验结果说明,所设计调度平台在进行资源调度过程中,网络利用率、调度性能以及可靠性都较优。     

基于综合特征一致性的感兴趣目标检测

感兴趣目标检测是模式识别的关键部分.文中研究了一种新的检测感兴趣目标的方法.首先将相位子带滤波器组输出的图像局部信息表示为单个特征的集合,该集合中的若干单个特征组成了综合特征;然后在综合特征的基础上给出了综合特征一致性函数,并用噪声估计进行修正;最后利用该函数对复杂自然背景中的感兴趣目标进行检测.实验结果表明,该算法能够滤除复杂的自然背景,有效地检测出感兴趣目标,且具有通用性.     

基于一种交织码的多位翻转容错技术研究

随着技术的发展和核心电压的降低,存储器更易受瞬时错误（软错误）影响,成为影响航天器件可靠性的主要原因。错误检测与纠正（EDAC）码（也称错误纠正码）常用来对SRAM型存储器中的瞬时错误进行纠正,由单个高能粒子引起的多位翻转错误（SEMU）是普通纠一检二（SEC-DED）编码所无法处理的。提出了一种交织度为2的(26,16)交织码,该码由两个能纠正一位随机错误、二位突发错误的(13,8)系统码组成,(26,16)交织码能够纠正单个码字中小于二位的随机错误和小于四位突发错误（DEC-QAEC）。通过理论分析和硬件平台实验表明,该交织码在存储资源占用率、实时性相当情况下可靠性优于同等长度的SEC DED码,能有效提高SRAM型存储器抗多位翻转错误的能力。      

提升能量信息泄漏检测能力的多重t检验方案

为应对侧信道能量信息泄漏检测中的多重t检验问题，提出了一种控制多重t检验过程的错误识别率并提升检验效力的泄漏检测方案。在对多重假设检验问题进行分析的基础上引入错误识别率和检验效力作为多重t检验过程中的控制参量。介绍了已有控制多重假设检验问题的方案，结合泄漏检测过程，通过提升检验阈值和调整检验水平的方法对已有控制方案进行了改进，并进行了实验验证。验证结果表明该方案能在提升能量信息泄漏检测能力的同时将检验差错控制在一定范围内。     

JPEG2000无线标准JPWL性能分析及应用研究

对JPEG2000标准第11部分印JPEG2000无线传输(JPWL)进行了系统描述和性能分析,结合实例提出了具体的应用方法:根据错误敏感度描述符提供的码流错误敏感度,利用错误保护块对码流执行头保护的基础上进行不等错误保护;在解码时利用残余错误描述符提供的码流残余错误信息进行错误隐藏.仿真结果表明,和常用方法相比,该方法能够保持码流中的重要信息,有效地纠正传输误码,显著地提高了解码能力和恢复图像的质量.     

一种改进的LDPC码译码算法

文中提出了一种改进的基于加权错误校验的LDPC码比特反转算法,该算法不需要软信息,译码时采用了设定判决门限的方法,减少了译码过程中的迭代次数和译码复杂度.仿真结果表明:对于高Girth、低码率的LDPC码,该算法达到了比多种利用软信息的比特反转算法更少的迭代次数和更优异的性能.     

OpenSSL Heartbleed漏洞研究及启示

2014年4月8日,OpenSSL爆出其加密代码中一种名为Heartbleed的严重安全漏洞。利用该漏洞,攻击者在对客户端OpenSSL代码进行修改后,就能从内存中读取请求存储位置之外的多达64 KB的数据,这段内存数据可能包含证书私钥、用户名与密码、聊天信息、电子邮件、重要的商业文档、通信等数据。目前,绝大多数的电商以及网络支付的登录服务都是使用OpenSSL协议进行搭建的,所以该漏洞有着极为深远的影响。因此第一时间对该漏洞进行研究,分析,修复,是整个安全领域的首要任务。     

基于知识图谱的bug问题探索性搜索方法

软件bug问题在软件开发与维护过程中不可避免.然而软件历史库中的bug库与commit库之间没有直接的对应关系,并且随着bug信息、commit提交信息量的增长,搜索bug变得更加繁琐.本文提出一种基于知识图谱对bug问题进行探索性搜索的方法.通过建立bug报告、commit提交信息及相关人员（如：bug报告人、commit提交者等）信息的bug知识图谱,并结合探索性搜索的思想,不仅能准确搜索bug问题,还能提供相关辅助信息对bug问题进行探索性搜索,帮助软件开发人员更有效地理解和解决bug问题.     

通信化雷达探测技术

随着雷达探测逐步进入强电子对抗、隐身时代,传统雷达体制在战术主动性、能量、数量方面均处于劣势。雷达亟需从探测体制方面进行创新,充分挖掘其合作式探测的主动性、充分利用信号波形的信息维度优势,才能适应未来新型防空作战。该文提出一种新的雷达体制——通信化雷达,其通过在发射信号波形中嵌入发射站动态位置、天线扫描指向、发射时刻等辅助信息,并在接收处理中提取、利用该信息进行目标检测、定位、识别、抗干扰和多目标分辨,可提升远程、隐身、强对抗条件下的雷达探测能力和战场生存力。该文从系统架构、探测原理、性能分析等方面对通信化雷达进行了阐述。      

CAN总线嵌入式系统在发射机中的应用

介绍了一种适用于固态发射系统的嵌入式系统设计及应用。该系统通过采用单片机与CPLD技术的有机结合设计，运用CAN总线技术，实现控制系统对数量众多的工作状态信息、故障信息的实时监测与通信控制。文中分别从冗余双监控系统设计、单片机嵌入式系统、CPLD的应用、CAN总线技术以及针对RF高功率所采取的电磁兼容设计考虑等不同方面对其工作原理进行了详细阐述。     

导弹武器戒备率评估系统设计与实现

戒备率是导弹武器系统一项重要的战术技术指标,分析评估导弹武器系统的戒备率,可以为导弹武器系统的研制和作战使用提供重要决策依据。为了快速准确地得到导弹武器系统的戒备率,基于C#.NET开发了导弹武器戒备率评估系统,利用安全性和效率较高的数据库技术完成评估信息的管理。系统采用人工神经网络的评估方法,利用混合编程技术完成导弹武器戒备率的评估。该系统可以实现对导弹武器系统戒备率的快速评估,并可以定量分析不同因素对戒备率的影响,对戒备率评估技术的研究具有重要的现实意义。     

一种基于深度学习的强对抗性Android恶意代码检测方法

针对现有Android恶意代码检测方法容易被绕过的问题,提出了一种强对抗性的Android恶意代码检测方法.首先设计实现了动静态分析相结合的移动应用行为分析方法,该方法能够破除多种反分析技术的干扰,稳定可靠地提取移动应用的权限信息、防护信息和行为信息.然后,从上述信息中提取出能够抵御模拟攻击的能力特征和行为特征,并利用一个基于长短时记忆网络（Long Short-Term Memory,LSTM）的神经网络模型实现恶意代码检测.最后通过实验证明了本文所提出方法的可靠性和先进性.     

一种小波域自适应鲁棒闭环数字盲水印技术

本文提出了一种基于小波域的闭环自适应图像鲁棒数字盲水印技术.水印的嵌入过程是一个闭环过程,且其嵌入的位置及强度均与原始图像有关.水印嵌入的初始强度由小波域图像压缩的量化因子决定,并根据检测要求不断的进行调整,从而达到水印的最佳嵌入.本文证明了这种闭环系统的收敛性,并且给出了水印检测过程中正确检测概率和虚警检测概率的求解公式,可用于闭环系统的检测性能判决条件.水印的检测过程中不需要任何原始图像和原始水印信号的信息,采用独立分量分析实现对水印信号的盲检测.检测过程中不仅可以检测到水印的存在,而且可以提取出嵌入到图像中的多个水印信号.实验结果证实了本文提出的闭环自适应数字盲水印技术优于传统的自适应水印技术,水印检测过程中在不需要考虑水印图像所经历的攻击类型及攻击参数的情况下可以正确的提取水印信号.本文提出的水印算法对通用水印测试软件Stirmark具有很好的鲁棒性.     

Detection and Ranging System of Flight Aid Lights

Dynamic detection based on optics sensors and ranging radars is a new method to detect the luminous intensity of flight aid lights. The optics sensors can get the illumination information of each light, the ranging radar gets the distance information, and then data amalgamation technology is used to compute the luminous intensity of each light. A method to modify the errors of this dynamic detection system is presented. It avoids the accumulation error and measurement carrier＇s excursion error by using peak value detection based on optics sensors to estimate the accurate position of each light, then to modify the lights＇ lengthways distance information and transverse position information. The performance of the detection and ranging system is validated by some experiments and shown in pictures.     

认知雷达子空间信号迭代闭环检测方法

闭环迭代过程是认知雷达信号处理的重要特征。在雷达与探测环境构成的闭环中,雷达逐渐理解环境,选择适合当前环境的信号处理方式。本文考虑杂波和噪声中,认知雷达的子空间信号检测问题。基于认知雷达闭环迭代架构,提出了一种认知雷达检测方法。在每次迭代开始时,利用获得的数据计算目标在子空间内坐标的最大似然估计,然后依据目标参数设计下一次迭代所需的发射波形。计算机仿真分析表明,利用闭环迭代检测算法,认知雷达能够更高效获得探测环境信息,其检测性能优于常规雷达。