SRAM型FPGA单粒子效应试验研究

针对军品级SRAM型FPGA的单粒子效应特性,文中采用重离子加速设备,对Xilinx公司Virtex-II系列可重复编程FPGA中一百万门的XQ2V1000进行辐射试验。试验中,被测FPGA单粒子翻转采用了静态与动态两种测试方式。并且通过单粒子功能中断的测试,研究了基于重配置的单粒子效应减缓方法。试验发现被测FPGA对单粒子翻转与功能中断都较为敏感,但是在注入粒子LET值达到42MeV·cm 2/mg时仍然对单粒子锁定免疫。本文对翻转敏感度、测试方法与减缓技术进行了讨论,试验结果说明SRAM型FPGA对单粒子效应比较敏感,利用重配置技术的减缓方法能够有效降低敏感度,实现空间应用。
     

综合化航空电子分区隔离的建模与设计方法

分区技术是航空电子系统综合化模块化发展中不可缺少的技术.针对航空电子系统安全关键性的要求,基于ARINC653标准,提出了分层分区的体系结构模型,该模型实现了不同安全关键级别应用软件之间的隔离.为了满足航空电子系统强实时可预测性的约束,双层分区模型中系统层采用轮转调度策略,区间层采用单调速率调度策略.然后对分区任务进行可调度分析,在充分保证航空电子系统强实时的前提下,提出了分区关键参数的设计方法,并推导了最坏情况下的系统可调度利用率.计算机仿真结果表明,该方法在保证实时性的同时,能支持更多的系统负载,具有优越性.      

基于动态优先级的核心处理安全分区优化设计

在分区管理模型应用于航空电子核心处理系统的研究中,合理的分区参数设计是保障航空电子系统任务关键和安全关键的一个重要因素.在标准模型的基础上,建立了上层调度器采用动态优先级调度策略的分区管理模型;通过对处理器忙周期进行考察,提出了给定请求时间长度下分区最大抢占影响的计算算法,能从微观的角度解释动态优先级下原子时间抢占行为的影响;通过对分区内任务集的计算负载进行计算,并考虑到计算负载在分区最后一次执行时间内的请求执行时间长度带来的抢占影响,得到了下层调度器采用固定优先级和动态优先级策略下的分区安全设计方法;通过计算仿真评估,结果表明提出的安全分区设计方法比基于虚拟处理资源方法具有更优的设计结果.      

Advances in Research and Service of Space Environment in China

This paper presents the recent progress of space environment research and service in China.During the past two years,many models of space environment forecast and analysis methods of space environment effects have been developed for tailored space environment service for Chinese space mission.A new Re-locatable Atmospheric Observatory(RAO)for monitoring atmospheric wind,temperature,density and pressure of the near space from 20 km up to 120 km altitudes is being constructed.In space environment service space environment safety was provided to ensure the safety of CE-1 for its launch and operation in 2007.      

A combination method using evolutionary algorithms in initial orbit determination for too short arc

With the combination of two evolutionary algorithms EDA and DE, a new method of initial orbit determination for satellites based on ground-based too-short-arc is established. Compared with other algorithms, the proposed method focuses on the most densely populated region in the solution space rather than the individual with best fitness value. Both the global information and local information are well fused in the search of optimum. In the method $(a,e,M)$ are treated as variables of the optimization, and the optimization procedure is carried out as a two-stage hierarchical optimization problem which has three variables for each stage. Kernel density estimation is applied to build the probability distribution model without any assumptions of the specified distribution, accompanied by handling semi-major axis and eccentricity as a pair of dependent variables in the construction of the probability for the correlation between them in the practice. Numerical experiments with real ground-based observations show that the proposed method is applicable to too-short-arc with even 3?s, and the result of bias in several kilometers can be achieved with $5^{″}$ error added to angular measurements.     

柔性绳索体展开过程数值模拟及实验

基于离散质点系统假设,将柔性网体的网目结点近似为集中质量球单元,结点间的网线近似为杆单元,引入Kawabata拉伸张力应变模型,考虑气动力影响,建立柔性网体的动力学方程,运用四阶Runge-Kutta法进行数值计算,根据能量损耗量对速度修正,基于OpenGL后处理显示,实现了对柔性网体运动过程的仿真,并与警用网枪发射实验加以对比,仿真结果与实验一致。对比了空气动力系数的不同确定形式对网体展开的影响,空气动力系数由雷诺数函数确定时,仿真结果更接近实际情况。     

AFDX交换机在强实时条件下的分组调度

研究了航空电子全双工交换式以太网(AFDX,Avionics Full Duplex Switched Ethernet)交换机分组调度方法的实时性能,采用实时通信中的周期性任务模型,依据AFDX协议"确定性网络"中关于交换机支持双优先级消息调度原则,推导出了相应的交换机关键参数的数学表达,提出了强实时约束下基于双优先级调度的负载匹配的分组调度方法(DP-LM,Dual Priority-Load Match),比较了单/双优先级分组调度的不同(消息调度、关键参数和匹配方法),算例结果表明:由于低优先级消息的引入将会对高优先级消息的实时传输产生重要影响.     

航空搜潜研究综述

综述了60多年来国内外航空搜潜研究的理论与运用实践;在此基础上,分析了航空搜潜研究存在的不足;指出了下一步航空搜潜要研究的重点和主要方向。     

多目标自然层流翼型反设计方法

 进行了基于扰动放大N-因子的目标压力分布设计方法的多目标自然层流（NLF）翼型反设计方法研究。流场分析和转捩位置计算用XFOIL程序,大大减少了计算花费。用N-因子设计方法进行有NLF范围要求和满足气动约束的目标压力计算,压力恢复段的压力分布用Stratford分离准则来进行设计。用基于响应面方法的优化方法来进行反设计计算,使用不含二阶交叉项的二次多项式模型的响应面模型,大大减少了构造模型所需的试验次数;设计空间内试验点的选取满足D-优化准则。根据设计目标的设计状态,进行了多目标翼型反设计。计算结果表明,设计结果的层流范围和设计目标基本吻合,该方法可以用于NLF翼型的多目标反设计中。     

面向雷达天线平台的容错纠错策略及其FPGA实现

 针对雷达天线平台可能出现的传感器故障,提出了一种容错纠错策略。如果雷达天线平台周围的3条驱动腿中的某一个传感器发生故障,则可根据空间闭链机构约束,由其他正常工作驱动腿的传感器和中间从动腿的冗余传感器的测量值计算出故障传感器的应测值。推导了对应的位移传感器故障的容错重构算法,研究了基于现场可编程门阵列（FPGA）的上述容错策略的硬件实现方法。通过引入坐标旋转数字计算（CORDIC）算法使得FPGA运算中只需进行基本的移位和加/减操作;设计了基于FPGA的循环高速流水线处理器结构,使得重构算法的在线计算速度大大提高。仿真模拟了突变型传感器故障,结果表明,所提容错纠错方案能有效地保证雷达天线平台运行的安全性和可靠性。