基于前向纠错的自适应网络传输机制

针对无线网络中的传输控制协议（TCP）因为丢包触发丢包重传机制而导致传输性能大幅下降的问题,提出了一种基于前向纠错的自适应传输机制（AdaptiveFEC）。该机制通过前向纠错来减少数据段的丢失,以避免触发TCP的丢包重传机制,从而达到提升TCP传输性能的目的。首先,根据当前的网络状况以及当前连接的数据传输特征确定当前时间段中的最优冗余段比例;然后,利用TCP数据段中的数据段序号信息实时进行网络状况的估计,从而根据网络波动来动态更新冗余段比例。大量实验结果说明,在20 ms的往返时延以及5%丢包率的传输环境中,相较于静态的前向纠错机制,AdaptiveFEC能够使得TCP连接的传输速率平均提升42%,当运用在文件下载的应用中时,所提机制能够使得下载速度提升至原来的两倍。     

基于模型的四旋翼无人机半实物仿真平台研究

为了降低在真实飞行器上测试新的控制策略时所存在的设备损坏风险,对四旋翼无人机的控制器和半实物仿真实验平台进行了开发和介绍;首先,分析了四旋翼无人机基本结构和飞行原理,并对其进行了动力学建模;其次,设计了对应的常规PID控制器和滑模控制器,并进行了Matlab仿真对比和分析;最后,展示了采用先进的基于模型的设计方法和代码自动等技术的半实物仿真实验平台,并详细介绍了其硬件和软件的总体架构和不同模块的配置;仿真结果表明所设计滑模控制器相比于PID控制器有更好的控制效果,并给出了其在半实物仿真平台上用来研究四旋翼无人机姿态控制的可行性。     

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

符号执行技术从理论上可以全面分析程序执行空间,但对安全协议这样的大型程序,路径空间爆炸和约束求解困难的局限性导致其在实践上不可行。结合安全协议程序自身特点,提出用模型学习得到的协议状态机信息指导安全协议代码符号执行思路;同时,通过将协议代码中的密码学逻辑与协议交互逻辑相分离,避免了因密码逻辑的复杂性导致路径约束无法求解的问题。在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模型研究水口水库下泄流量和北港分流比对闽江下游水体水龄的影响。分析表明:闽江干流径流量年际变化不均匀,北港分流比则经历了由小变大再变小的趋势。模拟的闽江水龄结果可知水龄与下泄流量成反比关系,北港分流比减小将增加北港水体交换时间,同时减少南港水体交换时间;水龄可以定量地描述污染物在北港河道的停留时间,为保障北港水源地水质安全,需要增大枯水期上游水口水库下泄流量和增大北港分流比。