模型学习与符号执行结合的安全协议代码分析技术

符号执行技术从理论上可以全面分析程序执行空间,但对安全协议这样的大型程序,路径空间爆炸和约束求解困难的局限性导致其在实践上不可行。结合安全协议程序自身特点,提出用模型学习得到的协议状态机信息指导安全协议代码符号执行思路;同时,通过将协议代码中的密码学逻辑与协议交互逻辑相分离,避免了因密码逻辑的复杂性导致路径约束无法求解的问题。在SSH协议开源项目Dropbear上的成功实践表明了所提方法的可行性;通过与 Dropbear 自带的模糊测试套件对比,验证了所提方法在代码覆盖率与错误点发现上均具有一定优势。     

基于图结构源代码切片的智能化漏洞检测系统

针对智能化漏洞检测,从源代码程序依赖图中根据漏洞特征提取图结构源代码切片,将图结构切片信息表征后利用图神经网络模型进行漏洞检测工作。实现了切片级的漏洞检测,并在代码行级预测漏洞行位置。为了验证系统的有效性,分别与静态漏洞检测系统、基于序列化文本信息和基于图结构化信息的漏洞检测系统做比较,实验结果表明,所提系统在漏洞检测能力上有较高准确性,并且在漏洞代码行预测工作上有较好表现。     

图像遥测传输系统的设计与实现

红外图像传输的速率可高达十几Mbps,现有的设备不能解决低带宽导致传输误码率高的问题。设计了一种融合图像数据压缩、信道交织编码和数字MSK调制技术的图像遥测传输系统,解决了以现有低带宽设备实现高速率传输的问题。通过采用Xilinx公司的Spartan3E系列FPGA XC3S500E作为数据采集控制器,以ARM(S3C2440A)实现图像算法处理器,构建PCM/FM遥测系统硬件平台。最后在硬件平台上验证系统性能,通过测试系统传输误码率证明了方案的可行性。     

双向中继信道中Polar码与物理层网络编码的联合设计

为解决双向中继信道中采用低密度奇偶校验码LDPC(low density parity check code)或Turbo码的网络编码系统信道编码编译码算法及设备的复杂度太高这一问题,提出一种联合Polar编码与网络编码的中继转发策略.该策略利用无线通信中信号的叠加特性和Polar编码、网络编码的线性性质直接估计网络编码的码字,使得中继节点进行Polar译码的复杂度和信源节点之间的信息交换时间都比直接网络编码系统减少了50%.同时,由于基于信道极化理论的Polar码具有在离散无记忆信道BDMC(binary discrete memoryless channel)上达到信道容量及编译码算法简单等优点,使得所提方案不仅保证了系统的可靠性,而且更容易实现.仿真结果验证了该方案的有效性.     

基于动态符号执行的C代码缓冲区溢出检测

缓冲区溢出是C程序中众多安全隐患的根源之一,以C程序代码为目标对象,提出了一个基于底层虚拟机中间代码的缓冲区溢出检测工具PathChecker.该工具基于动态符号执行方法,使用无量词谓词公式刻画缓冲区操作的安全性质,并利用可满足模型理论求解器技术检验缓冲区操作的安全性.实验结果表明,该工具能有效检测C代码中的缓冲区溢出漏洞,且易于推广至其他高级程序语言代码和其他类型安全漏洞的检测.     

基于离散元模拟和微震监测的地下厂房围岩稳定性研究

针对猴子岩水电站地下厂房洞室群在开挖过程中围岩的稳定性问题,运用基于离散元基本理论的2维颗粒流PFC^2D（particalflowcodein2Dimensions）软件,模拟了地下厂房洞室群开挖过程中控制性结构面对围岩变形和破坏的影响,再现了围岩损伤演化规律;同时引入微震监测技术对地下厂房围岩微震活动进行实时监测和分析,并将数值模拟与微震监测结果进行对比研究。结果表明,围岩开挖卸荷损伤与断层密切相关,颗粒流模拟得到的大型地下洞室群开挖过程中围岩损伤与微震监测结果基本一致。采用数值模拟和微震监测相结合的综合研究方法,可以有效评价地下厂房开挖过程围岩的损伤和预测潜在的失稳区域。     

一种基于FPGA的高精度同步信号生成设计与实现

针对特定通信系统中需要实现快速、高精度的时间同步需求,设计了一种基于 FPGA 同步信号生成的系统方案。系统以C/A码码片为最小时间刻度,通过对信号中码片数计数输出秒脉冲信号,并在同源情况下,根据码相位累加器溢出后残余值的特点,调整秒脉冲信号的输出位置。结果表明,调整后的秒脉冲信号同步精度能达到纳秒级,在工程上具有一定的应用价值。     

闽江下游径流量和北港分流比变化及其对水龄的影响研究

利用闽江下游多年水文资料,分析了干流流量时空变化和北港分流比变化趋势,并借助EFDC模型研究水口水库下泄流量和北港分流比对闽江下游水体水龄的影响。分析表明:闽江干流径流量年际变化不均匀,北港分流比则经历了由小变大再变小的趋势。模拟的闽江水龄结果可知水龄与下泄流量成反比关系,北港分流比减小将增加北港水体交换时间,同时减少南港水体交换时间;水龄可以定量地描述污染物在北港河道的停留时间,为保障北港水源地水质安全,需要增大枯水期上游水口水库下泄流量和增大北港分流比。     

短突发传输系统的联合导频和迭代译码载波同步简

Considering the low estimation accuracy and small synchronization range of carrier synchronization algorithms in low signal to noise ratio (SNR) for short burst communication systems, a joint pilot and iterative decoding soft-output carrier synchronization algorithm is proposed. Firstly, the received pilot sequence is extracted and modulation is removed, with the modulation-removed signals made cross-correlated. Then the summation of all the correlation values is used to perform initial carrier parameters estimation. Secondly, the pilot sequence is reused with the soft-output information based on the extended Turbo decoder to obtain fine frequency and phase estimation values. Theoretical analysis and simulation results show that the coarse estimation algorithm can satisfy the requirements of the frequency estimation range and estimation accuracy, and preamble-middle pilot placement is optimal for a certain length of the data frame; The turbo decoder can obtain more reliable soft-output information with small residual frequency offset after initial coarse synchronization when the normalized frequency offset is less than 1.5×10^-3, with the joint pilot and soft-output of the decoder used to estimate fine carrier parameters, which can make the turbo code achieve optimal BER performance.     

超高频RFID标签命令头解析模块设计

该文针对超高频RFIDISO 18000-6C标准,分析了移位寄存器解析方案的冗余状态,提出了采用有限状态机优化超高频RFID标签命令头解析面积的方法。采用Verilog HDL,通过设置6组命令,进行了常用方案和新提出方案逻辑门数量的对比,从而反应出标签芯片电路面积的变化。实验结果表明,当指令数量在12 32条之间时,用有限状态机解析命令头的电路面积比用移位寄存器解析的面积小15%33%。