一种混合粒度奇偶校验故障注入检测方法

为了实现高效的抗故障注入攻击,提出了一种混合粒度奇偶校验故障注入检测方法。传统奇偶校验检测方法为每n比特设置一个奇偶位,表示该n比特的奇偶性。随着n的减小,奇偶位个数增加,资源消耗增加,检测率提高。为了实现故障检测率和资源消耗的折中,对电路故障注入敏感部分或关键部分处理的数据采用细粒度奇偶校验（即n值较小）,对其他部分采用粗粒度奇偶校验。以RC5加密算法为例,阐述了混合粒度奇偶校验故障检测方法的原理和应用,并对不同粒度奇偶校验方法的故障检测率及资源使用进行了理论分析。实验结果表明,与整个RC5电路都采用字（n=32 bit）奇偶校验相比,混合粒度奇偶校验故障注入检测方法可以提高故障检测率29.44%,仅增加资源消耗2.48%。      

MHD code using multi graphical processing units: SMAUG+

This paper introduces the Sheffield Magnetohydrodynamics Algorithm Using GPUs (SMAUG+), an advanced numerical code for solving magnetohydrodynamic (MHD) problems, using multi-GPU systems. Multi-GPU systems facilitate the development of accelerated codes and enable us to investigate larger model sizes and/or more detailed computational domain resolutions. This is a significant advancement over the parent single-GPU MHD code, SMAUG (Griffiths et al., 2015). Here, we demonstrate the validity of the SMAUG?+?code, describe the parallelisation techniques and investigate performance benchmarks. The initial configuration of the Orszag-Tang vortex simulations are distributed among 4, 16, 64 and 100?GPUs. Furthermore, different simulation box resolutions are applied: $1000\times 1000\text{,}2044\times 2044\text{,}4000\times 4000$ and $8000\times 8000$. We also tested the code with the Brio-Wu shock tube simulations with model size of 800 employing up to 10?GPUs. Based on the test results, we observed speed ups and slow downs, depending on the granularity and the communication overhead of certain parallel tasks. The main aim of the code development is to provide massively parallel code without the memory limitation of a single GPU. By using our code, the applied model size could be significantly increased. We demonstrate that we are able to successfully compute numerically valid and large 2D MHD problems.     

一种嵌入式软件安全漏洞的代码加固方法

软件定义的概念和技术的发展和应用,装备嵌入式系统的功能主要由软件定义完成,导致装备嵌入式软件规模性和复杂性都在急剧增加,软件安全问题已经成为嵌入式系统乃至装备产品研制和运行维护的核心关注点.借助主流软件代码安全性检测技术,对装备嵌入式软件的漏洞行为和结构分析,建立装备嵌入式软件漏洞特征和系统不安全行为属性规约,通过对软件属性规约的逻辑演算,形成软件安全性加固需求,提出基于安全规约属性模板的漏洞加固代码生成技术,对软件代码中潜在的安全漏洞进行修复和加固,实现装备嵌入式软件强制安全保障.     

软判决Viterbi译码器硬件实现中的支路量度压缩与计算

以工程实现为目的,重点讨论(2,1,6)卷积编码8电平(3bits)软判决Viterbi 译码器硬件实现中的支路量度(Branch Metric)压缩与计算问题,给出了一种解决这一问题的方法以及用该法实现的译码器样机性能实验数据。     

一种存储器容错设计方法

空间辐射环境常导致存储器发生单粒子翻转,设计了一种基于Hsiao编码的EDAC电路,并通过编解码电路复用的策略来进一步减小电路面积,该电路与目前广泛应用的扩展Hamming码电路相比,面积减少了近50％,速度提高了近20％,并采用了一种新颖的方法来实现单错自动回写功能,可有效解决CPU中断行为．通过增加控制寄存器的三模冗余（TMR）设计来保证存储器操作的正确性,仿真验证了该设计的有效性和优越性．     

FBBM型无线电遥控指令编码器

介绍了一种用于一站多机无人机测控系统的编码器,叙述了该编码器的组成、工作原理及实现方法.该编码器的硬件电路采用以89C52单片机为核心的单片机系统,辅以指令采集电路、状态显示电路和串口通信电路等,将地址码、飞机号、遥控指令、遥调指令等编成相应的帧格式,送到遥控发射机发射出去,从而实现同时对多架无人机的控制.提出了快速直接计算法对三字节序列进行简单快捷的CRC计算,并用PL/M-51语言编写了软件程序.该编码器具有体积小、重量轻、性能优良、形式新颖、成本低廉和使用方便等特点.     

数据库应用系统中关键代码属性的设置原则

数据库应用系统中的绝大多数关键属性均以代码形式出现,其设置的规范性和设置的方法对系统的性能有很大影响。对代码属性、主文件及代码文件进行了详细的分类,对不同类型的代码给出了通用的设置原则和各自的设计规范。针对经常出现的分级代码,给出了两类设置原则。实践表明,这些原则可有效保证代码关键属性的正确设置。     

级联素数码的有限域模型

基于素数码的构造思想和有限基域与有限扩域的变换关系,通过分析级联素数码构造过程的多项式表示,得出级联素数码的有限域模型,表明级联素数码是以某一类二次既约多项式为模的有限扩域域乘法某种变形的结果,将级联素数码的构造与有限扩域域乘法相关联,并基于此得出确定级联素数码码族个数的规律．上述结果对研究将素数码的构造思想扩展到有限扩域具有启发意义,为基于素数码构造周期更长、序列数目更多的跳频序列族提供了一条新的思路．      

多级轴流压气机S2正问题气动性能优化

将求解多级轴流压气机特性的S₂正问题计算程序集成在ISIGHT优化软件上,构建压气机S₂正问题气动性能优化平台.针对某4级轴流压气机,通过调整沿径向截面的叶栅弯角、叶栅稠度、叶型最大相对厚度等参数,考核设计几何参数对S₂正问题计算效率目标函数的影响程度,择优选取设计参数作为优化变量,建立响应面模型,结合遗传算法,对目标函数进行优化.结果显示压气机特性整体提高,设计点压比增加19.6%,效率提高4.66%,折合转速1.0下的稳定裕度增大到22.32%,验证了构建优化平台在压气机气动设计中的实用价值,可供内流叶轮机气动性能优化设计参考.