基于模型的飞行管理系统安全性分析

提出一种基于模型的飞行管理系统安全性分析实施方法,首先对飞行管理系统进行了功能危害性分析,识别了各项功能的失效状态及其影响,确定了失效状态的分类和失效概率要求。然后采用形式化语言AltaRica对飞行管理系统模型进行了描述,借助商用软件对飞行管理系统进行了AltaRica 建模和故障树分析。分析过程表明,基于模型的安全性分析,清晰直观,适合工程应用,是一种简单高效的安全性分析方法。     

软件通信体系结构CORBA 中间件应用及指标评测

软件通信体系结构采用“组件+ 框架”的架构设计,将软件无线电系统中的波形应用软件资源及平台硬件资源抽象成具有标准接口的组件,通过核心框架对各类资源进行装配部署,形成相应的波形应用。在大规模综合化软件无线电系统中,每个组件之间存在大量接口调用与数据通信,而每个组件都运行于独立的进程空间中,这是典型的分布式应用场景,中间件是实现组件间互联互通互操作的关键技术。基于软件通信体系结构对传输机制的要求,对目前主流的中间件进行了选择与应用分析,并完成CORBA 中间件的性能指标评测。     

纳米Al/GAP复合粒子的制备、表征及对ADN热分解性能的影响

为防止纳米铝粉在空气中进一步氧化失活,在氮气气氛下,利用硅烷偶联剂对纳米铝粉预处理,后用聚叠氮缩水甘油醚(GAP)对其进行表面包覆改性,得到纳米Al/GAP复合粒子(n-Al/GAP)。采用扫描电镜(SEM)、透射电镜(TEM)、能谱分析仪(EDS)、X射线衍射仪(XRD)、傅里叶变换红外(FTIR)光谱及X射线光电子能谱(XPS)对其形貌和结构进行了表征。用差示扫描量热仪(DSC)对ADN(二硝酰胺铵)、n-Al/ADN和(n-Al/GAP)/ADN的热分解反应特性进行了研究。结果表明:偶联剂在GAP与纳米铝粉之间起到了桥梁的作用,GAP包覆纳米铝粉形成核壳结构复合粒子;nAl和n-Al/GAP对ADN液化温度几乎没有影响,但使其分解温度均明显提高,且n-Al/GAP影响更为显著。     

卫星姿态系统执行器故障的自适应控制设计

针对带冗余执行器的卫星姿态控制系统,考虑部分执行器发生未知故障(故障模式、大小、时间均未知)的情况,结合Backstepping方法设计了自适应容错控制器,使得当一个甚至多个飞轮出现未知故障时,系统能调整正常执行器的输入,补偿故障执行器的影响,保证系统闭环稳定及输出信号对参考输出量的渐近跟踪.对该算法进行仿真验证,得到了较理想的控制效果.     

卫星三端口DC-DC变换器技术综述

三端口DC-DC变换器可以同时将太阳电池阵和蓄电池组的功率统一变换到负载端。从外部端口看,电源控制器可以看作一个双输入、单输出的三端口DC-DC变换器,同时实现太阳电池阵调节、蓄电池组充放电控制,并保持负载端电压稳定。文章从三端口DC-DC变换器的拓扑结构、控制方法等方面进行调研,分析不同三端口DC-DC变换器的设计原理和特点,对其关键技术和适用性加以总结,提出电源控制器优化设计建议,可为实现卫星电源系统高功率密度、低成本设计提供参考。     

多层铜布线CMP工艺的优化研究

集成电路多层铜布线平坦化中,CMP工艺参数的配置是决定抛光表面状态和平坦化程度的重要因素。本文研究了碱性介质下铜CMP机理,深入分析了CMP系统中影响抛光表面状态的诸多工艺因素。在此基础上设计了多层铜布线CMP工艺的优化实验,有效地解决了划伤,蚀坑等表面缺陷问题,实验测定表面粗糙度数据较为理想,获得了良好的实验效果。     

基于时间误差补偿的HJ-1C卫星几何定位改进

利用距离多普勒算法对 HJ-1C（“环境一号”C）卫星图像进行定位,其初始定位精度为1100~1400m,不能很好地满足实际应用的需要。进一步分析后发现,HJ-1C卫星图像几何定位误差主要分布在方位向,通过对影响HJ-1C卫星几何定位精度的因素进行分析,得出合成孔径雷达（Synthetic Aperture Radar, SAR）时间误差是影响几何定位的关键因素,因此文章提出通过时间误差补偿提高HJ-1C卫星几何定位精度。该方法首先计算SAR时间误差,然后对SAR载荷时间进行补偿,最后利用距离多普勒算法进行定位,并对HJ-1C卫星图像进行了验证。结果表明,HJ-1C卫星定位精度提高到300m左右,得到了有效的改进。     

被动成像广域空中监视系统综述

被动成像广域空中监视（Wide Area Airborne Surveillance, WAAS）系统因其良好的隐蔽性和动态监视的实时性、持久性及大面积覆盖,已成为情报监视侦察的重要工具,广泛应用于军事、民用领域。文章结合典型被动成像广域空中监视系统（如自动实时地面全部署侦察成像系统 ARGUS-IS）的特点,从光电传感器设计、数据传输与信息处理等方面阐述被动成像WAAS的系统特点及关键技术环节;重点分析了大视场高分辨率的实现方式、海量数据传输与存储、数据智能分析等制约被动成像WAAS性能的瓶颈技术,为被动成像WAAS的研制与应用提供了参考。     

运动单站长基线干涉仪自校正定位方法

针对单站测向定位中多通道干涉仪系统复杂且易受通道幅相不一致性影响等问题,研究利用运动单站上的单个长基线干涉仪(LBI)测量的模糊相位差(PD),联合估计辐射源位置和相位差偏差,实现自校正定位。针对该问题的高度非线性,提出一种距离和偏差联合参数化增量高斯和滤波(RBJP\|AGMF)算法,然后利用初始相位差得到一组方位角,采用距离与偏差联合参数化方法获得一组高斯和滤波初始值。使用增量扩展卡尔曼滤波器(AEKF)组进行递推计算,并分析了定位误差的克拉美-罗下限(CRLB)。仿真结果表明该方法运算量较小,定位性能可接近CRLB。     

AltBOC非相干鉴相曲线赋形无模糊跟踪方法

针对全球导航卫星系统中使用的交替二进制偏移载波（Alternative Binary Offset Carrier,AltBOC）调制信号存在跟踪模糊的问题,提出了一种非相干鉴相曲线赋形无模糊跟踪方法。该方法使用两个线性组合码与接收信号的互相关组合来实现非相干鉴相曲线。讨论了具有良好抗多径性能的非对称无模糊目标曲线的设定原则。提出了一种基于线性方程组最小二乘解的鉴相曲线赋形方法。给出了针对AltBOC(15,10)导频信道的权值计算结果并设计了易于硬件实现的跟踪环路。仿真结果表明,该方法能够使鉴相曲线在最小二乘意义下接近于目标曲线。设计出的跟踪环路相对于传统的AltBOC无模糊跟踪环路,具有更好的抗噪声和抗多径性能。