鱼雷自导系统BIT验证平台设计与实现

针对鱼雷自导系统BIT(机内测试)设计故障诊断准确率低,可信度不高的问题,设计并实现了一种鱼雷自导系统测试性验证平台;通过对鱼雷自导系统数字机的各个组成部分注入故障(软、硬件故障共22个),分析BIT上传数据,对注入的故障进行检测和隔离,对比隔离出的故障和注入的故障是否一致,验证BIT设计是否有效;实验表明,平台能够对BIT设计进行验证,对缩短鱼雷研制周期,提高鱼雷故障诊断效率有重要作用。

机电BIT系统中基于因果网络模型的传感器证实算法研究

随着对诊断决策要求的提高,传感器证实已经逐渐成为机电设计状态检测和诊断系统中不可忽视的技术。通过对研究方法的调研和总结,考虑到在BIT系统中应用的特点及需求,研究采用基于知识模型冗余的传感器证实技术以实现更好的实时性。研究了基于传感器因果网络模型的传感器证实算法,实现对网络中节点和链接间相关信息的融合,以得到准确的证实结果,并在实例应用中验证了方法的有效性。

某机载计算机平台BIT设计及验证技术

机载计算机平台作为复杂航空电子设备，具有数字化程度高、信号交联复杂、通道数多等特点，通过分析计算机平台各部件的功能及故障模式，制定计算机平台的BIT设计方案和进行BIT分析设计，最后进行了BIT指标评估及验证试验，该型计算机平台能够完成系统要求的计算机BIT检测内容，满足系统要求，提高了系统的任务可靠性和安全性，减少了系统维修时间。

面向BIT验证的存储器故障模拟及注入方法研究

随着航空电子设备复杂性的日益增加,BIT作为系统自检和故障诊断与隔离的重要手段,已在各机载设备中广泛应用;为满足航空电子设备中电路板级BIT验证需求,提出了基于模拟的故障注入技术,并针对板上器件——存储器进行了故障模拟;介绍了存储器故障模拟及注入原理,并对存储器常见故障模式以及故障触发方式进行分析,进而构建了故障模型;基于开源模拟器QEMU进行了二次开发,进行了大量修改并添加了故障注入模块,能够支持对存储器的存储单元以及地址译码器进行故障注入;并通过实例验证了该工具的正确性与有效性。

一种适用于大规模RFID系统的认证协议

针对现有RFID认证协议中标签硬件成本及运算复杂度高、后台数据库检测效率低问题,提出适用于大规模RFID系统的认证协议。该协议要求标签利用矩阵乘法完成身份加密、基于位运算实现信息交互,解决了标签高复杂度运算和硬件成本问题;要求后台数据库对信息进行二次判定的预认证,解决了因对非法标签无效识别导致检测效率低问题。证明与分析结果显示,该协议性能好,可抵御多种攻击。实验结果表明,与现有协议相比,该协议提高标签运算效率,减少后台数据库无效识别次数,适用于大规模RFID系统。

正交采样系统参数估计与测量

介绍了中频正交采样器参数的综合测量与分析方法 ,包括幅相误差、镜频分量 ,以及A/D变换器的信噪比和有效位数等 ,针对信噪比的计算 ,提出了一种消除旁瓣影响的方法。实践表明 ,上述参数分析方法是正确有效的 ,并已应用于雷达接收机综合测量系统。

一种低码率下的新型码率控制策略

在大多数视频压缩标准中,码率控制方法都是针对中高码率情况而设计的,而在较低码率情况下的工作情况都不够理想。针对这个问题,本文提出了一个较低码率情况下的码率预测模型,并在该模型基础上建立起一种针对较低码率情况的码率控制策略。实验结果证明了这种码率控制策略的有效性。

GLONASS星历电文特征及其解算方法

