皮卫星星载计算机存储模块的容错结构设计

空间单粒子翻转现象对航天飞行器中电子设备特别是静态存储器的可靠性具有重大影响,而 星载计算机的可靠运行在很大程度上依赖于系统中存储模块的可靠设计。就皮卫星星载计算 机存储模块的可靠性及提高其可靠性应采取的技术进行了论述,提出了使用汉明纠错码作为 星载计算机存储模块的容错控制策略,并简要描述了存储模块的硬件结构。该设计具有可靠 性高、兼容性强等特点,使皮卫星满足体积小、重量轻、功耗低等工程应用要求。     

基于差分相干后积累的伪码信号检测方法优化与分析

差分相干后积累是近年来提出的一种伪码信号检测新方法,其虚警概率存在精确解析式,但较难推导其检测概率的理论公式。文献多是通过不同理论近似方法获得其检测概率,但理论近似存在较大误差,不适用于对参数的优化。本文采用理论模型与数值仿真结合的方法分析差分相干后积累的检测性能,并基于检测损耗最小化准则研究了中频积累时间的优化。此外,还比较了差分相干检测方法与传统非相干检测方法的最优性能,结果表明前者优于后者。     

一种性能优越的纠错码——Turbo码

Turbo码是一种性能优异的纠错编码方式 ,已引起广大学者的高度重视。文中介绍了 Turbo码的编码方式和迭代译码原理 ,详细推导了 MAP算法。给出了目前用于 CCSDS标准中的 Turbo码结构。对 Turbo码和卷积码的异同点做了比较。最后给出了一些目前关于 Turbo码研究的热点问题。     

Simulations of MATROSHKA experiment outside the ISS using PHITS

The radiation environment at the altitude of the International Space Station (ISS) is substantially different than anything typically encountered on Earth in both the character of the radiation field and the significantly higher dose rates. Concerns about the biological effects on humans of this highly complex natural radiation field are increasing due to higher amount of astronauts performing long-duration missions onboard the ISS and especially if looking into planned future manned missions to Mars. In order to begin the process of predicting the dose levels seen by the organs of an astronaut, being the prerequisite for radiation risk calculations, it is necessary to understand the character of the radiation environment both in- and outside of the ISS as well as the relevant contributions from the radiation field to the organ doses.     

MIMO-CDMA系统中的相位编码技术

在角扩散不充分的贫散射环境中,MIMO(Multiple In Multiple Out)系统的信道传输矩阵的奇异值分布不均匀,导致系统容量下降.针对这个问题提出了一种相位编码技术.通过人为地制造多径,将贫散射环境下的病态相关矩阵改造为良态矩阵,从而使MIMO技术能够在天线间空间相关性很强的平坦衰落信道环境中应用,扩展了MIMO技术的应用范围;并且在发端没有信道信息的情况下仍然能够把MIMO信道等效为独立并联信道,省去了预编码和信道信息的反馈,降低了系统复杂度.从理论上分析和介绍相位编码技术的基本原理,给出仿真结果,其结果与理论分析一致.      

基于神经网络融合模型的源代码注释自动生成

注释可以有效提高源代码的可读性、帮助开发者理解软件功能,对于软件的维护和演化起着关键作用.当前源代码注释自动生成方面的研究存在一定局限,一是没有深入挖掘词法信息;二是没能很好的融合词法和语法信息.因此,提出了基于神经网络融合模型的源代码注释自动生成方法,该方法利用编码器-解码器神经网络框架深度表征源代码的词法信息,结合...     

面向源代码可信证据的航天软件可信度量评估方法

随着航天技术的迅猛发展,航天软件的功能越来越复杂,规模越来越大,对软件可信性的要求也越来越高.航天软件一旦失信,其带来的损失往往无法估量.从源代码证据入手,建立面向航天领域的嵌入式软件可信度量评估方法.结合航天领域特性,建立了面向C语言代码的可信证据规范,该证据规范区分关键证据与非关键证据以及可信正证据和可信负证据;提...     

一种三维物体的视觉识别方法研究

研究了一种利用二维图像识别三维物体的方法。通过颜色特征提取物体的有效区域．使用链码描述了区域中三维物体的形状特征，并形成物体的形状特征向量。将该特征向量作为所设计的BP神经网络的输入进行物体匹配识别，网络输出为属于某种物体的隶属度。通过在各种光照环境下不同三维物体的二维彩色图像进行实验，证明了所提出方法的有效性。     

AIDS参数在空客A320飞机起落架控制系统排故中的应用

结合某空客A320飞机起落架控制系统故障,在对系统原理逻辑进行分析的基础上,利用飞机综合数据系统AIDS的LABEL参数,寻找新的排故思路和方法,有效提升了排故工作效率和准确性,对异地AOG支援的排故方案和航材准备也有重要意义。     

GPS数字接收机中C/A码搜索算法与实现

从GPS信号结构出发,介绍了GPS时域/频域的二维序贯搜索原理.在虚警概率、检测概率与搜索速率分析的基础上,对几种序贯搜索方法性能进行了比较,提出并以实验验证了以并行12通道扩频相关器为基础的GPS C/A码捕获数字系统实现方案,改进的搜索算法的采用有效地缩短了码平均捕获时间并提高了捕获的可靠性,并成功地应用于GPS数字接收机中.