回归测试中基于值谱比较的偏离根定位法

在回归测试中,利用程序谱中的值谱比较不同版本程序的内部行为,将程序的比较转换为函数状态的比较,以估计偏离发生的大概位置,找到偏离根所在的函数。引入偏离调用树记录发生偏离的函数,在此基础上提出2种缩小偏离根定位范围的启发式方法,使偏离根的定位更精确。     

密钥交换协议中本原根的快速更新算法

Diffie-Hellman密钥交换协议可以使通信双方在不可信信道上建立共享密钥,从而实现安全通信。提出该协议的安全性建立在DH安全大素数P及其本原根g的基础上。证明了形如P=2q+1(其中q=4i+1是大素数)的DH安全大素数P有q-1个本原根,由P的最小本原根2可以快速生成其余本原根,并提出快速生成安全大素数P及其本原根g更新的算法。     

Nonlinear aircraft sensor fault reconstruction in the presence of disturbances validated by real flight data

This paper proposes an approach for Inertial Measurement Unit sensor fault reconstruction by exploiting a ground speed-based kinematic model of the aircraft flying in a rotating earth reference system. Two strategies for the validation of sensor fault reconstruction are presented: closed-loop validation and open-loop validation. Both strategies use the same kinematic model and a newly-developed Adaptive Two-Stage Extended Kalman Filter to estimate the states and faults of the aircraft. Simulation results demonstrate the effectiveness of the proposed approach compared to an approach using an airspeed-based kinematic model. Furthermore, the major contribution is that the proposed approach is validated using real flight test data including the presence of external disturbances such as turbulence. Three flight scenarios are selected to test the performance of the proposed approach. It is shown that the proposed approach is robust to model uncertainties, unmodeled dynamics and disturbances such as time-varying wind and turbulence. Therefore, the proposed approach can be incorporated into aircraft Fault Detection and Isolation systems to enhance the performance of the aircraft.     

基于S3C6410处理器的嵌入式Linux系统移植

文章详细阐述了如何在基于S3C6410微处理器的目标板上搭建嵌入式Linux系统的方法。首先介绍嵌入式Linux的移植方法,接着介绍交叉编译环境的搭建,最后详细讨论了将BootLoader、Linux内核及根文件系统移植到$3C6410的过程。结果证明方法可行,重新搭建后的操作系统在目标板上运行稳定。     

Ensemble data assimilation in the presence of cloud

In numerical weather prediction (NWP) data assimilation (DA) methods are used to combine available observations with numerical model estimates. This is done by minimising measures of error on both observations and model estimates with more weight given to data that can be more trusted. For any DA method an estimate of the initial forecast error covariance matrix is required. For convective scale data assimilation, however, the properties of the error covariances are not well understood.An effective way to investigate covariance properties in the presence of convection is to use an ensemble-based method for which an estimate of the error covariance is readily available at each time step. In this work, we investigate the performance of the ensemble square root filter (EnSRF) in the presence of cloud growth applied to an idealised 1D convective column model of the atmosphere. We show that the EnSRF performs well in capturing cloud growth, but the ensemble does not cope well with discontinuities introduced into the system by parameterised rain. The state estimates lose accuracy, and more importantly the ensemble is unable to capture the spread (variance) of the estimates correctly. We also find, counter-intuitively, that by reducing the spatial frequency of observations and/or the accuracy of the observations, the ensemble is able to capture the states and their variability successfully across all regimes.     

高精度多径时延估计

提出了一种无线信道多径时延估计模型,将时廷估计问题转换为频谱估计问题,再利用具有高频谱分辨力的多重信号分类(MUSIC)算法和root MUSIC算法实现对信道多径时延的超分辨率估计,分析了基于单次测量数据进行时延估计的可行性.仿真并测试了MUSIC算法和root MUSIC算法应用于单次测量数据的性能.仿真结果表明,...     

基于ARM9的嵌入式Linux系统移植

微处理器技术的发展使嵌入式系统得到广泛应用,一个小型、实时、性能良好的嵌入式操作系统的研究应用,就成为嵌入式系统进一步应用解决的首要问题[1].对Linux操作系统和硬件开发平台进行了分析,描述了将Linux-2.4.20-8内核移植到AT91SAM9260平台上的方法和过程,构建交叉编译环境,完成了根文件系统root...     

基于ARM9的嵌入式Linux系统移植

描述移植Linux内核到ARM9的具体实现过程和方法。ARM9采用三星公司的S3C2440,Linux内核版本号为2.6.34.8。首先从搭建交叉编译环境入手,接着介绍Bootloader引导程序及移植,然后详述Linux2.6.34.8内核的移植过程,最后介绍根文件系统的制作。移植后的Linux在嵌入式系统中运行稳定。