嵌入式处理器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、电话线传递精密时间以外,又开拓了用电力线进行精密时间传递的新途径,这种方法具有广阔的应用前景。     

Early Data from Aura and Continuity from Uars and Toms

Aura, the last of the large EOS observatories, was launched on July~15, 2004. Aura is designed to make comprehensive stratospheric and tropospheric composition measurements from its four instruments, HIRDLS, MLS, OMI and TES. These four instruments work in synergy to provide data on ozone trends, air quality and climate change. The instruments observe in the nadir and limb and provide the best horizontal and vertical resolution ever achieved from space. After over one year in orbit the instruments are nearly operational and providing data to the scientific community. We summarize the mission, instruments, and initial results and give examples of how Aura will provide continuity to earlier chemistry missions.     

基于启发式模拟退火的多边形近似算法

将曲线多边形近似问题转换为最小化代价函数的问题,利用模拟退火算法对其求解最优解,并采用启发式方法将曲线的局部特征作为先验知识引入退火过程加速其收敛。通过实验比较表明,该方法在数据压缩率和近似误差等方面具有更好的性能,且压缩了运行时间。     

GPS信号快速捕获方案研究

设计在高动态环境下工作的GPS接收机,其难点之一在于对卫星伪码的快速捕获。针对缩短GPS接收机捕获伪随机码时间的问题,本文在对GPS信号结构作出分析的前提下,介绍了时域滑动相关的常规捕获方法;提出了基于FFT的快速捕获技术,并在matlab环境下做了系统仿真,仿真结果显示捕获速度可以得到显著提高。     

Partition method for improvement of piecewise linear model with full envelope covered

Since ambient conditions vary in a wide range within the full flight envelope, the existing piecewise linear model (PLM), which is based on sea-level static condition with use of corrected parameters for other points in the flight envelope, cannot meet the accuracy for replacing the nonlinear model. To obtain more accurate linear models, a method of partitioning the flight envelope over a grid of Mach number and altitude boxes was suggested. Then, a set of linear models for a given operating condition was selected by picking the nearest (Mach number, altitude) box in the flight envelope. Through the selected set of linear models, interpolating for power level based on a weighted sum of corrected rotor speeds can obtain a linear model with acceptable accuracy. Simulation results of different points within the full flight envelope showed that the maximum error between nonlinear model and the existing PLM was more than 50%, while the maximum error between nonlinear model and the improved PLM was within 8%. It is concluded that the improved PLM performs accurately, especially under the non-standard conditions. In addition, the improved PLM can satisfy the real-time requirement better than the existing PLM.      

基于LAS码的星群多目标测控技术研究

针对星群多目标同时测控问题,基于星群轨道根数的时延特性和多普勒频移特性分析可得,星群多目标测控的上行链路遥控与测距信号可实现S CDMA（Synchronous Code Division Multiple Access,同步码分多址）,由于星间距离较小,下行链路遥测与测距信号满足QS CDMA（Quasi synchronous code division multiple access,准同步码分多址）.上行链路遥控和测距信号形式设计为PCM BPSK CDMA（Pulse Code Modulation Binary Phase Shift Keying Code Division Multiple Access,脉冲编码调制二进制相移键控码分多址）,上行链路信号采用Gold序列扩频;下行链路遥测和测距信号形式设计为PCM BPSK CDMA,根据总的时延差,提出下行链路采用基于等长脉冲间隔法构造的LAS（Large Area Synchronous,大区域同步）码扩频.结果表明：比特信噪比Eb/N0为10.5 dB时,遥控误码率为1＆#215;10 6;Eb/N0为9.6 dB时,遥测误码率为1×10^5——与达到相同误码性能的Gold序列相比有1 dB改善,因此,LAS码相比于Gold码能够获得更好的误码性能.     

无人机测控传输中SCCPM优化设计

针对无人机测控传输系统频率资源日趋紧张、电磁环境日渐复杂的现状,为提高无线传输频带效率和功率效率,在卷积码和CPM（Continuous Phase Modulation,连续相位调制）的基础上,提出一种基于SCCPM（Serially Concatenated CPM,串行级联CPM）的无人机遥控、遥测数据传输体制.通过引入Turbo（涡轮）码迭代原理设计CPM解调与卷积译码反馈校正结构,并对CPM解调算法进行优化以减小复杂度,得到相位连续、频谱紧凑、编码增益高、收敛特性好的无人机测控通信系统.仿真结果表明：所设计方案采用级联外迭代方式可获取更高的信噪比增益、更低的错误平层——与典型应用的RS（Reed-Solomon,里德-所罗门）码级联卷积码相比,该方案能够多获取1.6 dB的信噪比增益,表明SCCPM更适用于无人机测控数据传输.     

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

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

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

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