Performability analysis of avionics system with multilayer HM/FM using stochastic Petri nets

The integrated modular avionics (IMA) architecture is an open standard in avionics industry, in which the number of functionalities implemented by software is greater than ever before. In the IMA architecture, the reliability of the avionics system is highly affected by the software applications. In order to enhance the fault tolerance feature with regard to software application failures, many industrial standards propose a layered health monitoring/fault management (HM/FM) scheme to periodically check the health status of software application processes and recover the malfunctioning software process whenever an error is located. In this paper, we make an analytical study of the HM/FM system for avionics application software. We use the stochastic Petri nets (SPN) to build a formal model of each component and present a method to combine the components together to form a complete system model with respect to three interlayer query strategies. We further investigate the effectiveness of these strategies in an illustrative system.     

基于伪距/伪距率的组合导航系统仿真

在GPS／SINS组合导航系统的研究中,对基于位置,速度组合模式的研究相对成熟,而基于伪距,伪距率组合模式的研究相对较少。而基于伪距,伪距率的组合导航系统研究中又以协方差仿真居多,基于仿真数据和实测数据的研究更少。文章对基于伪距,伪距率的GPS／SINS组合导航系统进行仿真研究,建立了系统各模块的数学模型并进行Matlab仿真;然后,设定系统中各项参数,获得仿真数据;对同一组仿真数据进行基于伪距,伪距率和基于位置,速度的导航计算,并将计算结果对比研究。由实验结果可知：与基于位置／黻的组合模式相比,基于伪距,伪距率的组合模式具有更高的导航精度。     

A point-wise least squares spectral analysis (LSSA) of the Caspian Sea level fluctuations,using TOPEX/Poseidon and Jason-1 observations

The Caspian Sea has displayed considerable fluctuations in its water level during the past century. Knowledge of such fluctuation is vital for understanding the local hydrological cycles, climate of the region, and construction activities within the sea and along its shorelines. This study established a point-wise satellite altimetry approach to monitor the fluctuations of the Caspian Sea using a complete dataset of TOPEX/Poseidon for the period 1993 to the middle of 2002, and its follow-on Jason-1 for the period 2002 to August 2009. Therefore, 280 virtual time-series were constructed to monitor the fluctuations. The least squares spectral analysis (LSSA) method is, then employed to find the most significant frequencies of the time-series, while the statistical method of principle component analysis (PCA) is applied to extract the dominant variability of level variations. The study also used the observations of TOPEX/Poseidon and Jason-1 over the Volga River along with 5 years of Volga’s water discharge to study its influence on the Caspian Sea level changes. The LSSA results indicate that the lunar semidiurnal (M2) and the Sun semidiurnal (S2) frequencies are the main tidal frequencies of the Caspian Sea with the mean amplitude of 4.2 and 2.8 cm, respectively. A statistically significant long-term frequency (12.5-years period) is also found from altimetry and tide gauge observations. A phase lag, related to the inter-annual frequencies of the Volga River was detected from the point-wise time-series showing level propagation from the northwest to the southeast of the sea. The cross-correlation between the power spectrum of Volga and that of the northern-most, middle, and southern-most points within the Caspian Sea were respectively 0.63, 0.51 and 0.4 of zero-lag correlation, corroborating the influence of the Volga River. The result of PCA also shows that different parts of the Caspian Sea exhibit different amplitudes of level variations, indicating that the point-wise approach, when employing all available satellite measurements could be a suitable method for a preliminary monitoring of this inland water resource as it gives accurate local fluctuations.     

LEO/MEO双层空间信息网中基于身份的群组密钥管理方案

由于空间信息网中结点的移动性,在空间信息网中实现传统的群组密钥管理面临许多困难.根据空间信息网的特点,分析了空间信息网中群组密钥管理方案的需求,设计了一个适用于LEO/MEO双层空间信息网络的群组密钥管理方案,采用基于身份的思想,消除了对证书系统的依赖,能在空间信息网中灵活高效地实现.将空间信息网中的结点根据其逻辑位置划分为簇,其中簇头为MEO卫星,在密钥交换阶段中共享密钥仅由所有簇头结点决定,这种机制大大减少了通信量.方案能有效抵抗外部攻击者,并且具有前向保密性和后向保密性.仿真实验表明,方案具有很高的通信效率.     

基于无源光网络的高速光纤总线技术研究

随着航天遥感类载荷性能的提高,其数据量大幅增加,对高速数据传输提出了更高要求.针对航天环境的高可靠性要求,提出了一种基于命令响应式协议的新型高速光纤总线结构,即把无源光网络技术与FC-AE-1553协议相结合,采用高生存性的逆向双环的冗余拓扑结构搭建了地面演示验证系统.实验表明,新的光纤总线系统通信速率可达2.5Gbps,容易隔离失效节点,所用设备简单,可靠性高,满足航天工程应用需求,具有较强的实用价值.     

载人航天空空通信子系统及其关键技术

介绍了实现神舟运输飞船与天宫目标飞行器间数据通信和传输的空空通信子系统的构成,以及空空通信机的功能及其主要性能指标。空空通信子系统采用抗干扰能力强、保密性优的直接序列扩频通信技术。分析了其中的核心中频解扩解调中的伪码同步和载波同步等关键技术,应用数字解调方案降低了子系统调试难度,提高了可靠性。     

可调高压导叶对1＋1/2对转涡轮性能影响的数值研究

对1＋1/2对转涡轮高压导叶转动不同角度后不同落压比时的涡轮性能进行了数值计算和分析,获得了不同导叶开度和不同落压比对涡轮性能影响的关系曲线.结果表明,高压导叶转角的变化可以有效地调节1＋1/2对转涡轮的流量;当导叶打开时,随着落压比的变化涡轮效率存在一个峰值,当导叶关闭时,涡轮效率随落压比的减小持续降低,并且降低的幅...     

高超声速进气道附面层分离无源被动控制

为了控制超燃冲压发动机进气道唇口反射激波诱导的附面层分离,根据其流动特征,提出了附面层泄除-吹除互相驱动的自适应、无源、被动控制方案。并采用空间HLLE格式、LU-SGS隐式推进、多块结构网格的有限体积法数值模拟程序对该流动现象进行了数值模拟。数值结果表明,施加自适应无源被动控制后,分离区长度减小为无控制时的45%,控制区域的总压恢复系数和流场均匀性提高。从而证实了自适应、无源、被动控制抑制高超声速进气道附面层分离的可行性。     

涡轴发动机/直升机综合控制仿真平台设计

建立了UH-60直升机/T700涡轴发动机综合控制数字仿真平台。基于VC++环境开发了包含UH-60直升机/T700涡轴发动机综合实时模型的上位机程序,与运行机载涡轴发动机+旋翼实时模型及在线优化控制模式的下位机程序。两者基于TCP/IP协议实时通讯,可进行模拟实际直/发综合优化控制的数字仿真实验。在该数字仿真环境下,分别给出了提高直升机常规飞行性能的多种优化控制模式仿真、变旋翼转速优化控制以及快速功率跟随控制模式仿真,充分表明该平台可为新一代直/发综合系统的开发研制提供一个可靠的前期数字仿真验证。