针对飞行试验中由于GLONASS星历解算错误导致的定位结果异常问题,研究了GLONASS星历电文下传的基本特征,即通过第1~4串电文下传,并且一个更新周期内下传60组数据完全相同的星历。基于此,提出了基于电文串标识的GLONASS星历解算基本算法,但发现该算法在电文串丢失且发生星历更新时解算出错误星历的问题。为确保星历来源于连续的1~4串电文,提出了基于时间比较的星历解算改进算法,发现GLONASS星历更新时,不保证从第1串开始,也不保证在连续的1~4串电文中更新完毕,改进算法依然无法确保获取到正确星历。最后分析了星历电文误码时的特征,提出了基于星历合法性检测的星历解算可靠算法,该算法综合考虑卫星不健康、星历更新以及电文误码等异常情况,采用轨道特性检测法和原码比对检测法验证星历合法性,采用电文串标识法充分利用有效电文数据。试验结果表明,该算法的星历误码识别率达到100%,星历更新异常识别率达到100%,获取的GLONASS星历数据正确率到100%。

无污染Cache访问控制技术

制造工艺的快速进步给集成电路设计提供了广阔的空间,而发展较慢的设计能力导致难以对片上资源高效利用。目前,高性能处理器片上Cache普遍占到芯片总面积的一半以上,而如何高效、智能地利用片上Cache空间,构建高性能存储系统是处理器微体系结构研究的重要内容。分析了Cache数据污染和猜测执行对处理器性能的影响,并在此基础上提出一种基于数据Tag有效位分裂的无污染Cache访问控制技术—Pease,将原先D-CacheTag中的一位数据有效位扩展为读数据有效位（RVB）和写数据有效位（WVB）两位,根据RVB和WVB值的不同组合对数据读写访问进行控制。不但充分保留了猜测执行的数据预取性,使污染数据透明化,写入数据时无需对污染数据进行替换操作,消除了污染数据对Cache效率的影响。Pease技术相对于baseline结构来说,IPC的提升幅度为1.05%~8.40%,平均提升4.04%;L1 D-Cache缺失率降低幅度为19.05%~48.16%,平均降低29.66%。

LVAT-1研制及在轨验证

针对微纳卫星无拖曳控制需求,研制了元冲量小于1μN·s,推力在1~50μN内可调的LVAT-1微推进系统。介绍了LVAT-1研制过程中的重要试验,PPU设计思路及在轨验证结果。LVAT-1点火期间卫星加速度遥测数据表明:推力器元冲量在0.68~0.83μN·s范围内,平均为0.74μN·s,满足小于1μN·s的设计指标。对LVAT-1的未来发展提出建议。

比特置换运算单元的设计与实现

比特置换操作在对称密码算法中使用频率非常高,但传统处理器对比特置换操作并不直接支持.为此,美国普林斯顿大学的Ruby B. Lee提出比特置换指令,并证明了比特置换指令对提高通用处理器上实现的密码算法的性能有明显作用[10].本文重点研究比特置换指令的实现技术,提出一种比特置换运算单元的实现算法,并在FPGA上进行验证.

SAVI DHCPv6数据报文源地址验证方法研究

由于现今的网络缺乏源地址验证机制,导致多种依靠IP欺骗的恶意攻击时有发生。在DHCPv6场景中防止IP欺骗的源地址验证改进(SAVI)工作,目前正由互联网工程任务组(IETF)驱动,但尚未给出确切的源地址验证方法。为此,提出两个验证方法:改进的多比特Trie树算法和改进的哈希查找算法,实现了SAVI DHCPv6的仿真系统,并使用该系统进行不同验证方法的对比实验。结果表明,提出的两种改进方法比顺序查找方法具有更优的时间性能。

DVB-T2标准中帧配置参数的最优值算法设计

简要介绍了DVB-T2标准中的帧结构及相关参数。针对DVB-T2标准中对于LF,NTI和NBLOCKS_IF等帧配置参数并未给出确定值的问题,结合标准中提供的上述参数最优值的选择原则,设计了一种在单输入流条件下和相应的模式配置参数组合下的求解帧配置参数最优值的算法,并通过MATLAB对其进行了仿真验证。通过仿真结果分析和与标准中提供的参考值对比,验证了该算法的正确性。