一种用于分析MCS-51目标码堆栈深度的方法

在嵌入式软件中,针对目标码的堆栈分析是堆栈检查的常用手段．提出了一种用于MCS-51系列处理器目标码的堆栈深度分析方法,该方法可分析最坏情况下的堆栈深度,并考虑了不同优先级下中断服务程序对堆栈的影响．利用该方法可开发出分析MCS-51目标码的堆栈分析工具,其分析结果对堆栈安全检查和优化具有参考意义．     

星间时间同步系统及零值标定研究

空间卫星的相对距离和钟面时差的准确测量,是实现多星之间时间同步,完成特定任务的重要基础。在介绍空间星间测试验证系统与双向单程距离和时差测量的基础上,提出一种闭环自测的零值标定方法。经理论分析和测试验证表明,所测数据稳定可靠,能够满足实际测量的要求。     

利用月面链路的月球车定位体制

提出一种利用月面月球车-着陆器UHF(Ultra High Frequency)近程通信链路的高精度测距、测角的新方法,实现月球车的精密定位.该体制采用直序扩频和CCSDS(Consultative Committee for Space Date Systems) Proximity-1协议实现月球车-着陆器之间的数据交互,利用双向异步传输帧非相干扩频测距方法实现精密测距,利用着陆器双天线形成短基线实现对月球车方位角的精密测量.讨论了用于测距的CCSDS Proximity-1协议帧结构、双向异步传输帧测距原理、方位角的载波相位差分干涉测量原理,以及建立月面着陆参考系并给出月球车精确定位的方法.研究表明,所提出的方法功能集成度高、信道资源利用率高、设备简单、性能指标满足月球探测二期月球车的月面定位、通信任务需求.      

嵌入式处理器P2020机器码程序到C语言源程序的溯源方法

处理器PowerPC P2020在航空航天等嵌入式领域被广泛应用,以RTCA/DO-178C中A级软件的适航要求作为研究的出发点,提出了从文件、函数声明、函数体代码3层次实现P2020机器码程序到C源程序的溯源方法。在获取C语言源程序与PowerPC P2020机器码程序文件名列表的基础上,实现PowerPC P2020机器码文件主名的溯源;通过遍历C源程序抽象语法树和PowerPC P2020机器码获取函数名列表,实现PowerPC P2020机器码函数声明的溯源;通过定义C语言程序抽象语法树节点生成期望汇编指令序列的规则,实现PowerPC P2020机器码函数体的溯源。通过设计245个C源程序文件与345个PowerPC P2020机器码程序文件,1 111个C语言函数声明与1 273个PowerPC P2020机器码函数声明,以及覆盖C语言程序23类语法结构的460个测试用例,验证了PowerPC P2020机器码程序到C源程序的自动化溯源方法的有效性。结果表明：文件溯源和函数声明溯源的追溯匹配率达100%,程序函数体代码的平均溯源匹配率达97.22%。溯源匹配结果可以检查PowerPC P2020机器码程序是否在编译过程插入例外异常代码,以防止其带来的安全隐患,保证航空航天嵌入式安全关键软件机器码的安全性和可靠性。     

用电力线进行精密时间传递

简单地阐述了用电力线进行精密时间传递的基本原理。除了用长波、短波、卫星、激光、TV、VLBI、电话线传递精密时间以外,又开拓了用电力线进行精密时间传递的新途径,这种方法具有广阔的应用前景。     

卫星精密定轨用三频双向测距测速系统

努力提高跟踪精度多年来一直是跟踪技术中不断探讨和需要研究、解决的问题。文章根据国内外跟踪系统的发展,提供了一种卫星精密定轨用的微波精密跟踪系统的初步方案设想。     

标识和追溯性管理在民用飞机项目中的应用

标识是追溯性管理的基础。从标识和追溯性的定义出发,介绍了民机设计和制造过程中标识要求的相关标准;结合民机制造和管理特点,介绍了民机标识内容的基本要求,民机标识方法的选用原则,并详细说明了民机常用的标识方法;针对民机系统目前所采用标识方法存在的问题,阐述了二维码技术在民机标识和追溯性管理中的应用优势。     

一种基于遗传算法的RSC码盲识别方法

针对目前递归系统卷积(RSC)码盲识别算法容错性差、计算量大的问题,提出了基于遗传算法的RSC多项式参数盲识别算法。首先根据RSC码特殊的编码结构,构建了基于遗传算法的识别模型,将结果向量的码重作为适应度函数,然后推导出了不同误码率条件下平均码重的理论值,实现了算法中最优门限的获得。该算法容错性能较好,并且最大计算量只与初始种群的规模、遗传代数的上限以及输出路数成正比。最后仿真验证表明,理论推导的码重分布情况能够与仿真结果较好地吻合,并且在误码率高达0.06的情况下,各种寄存器个数下的RSC码参数识别率接近于0.9。     

长码快速直接捕获中卫星信号传播时延估计

卫星导航定位系统中,辅助长码快捕的一个最重要的信息是时间信息,卫星信号传播时延估计是提供先验时间信息,减少时域搜索范围的一个重要方面.基于用户和卫星的概略位置,给出了适用于不同类型导航星和不同用户场景的卫星信号传播时延估计算法.数值计算表明,算法能够大大压缩不同导航星和不同场景用户之间传播时延的不确定范围,即使在用户与卫星位置误差较大的恶劣应用背景下也能将不确定范围压缩一半,从而有效地辅助长码快捕的实现.      

置换密钥矩阵加密算法安全性分析

对新型分组加密算法(Replace key matrix,RKM)的安全性进行研究。详细阐述了该算法的设计思想:非固定轮函数对抗密码分析,随机代换作密钥对抗密码分析和穷举攻击,多米诺查表增加扩散效果,采用矩阵特征因子增强安全性。从原理上分析了该算法对抗差分密码分析、线性密码分析等几种常见的密码攻击方法的能力。针对矩阵特征因子的安全性,对极端相似置换密钥矩阵和特征因子初值相似置换密钥矩阵两种情况下,矩阵特征因子的扩散效果进行了数据分析。分析表明,RKM算法能有效抵御穷举攻击,差分密码分析攻击、线性密码分析攻击,置换密钥矩阵特征因子提高了算法的安全性,使得攻击者无法利用相似参照矩阵对算法进行攻击。