一种用于深空导航定位的新型DOR信标

甚长基线干涉测量(VLBI)是深空探测器导航定位的重要手段之一,深空探测器的VLBI观测通常采用差分单程测距(DOR)信标和双差单程测距(Delta-DOR)测量体制,精确地测量深空探测器相对于河外射电源的角距.相位杂散是影响Delta-DOR测量精度的主要误差源之一,针对这项误差研究了一种基于伪随机噪声调制方式的新型...     

基于移动站的转发式地面站设备时延标校方法

在转发式卫星测定轨系统中,基于伪码测距原理的星地距离测量是实现卫星精密定轨和高精度时间比对的基础。为获得高精度的星地距离,需要将地面站设备时延从伪码测距值中精确扣除。在转发式卫星测轨原理的基础上,提出了基于移动站的转发式地面站设备时延标校方法,实现了对转发式地面站设备时延的标校,标校精度能够优于0.5ns,对提高转发式卫星定轨精度和卫星双向时间比对精度具有重要作用。     

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

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

地月第二拉格朗日点卫星激光测距技术研究

介绍了月球/中继星激光测距的科学意义、研究状况和发展趋势;研究了地月第二拉格朗日点(L2点)纯反射式激光测距技术和任务设计,主要包含单体大孔径激光角锥反射器的设计与研制,以及基于云南天文台1.2 m望远镜的月球/中继星激光测距系统研究。研究结果表明:采用单脉冲能量3 J和10 ns脉宽脉冲激光器,预期系统能接收到的单脉冲回波光电子数约为0.74,单光子测距精度优于1 m。     

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语言编写了软件程序.该编码器具有体积小、重量轻、性能优良、形式新颖、成本低廉和使用方便等特点.     

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

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